WWW.DISSERS.RU

턺駒잃痼 昐탱祿胱痼 좨죄훨瑙各

   쿡鎖 禎縯依循潗!


Pages:     | 1 |   ...   | 2 | 3 || 5 | 6 |   ...   | 8 |

穽抑增設音牆迹 裔菴特 夭廬秩 壓 全葉裝 茁膣惺僚 : 茁膣惺 莘依厓迹 重儼震 茁膣惺僚 莘依菴杖 剪鴨蟻狀莘 淸依櫛牒. 酪膣惺 莘依厓迹 重儼震 脣午凹齧 衆綵齧, 惟宸 淸依櫛憔 賊狀荀諺孼狀 穽謫鏑賊筬秩 賊狀荀諺孼狀 禎鋌診秩 洵潗, 壯穽夭儼, 竣澱 音詢 淳凝. 菴牆佃 衆綵齧 脣午凹齧 膣炡惟循 茁膣惺, 診 魏 杖攸 了 杖 張 溢蓮 壯妬潗 嚴潗, 張 夭 蕣典迹 淳凝.

嶠杖 了 翟陷 靭桎哀 了悚縯杖 膣炡惟 瞬奄 旬抑孼猥 謫調杖特杖 壯 婆衆 檉調應言茴 述禎鷹陷椿 穽專嚴櫛 槍嚴桎特杖 釣鍊茵 尿禎蟻吾循杖 釣憎猝荻 [25]. 昆穽夭儼, 膣炡惟詢 茁膣惺療 莘依厓迹 重儼震 溢悅 了悚縯潗, 嚴泣 壯依鍊潗 衆抑策緘 埰依淳 尿禎蟻吾循杖 淳依 - "淸依櫛締 調嗚予齧秩 洵潗 壓 張翟軸怏荏 秧 抑 淳凝 桎 衆綵齧, 嚴泣 佺 翟 竣翟賊裝". 魏特增橓 崖昌謫 穽猥茵, 禎譽鏑緘莘 了悚縯潗 菴牆策 膣炡惟詢 茁膣惺療, 瞬奄 謫調杖特杖 婆衆 賊狀荀諺孼狀 茁陷 裔 增鏑佃 淸依櫛切 (壯穽夭儼, 哀 特執釣).

쾰 憙謫, 賊壯惟, 張翟軸怏溢 仲典釣攸寮荻城 埰依淳 裔菴婆 穽抑禎依鍊潗, 破 增鏑 調楫鏑跡孼 增鏑荻迹, 穽 醇賊 惟桎宗 壯軸怏秩 苞彦稱, 衆抑陷 裔 婆衆佃 淸依櫛切 增鏑荻迹.

酪膣惺 莘依菴杖 脣午凹齧 衆綵齧 裔莘脣調 壓採 櫛遵鴨 衆億 楫調循 穽剪外 淸依櫛牒, 剪狀袍杖 惟桎尊莘 增尊秩 惟午.

행莘脣琮凹 禎展儼抑狀 裔訟調 淳凝 桎 衆億, 桎 楫調循 剪 張莘. 腦孺 櫛紳葉荻陝裝 鴨栯軫 俉塡荏幅孼杖惟 穽外賊 蓮倧詢 述腸輦孼狀壬 莘依菴杖, 診 魏 佺 杖惟宸 張 溢蓮 脣楫鏑淮荻城劃 翟堰麟 淳凝閃.

珞鎭循 溢鴨蟻 厥抑凹城壯 遵潗, 穽抑增設咸 裔菴罷 翟 翟抑筬陷 淸依櫛牒, 了翟調蓮壯 壯 鳥. 2.6. 竟叱 遵鎭脣 溢鴨泣, 櫛剪橓秩軫策咸 淸依櫛締, 夭檍 賊妖 城鳥修 - 狀靭 淸依櫛牒 了 日跡嚴軫 {1,2,3,4,5}.

間輦佃 淸依櫛締 禎增設音 櫛剪橓秩軫猥 竣迹 狀靭. 竟叱, 櫛剪橓秩軫策咸 淳凝, 夭檍 賊妖 城鳥修 - 狀靭 淳凝 了 日跡嚴軫 {1,2,3,4,5}. 間輦迹 淳凝 禎增設音 櫛剪橓秩軫猥 竣迹 狀靭.

矜.2.6.珞鎭循 溢鴨蟻 裔菴婆 翟 翟抑筬陷 淸依櫛牒 흡鎭卒釣診打 禎預打 遵鎭脣 溢鴨泣 衆抑策咸: 禎預打 fork 全釣鴨奄 竣翟賊裝 翟調緘杖 淳凝. 淃預打 think 全釣鴨奄 壯軸陷椿 調傲鴻音杖 淸依櫛切. 淃預打 eat 全釣鴨奄 淸依櫛切, 壯軸陷椿 櫛增杖 禎疾齬音杖 炡陷.

滑蓮 穽抑增設音裝 渟釣軸液 遵鎭脣 溢鴨泣 菴壯 撓 妖鎭卒釣診打 述禎鷹諺酷 鴨栯軫. 躬釣軸 get(N) - "躬釣軸 N-莘 淸依櫛牒 了 櫛增杖 調傲鴻音杖 櫛增杖 禎疾齬音杖 炡陷, 裔騶城 櫛遵厓撓 淳依, 桎 嚴潗 淳依 狀靭調麟 N (N+1)mod5". 躬釣軸 put(N) - "躬釣軸 N-莘 淸依櫛牒 了 櫛增杖 禎疾齬音杖 炡陷 櫛增杖 調傲鴻音杖, 脣譽調 櫛遵厓撓 淳依".

躬釣軸液 遵鎭脣 溢鴨泣 全尿顥筬秩 衆抑策陷麟 幽蹟閃:

rc(S,get(N),S1):- inlist(think(N),S), mod5(N,NN), remove([think(N),fork(N),fork(NN)],S,S2), insert([eat(N)],S2,S1).

arc(S,put(N),S1):- inlist(eat(N),S), mod5(N,NN), remove([eat(N)],S,S2), insert([think(N),fork(N),fork(NN)],S2,S1).

卵抑暢 翟調震潗 純夭陝猥 壯 穽抑增設音杖 渟釣軸哀, 張仲鏑獪 剪泣杷赤 剪 全尿陝狀莘 調醴言 1.3. 穽外抑孼裝 幽蹟性 渟釣 穽抑凹城佃 remove 增 余 壓 穽抑凹城. 毘 翟卽奄 鎭, 破 穽 全釣鴨音杖 穽-埰依淳 張翟軸怏溢 午城 裔惟, 禎 惟桎尊壬 竣裔裝 狀靭調 N NN, a 夭孼狀 NN=(N+1)mod5. 卵跡孼猥 禎 溢涯誼 釣贍了暢秩 穽 禎溢陷 穽抑凹城 mod5 c音涯陷 翟調吾:

mod5(X,XX):- X < 5, XX is X + 1, !.

mod5(X,XX):- XX is 1.

卵抑暢 診唯 裔靭震潗, 破 禎衆抑張 穽抑依蓮杖 張 僖淳循音粧狀 穽抑依蓮杖 陝佺夭狀 渟釣靭牆迹, mod5(_,XX):- XX is 1, 禎仲鏑獪 禎衆抑張 衆綵齧 穽迪拯賊嶢 調仲佺愉奄了惺 渟釣靭牆迹, 增緘 壯 渟躁佃 靭增 楫尿劉 燮身靭粧荻 穽抑凹城 mod5.

厥抑凹城 inlist(E,L) 尿禎蟻奧奄 秧 全釣鴨音杖 穽妖雪音悅前震 凞諺孼診 E 楫尿有 L 全釣鴨奄 衆抑策陷 翟調吾:

inlist(X,[X|L]).

inlist(X,[Y|L]):-inlist(X,L).

昆妬蟻壯 茵簇寮荻魏 遵鎭脣 溢鴨泣 全釣鴨奄 衆抑策陷 牒攸佃:

init([think(1),think(2),think(3),think(4),think(5), fork(1),fork(2),fork(3),fork(4),fork(5)]).

卵抑暢 剪靭震潗, 破 穽抑增設音牆 遵潗 溢蓮 溢鴨泣尊循潗 調俉料裝 茁膣惺僚 了 調俉料裝 穽翟音日紅 翟乙增彦.

滑蓮 穽抑增設音裝 述軸厓酷 菴牆酷, 全釣鴨陷 쳐, 禎懿特牆酷 禎溢缸 幽蹟荻, 全釣鴨音牆紅 調醴. 1.4.

쿡增嵬腸執 櫛增杖 (蓀裔 菴牆紅 rstate):

0 [think(1),think(2),think(3),think(4),think(5),fork(1),fork(2), fork(3),fork(4),fork(5)] 1 [eat(1),think(2),think(3),think(4),think(5),fork(3),fork(4),fork(5)] 2 [eat(3),eat(1),think(2),think(4),think(5),fork(5)] 3 [think(1),fork(1),fork(2),eat(3),think(2),think(4),think(5),fork(5)] 4 [eat(5),think(1),fork(2),eat(3),think(2),think(4)] 5 [think(3),fork(3),fork(4),eat(5),think(1),fork(2),think(2),think(4)] 6 [eat(2),think(3),fork(4),eat(5),think(1),think(4)] 7 [think(5),fork(5),fork(1),eat(2),think(3),fork(4),think(1),think(4)] 8 [eat(4),think(5),fork(1),eat(2),think(3),think(1)] 9 [think(2),fork(2),fork(3),eat(4),think(5),fork(1),think(3),think(1)] 10 [eat(1),think(2),fork(3),eat(4),think(5),think(3)] 쿳燼 쳐 (蓀裔 菴牆紅 gds):

0 get(1) 1 5 get(3) 4 9 get(2) 8 1 get(4) 1 get(3) 2 5 get(2) 6 9 get(1) 10 1 put(1) 2 put(3) 1 6 put(2) 5 10 put(1) 9 0 get(2) 2 put(1) 3 6 put(5) 7 10 put(4) 1 0 get(3) 3 get(1) 2 7 get(5) 6 9 put(4) 0 0 get(4) 3 get(5) 4 7 get(4) 8 7 put(2) 0 0 get(5) 4 put(5) 3 8 put(4) 7 5 put(5) 4 put(3) 5 8 put(2) 9 3 put(3) 昆 鳥. 2.7 禎懿特牆渾 쳐 穽抑增設音 藎宬料嚴惟 淳鴨. 昆 前狀橓 陝贍了 菴牆謫 쳐 溢悅 逡言城 述脣, 破 櫛剪橓秩軫策咸 遵鎭循 溢鴨蟻 瞬奄 鍊脣 , 衆抑荻城言茴, 尿軸厓 茁增諺 檉調應言茴紅 穽專嚴櫛 竣翟賊壯 剪 膣炡惟.



矜.2.7.췻宬 哀增畏夭紅 櫛增杖 遵鎭脣 溢鴨泣 裔菴婆 翟 翟抑筬陷 淸依櫛牒 嶠壯惟 脣傲跡壯 茁膣惺 莘依菴杖 ("剪鎭卽孼") 剪鴨蟻狀莘 淸依櫛牒, 壯 破 瘡暹顥筬 全釣鴨音牆酷 打幽 쳐. 昆穽夭儼, 衆抑策陷 打幽:

M9get(2)M8put(4)M7get(4)(M8get(2)M櫛剪橓秩軫暢 剪鎭卽孼療 疾奄會莘 淸依櫛牒 剪 抑 壓脹 憶 櫛遵麟 - 蕣典忽 特軫儼執 淸依櫛牒麟. 絞 櫛醴筬 診有 茁膣惺療, 破翟 疾奄會莘 淸依櫛牒 張 岫依 賊狀荀諺孼狀 壓採 張翟軸怏荏 秧 抑 淳依. 쳐 憙 櫛剪橓秩軫暢 桎壬, 破 了 茵簇寮荻適 7, 8, 9, 穽妖雪音縯陷 打幽, 張 杖 賊狀 述軸緘 涯燼, 剪靭特牆迹 渟釣軸哀 get(3).

2.4. 잼莘鳥嫉 洵殲日謫 尿幽特杖 調楫釣鴨音牆迹 述婆衆嶢言茴迹 茁增諺 袞切鏃贍茴赤 全尿陝猥 及葺茵疾外齧荏 贍莘鳥嫉 翟嚴渟婆循奄 洵殲日赤 尿幽特杖 穽專嚴櫛 劤, 宸 滄薏 洵殲溢鴨栯軫策 桎蟻惟 艇鎭 翟靭壯 櫛翟緘杖麟 張 夭廬 翟緘 調醴言諺迹 檉震 [34]. 毘剪 贍莘鳥嫉 禎譽鏑奄 穽迪應增鳥尊循潗 楫前翟狀增 穽抑凹城狀 遵震 夭奄 鴨依 茁蚓鏑料嚴孺麟 禎衆抑荻城言茴忽 狀靭調麟 堯 荀諺孼裝麟 禎靭叱閃.

袋言 劤 醇賊嶢 愉嶢料嚴有 遵柚療 桎蟻惟 禎衆 桎莘, 魏 蓴 崖昌猥 滄薏 岫泣 全荻余孼 翟 憙佃 壯靭釣杖 夭 岫泣 禎衆陝 剪橓執, 禎曖橓阻菴陷 撓 櫛紳葉猥. 袋言, 鴨乙陷 禎鋌叱 脣煜 愉嶢料嚴有 遵柚療, 禎證乙奄 裔穽前狀 櫛翟緘杖 R 蓴諺 崖昌夭 滄乙. 淃衆 穽猥茵 櫛翟緘杖 R, 崖昌迹 滄言 堯 張靭秧孼狀 禎證乙奄 禎曖橓阻鴨杖 堯 剪幽雪顥齧 剪橓 哀 鎭 禎, 禎魏 佺 張 禎孺張 櫛衰軫孼腸 愉嶢料嚴有 遵柚療. 厥抑禎乙侁奄, 破 滄言, 穽妖夭筬陷 裔穽前, 溢蓮 張靭秧孼狀 全釣鴨泣潗, 攸 渟躁忽 脣藕奄 愉嶢料嚴有 遵柚療 - 佺 焌 堯 裔穽星外筬陷 滄言. 袋懿, 禎證乙緘壬 裔穽前, 杖惟宸 張 莘脣鳥秩 穽料妖性 述灑調 桎莘 堯 妖謫 釣袍杖, 穽妖桎莘 全調鋪循諺忽 滄依. 剪橓 張靭秧孼狀 禎證乙奄 禎曖橓阻鴨杖 , 嚴泣 尿桎杷凹 裔穽前 夭檍 穽姚鳥鎭, 崖昌撓 衆綵 禎曖橓阻鴨杖 剪幽雪顥齧秩. 膠釣鴨音杖 禎殃 穽姚鳥鎭桎 前蔡嚴軫奄 艇鎭 汁設張杖 狀靭尊 荀諺孼狀 禎衆抑荻城言茴前震, 穽尿寀增詢陷 魏輦佃 裔穽前. 퇸泣 狀靭調 菴牆迹 禎衆抑荻城言茴前震 調純, 桎 秧 全釣鴨音杖 禎殃 醇跡鴨杖 滄依 愉嶢料嚴孺 遵柚僚 汁設杖循秩 撓 狀靭調. 昆穽夭儼, 穽姚鳥鎭帙檍 溢蓮 岫潗 滄言, 禎殃荻渾 狀靭 惟桎尊莘 灑蟻袍.

輕鴨泣尊循杖 荀諺孼 厥外賊夭 杖蓮 溢鴨蟻 贍莘鳥嫉 洵殲日謫 尿幽特杖 妖鎭釣卽 桎 重汞音, 破 佺 瞬奄 穽夭儼佃 依燼惟-荀諺孼狀 楫業搖凹惺僚 穽 禎溢陷 依燼特仲謫 穽謫調壹寮荻陝. 희禎蟻吾循杖 贍莘鳥嫉 洵殲日謫 尿幽特杖 荀諺孼裝 禎靭桎 禎增設堯 衆抑策陷 穽翟音荏: 1) 輕鴨泣尊循杖 壯膣調蟻裝 婆遵, 惟桎終 穽抑增設 荀諺孼裝 禎靭叱; 2) 爛前翟狀增 裔菴循潗 僖淳循音粧狀增 靭輦 壓脹 櫛增杖麟 調俉料裝 溢靭粧 荀諺孼, 狀 夭廬陷 賊腸 膣 蓮 遵茵粧凹 調佚性 菴牆迹 穽抑凹城狀 遵震.

輕鴨蟻, 穽嵬賊壯 秧 茁蚓鏑料嚴惟莘 述禎鷹孼, 穽抑增設奄 壯膣調蟻裝 婆衆 穽 禎溢陷 惟章診粧, 惟桎終 溢身 岫潗 禎懿特裝 穽 禎溢陷 全儼城典 衆抑荻陝. 滑蓮 菴奄 釣有猝外狀 全釣鴨音杖 壯膣調蟻裝 婆遵:

1) 0 - 壯膣調蟻狀 婆衆;

2) 퇸泣 - 壯膣調蟻狀 婆衆, 桎 suc(x) - 診唯 壯膣調蟻狀 婆衆, 宸 瞬奄 惟章診粧迹, "suc" - 全儼城典 衆抑荻陝.

輕鴨蟻 壯膣調蟻裝 婆遵 尿禎蟻奧奄 穽 溢鴨泣尊循杖 荀諺孼.

昆穽夭儼, 穽抑禎依鍊, 破 菴牆渾 溢靭粧 荀諺孼 妬證 禎魏晤循 抑妖擾 荀諺孼. 咬蹟壯婆 菴牆渾 溢靭粧 荀諺孼 魏 h. 卵抑策陷 午成孼猥 荀諺孼 壯 淸預特仲撓 妬焌 修鴨 36, 破 穽抑增設奄 魏 suc(h) ..

흡鎭卒釣診打 穽外抑孼狀莘 述袍 全釣鴨音杖 壯 晤劉 厥鏑謫 穽前診.

悸 全釣鴨諺 惟章診粧 "h" 魏 溢靭粧 荀諺孼 壯妬蟻狀 櫛增杖, 禎衆抑策陷 溢靭粧 荀諺孼 溢鴨泣宗秩 禎衆抑荻城言茴前潗 suc(h), suc(suc(h)),suc(suc(suc(h))),...

煖增杖 遵鎭脣 溢鴨泣 櫛春陝 午成孼 蓴嶪 依魏蟻裝 荀諺孼.

헥成孼 依魏蟻裝 荀諺孼 夭廬 剪狀袍杖 壯妬蟻狀壬 櫛增杖 (憙 剪狀袍杖 全釣鴨音狀 秧 妬增裝 贍莘鳥嫉荻), 狀 依魏蟻狀 荀諺 滄音 si 溢怏淸打宗奄 桎蟻惟 渟釣軸哀 滄乙 si.

쾰 桎莘, 破翟 全釣鴨泣潗 僖淳循音粧狀增 壓採 櫛增杖 調俉料裝 溢靭粧 荀諺孼, 狀 夭廬陷 賊妖蟾荻策 遵茵粧凹 調佚性 遵鎭脣 溢鴨泣, 調葺茵疾外齧秩 桎蟻惟 剪狀袍杖 靭輦 依魏蟻裝麟 荀諺孼閃.

經杖茵蟻壯 溢鴨蟻 述脣怏秩 穽 禎尿劉 麟杖茵蟻狀 橓猝僚 魏輦謫 哀增畏夭謫 櫛增杖. 煖增杖 壯軸怏秩 竣赤 麟杖茵蟻狀 橓猝僚, 嚴泣 午成孼猥 依魏蟻裝 妬櫛 菴牆謫 櫛增杖 櫛剪橓秩軫暢 午成孼療 依魏蟻狀莘 荀諺孼 壯妬蟻狀 櫛增杖.

燐翟 禎懿婆潗 麟杖茵蟻腸 溢鴨蟻, 午成孼 妬櫛 蓴嶪 滄依 禎胞莘脣 脹孼孝筬秩 哀 鎭 禎, 禎魏 張 穽迪吾藕奄 脣譽調 壯妬蟻狀壬 櫛增杖.

행炡贈 shift(s,s1) 寀橓阻菴奄, 破 櫛增杖 s1 瞬奄 麟杖茵蟻狀 橓猝猥 櫛增杖 s. 厥抑凹城 shift 全釣鴨奄 釣有猝外狀 衆抑策陷 翟調吾:

shift(S,S1):-shiftl(S,S2), shift(S2,S1), !.

shift(S,S).

찰調蓮杖 shiftl(s,s2) 寀橓阻菴奄, 破 櫛增杖 s2 張禎汁抑增橓牆 靭贓胞 橓猝 櫛增杖 s, 桎 嚴潗 荏 脹孼孝齧 午成孼猥 妬櫛 櫛增杖 s 桎蟻惟 壯 抑妖擾 荀諺孼. 厥抑凹城 shiftl 全釣鴨奄 衆抑策陷 翟調吾:

shiftl([],[]):-!.

shiftl([E|S],[E1|S1]):-transfo(E,E1), shiftl(S,S1).

厥抑凹城 transfo 全釣鴨奄 荀諺孼腸 疾陝曾典茵打 淳菴 suc(h) h 秧 魏輦迹 禎預打. 昆穽夭儼, 秧 禎預打 poz, 穽抑凹城 全釣鴨奄 衆抑策陷 牒攸佃:





transfo(poz(suc(h)),poz(h)).

厥夭孼孼猥 穽抑凹城 shift 魏輦佃 衆抑策緘壬 櫛增杖 哀增嵬齧秩 艇鎭 溢怏淸魏打 全釣鴨音杖 穽抑凹城 arc:

arc(S,transition_name,S1):- remove(preconditions,S,S2), , insert(postconditions,S2,S3), shift(S3,S1).

쥰說賊燮 尿禎蟻吾循杖 穽抑凹城 shift 쳐 夭檍 謫調杖特牆赤 婆衆 櫛增杖. 煖增杖 震檉 I(site_a,suc(suc(...,suc(h)...))), I(site_b,suc(suc(...,suc(h)...))) 僖淳循音粧裝 麟杖茵蟻裝 櫛增杖 I(site_a,h),I(site_b,h).

珞鎭循 溢鴨蟻 躬釣軸液 遵鎭脣 溢鴨泣 劤, 櫛增緘 了 壓採 滄依, 夭廬 衆抑策姮 妖鎭卒釣診打 惟臟嵬債惺療:

1. 躬釣軸: send(I) -"袋言 I 禎證乙奄 裔穽前 輦奄 禎曖橓阻鴨杖" 厥-埰依淳: idle(I,H) 淃增-埰依淳: request(I,J,suc(H)), waiting(I,suc(H),suc(H)) 圖依淳 禎 菴牆忽: others(I,J) 2. 躬釣軸: receive(I) - "袋言 I 禎證乙奄 禎曖橓阻鴨杖 醇賊嶢 愉嶢料嚴有 遵柚療" 厥-埰依淳: ack(J,I),waiting(I,O,H) 淃增-埰依淳: critical(I,H) 圖依淳 禎 菴牆忽: 較憎秩軫策 3. 躬釣軸: release(I) -"袋言 I 禎孺菴奄 愉嶢料嚴有 遵柚療" 厥-埰依淳: critical(I,H) 淃增-埰依淳: idle(I,H) 圖依淳 禎 菴牆忽: 較憎秩軫策 4. 躬釣軸: i_reply(I) -"樂翟賊裝 滄言 I 禎證乙奄 禎曖橓阻鴨杖" 厥-埰依淳: idle(I,H), request((J,I,O) 淃增-埰依淳: ack(I,J), idle(I,K) 圖依淳 禎 菴牆忽: others(I,J), max(H,O,K) 5. 躬釣軸: w_reply(I) -"攪巍筬陷 滄言 I 禎證乙奄 禎曖橓阻鴨杖" 厥-埰依淳: waiting(I,OI,H), request(J,I,Oj) 淃增-埰依淳: ack(I,J), waiting(I,OI,K) 圖依淳 禎 菴牆忽: others(I,J), max((H,OJ,K), priority(OJ,OI,J,I) 圖依淳 禎 菴牆忽 全釣鴨秩 禎溢缸 穽抑凹城荻 others, max, priority 衆抑策陷 翟調吾:

others(site_a,site_b) - "袋言 site_B 瞬奄 櫛遵哀 滄乙 site_A";

others(site_b,site_a) - "袋言 site_A 瞬奄 櫛遵哀 滄乙 site_B".

max(X,X,X) - "璥揄夭脹 了 X X 嚴潗 X";

max(X,suc(X),suc(X)) - "璥揄夭脹 了 X suc(X) 嚴潗 suc(X)";

max(suc(X),X,suc(X)) - "璥揄夭脹 了 suc(X) suc(X) 嚴潗 suc(X)";

priority(X,suc(X),I,J) - "袋言 I 依魏蟻裝 荀諺孼諺 X 夭檍 穽姚鳥鎭 壯 裔穽星外筬陷 滄依 J c 荀諺孼狀 禎靭叱迹 suc(X) ";

priority(X,X,I,J):- order(I,J) - "쾰 全釣鴨音杖 穽姚鳥鎭診 壓採 滄依 調純忽 荀諺孼裝麟 靭叱閃 尿禎蟻奧奄 穽抑全釣鴨音牆渾 禎哀, 裔菴循諺渾 穽抑凹城佃 order";

order(site_a,site_b) - "厥姚鳥鎭 滄乙 site_a 述袍 穽姚鳥鎭診 滄乙 site_b".

卵抑暢 翟調震潗 純夭陝猥 壯 妖鴨揄惺療 渟釣軸哀 他奄閃 了 日跡嚴軫 {site_a,site_b}, 破 逡言陝 秧 撓 述鴨音杖 了 日跡嚴軫 渟釣軸哀 賊妖蟾荻迹 遵茵粧凹迹 剪狀茁鎭蟻狀 渟釣菴緘莘 穽妖夭筬緘莘 滄乙.

勘蹟, 裔菴陷 渟釣軸液 遵鎭脣 溢鴨泣, 夭廬 衆抑策陷 淳:

arc(S,send(I),S1):- remove([idle(I,H)],S,S2), others(I,J), insert([request(I,J,suc(H)),waiting(I,suc(H),suc(H))],S2,S3), shift(S3,S1).

arc(S,receive(I),S1):- remove([ack(J,I),waiting(I,O,H)],S,S2), insert([critical(I,H)],S2,S3), shift(S3,S1).

arc(S,release(I),S1):- remove([critical(I,H)],S,S2), insert([idle(I,H)],S2,S3), shift(S3,S1).

arc(S,i_reply(I),S1):- remove([idle(I,H),request(J,I,O)],S,S2), others(I,J),max(H,O,K), insert([ack(I,J),idle(I,K)],S2,S3), shift(S3,S1).

arc(S,w_reply(I),S1):- remove([waiting(I,OI,H),request(J,I,OJ)],S,S2), others(I,J),max(H,OJ,K),priority(OJ,OI,J,I), insert([ack(I,J),waiting(I,OI,K)],S2,S3), shift(S3,S1).

勘蹟, 全釣鴨陷 荀諺孼腸 疾陝曾典茵打 秧 魏輦迹 禎預打:

transfo(idle(I,suc(H)),idle(I,H)).

transfo(request(I,J,suc(H)),request(I,J,H)).

transfo(waiting(I,suc(H),suc(H)),waiting(I,H,H)).

transfo(ack(I,J),ack(I,J)).

transfo(critical(I,suc(H)),critical(I,H)).

췻宬料嚴惟 穽抑增設音杖 調葺溢疾孼狀 遵鎭脣 溢鴨泣 穽外抑孼 壯 鳥. 2.8. 昆妬蟻壯 茵簇寮荻魏 菴牆迹 遵鎭脣 溢鴨泣 全釣鴨奄 衆抑策陷 牒攸佃:

init([idle(site_a,h),idle(site_b,h)]).

矜.2.8.珞鎭循 溢鴨蟻 贍莘鳥嫉 洵殲日謫 尿幽特杖 厥 尿禎蟻吾循杖 穽外抑孼裝 調醴. 1.4 幽蹟荻, 修涯 禎懿特裝 衆抑策陷 述軸厓酷 菴牆酷, 全釣鴨陷 쳐:

哀增嵬腸執 櫛增杖 (蓀裔 菴牆紅 rstate):

0 [idle(site_a,h),idle(site_b,h)] 1 [request(site_a,site_b,suc(h)),waiting(site_a,suc(h),suc(h)), idle(site_b,h)] 2 [request(site_b,site_a,h),waiting(site_b,h,h), request(site_a,site_b,h),waiting(site_a,h,h)] 3 [ack(site_b,site_a),waiting(site_b,h,h),request(site_b,site_a,h), waiting(site_a,h,h)] 4 [critical(site_a,h),waiting(site_b,h,h),request(site_b,site_a,h)] 5 [idle(site_a,h),waiting(site_b,h,h),request(site_b,site_a,h)] 6 [request(site_a,site_b,suc(h)),waiting(site_a,suc(h),suc(h)), waiting(site_b,h,h),request(site_b,site_a,h)] 7 [ack(site_a,site_b),waiting(site_a,suc(h),suc(h)), request(site_a,site_b,suc(h)),waiting(site_b,h,h)] 8 [critical(site_b,h),waiting(site_a,suc(h),suc(h)), request(site_a,site_b,suc(h))] 9 [ack(site_a,site_b),idle(site_a,h),waiting(site_b,h,h)] 10 [critical(site_b,h),idle(site_a,h)] 11 [ack(site_b,site_a),idle(site_b,h),waiting(site_a,h,h)] 12 [request(site_b,site_a,suc(h)),waiting(site_b,suc(h),suc(h)), ack(site_b,site_a),waiting(site_a,h,h)] 13 [critical(site_a,h),request(site_b,site_a,suc(h)), waiting(site_b,suc(h),suc(h))] 14 [idle(site_a,h),request(site_b,site_a,suc(h)), waiting(site_b,suc(h),suc(h))] 15 [critical(site_a,h),idle(site_b,h)] 涯侁 쳐 (蓀裔 菴牆紅 gds):

Pages:     | 1 |   ...   | 2 | 3 || 5 | 6 |   ...   | 8 |










2011 www.dissers.ru - チ嚴町城壯 凞焉疾佺壯 訟頌姚鎭魏

璥鎭鳥贍 憙謫 焌煜 調傲余孼 秧 蹟壯惟佾孼, 蓴 穽設 穽妖雪音縯 撓 設桎調.
퇸泣 찰 張 櫛紳葉裝 鎭, 破 쭌 茵鎭鳥贍 調傲余명 壯 憙佃 焌煜, 禎縯懿栯診, 壯炡鋪鎭 壯, 荏 鎭特杖 1-2 調灑婆 厓彦 昶贍夭 憶.