Guarded Sections: Structuring Air for Wait-Free Synchronisation
Guarded Sections: Structuring Air for Wait-Free Synchronisation
复制标题
受保护的部分：构建空气以实现无等待同步
DOI：
--
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
Wolfgang Schröder
中科院分区：
文献类型：
--
作者：
Gabor Drescher;Wolfgang Schröder
本文介绍了一种组织非顺序程序以实现无等待同步的新方法。除临界区外，进程从不在受保护区域的入口处阻塞，尽管一次只允许一个进程通过。相互竞争的进程被迫绕过，但如果有必要，通过使用期货，它们可以在并发状态变化时进行同步。因此，执行模型约束了交互(同时)进程的重叠模式。因此，在下游交易阶段，“守卫操作”的高效免等待同步是令人欣慰的副产品。首先，在80路多核系统上进行的实验结果表明，无阻塞、无等待的同步保护段的性能优于MCS锁。
This paper is about a novel approach of organising non-sequential programs to the benefit of wait-free synchronisation. Other than critical sections, processes never block at entrance to a guarded section although only one process at a time is allowed to pass through. Competing processes are forced into bypass but, if necessary and by using futures, they can synchronise on concurrent state changes. In consequence, the execution model constrains the overlapping pattern of interacting (simultaneous) processes. Thereby, in the downstream transactional stage, efficient wait-free synchronisation of the "guarding operations" is gratifying by-product. First experimental results made with a 80-way multi-core system show that non-blocking wait-free synchronised guarded sections outperform MCS-locks.