42同步与互斥实现方法.pptVIP

第八讲 同步与互斥实现方法 目的与要求：理解互斥问题的硬件实现方法；掌握信号量机制及使用它解决进程同步互斥问题的方法。 重点与难点：信号量实现与应用。 作业：4，6, 11 举例：用两个进程实现共享数组data[1000]累加 答： （1）设置共享变量：sum=0，i＝0，data[1000]定义一个互斥信号量mutex，初值＝1进程A： for(; ;){P(mutex);if(i≥1000) break;sum+=data[i]; i++;V(mutex);}printf(“sum=%d\n”,sum); 进程B： for(; ;){P(mutex);if(i≥1000) break;sum+=data[i]; i++;V(mutex);} （2）设置共享变量：sum1=0,sum2=0,data[1000]定义一个同步信号量sync，初值＝0进程A：int i;for(i=0; i500; i++) sum1+=data[i];P(sync);sum1+=sum2;printf(“sum=%d\n”,sum1); 进程B： int jfor(j=500; j1000; j++) sum2+=data[j];V(sync); 4.2.4管程 基本思路：共享资源用共享数据结构表示，把分散的临界段集中于管程中，管程中的临界程序一次只允许一个进程调用。 管程主要构成：共享数据结构；对共享结构操作的一组函数；对数据结构的初始化程序 * * 4.2.2实现临界段的硬件方法 利用处理机提供的特殊指令实现临界区加锁 常见硬件指令有: 1.屏蔽中断 举例存取balance： Parbegin A(amount){ disableInterrupt(); R1=balance; R2=amount; R1=R1+R2; balance=R1; enableInterrupt(); }; B(amount) { disableInterrupt(); R1=balance; R2=amount; R1=R1-R2; balance=R1; enableInterrupt(); }; Parend; 2、“Test_and_Set”指令。 该指令功能描述为： boolean Test_and_Set（boolean target）{ Boolean rv=target; target = true； return rv; } ? 设Lock为全局布尔变量（初值为false），利用TestSet指令，即可实现对临界区的加锁与解锁： Do { while Test_and_Set (lock) ; critical section; lock = false; non-critical section while(1); “testset” 指令实现互斥汇编实例： TS Ri,Aj （将(Aj)地址所指内存单元内容读到Ri寄存器中,同时将1置入Aj所指的内存单元中） 设Lock为临界段锁变量，则安排如下指令，即可实现加锁与解锁：* 临界段 非临界段 A1＝Lock;（将Lock单元地址送A1寄存器。Lock单元初始值为0） Loop:TS R1,A1; JRN R1,Loop; (如果R1=1则转 Loop ) A1 =Lock; (A1) =0;(0置Lock内存单元) 3、“Swap”指令。 该指令功能描述为： void Swap（boolean a, boolean b） { boolean temp=a； a = b； b = temp； } 设Lock为全局布尔变量（初值为false），每个进程设一个局部布尔变量Key。利用Swap指令，可实现对临界区的加锁与解锁。 do { key = true; while(key==ture) Swap (lock, key); cri