Title :
How to improve safety under convergence using stable storage
Author_Institution :
Dept. of Appl. Econ., Hyogo Univ., Japan
fDate :
4/1/2006 12:00:00 AM
Abstract :
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.
Keywords :
database management systems; memory protocols; database systems; self-stabilization mutual exclusion protocol; stable storage; time-adaptive protocol; write operation; Arithmetic; Concurrency control; Convergence; Database systems; Fault detection; Nonvolatile memory; Protocols; Safety; State-space methods; System recovery; Mutual exclusion; false privilege; self-stabilization; stable storage; vulnerability under convergence.;
Journal_Title :
Parallel and Distributed Systems, IEEE Transactions on
DOI :
10.1109/TPDS.2006.47