å²å¦å®¶å°±é¤é®é¢æ¯å¨è®¡ç®æºç§å¦ä¸çä¸ä¸ªç»å
¸é®é¢ï¼ç¨æ¥æ¼ç¤ºå¨å¹¶è¡è®¡ç®ä¸å¤çº¿ç¨åæ¥(Synchronization)æ¶äº§ççé®é¢ã
å¨1971å¹´ï¼èåç计ç®æºç§å¦å®¶è¾å
¹æ ¼Â·è¿ªç§æ¯å½»æåºäºä¸ä¸ªåæ¥é®é¢ï¼å³å设æäºå°è®¡ç®æºé½è¯å¾è®¿é®äºä»½å
±äº«çç£å¸¦é©±å¨å¨ãç¨åï¼è¿ä¸ªé®é¢è¢«æ尼·éå°éæ°è¡¨è¿°ä¸ºå²å¦å®¶å°±é¤é®é¢ãè¿ä¸ªé®é¢å¯ä»¥ç¨æ¥è§£éæ»éåèµæºèå°½ã
é®é¢æè¿°å²å¦å®¶å°±é¤é®é¢å¯ä»¥è¿æ ·è¡¨è¿°ï¼å设æäºä½å²å¦å®¶å´åå¨ä¸å¼ åå½¢é¤æ¡æï¼å以ä¸ä¸¤ä»¶äºæ
ä¹ä¸ï¼åé¥ï¼æè
æèãåä¸è¥¿çæ¶åï¼ä»ä»¬å°±åæ¢æèï¼æèçæ¶åä¹åæ¢åä¸è¥¿ãé¤æ¡ä¸é´æä¸å¤§ç¢æ大å©é¢ï¼æ¯ä¸¤ä¸ªå²å¦å®¶ä¹é´æä¸åªé¤åãå 为ç¨ä¸åªé¤åå¾é¾åå°æ大å©é¢ï¼æ以å设å²å¦å®¶å¿
é¡»ç¨ä¸¤åªé¤ååä¸è¥¿ãä»ä»¬åªè½ä½¿ç¨èªå·±å·¦å³æè¾¹çé£ä¸¤åªé¤åãå²å¦å®¶å°±é¤é®é¢ææ¶ä¹ç¨ç±³é¥åç·åèä¸æ¯æ大å©é¢åé¤åæ¥æè¿°ï¼å 为å¾ææ¾ï¼åç±³é¥å¿
é¡»ç¨ä¸¤æ ¹ç·åã
å²å¦å®¶å°±é¤é®é¢çæ¼ç¤ºå²å¦å®¶ä»æ¥ä¸äº¤è°ï¼è¿å°±å¾å±é©ï¼å¯è½äº§çæ»éï¼æ¯ä¸ªå²å¦å®¶é½æ¿çå·¦æçé¤åï¼æ°¸è¿é½å¨çå³è¾¹çé¤åï¼æè
ç¸åï¼ã
å³ä½¿æ²¡ææ»éï¼ä¹æå¯è½åçèµæºèå°½ãä¾å¦ï¼å设è§å®å½å²å¦å®¶çå¾
å¦ä¸åªé¤åè¶
è¿äºåéåå°±æ¾ä¸èªå·±æéçé£ä¸åªé¤åï¼å¹¶ä¸åçäºåéåè¿è¡ä¸ä¸æ¬¡å°è¯ãè¿ä¸ªçç¥æ¶é¤äºæ»éï¼ç³»ç»æ»ä¼è¿å
¥å°ä¸ä¸ä¸ªç¶æï¼ï¼ä½ä»ç¶æå¯è½åçâæ´»éâãå¦æäºä½å²å¦å®¶å¨å®å
¨ç¸åçæ¶å»è¿å
¥é¤å
ï¼å¹¶åæ¶æ¿èµ·å·¦è¾¹çé¤åï¼é£ä¹è¿äºå²å¦å®¶å°±ä¼çå¾
äºåéï¼åæ¶æ¾ä¸æä¸çé¤åï¼åçäºåéï¼ååæ¶æ¿èµ·è¿äºé¤åã
å¨å®é
ç计ç®æºé®é¢ä¸ï¼ç¼ºä¹é¤åå¯ä»¥ç±»æ¯ä¸ºç¼ºä¹å
±äº«èµæºãä¸ç§å¸¸ç¨ç计ç®æºææ¯æ¯èµæºå éï¼ç¨æ¥ä¿è¯å¨æ个æ¶å»ï¼èµæºåªè½è¢«ä¸ä¸ªç¨åºæä¸æ®µä»£ç 访é®ãå½ä¸ä¸ªç¨åºæ³è¦ä½¿ç¨çèµæºå·²ç»è¢«å¦ä¸ä¸ªç¨åºéå®ï¼å®å°±çå¾
èµæºè§£éãå½å¤ä¸ªç¨åºæ¶åå°å éçèµæºæ¶ï¼å¨æäºæ
åµä¸å°±æå¯è½åçæ»éãä¾å¦ï¼æ个ç¨åºéè¦è®¿é®ä¸¤ä¸ªæ件ï¼å½ä¸¤ä¸ªè¿æ ·çç¨åºåéäºä¸ä¸ªæ件ï¼é£å®ä»¬é½å¨çå¾
对æ¹è§£éå¦ä¸ä¸ªæ件ï¼èè¿æ°¸è¿ä¸ä¼åçã
[ç¼è¾] 解æ³[ç¼è¾] æå¡ç解æ³ä¸ä¸ªç®åç解æ³æ¯å¼å
¥ä¸ä¸ªé¤å
æå¡çï¼å²å¦å®¶å¿
é¡»ç»è¿ä»çå
许æè½æ¿èµ·é¤åãå 为æå¡çç¥éåªåªé¤åæ£å¨ä½¿ç¨ï¼æ以ä»è½å¤ä½åºå¤æé¿å
æ»éã
为äºæ¼ç¤ºè¿ç§è§£æ³ï¼å设å²å¦å®¶ä¾æ¬¡æ å·ä¸ºAè³Eãå¦æAåCå¨åä¸è¥¿ï¼åæååªé¤åå¨ä½¿ç¨ä¸ãBåå¨AåCä¹é´ï¼æ以两åªé¤åé½æ æ³ä½¿ç¨ï¼èDåEä¹é´æä¸åªç©ºä½çé¤åãå设è¿æ¶Dæ³è¦åä¸è¥¿ãå¦æä»æ¿èµ·äºç¬¬äºåªé¤åï¼å°±æå¯è½åçæ»éãç¸åï¼å¦æä»å¾æ±æå¡çåæï¼æå¡çä¼è®©ä»çå¾
ãè¿æ ·ï¼æ们就è½ä¿è¯ä¸æ¬¡å½ä¸¤æé¤å空ä½åºæ¥æ¶ï¼ä¸å®æä¸ä½å²å¦å®¶å¯ä»¥æåçå¾å°ä¸å¯¹é¤åï¼ä»èé¿å
äºæ»éã
[ç¼è¾] èµæºå级解æ³å¦ä¸ä¸ªç®åç解æ³æ¯ä¸ºèµæºï¼è¿éæ¯é¤åï¼åé
ä¸ä¸ªååºæè
å级çå
³ç³»ï¼å¹¶çº¦å®ææèµæºé½æç
§è¿ç§é¡ºåºè·åï¼æç¸å顺åºéæ¾ï¼èä¸ä¿è¯ä¸ä¼æ两个æ å
³èµæºåæ¶è¢«åä¸é¡¹å·¥ä½æéè¦ãå¨å²å¦å®¶å°±é¤é®é¢ä¸ï¼èµæºï¼é¤åï¼æç
§æç§è§åç¼å·ä¸º1è³5ï¼æ¯ä¸ä¸ªå·¥ä½åå
ï¼å²å¦å®¶ï¼æ»æ¯å
æ¿èµ·å·¦å³ä¸¤è¾¹ç¼å·è¾ä½çé¤åï¼åæ¿ç¼å·è¾é«çãç¨å®é¤ååï¼ä»æ»æ¯å
æ¾ä¸ç¼å·è¾é«çé¤åï¼åæ¾ä¸ç¼å·è¾ä½çãå¨è¿ç§æ
åµä¸ï¼å½åä½å²å¦å®¶åæ¶æ¿èµ·ä»ä»¬æè¾¹ç¼å·è¾ä½çé¤åæ¶ï¼åªæç¼å·æé«çé¤åçå¨æ¡ä¸ï¼ä»è第äºä½å²å¦å®¶å°±ä¸è½ä½¿ç¨ä»»ä½ä¸åªé¤åäºãèä¸ï¼åªæä¸ä½å²å¦å®¶è½ä½¿ç¨æé«ç¼å·çé¤åï¼æ以ä»è½ä½¿ç¨ä¸¤åªé¤åç¨é¤ãå½ä»åå®åï¼ä»ä¼å
æ¾ä¸ç¼å·æé«çé¤åï¼åæ¾ä¸ç¼å·è¾ä½çé¤åï¼ä»è让å¦ä¸ä½å²å¦å®¶æ¿èµ·åè¾¹çè¿åªå¼å§åä¸è¥¿ã
尽管èµæºå级è½é¿å
æ»éï¼ä½è¿ç§çç¥å¹¶ä¸æ»æ¯å®ç¨çï¼ç¹å«æ¯å½æéèµæºçå表并ä¸æ¯äºå
ç¥éçæ¶åãä¾å¦ï¼å设ä¸ä¸ªå·¥ä½åå
æ¿çèµæº3å5ï¼å¹¶å³å®éè¦èµæº2ï¼åå¿
é¡»å
è¦éæ¾5ï¼ä¹åéæ¾3ï¼æè½å¾å°2ï¼ä¹åå¿
é¡»éæ°æ顺åºè·å3å5ã对éè¦è®¿é®å¤§éæ°æ®åºè®°å½ç计ç®æºç¨åºæ¥è¯´ï¼å¦æéè¦å
éæ¾é«ç¼å·çè®°å½æè½è®¿é®æ°çè®°å½ï¼é£ä¹è¿è¡æçå°±ä¸ä¼é«ï¼å æ¤è¿ç§æ¹æ³å¨è¿é并ä¸å®ç¨ã
è¿ç§æ¹æ³ç»å¸¸æ¯å®é
计ç®æºç§å¦é®é¢ä¸æå®ç¨ç解æ³ï¼éè¿ä¸ºå级éæå®å¸¸éï¼å¼ºå¶è·å¾éç顺åºï¼å°±å¯ä»¥è§£å³è¿ä¸ªé®é¢ã
Chandy/Misra解æ³1984å¹´ï¼K. Mani ChandyåJ. Misraæåºäºå²å¦å®¶å°±é¤é®é¢çå¦ä¸ä¸ªè§£æ³ï¼å
许任æçç¨æ·ï¼ç¼å·P1, ..., Pnï¼äºç¨ä»»ææ°éçèµæºãä¸è¿ªç§æ¯å½»ç解æ³ä¸åçæ¯[æ¥æºè¯·æ±]ï¼è¿éç¼å·å¯ä»¥æ¯ä»»æçã
1.对æ¯ä¸å¯¹ç«äºä¸ä¸ªèµæºçå²å¦å®¶ï¼æ°æ¿ä¸ä¸ªé¤åï¼ç»ç¼å·è¾ä½çå²å¦å®¶ãæ¯åªé¤åé½æ¯âå¹²åçâæè
âèçâãæåï¼ææçé¤åé½æ¯èçã
2.å½ä¸ä½å²å¦å®¶è¦ä½¿ç¨èµæºï¼ä¹å°±æ¯è¦åä¸è¥¿ï¼æ¶ï¼ä»å¿
é¡»ä»ä¸ä»ç«äºçé»å±
é£éå¾å°ã对æ¯åªä»å½å没æçé¤åï¼ä»é½åéä¸ä¸ªè¯·æ±ã
3.å½æ¥æé¤åçå²å¦å®¶æ¶å°è¯·æ±æ¶ï¼å¦æé¤åæ¯å¹²åçï¼é£ä¹ä»ç»§ç»ççï¼å¦åå°±æ¦å¹²å并交åºé¤åã
4.å½æ个å²å¦å®¶åä¸è¥¿åï¼ä»çé¤åå°±åèäºãå¦æå¦ä¸ä¸ªå²å¦å®¶ä¹å请æ±è¿å
¶ä¸çé¤åï¼é£ä»å°±æ¦å¹²å并交åºé¤åã
è¿ä¸ªè§£æ³å
许å¾å¤§ç并è¡æ§ï¼éç¨äºä»»æ大çé®é¢ã
æç« <å对å
å
«è¡>æ讲:âå 为ä¸å½åæçè¯æ±ä¸å¤ç¨,ç°å¨æ们çè¯æ±ä¸å°±æå¾å¤æ¯ä»å¤å½å¸æ¶æ¥ç,ä¾å¦ä»å¤©å¼çå¹²é¨å¤§ä¼,è¿å¹²é¨äºåå°±æ¯ä»å½å¤å¦æ¥ç,æ们è¿è¦å¤å¸æ¶å¤å½æ°é²çä¸è¥¿,ä¸ä½è¦å¸æ¶å®ä»¬è¿æ¥çç论,è¿è¦å¸æ¶ä»ä»¬çæ°é²ç¨è¯âå¤å½äººä¹æ¯è¿ä¹å¦æ¥ç,å¯è½å°±æ¯å 为没ç¨è¿,è§å¾ç·åæ°é²,ç¶åéå°å°é¾å°±èæ³å°ç·åä¹ä¸å¥½å¼,å°±ç¨äºè¿ä¸ªè¯.
å¸æå¯¹ä½ æ帮å©ï¼ï¼
温馨提示:内容为网友见解,仅供参考