操作系统第二章2课件.pptVIP

一、进程同步的基本概念 register2:=counter； register2:=register2-1； register1:=counter； counter:=register2； register1:=register1+1； counter:=register1； 　 2、记录型信号量 三、信号量的应用 进程互斥问题解题思路 一类临界资源设置一个互斥信号量mutex，初值为其可用个数(如打印机台数)，如：只有一台打印机可设置为1 所有互斥进程在进入区执行P(mutex)，退出区执行V(mutex)；次序不能颠倒 P和V操作成对出现。遗漏P操作则不能保证互斥访问，遗漏V操作则可能造成死锁 三、信号量的应用 进程同步问题的解题思路 有几类同步进程，就设几个同步信号量。 设定信号量初值。 同一信号量的P、V操作要成对出现，但分别在不同进程的代码中。 四、管程 信号量机制中，大量分散的同步操作 给系统管理带来了麻烦 容易导致系统死锁 1、管程(monitor)定义 管程可定义为：一个数据结构和能为并发进程所执行(在该数据结构上)的一组操作，这组操作能同步进程和改变管程中的数据。 管程由4部分组成 2、条件变量 在管程中引入条件变量（condition）来区分等待原因的不同，描述格式为 var x: condition； 对条件变量的P、V操作可表示为： x.wait：将调用该过程的进程挂起阻塞，并加入到x的挂起阻塞队列中；此时其它进程可以使用该管程。 x.signal：选择一个在条件变量x上被阻塞挂起的进程恢复，若没有，该操作无效。这与信号量机制中的signal操作不同，因为后者总是要执行s:=s+1操作，因而总会改变信号量的状态。 求解进程同步与互斥问题注意事项 进程应该先申请同步信号量，再申请互斥信号量；释放顺序不要求，但建议嵌套出现 任何信号量的P和V操作都必须成对出现 对互斥信号量的操作成对出现在同一进程中 对同步信号量的操作成对出现在不同进程中 在生产者消费者问题中，若只有一个缓冲区，则不需要互斥信号量 进程同步与互斥问题解题思路 分清哪些是互斥问题(互斥访问临界资源)，哪些是同步问题(具有前后执行顺序要求，一个进程的操作结果影响另一个进程的操作)。 一类临界资源设置一个互斥信号量，初值为其可用个数，一般为1，代表一次只允许一个进程访问临界资源。 有几类同步进程，就设几个同步信号量。一个同步信号量表示一类同步进程是否可以开始或已经结束。 同步与互斥的解题步骤 确定进程。包括进程的数量、进程的工作内容，可以用流程图描述。 确定同步互斥关系。根据使用的是临界资源还是处理的前后关系，确定同步与互斥，然后确定信号量的个数、含义及对信号量的P、V操作。 用类C语言描述同步或互斥算法。 本章作业 它描述的是：有一群生产者进程在生产产品，并将这些产品提供给消费者进程去消费。为使生产者进程与消费者进程能并发执行，在两者之间设置了一个具有n个缓冲区的缓冲池，生产者进程将它所生产的产品放入一个缓冲区中；消费者进程可从一个缓冲区中取走产品去消费。尽管所有的生产者进程和消费者进程都是以异步方式运行的，但它们之间必须保持同步，即不允许消费者进程到一个空缓冲区去取产品，也不允许生产者进程向一个已装满产品且尚未被取走的缓冲区中投放产品。 我们可利用一个数组来表示上述的具有n个(0，1，…，n-1)缓冲区的缓冲池。用输入指针in来指示下一个可投放产品的缓冲区，每当生产者进程生产并投放一个产品后，输入指针加1；用一个输出指针out来指示下一个可从中获取产品的缓冲区，每当消费者进程取走一个产品后，输出指针加1。由于这里的缓冲池是组织成循环缓冲的，故应把输入指针加1表示成 in:= (in+1)mod n； 输出指针加1表示成out:= (out+1) mod n。当 (in+1) mod n=out时表示缓冲池满；而in=out则表示缓冲池空。此外，还引入了一个整型变量counter，其初始值为0。每当生产者进程向缓冲池中投放一个产品后，使counter加1；反之，每当消费者进程从中取走一个产品时，使counter减1。生产者和消费者两进程共享下面的变量： 指针in和out初始化为1。在生产者和消费者进程的描述中，noop是一条空操作指令，while condition do no-op语句表示重复的测试条件(condication)，重复测试应进行到该条件变为false(假)，即到该条件不成立时为止。在生产者进程中使用一局部变量nextp，用于暂时存放每次刚生产出来的产品；而在消费者进程中，则使用一个局部变量nextc，用于存放每次要消费的产品。 　虽然上面的生产者程序和消费者程序在分别看时都是正确的