The computer science of concurrency: the early years
The computer science of concurrency: the early years
复制标题
并发计算机科学:早年
DOI:
--
复制
发表时间:
2019
期刊:
影响因子:
--
通讯作者:
L. Lamport
中科院分区:
文献类型:
--
作者:
L. Lamport
3 Producer-Consumer Synchronization 6 3.1 The FIFO Queue . . . . . . . . . . . . . . . . . . . . . . . . . 6 3.2 Another Way of Looking at a FIFO Queue . . . . . . . . . . 8 3.3 Mutual Exclusion versus Producer-Consumer Synchronization 9 3.4 The FIFO Queue as an N-Process System . . . . . . . . . . . 10 3.5 Generalized Producer-Consumer Synchronization . . . . . . . 10 3.6 The Two-Arrow Formalism Revisited . . . . . . . . . . . . . . 11