标签：
用信号量同步线程：
同步错误：
一般而言你没有办法预测操作系统是否将你的线程选择一个正确的顺序执行。
12.5.1 进度图
（1）进度图：将n个并发线程的执行模型化为一条n维笛卡尔空间中的轨迹线。
（2）每条轴k对应着线程k的进度。
（3）每个点Ik代表着k线程已完成指令Ik这一个状态，原点处代表初始状态。
（4）进度图是指令执行模型化为从一个状态到另一个状态的转换，两条指令不能在同一时刻完成，对角线不允许的。
标签：
原文地址：http://www.cnblogs.com/yanliang12138/p/4799701.html
