Stochastic Petri net analysis of a replicated file system
- 1 April 1989
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 15 (4) , 394-401
- https://doi.org/10.1109/32.16600
Abstract
The authors present a stochastic Petri net model of a replicated file system in a distributed environment where replicated files reside on different hosts and a voting algorithm is used to maintain consistency. Witnesses, which simply record the status of the file but contain no data, can be used in addition to or in place of files to reduce overhead. A model sufficiently detailed to include file status (current or out-of-date) as well as failure and repair of hosts where copies or witnesses reside, is presented. The number of copies and witnesses is not fixed, but is a parameter of the model. Two different majority protocols are examined.Keywords
This publication has 12 references indexed in Scilit:
- Stochastic Petri net analysis of a replicated file systemIEEE Transactions on Software Engineering, 1989
- The Reliability of Voting MechanismsIEEE Transactions on Computers, 1987
- Dynamic votingPublished by Association for Computing Machinery (ACM) ,1987
- Consistency and recovery control for replicated filesPublished by Association for Computing Machinery (ACM) ,1985
- Extended Stochastic Petri Nets: Applications and Analysis.Published by Defense Technical Information Center (DTIC) ,1984
- A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systemsACM Transactions on Computer Systems, 1984
- Detection of Mutual Inconsistency in Distributed SystemsIEEE Transactions on Software Engineering, 1983
- Performance Analysis Using Stochastic Petri NetsIEEE Transactions on Computers, 1982
- A Majority consensus approach to concurrency control for multiple copy databasesACM Transactions on Database Systems, 1979
- Concurrency Control and Consistency of Multiple Copies of Data in Distributed IngresIEEE Transactions on Software Engineering, 1979