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 |