操作系统哲学家就餐问题生产者消费者问题.docVIP

实验题目： ? 在BACI并发程序设计系统中实现哲学家就餐问题和生产者/消费者问题 一、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 二、BACI开发过程： 1、开发环境： Ubuntu 10.04 2、开发工具： 采用带有GUI的BACI工具软件，下载地址： /fs_home/tcamp/baci/index.html 3、解压后的目录： 4、实验测试过程 （a）软件测试用例： 源代码：jqk.cm 测试结果： （b）：生产者消费者问题(Bounded-Buffer) 在BACI系统中模拟生产者，消费者问题，用PV操作实现同步，与互斥 源代码(ex1.cm): 在终端进行编译： 运行GUI 运行结果： (c)：哲学家就餐问题(Dining-Philosophers) 源代码：ex2.cm 编译运行GUI： 运行结果： 三、实验总结 在本次实验过程中，选定题目后便在网上搜索资料，最终选定了较为简单的BACI测试工具，然后简单学习了一下BACI的语法规则和一些常用的函数，进而编写代码测试实验。同时在实验中又复习了经典的同步算法，以及用信号量和PV操作来实现同步的具体方法。