阅读迪杰斯特拉的《structure of the multiprogramming system》的总结

在该篇论文中，作者描述了一个多程序系统的结构。
在作者论述的这个系统中，所有的程序都被抽象成为了一些具有指令执行次序的程序，即为作者在论文中所叙述的(sequential process),同时在该系统中使用消息（即为论文中作者所写的message）来进行消息的传递。
同时作者在这篇论文中所叙述的系统结构是一种严格的层次结构(strict hierachical structure),其中各个层次之间分别对应着系统中的不同的处理功能，包括进程状态之间的转换，内存转化以及消息的传递等。
在这篇论文的附录(appendix)中，作者又和我们介绍了关于信号量(semaphores)的操作机制，在这当中包含了两个操作(P和V),其中P操作，会将信号量(semaphores)的值减去1，当达到某种状态时候，可能会处于阻塞（block）的状态。V操作，会使信号量的值加上1，并且会使进程状态发生相应的改变。