HYZ-OS-2013-进程管理-2.pptVIP

北京交通大学计算机学院何永忠 本节主要内容 重点：并发进程的制约 进程并发执行带来的难题：失去封闭性和可再现性，是并发编程的难点 重点难点：解决方法 临界资源 临界区 第二章 进程管理 2.1 进程的基本概念 2.2 进程控制 2.3 进程同步 2.4 经典进程同步问题 2.5 管程 2.6 进程通信 2.7 线程 2.3 进程同步 2.3.1 并发进程间制约关系 2.3.2 临界资源与临界区 2.3.3 进程同步机制准则 2.3.4 信号量机制 2.3.5 信号量机制应用基础 并发进程间制约关系 资源共享关系?间接制约（竞争关系） 多个进程彼此无关，独立完成自己的任务 必然会共享I/O设备等资源，导致对资源的争夺 系统须协调诸进程对资源的（互斥）访问 相互合作关系?直接制约（合作关系） 多个进程共同合作完成一个任务 系统应保证相互合作的诸进程在执行次序上的协调（同步）。 程序并发执行错误的举例 共享初值为5的变量N的两进程（线程）A、B A: N:=N+1 B: N:=N-1 两个进程并发执行的结果是什么？ 先A后B: N=5 先B后A: N=5 还有其他可能的执行结果吗？ 并发性 计算机中执行的是机器代码，并发最小粒度是机器指令！ 程序并发执行不可再现性举例 程序A: N=N+1 0040102F mov eax,dword ptr [ebp-4]