循环缓冲题目

题目：一环形缓冲区由 6 个缓冲区 0~5 组成，其中 Full 表示装满数据的缓冲区，Empty 表示空缓冲区。按照顺时针方向，指针 Pf 指向第一个 “满” 缓冲区，指针 Pe 指向第一个 “空” 缓冲区。进程 In 在 Pe 指示下不断向 Empty 中输入数据，进程 Out 在 Pf 指示下不断从 Full 中取出数据。当所有缓冲区均为 “满” 缓冲区时，Pe 指向 “null”。当所有缓冲区均为 “空” 缓冲区时，Pf 指向 “null”。初始状态时，所有缓冲区均为 “空” 缓冲区，Pe 指向 0 号缓冲区。试用信号量和 P、V 原语写出进程 In 和 Out 的同步算法。

定义信号量

mutex = 1, empty = 6, full = 0;

In 进程

void in() {
    wait(empty);
    wait(mutex);
    if (Pf == NULL) Pf = Pe;
    // 向Pe指向的缓冲区写入数据
    Pe = (Pe + 1) % 6;
    if (Pe == Pf) Pf = NULL;
    signal(mutex);
    signal(full);
}

Out 进程

void out() {
    wait(full);
    wait(mutex);
    if (Pe == NULL) Pe = Pf;
    // 从Pf指向的缓冲区取出数据
    Pf = (Pf + 1) % 6;
    if (Pf == Pe) Pe = NULL;
    signal(mutex);
    signal(empty);
}