前趋图:有向无循环图(DAG)用于描述进程之间执行的先后顺序。(存在前趋关系的节点间Pi->Pj,只有Pi完成了Pj才可开始)
并发执行:事实上,只有在不存在前趋关系的程序之间才有可能并发执行,否则无法并发执行。
程序并发执行的特征:(1)间断性(2)失去封闭性(3)不可再现性
进程同步的两种制约关系:
- 间接制约关系 由于共享系统资源cup i/o 设备等,致使形成相互制约的关系;
- 直接相互制约关系 源于多个进程之间的相互协作(例如共享一个数据缓冲区)
进程同步的几种机制:
1.硬件同步机制
2.信号量机制(PV操作)
P:wait(S) { value--;
If(value<0) blosk(list);
}
V:signal(S){value++;
If(value<=0) wakeup(list);
}
3.管程机制
死锁:如果一组进程中的每一个进程都在等待仅由该组进程中的其他进程才能引发的事件,那么该组进程是死锁的。
产生死锁的必要条件:
- 互斥条件:进程对所分配到的资源进行排它性使用
- 请求和保持条件:进程已经保持了至少一个资源,但又提出了新的资源请求,而该资源已被其他进程占有,此时请求进程被阻塞,但对自己已获得的资源保持 不放。
- 不可抢占条件:进程已获得的资源在未使用完之前不能被抢占,只能在进程使用完时自己释放
- 循环等待条件:发生死锁时,必然存在一个进程——资源链。