计算机学科专业基础2014 真题档案

(1) 信号量的含义和初值

• mutex1：用于控制一个消费者进程连续取出10件产品的互斥，初值为1。
• mutex2：用于进程单次互斥访问缓冲区，初值为1。
• empty：表示缓冲区中的空位数量，初值为1000。
• full：表示缓冲区中的产品数量，初值为0。

(2) 生产者进程的伪代码

producer() {
    while (1) {
        生产一个产品;
        P(empty);          // 等待空位
        P(mutex2);         // 互斥访问缓冲区
        把产品放入缓冲区;
        V(mutex2);         // 释放缓冲区访问权
        V(full);           // 产品数加1
    }
}

(3) 消费者进程的伪代码

consumer() {
    while (1) {
        P(mutex1);         // 确保连续取10次产品期间独占
        for (int i = 0; i < 10; i++) {
            P(full);       // 等待产品
            P(mutex2);     // 互斥访问缓冲区
            从缓冲区取出一件产品;
            V(mutex2);     // 释放缓冲区访问权
            V(empty);      // 空位数加1
            消费这件产品;
        }
        V(mutex1);         // 释放连续取产品的控制权
    }
}