使用不同版本编译的相同代码提供不同的结果

Question

我正在使用一个我无法控制也不知道其内部结构的外部库（我们称之为专有回调）。

我知道我有一个名为 callbacks 的类，它有两个 bool 变量：

class callbacks : public proprietarycallbacks {
  bool a = false;
  bool b = false;
  virtual callbackHandler() {
    cout "callback received\n";
    b = true;
  }
}

然后我有另一个继承自回调类的类：

class MyObject : public callbacks {

  void test() {
    while (!b) {
      cout << "test " << a << " " << b << endl;
      usleep(100000);
    }
  }
}

此代码在两个不同的 linux 版本中正确编译，有两个不同的 GCC 版本和 LIBC 版本。

在最近的一个（linux mint，GCC 5.4 LIBC 2.23）上，我运行应用程序，在 while 中查看 cout，当调用回调时，代码存在 while。

在较旧的版本（debian、GCC 4.9.2、LIBC 2.19）上，虽然从不存在，但变量始终为 false，即使我可以从回调内部看到打印。

我构建代码的方式和变量继承是否有问题，或者这与我使用的软件版本有关？

感谢您的宝贵时间

Answer 1

从您的test() 方法中可以明显看出涉及多个执行线程。 test() 在一个执行线程中，回调被另一个执行线程调用。

在另一个执行线程中设置bool标志，和在test()执行线程中读取相同的标志是没有顺序的。

通常的解决方案是使用std::atomic_bool；或者使用std::mutex 来实现排序和访问变量，或者在一个执行线程中设置它们，或者在另一个执行线程中读取它们的当前值，只有在互斥锁被锁定时。