第2章_进程管理-4.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：链接等待该资源的进程。  2.3.3 信号量的应用 1、利用信号量实现进程互斥 semaphore mutex=1; PA(){ while(1){ wait(mutex); 临