Title :
User-perceived availability and response-time in voting-based replicated systems: a case study
Author :
Chen, Ing-Ray ; Wang, Ding-Chau ; Chu, Chih-Ping
Author_Institution :
Dept. of Comput. Sci., Virginia Polytech. Inst. & State Univ., Blacksburg, VA, USA
Abstract :
In this paper, we develop a modeling method based on stochastic Petri nets (SPN) to allow user-perceived measures in voting-based replicated systems to be estimated. The merit of our approach is that user-arrival, maintenance, and node/link-failure or -repair processes are fully decoupled, thus allowing us to remove some unnecessary modeling assumptions and also to keep track of states in which the system is unavailable to users from the user´s perspective. We apply our method to contrast user-perceived availability and performance measures under dynamic and static voting algorithms in a 3-node, fully-connected network and discover that (a) for user-perceived availability, the conditions under which static voting is better than dynamic voting, or vice versa, are largely determined by the user workload; (b) for user-perceived response time, static voting is always better than dynamic voting. We give some physical interpretation of the analysis result. Our method is generic in nature and can be applied to analyzing other voting algorithms or network structures for replicated data management
Keywords :
Petri nets; formal specification; performance evaluation; replicated databases; stochastic processes; network structures; node/link-failure; performance measures; replicated data management; response-time; stochastic Petri nets; user-perceived availability; voting algorithms; voting-based replicated systems; Algorithm design and analysis; Availability; Broadcasting; Computer aided software engineering; Computer science; Delay; Petri nets; Stochastic systems; Time measurement; Voting;
Conference_Titel :
Application-Specific Systems and Software Engineering and Technology, 1999. ASSET '99. Proceedings. 1999 IEEE Symposium on
Conference_Location :
Richardson, TX
Print_ISBN :
0-7695-0122-2
DOI :
10.1109/ASSET.1999.756758