生产者——消费者问题图示分析两则

Two Methods in Graphical Analysis about the Producer-Consumer System

生产者与消费者问题是研究进程同步的典范 .抛开了《操作系统》等书籍中的类PASCAL语句描述 ,引入FSM与PETRI网 ,给出各自的图示 ,并对FSM与PETRI网进行了比较 .

Producer Consumer problem is a classical example of studying process mutexing.Despite the similar Pascal Language description in some operating system books,it is better to apply FSM and Petri nets to solve the problem.