3

从我的研究中,我知道了饥饿、死锁、公平和其他并发问题的概念。然而,在一定程度上,理论与实践有所不同,真正的工程任务往往涉及比学术等等更多的细节……

作为一名 C++ 开发人员,我关注线程问题已经有一段时间了……

假设您有一个共享变量x,它引用程序内存的较大部分。该变量在两个线程之间共享,A并且B.

x现在,如果我们考虑对线程A和线程的读/写操作B,可能同时,需要同步这些操作,对吧?因此,访问x需要某种形式的同步,例如可以通过使用互斥锁来实现。

现在让我们考虑另一种情况,x最初由 thread 写入A,然后传递给 thread B(以某种方式)并且该线程仅读取x. 然后线程产生对被调用B的响应并将其传递回线程(再次,以某种方式)。我的问题是:我应该使用什么同步原语来使这个场景线程安全。我读过原子,更重要的是,内存栅栏——这些是我应该依赖的工具吗?xyA

这不是存在“关键部分”的典型场景。相反,一些数据在线程之间传递,不可能在同一内存位置并发写入。因此,在写入数据之后,首先应该以某种方式“刷新”数据,以便其他线程在读取之前可以看到它处于有效且一致的状态。文献中怎么称呼,是不是“能见度”?

怎么样pthread_once和它的 Boost/std 对应物,即call_once. 如果两者都通过一种“消息队列”在线程之间传递并通过“一次”功能访问,这x是否有帮助。yAFAIK 它充当一种记忆栅栏,但我找不到任何确认。

CPU 缓存及其一致性如何?从工程的角度来看,我应该知道什么?这些知识对上述场景或 C++ 开发中常见的任何其他场景有帮助吗?

我知道我可能会混合很多主题,但我想更好地了解常见的工程实践是什么,以便我可以重用已知的模式。

这个问题主要与 C++03 中的情况有关,因为这是我的日常工作环境。由于我的项目主要涉及 Linux,所以我可能只使用 pthreads 和 Boost,包括 Boost.Atomic。但我也很感兴趣,如果随着 C++11 的出现,与此类问题有关的任何事情发生了变化。

我知道这个问题是抽象的,不是那么精确,但任何输入都可能有用。

4

1 回答 1

10

你有一个共享变量 x

那就是你出错的地方。如果您使用某种线程安全的消费者-生产者队列来移交工作项的所有权,那么线程会容易得多,并且从程序的其余部分(包括所有业务逻辑)的角度来看,没有任何东西是共享的。

消息传递还有助于防止缓存冲突(因为没有真正的共享——除了生产者-消费者队列本身,如果工作单元很大,这对性能影响很小——将数据组织成消息有助于减少错误分享)。

当您将问题分成子问题时,并行性的扩展性最好。小的子问题也更容易推理。

您似乎已经按照这些思路进行了思考,但是不,像原子、互斥体和栅栏这样的线程原语对于使用消息传递的应用程序来说并不是很好。找到一个真正的队列实现(队列、圆环、Disruptor,它们有不同的名称,但都满足相同的需求)。原语将在队列实现中使用,但绝不会被应用程序代码使用。

于 2014-10-31T23:16:58.883 回答