12

我在 C++11 中运行多线程代码时遇到问题（段错误）。这是代码：

#include <vector>
#include <thread>

std::vector<int> values;
int i;

void values_push_back()
{
    values.push_back(i);
}

int main()
{
    while(true)
    {
        std::vector<std::thread> threads;

        for(i=0; i<10; ++i)
        {
            std::thread t(values_push_back);
            threads.push_back(std::move(t));
        }
        for(i=0; i<10; ++i)
            threads[i].join();
    }

    return 0;
}

这里是 gdb 的回溯：http: //pastebin.com/5b5TN70c

那有什么问题？

4

1 回答 1

20

这与搬家无关。

多个线程vector::push_back()在同一个上执行，vector但 vector::push_back()不是线程安全的。对vector需要同步的修改。

Astd::mutex可用于将调用同步到push_back()：

std::vector<int> values;
std::mutex values_mutex;

void values_push_back()
{
    values_mutex.lock();
    values.push_back(i);
    values_mutex.unlock();
}

此外，该变量i在没有同步的情况下在线程之间共享，这将导致竞争条件（可能的结果是将重复int的 s 添加到vector）。考虑将int值作为参数传递给线程以避免这种情况：

std::vector<int> values;
std::mutex values_mutex;

void values_push_back(int i)
{
    values_mutex.lock();
    values.push_back(i);
    values_mutex.unlock();
}

for (int i = 0; i < 10; ++i)
{
    threads.push_back(std::thread(values_push_back, i));
}

for (auto& t: threads) t.join();

正如竹子所评论的那样，更喜欢std::lock_guard确保在push_back()抛出时释放锁（在这种情况下只能是这样，bad_alloc()但是如果vector更改以保存具有抛出构造函数的更复杂的对象，则变得更加重要）：

void values_push_back(int i)
{
    std::lock_guard<std::mutex> lk(values_mutex);
    values.push_back(i);
}
于 2013-02-13T17:29:50.933 回答