針對讀者偏好的讀者 - 作者實現解決方案

Question

我正試圖爲讀者偏好的讀者 - 作者問題實施解決方案。 以下是問題陳述：

1. 數據一個作家線程和多個讀線程
2. 讀線程之間共享，如果作家線程訪問共享數據應該等待。如果另一個讀者線程正在訪問共享數據

我想出了下面的僞代碼

讀線程不應該等待。

有人可以告訴我，下面的解決方案是否足夠，它有什麼問題？

initialize() 
{ 
    initialize semaphore with value 0 
    initialize reader_active_count with value 1 
} 

writer() 
{ 
    // Wait until reader thread makes the semaphore non-zero 
    sem_wait(s) 

    write data; 

    sem_post(s) 
    } 

reader() 
{ 
    lock(r1) 
     reader_active_count ++; 

     // Am I the first reader thread 
     if (reader_active_count == 1) 
     { 
      // Wait until writer thread makes the semaphore non-zero 
      sem_wait(s); 
     } 
    unlock(r1) 


    read data 


    lock(r1) 
     reader_active_count--; 
     // Am I the last reader thread 
     if(reader_active_count == 0) 
     { 
      // Increment the sempahore to a non-zero value 
      sem_post(s); 
     } 
    unlock(r1) 
} 

Answer 1

雖然它看起來像你的代碼將防止多個作家，並會阻止併發讀寫訪問，同時允許多個讀取，也不會更喜歡的作家的讀者。

考慮到線程1正在寫入並且線程2出現時也想要寫入的情況。然後線程3想讀取。

線程1將釋放信號量，使其不爲零。如果你的線程調度器是公平的（即嚴格的FIFO），那麼線程2將獲得信號量，因爲它是第一個在線的。如果您的調度程序不是嚴格的FIFO，則其中一個線程可以成爲獲取信號量的下一個線程。

如果您希望讀者偏愛作家，那麼您需要某種方式爲讀者提供更高優先級的隊列。