09-20xx-操作系統(tǒng)第9講：第3章進(jìn)程管理(續(xù)3-互斥與同步)(完整版)
【正文】 的初值為 1， 取值范圍為 （ 0， 1， 1） ② 設(shè) Sem=1 初值 臨界區(qū)為空 ， PA、 PB都未進(jìn)入 ◆ 當(dāng)一個(gè)進(jìn)程執(zhí)行 P原語(yǔ)減 1操作 ， Sem=0， 表示該進(jìn)程可以進(jìn)入臨界區(qū) 。 2． 定義： 在程序設(shè)計(jì)中 ， 一種用來(lái)對(duì)共享系統(tǒng)資源進(jìn)行控制的信號(hào) ， 即一種標(biāo)志變量 ， 信標(biāo)向潛在的用戶 （ 進(jìn)程 ） 指明 ， 某個(gè)文件或資源正在使用中 ， 以防止除此之外的其它用戶來(lái)訪問(wèn)它 。 注釋 2：目的是禁止因直接制約而引發(fā)的死鎖現(xiàn)象 。 2022/8/21 4 進(jìn)程互斥與同步 二 、 認(rèn)識(shí)進(jìn)程互斥與同步相關(guān)的重要概念與術(shù)語(yǔ) （ 2） 2． 間接制約 ◆ 該概念的討論 ， 是面向互斥而言 ， 面向共享資源 （ 如公用數(shù)據(jù)和變量 ） ， 是面向一組并發(fā)進(jìn)程 （ 2個(gè)以上 ） 而言 ， 面向其因資源競(jìng)爭(zhēng)而對(duì)其速度影響問(wèn)題 。 ● 定義： 不允許多個(gè)并發(fā)進(jìn)程交叉執(zhí)行的一段程序稱為臨界區(qū) 。PA（ 慢 ） 是因?yàn)?PB占用了 PA的資源而不得不等待 ， 所以進(jìn)程 PA的慢是因?yàn)镻B的間接制約而引起的 2022/8/21 5 進(jìn)程互斥與同步 二 、 認(rèn)識(shí)進(jìn)程互斥與同步相關(guān)的重要概念與術(shù)語(yǔ) (3) 4. 直接制約 （ 與同步相關(guān)的概念 ） ● 該概念的討論是面向同步而言 ， 是面向 2個(gè)進(jìn)程而言 ， 是面向 2 個(gè)進(jìn)程因資源競(jìng)爭(zhēng)而對(duì)其速度影響問(wèn)題 。 2． 原語(yǔ)類別： （ semaphor） 簡(jiǎn)稱 sem ● 指令級(jí)原語(yǔ) —— 該程序段 （ 或擴(kuò)充了的指令 ） 在其執(zhí)行期 間不允許中斷 ， 是一個(gè)不可再分的指令單位 。 P（ 荷文 Passeren，英文 Pass 簡(jiǎn)稱 P原語(yǔ) ） 調(diào)度 ； V（ 荷文 Venhoog， 英文incremane 簡(jiǎn)稱 V原語(yǔ) ） 增量 。 ● 第 2個(gè)進(jìn)程欲進(jìn)入 ， 也要先進(jìn)行 P操作 ， Sem =－ 1 ， 則說(shuō)明臨界區(qū)已占用 ， 則該進(jìn)程不能進(jìn)占臨界區(qū) ， 而后轉(zhuǎn)入阻塞隊(duì)列 。 2022/8/21 16 進(jìn)程互斥與同步 八 、 互斥的負(fù)面影響 ， 解決的途徑與方法 目的在于避免因進(jìn)程并發(fā)可能導(dǎo)致結(jié)果不可再現(xiàn) 1． 軟件的方法 ● 公用變量整型法 ● 數(shù)組法 ● 變量與數(shù)組混合算法 軟件的方法從理論上行的通 ， 在方法上也有解決的途徑 ， 但卻難以實(shí)現(xiàn) ， 因?yàn)橐ＷC下一個(gè)并發(fā)進(jìn)程的連續(xù)性 ， 不被別的進(jìn)程中斷 ， 需要對(duì)執(zhí)行的下一步進(jìn)行判斷 ， 從而導(dǎo)致計(jì)算機(jī)系統(tǒng)的整體性能下降 ， 因而軟件的方法是不可取的 。 （ 3） V操作完成之后 ,不會(huì)出現(xiàn) Sem＜ 0的情 況 ？ ？？ 2022/8/21 20 進(jìn)程互斥與同步 十 、 實(shí)現(xiàn)進(jìn)程同步的 PV 原語(yǔ)操作 （ 1） ● 面向 2個(gè)進(jìn)程 ， 即乒乓問(wèn)題 ） 1． 條件 （ 以計(jì)算進(jìn)程 PA和輸出進(jìn)程 PB為例 ） (1) PA必須向緩沖區(qū)發(fā)送一個(gè)數(shù)據(jù) ， PB
畢業(yè)設(shè)計(jì)相關(guān)推薦
鄂ICP備17016276號(hào)-1