从我的研究中,我知道了饥饿、死锁、公平和其他并发问题的概念。然而,在一定程度上,理论与实践有所不同,真正的工程任务往往涉及比学术等等更多的细节……
作为一名 C++ 开发人员,我关注线程问题已经有一段时间了……
假设您有一个共享变量x
,它引用程序内存的较大部分。该变量在两个线程之间共享,A
并且B
.
x
现在,如果我们考虑对线程A
和线程的读/写操作B
,可能同时,需要同步这些操作,对吧?因此,访问x
需要某种形式的同步,例如可以通过使用互斥锁来实现。
现在让我们考虑另一种情况,x
最初由 thread 写入A
,然后传递给 thread B
(以某种方式)并且该线程仅读取x
. 然后线程产生对被调用B
的响应并将其传递回线程(再次,以某种方式)。我的问题是:我应该使用什么同步原语来使这个场景线程安全。我读过原子,更重要的是,内存栅栏——这些是我应该依赖的工具吗?x
y
A
这不是存在“关键部分”的典型场景。相反,一些数据在线程之间传递,不可能在同一内存位置并发写入。因此,在写入数据之后,首先应该以某种方式“刷新”数据,以便其他线程在读取之前可以看到它处于有效且一致的状态。文献中怎么称呼,是不是“能见度”?
怎么样pthread_once
和它的 Boost/std 对应物,即call_once
. 如果两者都通过一种“消息队列”在线程之间传递并通过“一次”功能访问,这x
是否有帮助。y
AFAIK 它充当一种记忆栅栏,但我找不到任何确认。
CPU 缓存及其一致性如何?从工程的角度来看,我应该知道什么?这些知识对上述场景或 C++ 开发中常见的任何其他场景有帮助吗?
我知道我可能会混合很多主题,但我想更好地了解常见的工程实践是什么,以便我可以重用已知的模式。
这个问题主要与 C++03 中的情况有关,因为这是我的日常工作环境。由于我的项目主要涉及 Linux,所以我可能只使用 pthreads 和 Boost,包括 Boost.Atomic。但我也很感兴趣,如果随着 C++11 的出现,与此类问题有关的任何事情发生了变化。
我知道这个问题是抽象的,不是那么精确,但任何输入都可能有用。