读者-写者

一、问题描述

有读者和写者两组并发进程，共享一个文件。

当两个或两个以上的读进程同时访问共享数据时不会产生副作用

但若某个写进程和其他进程（读进程或写进程）同时访问共享数据时则可能导致数据不一致的错误。

因此要求:

1.允许多个读者可以同时对文件执行读操作;

2.同一时间只允许一个写者往文件中写信息;

3.任一写者在完成写操作之前不允许其他读者或写者工作;

4.写者执行写操作前，应让已有的读者和写者全部退出。

与消费者进程不同，读者进程在读数据后并不会将数据清空，并不会改变数据。因此多个读者可同时访问共享数据

1.两个写进程同时共享数据，可能导致数据错误覆盖的问题

eg:写进程1在缓冲区x写入数据之后，写进程2又在缓冲区x写入数据，会将之前写入的数据覆盖掉

2.读进程与写进程同时共享数据,可能导致读出的数据不一致的问题

两类进程:写进程、读进程

互斥关系:

写进程―写进程

写进程―读进程。

读进程与读进程不存在互斥问题。

写者进程和任何进程都互斥，设置一个互斥信号量rw，在写者访问共享文件前后分别执行P、v操作。读者进程和写者进程也要互斥，因此读者访问共享文件前后也要对rw执行P、v操作。

如果所有读者进程在访问共享文件之前都执行P(rw)操作，那么会导致各个读进程之间也无法同时访问文件。

Key:读者写者问题的核心思想――怎么处理该问题呢?

P(rw)和V(rw)其实就是对共享文件的“加锁”和“解锁”。既然各个读进程需要同时访问，而读进程与写进程又必须互斥访问，那么我们可以让第一个访问文件的读进程“加锁”，让最后一个访问完文件的读进程“解锁”。可以设置一个整数变量count-来记录当前有几个读进程在访问文件。

二、实现

semaphore rw=1;     //用于实现对文件的互斥访问
int count=0;        //记录当前有几个读进程在访问文件
semaphore mutex=l;  //用于保证对count变量的互斥访问  
semaphore w=l;      //用于实现"写优先"
​
write()
{
    while(1)
    {
        p(w);
        p(rw);//访问文件-加锁
        写文件;
        v(rw);//解锁
        v(w);
    }
}
​
reader()
{
    while(1)
    {
        p(w);
        p(mutex);//操作count变量-加锁
        if(count==0)
        {
            p(rw);//第一个读进程，会加锁
        }
        count++;
        v(mutex);//解锁
        v(w);
        读文件;
        p(mutex);//操作count变量-加锁
        count--;
        if(conut==0)
        {
            v(rw);//最后一个读进程-解锁
        }
        v(mutex);//解锁
    }
}

结论:在这种算法中，连续进入的多个读者可以同时读文件;写者和其他进程不能同时访问文件;写者不会饥饿，但也并不是真正的“写优先”，而是相对公平的先来先服务原则。

有的书上把这种算法称为“读写公平法”。

读者-写者问题为我们解决复杂的互斥问题提供了一个参考思路。

其核心思想在于设置了一个计数器count用来记录当前正在访问共享文件的读进程数。

我们可以用count的值来判断当前进入的进程是否是第一个/最后一个读进程，从而做出不同的处理。

另外，对count变量的检查和赋值不能一气呵成导致了一些错误，如果需要实现“一气呵成”，自然应该想到用互斥信号量。