Issue No.04 - April (2006 vol.17)
Jun Kiniwa , IEEE Computer Society
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TPDS.2006.47
<p><b>Abstract</b>—We present a new method for avoiding false privileges with the aid of stable storage. The method is motivated by the commitment in database systems. The commit guarantees that a write operation to stable storage has successfully completed. Since programs are stored in stable storage in self-stabilization, we assume that the stable values are also free from any transient fault. They sometimes give us additional information on whether a state is faulty or not. Using the stable values, we can improve our previous weakly time-adaptive protocol. We analyze the efficiency and the safety of our method and compare it with previously proposed ones. Furthermore, we extend our method by keeping an old version of stable values and show its usefulness.</p>
Mutual exclusion, self-stabilization, false privilege, stable storage, vulnerability under convergence.
Jun Kiniwa, "How to Improve Safety under Convergence Using Stable Storage", IEEE Transactions on Parallel & Distributed Systems, vol.17, no. 4, pp. 389-398, April 2006, doi:10.1109/TPDS.2006.47