读者与
写者
问题是指多个进程同时访问共享资源的
问题。在
读者与
写者
问题中，有若干个
读者进程和一个
写者进程，它们共享一个资源。
读者进程只是
读取资源，不
修改资源；
写者进程则
修改资源。在同一时刻，只能有一个进程可以
修改资源，但可以有多个进程同时
读取资源。
读者和
写者之间必须互斥，即不能同时访问资源，否则会出现数据不一致的情况。
下面是一个基于信号量的实现
读者与
写者
问题的示例代码：
```c++
#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>
#include <pthread.h>
#include <semaphore.h>
#define MAX_READERS 5
sem_t mutex, write_mutex;
int reader_count = 0;
void *writer(void *arg) {
int id = *(int *)arg;
while (1) {
sem_wait(&write_mutex);
printf("Writer %d is writing...\n", id);
sleep(1); // 模拟
写操作
printf("Writer %d finished writing.\n", id);
sem_post(&write_mutex);
sleep(3); // 模拟
写操作间隔
}
pthread_exit(NULL);
}
void *reader(void *arg) {
int id = *(int *)arg;
while (1) {
sem_wait(&mutex);
reader_count++;
if (reader_count == 1) {
sem_wait(&write_mutex);
}
sem_post(&mutex);
printf("Reader %d is reading...\n", id);
sleep(1); // 模拟
读操作
printf("Reader %d finished reading.\n", id);
sem_wait(&mutex);
reader_count--;
if (reader_count == 0) {
sem_post(&write_mutex);
}
sem_post(&mutex);
sleep(2); // 模拟
读操作间隔
}
pthread_exit(NULL);
}
int main() {
pthread_t readers[MAX_READERS], writer_thread;
int i, writer_id = 1, reader_ids[MAX_READERS];
sem_init(&mutex, 0, 1); // 初始化互斥信号量
sem_init(&write_mutex, 0, 1); // 初始化
写信号量
// 创建
写者线程
if (pthread_create(&writer_thread, NULL, writer, &writer_id) != 0) {
perror("pthread_create error");
exit(EXIT_FAILURE);
}
// 创建
读者线程
for (i = 0; i < MAX_READERS; i++) {
reader_ids[i] = i + 1;
if (pthread_create(&readers[i], NULL, reader, &reader_ids[i]) != 0) {
perror("pthread_create error");
exit(EXIT_FAILURE);
}
}
// 等待所有线程结束
pthread_join(writer_thread, NULL);
for (i = 0; i < MAX_READERS; i++) {
pthread_join(readers[i], NULL);
}
sem_destroy(&mutex); // 销毁互斥信号量
sem_destroy(&write_mutex); // 销毁
写信号量
return 0;
}
```
在上面的代码中，我们使用了两个信号量：互斥信号量 mutex 和
写信号量 write_mutex。
读者进程和
写者进程必须先获取互斥信号量 mutex，然后
读者进程会增加 reader_count 的计数器，如果是第一个
读者，就获取
写信号量 write_mutex。
读者进程完成
读操作后，会将计数器减1；如果是最后一个
读者，就释放
写信号量 write_mutex。
写者进程则直接获取
写信号量 write_mutex，完成
写操作后释放
写信号量 write_mutex。这样就保证了
读者和
写者之间的互斥性。
需要注意的是，在本例中
读者和
写者线程都是无限循环的，为了退出程序，可以使用 Ctrl+C 终止程序。
5342
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
