线程之间的同步

Question

我是一名学生，我想了解线程之间的同步。

我有两个线程 t1 和 t2。

我在他们之间有一段共享的记忆。

/*e.g.*/ std::map<std::string, std::string> data;

一个线程假设 t1 正在读取数据，另一个正在写入..

std::mutex mu; //is used for synchronization

std::string read_1(std::string key)
{
    return data[key];
}

std::string read_2(std::string key)
{
    mu.lock();
    return data[key];
    mu.unlock();
}

void write(std::string key, std::string value)
{
    mu.lock();
    data[key] = value;
    mu.unlock();
}

read_1 它是线程安全的吗？

如果不是优化此代码的最佳方法是什么？

谢谢。

Answer 1

没有。 read_1 不是线程安全的。它需要在访问data之前锁定互斥锁。

这样是安全的；

std::string read_1(std::string key)
{
    std::lock_guard<std::mutex> guard(mu);
    return data[key];
}

还有；您的 read_2 功能已损坏。它在解锁互斥锁之前返回。如果您使用了std::lock_guard，那么您就不会遇到这个问题。

Answer 2

read_1 它是线程安全的吗？

不，当可能写入该数据时，它正在读取。

如果不是优化此代码的最佳方法是什么？

也许使用std::shared_mutex。