The computer science of concurrency: the early years

The computer science of concurrency: the early years
复制标题

并发计算机科学:早年

DOI:
--
复制
发表时间:
2019
期刊:
Concurrency: the Works of Leslie Lamport
影响因子:
--
通讯作者:
L. Lamport
L. Lamport
中科院分区:
--
文献类型:
--
作者:
L. Lamport

文献摘要

被引文献

相似文献

3生产者-消费者同步6 3.1 FIFO队列. . . . . . . . . . . . . . . . . . . . . . . . 6 3.2另一种看待FIFO队列的方法. . . . . . . . . 8 3.3互斥与生产者-消费者同步9 3.4 FIFO队列作为N进程系统. . . . . . . . . . 3.5广义生产者-消费者同步. . . . . . 10 3.6重新审视双箭头形式主义. . . . . . . . . . . . . 11
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