同步机制1.pdf

北京大学计算机科学技术系 陈向群 Department of computer science and Technology Peking University 2015 春季  进程的并发执行  进程互斥  进程同步  信号量及PV操作  经典的IPC问题 并发环境下进程的特征 并发是所有问题产生的基础 并发是操作系统设计的基础 • 进程的执行是间断性的 并发 • 进程的相对执行速度不可预测 共享 • 进程/线程之间的制约性 不确 • 进程执行的结果与其执行的相 定性 对速度有关，是不确定的 某银行业务系统，某客户的账户有5000元，有两个 ATM机T1和T2 T1: T2: ... ... read(x); read(x); if x=1000 then if x=2000 then x:=x-1000; x:=x-2000; write(x); write(x); ... ... 两个进程的关键 活动出现交叉 get copy put s t f g get 、copy和put三个进程并发执行 场景 f s t g 当前状态 (3,4,...,m) 2 2 (1,2) 可能的执行（假设g,c,p 为get,copy,put 的一次循环） g,c,p (4,5,...,m) 3 3 (1,2,3)  g,p,c (4,5,...,m) 3 3 (1,2,2) X c,g,p (4,5,...,m) 3 2 (1,2,2) X c,p,g (4,5,...,m) 3 2 (1,2,2) X p,c,g (4,5,...,m) 3 2 (1,2,2) X p,g,c (4,5,...,m) 3 3 (1,2,2) X 设信息长度为m ，有多少种可能性？ p1 p2 g1 c1 c2 ci pi g2 g3 并发环境下进程间的制约关系 临界资源、临界区 两个或多个进程读 写某些共享数据， 而最后的结果取决 于进程运行的精确 时序  由于各进程要求使用共享资源（变量、文件等）， 而这些资源需要排他性使