摘要
以信号量机制、管程机制、会合技术、Petri网这四种控制机制为基础,对经典的进程同步问题:生产者-消费者模型进行了分析,并给出了该问题基于不同机制的解决方案,对四种控制机制进行了比较研究.
This paper base on four control mechanism, such as semaphore,Tube, rendezvous, Petri net, The solution about, the model was given model of producer-consumer which is typical process with synchronization was analysed. Comparison off our mechanism was made.
出处
《甘肃联合大学学报（自然科学版）》
2009年第2期63-65,79,共4页
Journal of Gansu Lianhe University :Natural Sciences
关键词
进程
同步
互斥
信号量
管程
会合
PETRI网
process
synchronization
incompatibility
semaphore
tube
rendezvous
petri net
