第4章互斥同步与通信解析

-  * - 4.1 并发进程 - 4.1.1 顺序程序及其特性程序的顺序性-内部顺序性：P1: a1,a2,a3;