第2章_进程管理-3(1).pptVIP

2.4.1 进程同步的基本概念 1、两种形式的制约关系（并发进程间的关系） * 资源共享关系 * 相互合作关系 （间接相互制约）互斥解决 （直接相互制约）同步解决 进程间彼此无关，进程同步要确保诸进程互斥的访问临界资源。（银行账号） 进程间存在先后次序关系，进程同步要确保诸进程在执行次序上的协调，时间上无差错。（司机售票员） wait(semaphore *S) { S-value--; if (S-value＜0 ) block(S-list) } signal(semaphore *S) S-value++; if (S-value＜=0 ) wakeup(S-list) } 2、记录型信号量 typedef struct { int value; Block_List * list; } semaphore value：代表资源数目； List：链接等待该资源的进程。  （1）S.value的初值表示系统中某类资源的数目， 因而又称为资源信号量，每次wait操作意味着进程请求一个单位的该类资源，S.value:=S.value-1 。