Question

我正在寻找在编写者偏见的读者/写作者模型中有效共享两个（或更多）进程之间的数据块的最佳方法。

我目前的测试是boost::interprocess。我创建了一些managed_shared_memory并尝试使用存储在共享内存中的进程间互斥锁来锁定对数据块的访问。

但是，即使在阅读器上使用sharable_lock而在编写器上使用upgradable_lock，客户端也会在写入操作期间读取碎片值而不是阻止。在单个进程中在线程之间进行类似的读/写设置时，我使用upgrade_to_unique_lock来解决此问题。但是，我还没有找到它的boost::interprocess等价物。是否存在？

服务器（编写者）：

while (1) {
  // Get upgrade lock on the mutex
  upgradable_lock <MutexType> lock(myMutex);

  // Need 'upgrade_to_unique_lock' here so shared readers will block until
  // write operation is finished.

  // Write values here
}

客户（读者）

while (1)
{
  // Get shared access
  sharable_lock <MutexType> lock(myMutex);

  // Read p1's data here -- occasionally invalid!
}

我想手头上的更大问题是：在编写器偏向的设置中，进程间互斥是否是在进程之间访问共享内存的正确方法？

注意：使用Boost 1.44.0

Answer 1

所有Boost.Interprocess可升级锁都支持每this次升级。定义here。

关于你更广泛的问题 - 我认为这正是你想要的。读者仍然可以同时工作，并且必须防止并发写入。除非您可以对共享内存进行分区以确保更多受限制的访问，否则这看起来最好。

Answer 2

OP解决方案。

问题评论中所述的答案是使用成员函数unlock_upgradable_and_lock。如果boost::interprocess模拟upgrade_to_unique_lock，我不知道它在哪里。但writer()函数可以重写为：

while (1) {
  // Get upgrade lock on the mutex
  myMutex.lock_upgradable();

  // Get exclusive access and block everyone else
  myMutex.unlock_upgradable_and_lock();

  // Write values here

  // Unlock the mutex (and stop blocking readers)
  myMutex.unlock();
}

boost :: interprocess有'upgrade_to_unique_lock'吗？

2 个答案: