c++ - 将析构函数中的关键函数放在 "enhance atomicity"中?

标签 c++ multithreading atomic control-flow stack-unwinding

假设我有两个 C++ 函数 foo1() 和 foo2(),我想尽量减少 foo1() 开始执行但 foo2() 由于某些外部事件而未被调用的可能性。我不介意两者都没有被调用,但是如果调用了 foo1() 则 foo2() 必须执行。两个函数都可以连续调用,不会抛出异常。

将函数包装在一个对象中并在析构函数中调用它们有什么好处/缺点吗?如果应用程序是多线程的(比如父线程崩溃),情况会发生变化吗?是否有任何其他选项可确保只要调用 foo1() 就调用 foo2()?

我认为将它们放在析构函数中可能有助于例如SIGINT,虽然我了解到 SIGINT 会立即停止执行,即使在析构函数的中间也是如此。

编辑:

澄清一下:foo1() 和 foo2() 都将被抽象掉,所以我不担心其他人以错误的顺序调用它们。我的担忧仅与应用程序执行期间的崩溃、异常或其他中断有关(例如有人按下 SIGINT、另一个线程崩溃等)。

最佳答案

如果另一个线程崩溃(没有相关的信号处理程序 -> 整个应用程序退出),您无法保证您的应用程序执行某些操作 - 这取决于操作系统的操作。并且总是有系统会在您实际不知情的情况下终止您的应用程序的情况(例如,导致您的应用程序使用“所有”内存和操作系统“内存不足 killer ”杀死您的进程的错误)。

唯一保证执行析构函数的情况是构造对象并抛出 C++ 异常。所有信号等等,都没有做出这样的保证,并且在例如 SIGSEGV 或 SIGBUS 很好地进入世界的“未定义”部分之后继续[在同一线程中]执行 - 你无能为力,因为 SEGV 通常意思是“你试图对不存在的内存做一些事情[或者你不能以你尝试的方式访问,例如写入代码内存]”,并且处理器会中止当前指令。尝试从原来的地方继续,要么导致再次执行相同的指令,要么跳过该指令 [如果您继续执行下一条指令——我暂时忽略了确定它在哪里的麻烦]。当然,有些情况下即使您想继续也无法继续 - 例如堆栈指针已损坏 [从被覆盖的内存中恢复等]。

简而言之,不要花太多时间尝试想出一些方法来避免此类情况,因为它不太可能奏效。花时间尝试提出不需要知道是否完成某事的方案[例如基于事务的编程或“基于提交”的编程(不确定这是不是正确的术语,但基本上你知道一些步骤,然后“提交”到目前为止完成的事情,然后再做一些进一步的步骤,等等 - 只有已经“提交”的事情肯定会完成,下一次丢弃未提交的工作),其中一些是完全完成,或完全丢弃,取决于它是否完成]。

将应用程序的“敏感”和“不敏感”部分分离到单独的进程中可能是另一种提高安全性的方法。

关于c++ - 将析构函数中的关键函数放在 "enhance atomicity"中?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/34190248/

相关文章:

C++11 原子 : why does this code work?

c++ - 这个 C++ 功能的名称是什么?

c++ - 在参数传递给函数的情况下,复制初始化如何工作?

c++ - 多线程进程中同步写入日志

java - 使用 Spring 注入(inject)资源的构建器模式

Java JFace 数据绑定(bind) : Update SWT widget from background thread

c++ - 关于原子指针分配的保证

erlang - 主管启动多个子项作为原子操作

c++ - 如何在构建结束时从 Visual Studio 项目生成 Qt .pri 文件?

c++ - VS2015 附加包含目录未找到包含的 header ?