boost::thread：运行优化版本时出现段错误

Question

我无法让 boost:thread 正常工作。 在没有优化的情况下编译时它运行良好：

g++ -o test-thread test-thread.cpp -lboost_thread-gcc-mt-s -lpthread
./test-thread

但是使用优化编译的版本会崩溃

g++ -O2 -o test-thread test-thread.cpp -lboost_thread-gcc-mt-s -lpthread
./test-thread
Segmentation fault

有人知道可能是什么原因吗？

这是我正在使用的代码：

#include <boost/thread.hpp>
#include <boost/function.hpp>

void task1() {
  // do something
}
void task2() {
  // do something
}

int main (int argc, char ** argv) {
  using namespace boost;

  function0<void> f1(&task1);
  function0<void> f2(&task2);

  thread thread_1(f1);
  thread thread_2(f2);

  // do other stuff 
  thread_2.join();
  thread_1.join();
  return 0;
}

PS：我在 ubuntu linux 上使用 boost 1.32。

更新：

这是它在调试器中崩溃的地方（其中第 37 行是我的原始代码中带有 thread_2.join(); 的行）：

(gdb) bt
#0  0x080499e0 in boost::thread::join ()
#1  0x080496b8 in main (argc=1, argv=0xbfea3eb4) at ../src/test-thread.cpp:37

这是我实际的两个函数：

void task1() {
  std::cerr << "THREAD 1 START" << std::endl;
  for(double i=0; i<999999; ++i){
    std::cout << i << std::endl;
  }
  std::cerr << "THREAD 1 END" << std::endl;
}

void task2() {
  std::cerr << "THREAD 2 START" << std::endl;
  for(double i=0; i<999999; ++i){
    std::cout << i << std::endl;
  }
  std::cerr << "THREAD 2 END" << std::endl;
}

谢谢你的帮助！

Answer 1

我发现了这个错误！ 我链接了错误版本的库。 我一直在使用 boost_thread-gcc-mt-s，但它可以与 boost_thread-gcc-mt 配合使用：

g++ -O2 -o test-thread test-thread.cpp -lboost_thread-gcc-mt -lpthread

我查看了 boost 文档，但找不到有关这些库版本之间差异的任何信息。 还有一个 boost_thread-gcc-mt-d，我认为它是调试版本，但链接到该版本总是会导致出现段错误的二进制文件，即使使用 -g 进行编译也是如此代码>. 但至少我现在可以运行线程了。

Answer 2

您能否确保核心转储处于活动状态（ulimit -c unlimited）、使用符号编译（-O2 -g）、运行并在 gdb 中打开堆栈跟踪？ （gdb test-thread core，然后在 gdb 提示符下键入 backtrace，quit 退出）

更新

根据回溯，
分段错误发生在
boost::thread::join。 您可以...吗
重新打开核心并：

• 获取 boost::thread::join 方法的反汇编代码：
  • 反汇编 boost::thread::join
  • 反汇编
• 获取寄存器转储：
  • 信息寄存器

实施
boost::thread::join（提升 1.32
官方来源）很漂亮
直接了当，所以除非 Ubuntu
二进制文件与
官方代码（我们希望能从反汇编中找到），只有两个
分割的可能原因
错误。

您能否确认两个线程在出现分段错误之前的打印输出有多远？

void 线程::join() 
  { 
      整数分辨率 = 0; 
  #如果已定义(BOOST_HAS_WINTHREADS) 
      res = WaitForSingleObject(reinterpret_cast(m_thread), INFINITE); 
      断言(res == WAIT_OBJECT_0); 
      res = CloseHandle(reinterpret_cast(m_thread)); 
      断言（res）； 
  #elif 定义(BOOST_HAS_PTHREADS) 
      res = pthread_join(m_thread, 0); 
      断言(res == 0); 
  #elif 定义(BOOST_HAS_MPTASKS) 
      OSStatus lStatus = 线程::mac::detail::safe_wait_on_queue( 
          m_pJoinQueueID, NULL, NULL, NULL, kDurationForever); 
      断言（lStatus == noErr）； 
  ＃万一 
      // 这不是竞争条件，因为任何可能发生的竞争都会发生 
      // 无论如何让我们处于未定义的行为领域。 
      m_joinable = false； 
  } 
  

此类问题的常见原因：

• 未初始化的变量
• 未标记为 易失性 的两个线程都访问了未初始化的变量内
• 联调用和/或展开循环（其堆栈帧大小是所有内联方法实例堆栈帧的总和）被递归调用，并且比非内联版本更快地溢出堆栈