计算机操作系统操作系统第2讲.ppt

‘semaphore[fo:]信号 ’integer 2．利用信号量实现前趋图关系 S1~S6是多个并发执行进程中的多个语句的前趋关系 Var a,b,c,d,e,f,g：semaphore: =0,0,0,0,0,0,0； begin parbegin 　begin S1； signal(a)； signal(b)； end； 　begin wait(a)； S2； signal(c)； signal(d)；end； 　begin wait(b)； S3； signal(e)； end； 　begin wait(c)； S4； signal(f)； end； 　begin wait(d)； S5； signal(g)； end； 　begin wait(e)； wait(f)； wait(g)； S6；end； parend end 2.3.4　管程机制 　　1．管程的定义 代表共享资源的数据结构，以及由对该共享数据结构实施操作的一组过程所组成的资源管理程序，构成操作系统资源管理模块, 称为管程（相当于类类型的对象）。 所有进程要访问临界资源时，都必须经过管程进入。管程每次只准许一个进程进入管程，从而实现进程互斥。