操作系统在BACI并发程序设计系统中实现哲学家就餐问题和生产者消费者问题.docVIP

操作系统实验 计科一班 陈琼暖 20070810104 实验题目: 在BACI并发程序设计系统中实现哲学家就餐问题和生产者/消费者问题 实验环境: 虚拟机(VMware Workstation)中的linux系统 实验内容: 一、实验准备： ① BACI并发程序设计系统 BACI提供了一个可以编写并发程序的环境，在这个平台上，我们可以很容易的模拟程序的并发执行，在这种并行的编译环境中，可以把BACI中的一些语句嵌入到C++，C，Java等高等程序中，使程序可以并行执行 . 　　基于C++的BACI语法(C—BACI Compiler) 　　该语法结构是在C++语法结构的基础上，增加一些并发语句扩展而来，1. cobegin函数 　　在BACI系统中，并发进程与并发线程同步，多个进程可以并发的在cobegin 块中来并发执行，该函数必须在主函数中，语法结构为： 　　cobegin { 　　proc1(...);proc2(...);. . . . procN(...); 　　} 其中每个进程并发随机执行，每次执行的顺序可能会不一样，当所有的进程接受后，该函数结束。 2. Semaphores/Binarysem 　　信号量的(Semaphores)机制可以更方便的实现进程同步，Semaphores是一种如C中”int”一样的类型，可以用来定义信号量类型的变量，Binarysem是一种二进制信号量，它所定义的变量只能取1或 0，用来表示互斥。1).信号量的声明和初始化 　　semaphores a; 　　binarysem s; 上面声明了两个信号量a，b，其中b为二进制信号量信号量按如下方式初始化： 　　Initialsem(semaphores,interger); 　　Initialsem(binarysem,0/1); 2)P(wait)/V(signal)函数 　　强大的PV操作与信号量一次很方便的解决了并发进程同步与互斥问题 　　函数原型： 　　void p(semaphores s); or void wait(semaphores s); 　　void v(semaphores s); or void signal(semaphores s); 　　函数说明： 　　p(sem): 如果sem 0,则sem减1，调用P的进程可以继续执行，如果sem=0，则该进程阻塞，该函 　　数操作是原子性的. 　　v(sem): 如果v=0，或有进程阻塞，则将其唤醒，如果没有进程等待，将sem加1，在任何时候调用 　　v的进程可以继续执行，其操作也是原子的. 3.atomic 　　atomic关键字定义了原子操作，即该函数操作不可剥夺，每次只能一个进程访问 　　用法：在要原子执行的函数前加atomic即可，如： 　　atomic int sum(){ 　　. . . .. 　　} 　　则sum()函数就可以原子操作了 4.void suspend(void) 　　suspend函数将调用的线程挂起 5.void revive (int process_number) 　　该函数用于唤醒某个进程，其进程号为process_number ②PV操作 由于在整个实验中，两个问题都是使用PV操作来完成的，有必要对PV操作进行探究了解： Ｐ原语操作功能 Ｖ原语操作功能 P操作相当于申请资源，而V操作相当于释放资源。 P.V操作必须成对出现，有一个P操作就一定有一个V操作 当为互斥操作时，它们同处于同一进程；当为同步操作时，则不在同一进程中出现 二、实验过程： ③哲学家就餐问题: 题意分析：假设有5个哲学家，共享一张放有五把椅子的桌子，每人分得一把椅子。但是，桌子上总共只有5支筷子，在每人两边分开各放一支。哲学家们在肚子饥饿时才试图分两次从两边拾起筷子就餐。 条件： (1) 只有拿到两支筷子时，哲学家才能吃饭。 (2) 如果筷子已在他人手上，则该哲学家必须等待到他人吃完之后才能拿到筷子。 由题意可知： 1、作此算法首先保证不会出现两个邻座同时要求吃饭的通信算法永远拿不到筷子 3、可知当哲学家吃面前必须执行两个P操作，分别是获得自己左边和右边的两把叉子；吃完后必须执行两次V操作，即放下左边和右边两把叉子。 process philosopher_i( ) //i= 0,1,2,3,4 { while(