操作系統(tǒng)第六次作業(yè)-文庫(kù)吧資料
2025-07-29 12:04本頁(yè)面
【正文】 的值，然后再給該單元(位)賦一個(gè)新值，關(guān)于為何這兩條指令能實(shí)現(xiàn)互斥我們不在贅述，讀者可以了解其算法） 這些指令涉及對(duì)同一存儲(chǔ)單元的兩次或兩次以上操作，這些操作將在幾個(gè)指令周期內(nèi)完成，但由于中斷只能發(fā)生在兩條機(jī)器指令之間，而同一指令內(nèi)的多個(gè)指令周期不可中斷，從而保證swap指令或test_and_set指令的執(zhí)行不會(huì)交叉進(jìn)行.但在多處理機(jī)環(huán)境中情況有所不同，例如test_and_set指令包括“取”、“送”兩個(gè)指令周期，兩個(gè)CPU執(zhí)行test_and_set(lock)可能發(fā)生指令周期上的交叉，假如lock初始為0, CPU1和CPU2可能分別執(zhí)行完前一個(gè)指令周期并通過檢測(cè)(均為0)，然后分別執(zhí)行后一個(gè)指令周期將lock設(shè)置為1，結(jié)果都取回0作為判斷臨界區(qū)空閑的依據(jù)，從而不能實(shí)現(xiàn)互斥. 如圖43所示.為在多CPU環(huán)境中利用test_and_set指令實(shí)現(xiàn)進(jìn)程互斥，硬件需要提供進(jìn)一步的支持，以保證test_and_set指令執(zhí)行的原子性. 這種支持目前多以“鎖總線”(bus locking)的形式提供的，由于test_and_set指令對(duì)內(nèi)存的兩次操作都需要經(jīng)過總線，在執(zhí)行test_and_set指令之前鎖住總線，在執(zhí)行test_and_set指令后開放總線，即可保證test_and_set指令執(zhí)行的原子性。綜上所述，Dekker算法是滿足臨界區(qū)問題的所有三個(gè)要求的。當(dāng)P1退出臨界區(qū)的時(shí)候，它會(huì)設(shè)置flag[0]=true，以允許P0進(jìn)入臨界區(qū)。為了證明第二點(diǎn)和第三點(diǎn)，應(yīng)注意到，只要條件flag[1]=true，turn==1成立，flag[0]的值就會(huì)被設(shè)置成false，并且P0陷入while循環(huán)語(yǔ)句，那么P0就能被阻止進(jìn)入臨界區(qū)。 //剩余區(qū)}while（1）；為了證明第一點(diǎn)，要注意到只有當(dāng)flag[0]=true并且turn==0的時(shí)候，進(jìn)程P0才會(huì)進(jìn)入臨界區(qū)。 // P1放下手// remainder
環(huán)評(píng)公示相關(guān)推薦
鄂ICP備17016276號(hào)-1