郝亞洲　李文敏

計算機操作系統(tǒng)原理課程是計算機科學(xué)與技術(shù)及相關(guān)專業(yè)的核心課程,歷來為計算機及信息學(xué)科所重視。操作系統(tǒng)原理課程中重要的一環(huán)就是進(jìn)程間的通信問題。而“讀者-寫者”問題更是進(jìn)程間通信的經(jīng)典,學(xué)好它不僅可使學(xué)生鞏固理論學(xué)習(xí)的概念、原理、設(shè)計及算法,同時也可培養(yǎng)軟件開發(fā)所應(yīng)有的系統(tǒng)結(jié)構(gòu)設(shè)計和軟件工程素養(yǎng)。

操作系統(tǒng);文件系統(tǒng);功能調(diào)用

1.問題的提出及論文的目的

在Windows7環(huán)境下,創(chuàng)建一個控制臺進(jìn)程,此進(jìn)程包含n個線程。用這n個線程來表示n個讀者或?qū)懻?。每個線程按相應(yīng)測試數(shù)據(jù)文件的要求進(jìn)行讀寫操作。用信號量機制分別實現(xiàn)讀者優(yōu)先和寫者優(yōu)先問題。

通過分析并實現(xiàn)經(jīng)典的“讀者-寫者”問題,鞏固對線程及其同步機制的學(xué)習(xí)效果,加深對相關(guān)基本概念的理解,并讓讀者了解如何將基本原理和實際設(shè)計有機的結(jié)合。

2.設(shè)計思路

可以將所有讀者和所有寫者分別存于一個讀者等待隊列和一個寫者等待隊列中,每當(dāng)讀允許時,就從讀者隊列中釋放一個或多個讀者線程進(jìn)行讀操作;每當(dāng)寫允許時,就從寫者隊列中釋放一個寫者線程進(jìn)行寫操作。

讀者優(yōu)先。讀者優(yōu)先指的是除非有寫者在寫文件,否則讀者不需要等待。所以可以用一個整數(shù)變量Read count記錄當(dāng)前的讀者數(shù)目,用于確定是否需要釋放正在等待的寫者進(jìn)程(當(dāng)Read count=0時,表明所有的讀者讀完,需要釋放寫者等待隊列中的一個寫者)。每當(dāng)一個讀者開始讀文件時,必須修改Read count變量。因此需要一個互斥對象mutex來實現(xiàn)對全局變量Read count修改時的互斥。

另外,為了實現(xiàn)讀-寫互斥,需要增加一個臨界區(qū)對象Write。當(dāng)寫者發(fā)出寫請求時,必須申請臨界區(qū)對象的所有權(quán)。通過這種方法,可以實現(xiàn)讀-寫互斥,當(dāng)Read count=1時(即第一個讀者到來時),讀者線程也必須申請臨界區(qū)對象的所有權(quán)。

當(dāng)讀者擁有臨界區(qū)的所有權(quán)時,寫者阻塞在臨界區(qū)對象Write上。當(dāng)寫者擁有臨界區(qū)的所有權(quán)時,第一個讀者判斷完”Read count==1”后阻塞在Write上,其余的讀者由于等待對Read count的判斷,阻塞在mutex上。

寫者優(yōu)先。寫者優(yōu)先與讀者優(yōu)先相類似。不同之處在于一旦一個寫者到來,它應(yīng)該盡快對文件進(jìn)行寫操作,如果有一個寫者在等待,則新到來的讀者不允許進(jìn)行讀操作。為此應(yīng)當(dāng)填加一個整形變量Write count,用于記錄正在等待的寫者的數(shù)目,當(dāng)Write count=0時,才可以釋放等待的讀者線程隊列。

為了對全局變量Write count實現(xiàn)互斥,必須增加一個互斥對象mutex3。

為了實現(xiàn)寫者優(yōu)先,應(yīng)當(dāng)填加一個臨界區(qū)對象read,當(dāng)有寫者在寫文件或等待時,讀者必須阻塞在read上。

讀者線程除了要對全局變量Read count實現(xiàn)操作上的互斥外,還必須有一個互斥對象對阻塞read這一過程實現(xiàn)互斥。這兩個互斥對象分別命名為mutex1,mutex2。

以上內(nèi)容很清楚的講述了進(jìn)程間通信之經(jīng)典問題—“讀者-寫著”問題的本質(zhì),并且提出了實現(xiàn)的方法,可以幫助讀者學(xué)好操作系統(tǒng)這門核心的計算機專業(yè)課程。

[1]湯子瀛.計算機操作系統(tǒng)[M].西安:西安電子科技大學(xué)出版社,2011.08

[2]特南鮑姆.現(xiàn)代操作系統(tǒng)[M].北京:機械工業(yè)出版社,2002.01

[3]William Stalling.操作系統(tǒng):精髓與設(shè)計原理[M].北京:電子工業(yè)出版社,2006.03