并發(fā)進程同步算法的設計方法

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

2、 任一操作：前加指向邊上信號量的wait； 后加離開邊上信號量的signal； 相鄰wait、 signal 次序無關,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,引入前趨圖的設計方法：,制約關系——〉前趨關系——〉p、v位置確定（不用找資源）1、不考慮同步關系，寫出每個進程獨立的活動描述。2、同步的解決 1）、分析問題，按功能的邏輯要求，找出進程間的前趨關系，畫出前趨圖。 2）、設置信號量及p，v

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

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