c++ - c++ 11线程导致段错误(核心已转储)

我是使用c ++的新手，并且在使用c ++ 11的线程时遇到了“分段错误（内核已转储）”。我修改了一段我以前编写的好代码，并得到了错误。我修改的部分是

mutex m;
auto thread_f=[&](int i)
{
    for(int j=i; j<interval.size(); j+=Threads_Number)
    {
        vector<Permutation >::iterator it1=(interval.begin()+j);
        for(vector<Permutation >::iterator it2=it1; it2!=interval.end(); it2++)
        {
            if(!(*it1<*it2)) continue;
            IntervalToCheck x(*it1,*it2);
            m.lock();
            cout<<x;
            f<<x;
            m.unlock();
        }
    }
};

vector<thread> threads;
threads.clear();
for(int i=0; i<Threads_Number; i++)
    threads.push_back(thread(thread_f,i));
for(auto& th:threads)
    th.join();

其中变量“ f”是流的对象。奇怪的是，当我将“ Threads_Number”设置为1时，程序运行良好；当我将“ Threads_Number”设置为非1时，程序有时会运行良好，有时却无法运行-就像我不初始化int的旧时一样并使用它。

这是我的g ++版本：

aalen@CFC:multiThreads> g++ --version                                            13-02-25 14:24
g++ (GCC) 4.7.2
Copyright (C) 2012 Free Software Foundation, Inc.

我用：

g++ -c main.cpp --std=c++11

g++ *.o -o work -lcln -lginac -pthread

来编译我的代码。感谢您的关注，对不起我的英语不好。

似乎是因为我在IntervalToCheck类中使用了GiNaC并且它不是线程安全的（因为我在GiNac上搜索了Google的线程安全），因为我得到了以下消息：

Program received signal SIGSEGV, Segmentation fault.
[Switching to Thread 0x7ffff5340700 (LWP 3125)]
0x00000000004097cf in GiNaC::ptr<GiNaC::basic>::operator= (this=0x7fffec000cd0,   other=...) at /usr/include/ginac/ptr.h:88
88              delete p;

建议从gdb下载。也许GiNaC是问题所在。如果任何人都可以提供一个用于处理表达式的开放工具，那就太好了。谢谢。

最佳答案

如果您查看分段错误来自何处的源代码，您会发现它来自GiNaC的reference counting pointer实现。据我了解，问题是有可能在另一个线程仍在使用该指针时过早删除该指针。这是因为关于线程访问，计数器上的递增和递减操作不是原子的。因此，您正在尝试访问已删除的内存，这是未定义的行为（因此是可分段的）。

实际上，似乎这个问题在过去出现了，and the concern was voiced on their mailing list。

GiNaC is not thread-safe, according to its maintainer.

因此，您根本无法按照维护者的意图从多个线程使用GiNaC。

从理论上讲，也许您可以将ginac::ptr替换为std::shared_ptr之类的东西，这样可以保证在其引用计数机制上没有竞争条件。因此，如果可以将内部计数器类型替换为std::atomic<int>或类似的东西，或者可以使用具有原子引用计数的另一个实现，则该程序可能会运行。

至于您编写的实际代码，似乎应该可以正常工作。尽管打印语句可以按顺序执行和交错，但它们似乎已正确地锁定在关键块中，尽管在C ++中使用更加惯用的，RAII增强的std::scoped_lock可能更好。