消費者模型
生產者-消費者問題是一個經典的程序同步問題，生產者程序在生產產品，並將這些產品提供給消費者程序去消費。為使生產者程序與消費者程序能併發執行，在兩者之間設定一個具有N個緩衝區的緩衝池，生產者程序將它所生產的產品放入一個緩衝區；消費者程序可從一個緩衝區中取走產品去消費。當緩衝區滿的時候生產者就不能放，當緩衝區空的時候消費者就不能取。
以下是我在Linux下實現的生產者消費者模型：

讀者寫者模型
讀者與寫者問題的特點在於讀者不使緩衝區數量改變，並且多個讀者可以同時讀取緩衝區資訊，而寫者與寫者、寫者與讀者只能互斥訪問緩衝區的相同資料。對於相同的資料項，多個讀者之間可以同時訪問；對於相同的資料項，多個寫者或寫者與讀者之間不能同時訪問。

兩個模型之間的區別
從兩個模型的原理中可以看出，兩個模型最大的區別在於在生產者消費者模型中，生產者與生產者是互斥關係，消費者和消費者是互斥關係，生產者和消費者之間是互斥與同步關係；而在讀者寫者模型中，讀者和讀者沒有關係，寫者和寫者是互斥關係，讀者和寫者是互斥與同步關係。

對讀者和寫者模型的深入探究

實現此模型的操作：

int count_Reader=0;    //記錄正在讀的讀者數
int mutex_Count_Reader=1;    //用於讀者之間互斥訪問count_Reader 
int mutex_Reader_Writer=1;  //用於讀者與寫者之間的互斥和寫者與寫者之間的互斥
 

Reader  
{  
    while(ture)  
    {  
        p( mutex_Count_Reader );  
        if( 0 == count_Reader )  //如果當前的讀者數為0，就要先去檢查一下是不是寫者正在寫
            p( mutex_Reader_Writer);  //如果寫者正在寫，讀者就會阻塞在此處
        ++ count_Reader;  
        v( mutex_Count_Reader);  

        進行讀操作；  

        p( mutex_Count_Reader ); 
        - - count_Reader;   
        if
 
( 0 == count_Reader )  //如果讀者數已經為0，說明所有讀者都讀完了，寫者可以寫啦
            v( mutex_Reader_Writer);  
        v( mutex_Count_Reader );  
    }  
}  

Writer  
{  
    while(true)  
    {  
        p( mutex_Reader_Writer);  

        進行寫操作  

        v( mutex_Reader_Writer);  
    }  
}  

這其實是一個讀者優先的演算法。
設想一下，如果此時有多個讀者和寫者都在等待，而此時又是讀者正在讀，讀者就一直佔著mutex_Reader_Writer訊號量，等待的讀者可以進去讀，但寫者就要等所有的讀者讀完後才能寫，這就會造成寫者飢餓的問題。解決方法是設定寫者優先。

寫者優先
寫者優先演算法要解決的是在上面的基礎上，當讀者和寫者同時等待時，讓寫者先進去寫。

int count_Reader=0;    //記錄正在讀的讀者數
int count_Writer=0;    //記錄正在等待的寫者數
int mutex_Count_Reader=1;    //讀者之間互斥訪問count_Reader
int mutex_Count_Writer=1;    //寫者之間互斥訪問count_Writer
int mutex_Reader_Writer=1;  //讀者與寫者之間的互斥
int mutex_write=1;   //寫者與寫者之間的互斥

Reader
{
    P( mutex_Count_Writer );    //如果有寫者在等待,就阻塞讀者程序，這樣就能保證寫者優先       
    V( mutex_Count_Writer );    
    P( count_Reader );    
    if( 0 == count_Reader )  
        p( mutex_Reader_Writer);  //如果寫者正在寫，讀者就會阻塞在此處
    ++ count_Reader;  
    V( mutex_Count_Reader);    

    進行讀操作；         

    P( mutex_Count_Reader ); 
    - - count_Reader;   
    if( 0 == count_Reader )  
        v( mutex_Reader_Writer);  
    V( mutex_Count_Reader );  
}
Writer  
{  
    P( mutex_Count_Writer );              
    if( 0 == count_Writer )  
        p( mutex_Reader_Writer);  
    ++count_Writer;  
    V( mutex_Count_Writer);    

    寫操作；    

    P( mutex_Count_Writer );    
    - -count_Writer;    
    if( 0 == count_Writer )      
        V( mutex_Reader_Writer); 
    V( mutex_Count_Writer ); 
}