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

其他语法结构参见网站：

http://inside.mines.edu/fs_home/tcamp/baci/index.html#Introduction