中山大学软件工程操作系统实验三报告

实验三 同步互斥问题

• 生产者-消费者问题
• 读者-写者问题

---

一、实验目的

1.用线程同步机制，实现生产者-消费者问题
2.用信号量机制分别实现读者优先和写者优先的读者-写者问题

---

二、实验运行环境

虚拟机VMware下的Ubuntu16.04系统

---

三、实验内容及要求

1.生产者-消费者问题
设计一个程序来解决有限缓冲问题。
在课本6.6.1小节中，使用了三个信号量：
①empty（以记录有多少空位）
②full（以记录有多少满位）
③mutex（二进制信号量或互斥信号量，以保护对缓冲插入与删除的操作）
对于本项目，empty与full将采用标准计数信号量，而mutex将采用二进制信号量。生产者与消费者作为独立线程，在empty、full、mutex的同步前提下，对缓冲进行插入与删除。
本项目中采用Pthread。



2.读者-写者问题
在linux环境下，创建一个进程，此进程包含n个线程。用着n个线程来表示n个读者或写者。每个线程按相应测试数据文件（后面有介绍）的要求进行读写操作。用信号量机制分别实现读者优先和写者优先的读者-写者问题。
读者-写者问题的读写操作限制（仅读者优先或写者优先）：
1）写-写互斥，即不能有两个写者同时进行写操作。
2）读-写互斥，即不能同时有一个线程在读，而另一个线程在写。
3）读-读允许，即可以有一个或多个读者在读。
读者优先的附加限制：如果一个读者申请进行读操作时已有另一个读者正在进行读操作，则该读者可直接开始读操作。
写者优先的附加限制：如果一个读者申请进行读操作时已有另一个写者在等待访问共享资源，则该读者必须等到没有写者处于等待状态后才能开始读操作。
运行结果显示要求：要求在每个线程创建、发出读写操作申请、开始读写操作和结束读写操作时分别显示一行提示信息，以确定所有处理都遵守相应的读写操作限制。

2.1读者优先问题
读者优先指的是除非有写者在写文件，否则读者不需要等待。所以可以用一个整型变量read_count记录当前的读者数目，用于确定是否需要释放正在等待的写者线程（当read_count=0时，表明所有的读者读完，需要释放写者等待队列中的一个写者）。每一个读者开始读文件时，必须修改read_count变量。因此需要一个互斥对象mutex来实现对全局变量read_count修改时的互斥。
另外，为了实现写-写互斥，需要增加一个临界区对象wrt。当写者发出写请求时，必须申请临界区对象的所有权。通过这种方法，也可以实现读-写互斥，当read_count=1时（即第一个读者到来时），读者线程也必须申请临界区对象的所有权。
当读者拥有临界区的所有权时，写者阻塞在临界区对象wrt上。当写者拥有临界区的所有权时，第一个读者判断完“read_count==1”后阻塞在wrt上，其余的读者由于等待对read_count的判断，阻塞在mutex上。
2.2写者优先问题
写者优先与读者优先类似。不同之处在于一旦一个写者到来，它应该尽快对文件进行写操作，如果有一个写者在等待，则新到来的读者不允许进行读操作。为此应当增加一个整型变量write_count，用于记录正在等待的写者的数目，当write_count=0时，才可以释放等待的读者线程队列。
为了对全局变量write_count实现互斥，必须增加一个互斥对象writeAccess。
为了实现写者优先，应当增加一个临界区对象mutexW，当有写者在写文件或等待时，读者必须阻塞在mutexW上。
读者线程除了要对全局变量read_count实现操作上的互斥外，还必须有一个互斥对象对阻塞read这一过程实现互斥。这两个互斥对象分别命名为mutexR和readAccess。

---

四、测试数据

1.生产者-消费者问题
测试数据文件包括n行测试数据，分别描述创建的n个线程是生产者还是消费者，以及生产者或消费者存放或取产品的开始时间和持续时间。
每行测试数据包括四个或五个字段，各个字段间用空格分隔。
第一字段为一个正整数，表示线程序号。
第二字段表示相应线程角色，P表示生产者，C表示消费者。
第三字段为一个正数，表示存放或取出操作的开始时间：线程创建后，延迟相应时间（单位为秒）后发出对共享资源的使用申请。
第四字段为一个正数，表示操作的持续时间。
第五字段为一个正数（仅生产者有），表示生产的产品号。
当线程申请成功后，开始对共享资源的操作，该操作持续相应时间后结束，并释放共享资源。
下面是一个测试数据文件的例子：
1 C 3 5
2 P 4 5 1
3 C 5 2
4 C 6 5
5 P 7 3 2
6 P 8 4 3

2.读者-写者问题
测试数据文件包括n行测试数据，分别描述创建的n个线程是读者还是写者，以及读写操作的开始时间和持续时间。
每行测试数据包括四个字段，各个字段用空格分隔。
第一字段为一个正整数，表示线程序号。
第二字段表示相应线程角色，R表示读者，W表示写者。
第三字段为一个正数，表示读写操作的开始时间：线程创建后，延迟相应时间（单位为秒）后发出对共享资源的读写申请。
第四字段为一个正数，表示读写操作的持续时间。
当线程读写申请成功后，开始对共享资源的读写操作，该操作持续相应时间后结束，并释放共享资源。
下面是一个测试数据文件的例子：
1 R 3 5
2 W 4 5
3 R 5 2
4 R 6 5
5 W 7 3

---

五、实验过程

1.生产者-消费者问题
①声明全局变量total_producer和total_consumer分别用于记录生产者总数和消费者总数，整型数组buffer用于作为缓冲区，存储生产者存放的产品，这里设置最大为4个缓冲区，nextP和nextC分别作为下一个生产者存放的产品和下一个消费者消费的产品。

int total_producer = 0, total_consumer = 0;// 生产者总数、消费者总数
int buffer[BUFFER_SIZE];// 生产者存放的产品
int nextP = 0, nextC = 0;// 下一个生产者存放的产品、下一个消费者消费的产品

②定义三个信号量：empty（生产者存放时进行阻塞，判断缓冲区是否有空位，若有则可以进行存放操作，若没有空位则必须等待），full（消费者消费时必须进行阻塞，判断缓冲区中是否有产品可以取出，若有则进行消费，若没有则必须等待），mutex（对缓冲区修改的互斥变量，要保证一次只能是生产者或者消费者其中一个缓冲区进行修改，不能两个角色同时修改缓冲区）；

sem_t empty, full, mutex;// 记录有多少空位、记录有多少满位、保护对缓冲区插入与成熟的操作

③定义一个结构体command，用于存放测试数据。

struct command
{
    int pid;// 线程号
    char type;// 线程角色（P：生产者；C：消费者）
    int startTime;// 操作开始的时间
    int lastTime;// 操作的持续时间
    int num;// 生产者存放产品的编号
};

④生产者线程：
1）将传入参数param转化为一个command的结构体，包含生产者的pid（线程号），type（即是P，线程角色：生产者），startTime（开始时间），lastTime（持续时间），num（生产者所生成的产品编号）。
2）进入while循环：
    开始阻塞信号empty，等待缓冲区是否有空位；
    睡眠sleep开始时间startTime，阻塞mutex信号，修改缓冲区，把生成的编号为data->num的产品放入缓冲区，打印出已完成生产的信息，修改缓冲区指针。
    睡眠sleep持续时间lastTime，释放信号量mutex和full，允许消费者对缓冲区进行修改和取出产品。
3）退出循环。

// 生产者线程
void *producer(void *param) {
    struct command* data = (struct command*)param;

    while (true) {
        sem_wait(&empty);
        sleep(data->startTime);
        sem_wait(&mutex);

        buffer[nextP] = data->num;
        cout << "Producer No." << data->pid 
            << " produces " << "product No." << data->num << endl;
        nextP = (nextP + 1) % BUFFER_SIZE;

        sleep(data->lastTime);
        sem_post(&mutex);
        sem_post(&full);

        pthread_exit(0);
    }
}

⑤消费者线程：
1）将传入参数param转化为一个command的结构体（注意此时消费者没有num），包含生产者的pid（线程号），type（即是C，线程角色：消费者），startTime（开始时间），lastTime（持续时间）。
2）进入while循环：
    开始阻塞信号full，等待缓冲区是否有产品；
    睡眠sleep开始时间startTime，阻塞mutex信号，修改缓冲区，取出消费编号为buffer[nextC]的产品，打印出已完成消费的信息，修改缓冲区指针，缓冲区减少一个产品；
    睡眠sleep持续时间lastTime，释放mutex和empty，允许生产者对缓冲区进行修改和向其中存放产品。
3）退出循环。

// 消费者线程
void