并發(fā)進(jìn)程同步算法的設(shè)計(jì)方法

1、并發(fā)進(jìn)程同步算法的設(shè)計(jì)方法,關(guān)鍵：資源，信號(hào)量，初值，原語(yǔ)位置,傳統(tǒng)的設(shè)計(jì)步驟,分析進(jìn)程間的制約關(guān)系(找出制約資源) ——〉困難定義信號(hào)量、確定信號(hào)初值編程（安排p、v位置） ——〉位置錯(cuò)——〉功能錯(cuò)、死鎖,信號(hào)量描述前趨關(guān)系,方法(規(guī)則)：每條邊設(shè)一信號(hào)量，初值為0

2、 任一操作：前加指向邊上信號(hào)量的wait； 后加離開(kāi)邊上信號(hào)量的signal； 相鄰wait、 signal 次序無(wú)關(guān),Program exam(input,output) Var a,b,c,d,e,f,g; semaphore∶=0,0,0,0,0,0,0; begin

3、 parbegin begin S1; signal(a); signal(b); end; begin wait(a); S2; signal(c); signal(d); end; begin wait(b); S3; signal(e); end; begin wait(c); S4; signal(f); end; begin wait(d); S5

4、; signal(g); end; begin wait(e); wait(f); wait(g); S6; end; parend end,引入前趨圖的設(shè)計(jì)方法：,制約關(guān)系——〉前趨關(guān)系——〉p、v位置確定（不用找資源）1、不考慮同步關(guān)系，寫出每個(gè)進(jìn)程獨(dú)立的活動(dòng)描述。2、同步的解決 1）、分析問(wèn)題，按功能的邏輯要求，找出進(jìn)程間的前趨關(guān)系，畫出前趨圖。 2）、設(shè)置信號(hào)量及p，v

5、操作：每條前趨線設(shè)一個(gè)信號(hào)量，箭頭前插入其p，箭尾后插入其v。 3）確定信號(hào)量之初值：不能率先執(zhí)行的p其信號(hào)量初值為0，否則為n（正整數(shù)，為p處申請(qǐng)資源的初始單位數(shù)）3、互斥的解決分析問(wèn)題->找出臨界資源；1個(gè)臨界資源設(shè)1個(gè)信號(hào)量,初始值為1；在臨界區(qū)的前后加上p、v。,說(shuō)明事例：,并發(fā)進(jìn)程同步問(wèn)題實(shí)例,生產(chǎn)者消費(fèi)者問(wèn)題變種,2,3 1P對(duì)3C問(wèn)題,4 取水果問(wèn)題,父親一次放一個(gè)水果（橘子或蘋果），女兒取食橘子

6、，兒子取食蘋果,5 取齊偶數(shù)問(wèn)題,6 理發(fā)師問(wèn)題,理發(fā)店包含一間接待室和一間工作室，接待室內(nèi)有n(n≥1)把椅子，而工作室只有l(wèi)把椅子。如果沒(méi)有顧客，理發(fā)師就去睡覺(jué)；如果顧客來(lái)時(shí)所有的椅子都有人，那么顧客離去；如果理發(fā)師在忙且接待室有空閑的椅子，那么此顧客會(huì)坐在其中1把空閑的椅子上等待；如果理發(fā)師在睡覺(jué)，則顧客會(huì)喚醒他。請(qǐng)采用信號(hào)量機(jī)制解決該理發(fā)師問(wèn)題(可用偽代碼描述)。,5 司售協(xié)同問(wèn)題,6 讀者寫者問(wèn)題變形,7 交通問(wèn)題,臨界資