【发布时间】:2011-10-13 22:09:50
【问题描述】:
提供互斥(即通过自旋锁机制)是否足以确保有效实现并发?还是我们也必须显式地实现一些同步方法?
总之:
提供并发 = 有效的互斥实现
或
提供并发=有效的互斥实现+有效的同步实现
?
谢谢。
【问题讨论】:
-
操作原子性(互斥)和数据可见性(易失性访问、内存栅栏、比较和交换等)之间存在差异。大多数高级语言围绕其“基本”同步锁提供了可见性保证。
标签: concurrency process operating-system