Synchronization with eventcounts and sequencers
Synchronization with eventcounts and sequencers
复制标题
与事件计数和排序器同步
DOI：
--
复制
发表时间：
1979
期刊：
影响因子：
--
通讯作者：
R. Kanodia
中科院分区：
文献类型：
--
作者：
D. Reed;R. Kanodia
并发过程的同步需要控制过程中事件的相对顺序。提出了一种新的同步机制，它使用称为事件计和音序器的抽象对象，允许过程直接控制事件的排序，而不是使用相互排除来保护控制事件订购的共享变量的操纵。直接控制订购似乎可以简化正确性参数，并简化了分布式系统中的实现。该机制是正式定义的，然后给出了几个使用的示例。解释了机制与系统中保护机制的关系；特别是，事件公共表明适用于信息限制事项的情况。描述了具有共享内存的系统中事件计和测序仪的实现。
Synchronization of concurrent processes requires controlling the relative ordering of events in the processes. A new synchronization mechanism is proposed, using abstract objects called eventcounts and sequencers, that allows processes to control the ordering of events directly, rather than using mutual exclusion to protect manipulations of shared variables that control ordering of events. Direct control of ordering seems to simplify correctness arguments and also simplifies implementation in distributed systems. The mechanism is defined formally, and then several examples of its use are given. The relationship of the mechanism to protection mechanisms in the system is explained; in particular, eventcounts are shown to be applicable to situations where confinement of information matters. An implementation of eventcounts and sequencers in a system with shared memory is described.