A Self-Stabilizing Mutual Exclusion Algorithm Assuming Only Read / Write Atomicity
碩士 === 元智大學 === 資訊工程學系 === 91 === In this paper, we design and prove the correctness of a self-stabilizing algorithm that solves the mutual exclusion problem for a distributed system. The computational model used by the system in this paper assumes the read/write separate atomicity instea...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | zh-TW |
| Published: |
2003
|
| Online Access: | http://ndltd.ncl.edu.tw/handle/86363085296653957323 |