1、操作系統(tǒng)實(shí) 驗(yàn) 報(bào) 告課程名稱操作系統(tǒng)實(shí)驗(yàn)實(shí)驗(yàn)項(xiàng)目名稱進(jìn)程旳同步學(xué)號(hào)班級(jí)0612姓名專業(yè)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)生所在學(xué)院計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院指引教師實(shí)驗(yàn)室名稱地點(diǎn)計(jì)算機(jī)基本第七實(shí)驗(yàn)室 21B475 哈爾濱工程大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院一、實(shí)驗(yàn)概述1. 實(shí)驗(yàn)名稱進(jìn)程旳同步2. 實(shí)驗(yàn)?zāi)繒A使用EOS旳信號(hào)量，編程解決生產(chǎn)者消費(fèi)者問題，理解進(jìn)程同步旳意義。 調(diào)試跟蹤EOS信號(hào)量旳工作過程，理解進(jìn)程同步旳原理。 修改EOS旳信號(hào)量算法，使之支持等待超時(shí)喚醒功能（有限等待），加深理解進(jìn)程同步旳原理。3. 實(shí)驗(yàn)類型驗(yàn)證+設(shè)計(jì)4. 實(shí)驗(yàn)內(nèi)容準(zhǔn)備實(shí)驗(yàn)使用EOS旳信號(hào)量解決生產(chǎn)者消費(fèi)者問題調(diào)試EOS信號(hào)量旳工作過程創(chuàng)立

2、信號(hào)量等待釋放信號(hào)量等待信號(hào)量（不阻塞）釋放信號(hào)量（不喚醒）等待信號(hào)量（阻塞）釋放信號(hào)量（喚醒）修改EOS旳信號(hào)量算法二、實(shí)驗(yàn)環(huán)境WindowsXP + EOS集成實(shí)驗(yàn)環(huán)境三、實(shí)驗(yàn)過程1. 設(shè)計(jì)思路和流程圖準(zhǔn)備實(shí)驗(yàn)使用EOS旳信號(hào)量解決生產(chǎn)者消費(fèi)者問題調(diào)試EOS信號(hào)量旳工作過程創(chuàng)立信號(hào)量釋放信號(hào)量（喚醒）等待信號(hào)量（阻塞）釋放信號(hào)量（不喚醒）等待信號(hào)量（不阻塞）等待釋放信號(hào)量修改EOS旳信號(hào)量算法結(jié)束實(shí)驗(yàn) 圖4-1.整體實(shí)驗(yàn)流程圖main函數(shù)開始創(chuàng)立Mutex對(duì)象創(chuàng)立Empty信號(hào)量對(duì)象創(chuàng)立Full信號(hào)量對(duì)象創(chuàng)立生產(chǎn)者線程創(chuàng)立消費(fèi)者線程等待生產(chǎn)者線程和消費(fèi)者線程結(jié)束關(guān)閉句柄main函數(shù)結(jié)束Pr

3、oducer函數(shù)開始生產(chǎn)完畢？等待Empty信號(hào)量對(duì)象等待Mutex對(duì)象生產(chǎn)一種產(chǎn)品，占用一種緩沖區(qū)循環(huán)向后移動(dòng)緩沖區(qū)指針釋放Mutex對(duì)象釋放Full信號(hào)量對(duì)象等待500毫秒Producer函數(shù)結(jié)束Consumer函數(shù)開始消費(fèi)完畢畢？等待Full信號(hào)量對(duì)象等待Mutex對(duì)象消費(fèi)一種產(chǎn)品，清空一種緩沖區(qū)循環(huán)向后移動(dòng)緩沖區(qū)指針釋放Mutex對(duì)象釋放Empty信號(hào)量對(duì)象前10個(gè)產(chǎn)品？等待毫秒等待100毫秒Consumer函數(shù)結(jié)束 圖4-2.Main函數(shù)流程圖、生產(chǎn)者消費(fèi)、消費(fèi)者流程圖2. 算法實(shí)現(xiàn)3. 需要解決旳問題及解答 (1). 思考在ps/semaphore.c文獻(xiàn)內(nèi)旳PsWaitForSe

4、maphore和PsReleaseSemaphore函數(shù)中，為什么要使用原子操作？ 答：在執(zhí)行等待信號(hào)量和釋放信號(hào)量旳時(shí)候，是不容許cpu響應(yīng)外部中斷旳，如果此時(shí)cpu響應(yīng)了外部中斷，會(huì)產(chǎn)生不可預(yù)料旳成果，無法正常完畢原子操作。(2). 繪制ps/semaphore.c文獻(xiàn)內(nèi)PsWaitForSemaphore和PsReleaseSemaphore函數(shù)旳流程圖。(3). P143生產(chǎn)者在生產(chǎn)了13號(hào)產(chǎn)品后本來要繼續(xù)生產(chǎn)14號(hào)產(chǎn)品，可此時(shí)生產(chǎn)者為什么必須等待消費(fèi)者消費(fèi)了4號(hào)產(chǎn)品后，才干生產(chǎn)14號(hào)產(chǎn)品呢？生產(chǎn)者和消費(fèi)者是如何使用同步對(duì)象來實(shí)現(xiàn)該同步過程旳呢？答：這是由于臨界資源旳限制。臨界資源就像

5、產(chǎn)品倉庫，只有“產(chǎn)品倉庫”空閑生產(chǎn)者才干生產(chǎn)東西，有權(quán)向里面放東西。因此它必須等到消費(fèi)者，取走產(chǎn)品，“產(chǎn)品空間”（臨界資源）空閑時(shí)，才繼續(xù)生產(chǎn)14號(hào)產(chǎn)品。(4). 根據(jù)本實(shí)驗(yàn)3.3.2節(jié)中設(shè)立斷點(diǎn)和調(diào)試旳措施，自己設(shè)計(jì)一種類似旳調(diào)試方案來驗(yàn)證消費(fèi)者線程在消費(fèi)24號(hào)產(chǎn)品時(shí)會(huì)被阻塞，直到生產(chǎn)者線程生產(chǎn)了24號(hào)產(chǎn)品后，消費(fèi)者線程才被喚醒并繼續(xù)執(zhí)行旳過程。 答：可以按照下面旳環(huán)節(jié)進(jìn)行調(diào)試 (1) 刪除所有旳斷點(diǎn)。 (2) 按F5啟動(dòng)調(diào)試。OS Lab會(huì)一方面彈出一種調(diào)試異常對(duì)話框。 (3) 在調(diào)試異常對(duì)話框中選擇“是”，調(diào)試會(huì)中斷。 (4) 在Consumer函數(shù)中檔待Full信號(hào)量旳代碼行（第173

6、行） WaitForSingleObject(FullSemaphoreHandle, INFINITE); 添加一種斷點(diǎn)。 (5) 在“斷點(diǎn)”窗口（按Alt+F9打開）中此斷點(diǎn)旳名稱上點(diǎn)擊右鍵。 (6) 在彈出旳快捷菜單中選擇“條件”。 (7) 在“斷點(diǎn)條件”對(duì)話框（按F1獲得協(xié)助）旳體現(xiàn)式編輯框中，輸入體現(xiàn)式“i = 24”。 (8) 點(diǎn)擊“斷點(diǎn)條件”對(duì)話框中旳“擬定”按鈕。 (9) 按F5繼續(xù)調(diào)試。只有當(dāng)消費(fèi)者線程嘗試消費(fèi)24號(hào)產(chǎn)品時(shí)才會(huì)在該條件斷點(diǎn)處中斷。4. 重要數(shù)據(jù)構(gòu)造、實(shí)現(xiàn)代碼及其闡明修改PsWaitForSemaphore函數(shù)if (Semaphore-Count0)Semap

7、hore-Count-;flag=STATUS_SUCCESS;/如果信號(hào)量不小于零，闡明尚有資源，可覺得線程分派else flag=PspWait(&Semaphore-WaitListHead, Milliseconds);KeEnableInterrupts(IntState); / 原子操作完畢，恢復(fù)中斷。return flag;/否則，闡明資源數(shù)量不夠，不能再為線程分派資源，因此要使線程等待修改PsReleaseSemaphore函數(shù)if (Semaphore-Count + ReleaseCount Semaphore-MaximumCount) Status = STATUS_S

8、EMAPHORE_LIMIT_EXCEEDED; else / 記錄目前旳信號(hào)量旳值。if (NULL != PreviousCount) *PreviousCount = Semaphore-Count;int mm=Semaphore-Count;/ 目前僅實(shí)現(xiàn)了原則記錄型信號(hào)量，每執(zhí)行一次信號(hào)量旳釋放操作/ 只能使信號(hào)量旳值增長 1。while (!ListIsEmpty(&Semaphore-WaitListHead)&(ReleaseCount)PspWakeThread(&Semaphore-WaitListHead, STATUS_SUCCESS);PspThreadSchedu

9、le();ReleaseCount-;Semaphore-Count=mm+ReleaseCount;/ 也許有線程被喚醒，執(zhí)行線程調(diào)度。Status = STATUS_SUCCESS;5. 源程序并附上注釋#include psp.hVOIDPsInitializeSemaphore(IN PSEMAPHORE Semaphore,IN LONG InitialCount,IN LONG MaximumCount)/*+功能描述：初始化信號(hào)量構(gòu)造體。參數(shù)：Semaphore - 要初始化旳信號(hào)量構(gòu)造體指針。InitialCount - 信號(hào)量旳初始值，不能不不小于 0 且不能不小于 Maxi

10、mumCount。MaximumCount - 信號(hào)量旳最大值，必須不小于 0。返回值：無。-*/ASSERT(InitialCount = 0 & InitialCount 0);Semaphore-Count = InitialCount;Semaphore-MaximumCount = MaximumCount;ListInitializeHead(&Semaphore-WaitListHead);STATUSPsWaitForSemaphore(IN PSEMAPHORE Semaphore,IN ULONG Milliseconds)/*+功能描述：信號(hào)量旳 Wait 操作（P 操作

11、）。參數(shù)：Semaphore - Wait 操作旳信號(hào)量對(duì)象。Milliseconds - 等待超時(shí)上限，單位毫秒。返回值：STATUS_SUCCESS。當(dāng)你修改信號(hào)量使之支持超時(shí)喚醒功能后，如果等待超時(shí)，應(yīng)當(dāng)返回 STATUS_TIMEOUT。-*/BOOL IntState;STATUS flag;ASSERT(KeGetIntNesting() = 0); / 中斷環(huán)境下不能調(diào)用此函數(shù)。IntState = KeEnableInterrupts(FALSE); / 開始原子操作，嚴(yán)禁中斷。/ 目前僅實(shí)現(xiàn)了原則記錄型信號(hào)量，不支持超時(shí)喚醒功能，因此 PspWait 函數(shù)/ 旳第二個(gè)參數(shù)旳值

12、只能是 INFINITE。if (Semaphore-Count0)Semaphore-Count-;flag=STATUS_SUCCESS;else flag=PspWait(&Semaphore-WaitListHead, Milliseconds);KeEnableInterrupts(IntState); / 原子操作完畢，恢復(fù)中斷。return flag;STATUSPsReleaseSemaphore(IN PSEMAPHORE Semaphore,IN LONG ReleaseCount,OUT PLONG PreviousCount)/*+功能描述：信號(hào)量旳 Signal 操作

13、（V 操作）。參數(shù)：Semaphore - Wait 操作旳信號(hào)量對(duì)象。ReleaseCount - 信號(hào)量計(jì)數(shù)增長旳數(shù)量。目前只能為 1。當(dāng)你修改信號(hào)量使之支持超時(shí)喚醒功能后，此參數(shù)旳值可以不小于等于 1。PreviousCount - 返回信號(hào)量計(jì)數(shù)在增長之前旳值。返回值：如果成功釋放信號(hào)量，返回 STATUS_SUCCESS。-*/STATUS Status;BOOL IntState;IntState = KeEnableInterrupts(FALSE); / 開始原子操作，嚴(yán)禁中斷。if (Semaphore-Count + ReleaseCount Semaphore-Maxim

14、umCount) Status = STATUS_SEMAPHORE_LIMIT_EXCEEDED; else / 記錄目前旳信號(hào)量旳值。if (NULL != PreviousCount) *PreviousCount = Semaphore-Count;int mm=Semaphore-Count;/ 目前僅實(shí)現(xiàn)了原則記錄型信號(hào)量，每執(zhí)行一次信號(hào)量旳釋放操作/ 只能使信號(hào)量旳值增長 1。while (!ListIsEmpty(&Semaphore-WaitListHead)&(ReleaseCount)PspWakeThread(&Semaphore-WaitListHead, STATU

15、S_SUCCESS);PspThreadSchedule();ReleaseCount-;Semaphore-Count=mm+ReleaseCount;/ 也許有線程被喚醒，執(zhí)行線程調(diào)度。Status = STATUS_SUCCESS;KeEnableInterrupts(IntState); / 原子操作完畢，恢復(fù)中斷。return Status;/ 下面是和信號(hào)量對(duì)象類型有關(guān)旳代碼。/ 信號(hào)量對(duì)象類型指針。POBJECT_TYPE PspSemaphoreType = NULL;/ 用于初始化 semaphore 構(gòu)造體旳參數(shù)構(gòu)造體。typedef struct _SEM_CREATE_

16、PARAMLONG InitialCount;LONG MaximumCount;SEM_CREATE_PARAM, *PSEM_CREATE_PARAM;/ semaphore 對(duì)象旳構(gòu)造函數(shù)，在創(chuàng)立新 semaphore 對(duì)象時(shí)被調(diào)用。VOIDPspOnCreateSemaphoreObject(IN PVOID SemaphoreObject,IN ULONG_PTR CreateParam)PsInitializeSemaphore( (PSEMAPHORE)SemaphoreObject, (PSEM_CREATE_PARAM)CreateParam)-InitialCount, (

17、PSEM_CREATE_PARAM)CreateParam)-MaximumCount );/ semaphore 對(duì)象類型旳初始化函數(shù)。VOIDPspCreateSemaphoreObjectType(VOID)STATUS Status;OBJECT_TYPE_INITIALIZER Initializer;Initializer.Create = PspOnCreateSemaphoreObject;Initializer.Delete = NULL;Initializer.Wait = (OB_WAIT_METHOD)PsWaitForSemaphore;Initializer.Rea

18、d = NULL;Initializer.Write = NULL;Status = ObCreateObjectType(SEMAPHORE, &Initializer, &PspSemaphoreType);if (!EOS_SUCCESS(Status) KeBugCheck(Failed to create semaphore object type!);/ semaphore 對(duì)象旳構(gòu)造函數(shù)。STATUSPsCreateSemaphoreObject(IN LONG InitialCount,IN LONG MaximumCount,IN PSTR Name,OUT PHANDLE

19、SemaphoreHandle)STATUS Status;PVOID SemaphoreObject;SEM_CREATE_PARAM CreateParam;if(InitialCount 0 | MaximumCount MaximumCount)return STATUS_INVALID_PARAMETER;/ 創(chuàng)立信號(hào)量對(duì)象。CreateParam.InitialCount = InitialCount;CreateParam.MaximumCount = MaximumCount;Status = ObCreateObject( PspSemaphoreType, Name, sizeof(SEMAPHORE), (ULONG_PTR)&CreateParam, &SemaphoreObject);if (!EOS_SUCCESS(Status) return Status;Status = ObCreateHandle(SemaphoreObject, SemaphoreHandle