c++ - 中断 C 函数执行并返回到 C++ 调用者

Question

我目前在使用以下配置实现以下场景时遇到问题:GCC 3.4，Linux。

我已经编写了一个工具(用 C++)加载共享库(用 C 编写)。这个库有一个我无法影响修复的错误。问题是它读取一些输入并写入解码输出。有时如果输入错误，这个库会在不做任何检查的情况下开始解码以下内存区域。这会导致段错误。

最初我的想法是将输入放入分页内存 (linux mmap-syscall) 并保护 (mprotect) 最后一页以防止访问。通过安装自己的 SIGSEGV 处理程序，我的 C++-App 可以抛出异常(当使用 GCcflags -fnon-call-exceptions 编译时)。此异常将中断 C 库的读取。我知道这个 lib 不分配任何内存(或其他资源)，这些内存在堆栈展开期间可能会丢失。整个场景在我的单元测试中运行良好，所有内容都是一个 C++ 应用程序。但是现在，当调用 lib 中的 C 代码时，我的应用程序就终止了……我是否还需要使用 -fnon-call-exceptions 标志重建此 C-SO？我无法编译这个库，只能重新链接它，因为我只能访问 obj 文件。

执行环境图片如下:

+------------C++ APP----------+
|                             |
| Install SIGSEGV handler     |
| code calling C SO functions |
|                             |
|   +----------C SO Functions------------+
|   |   execute producing SIGSEGV        |
|   +------------------------------------+
|                             |
| SIGSEGV Handler called      |
|   => throw Exception        |
|      to stop execution of   |
|      C function             |
+-----------------------------+

欢迎提出其他建议。

非常感谢，

奥瓦内斯

---

附言我看到了一些建议和批评，但他们都不是一个选择。原因如下:我只有一个界面，我可以在其中链接到图书馆。该库用于解码数据结构。问题是，如果我有一个长度为 -1 的数组，库将开始解码长度为 0xffffff 的数组(在 32 位系统上)。在我看来，等到 lib 在一个单独的进程中崩溃是不可取的。首先，解码一方面会花费大量时间，另一方面会产生大量垃圾。因为我的工具需要向用户可靠地显示解码输出。他们仍然需要能够理解痕迹。

我不认为这里有必要绕过 SIGSEGV。首先，库读取数据并将其写入我之前传递的文件句柄。我可以配置如何写入该句柄(缓冲或不缓冲)。此外，我确切地知道它不会分配任何堆数据或资源。最后，它尝试访问我的应用程序保护的内存以避免此类错误。从用户的角度来看，我不能告诉别人:抱歉，二进制跟踪只能解码一半，因为某些数据不一致。我知道这些数据是不一致的，而且我完全知道如何处理这种不一致。所以我可以优雅地恢复。我想我会尝试使用 sigsetjmp/siglongjmp POSIX 函数，并希望它们作为异常(exception)会做得更好。实际上，setjmp/longjmp 或 sigsetjmp/siglongjmp 都用于实现异常。

是的，我调试了我的应用程序并发现调用堆栈有效。

Answer 1

不幸的是，我没有针对所述问题的答案 - 您是否尝试过在调试器下运行您的应用程序，看看它到底在哪里终止？

但是，我想到的另一种方法是将错误库的使用放到一个单独的程序中，从您的应用程序启动它并通过管道将数据传递给它。