This Article 
 Bibliographic References 
 Add to: 
Stochastic Petri net analysis of a replicated file system
April 1989 (vol. 15 no. 4)
pp. 394,395,396,397,398,399,400,401
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.<>

[1] C. S. Ellis and R. A. Floyd, "The roe file system," inProc. 3rd Symp. Reliability in Distributed Software for Database Systems, 1983, pp. 175-181.
[2] G. Popeket al., "LOCUS: A network transparent, high reliability distributed system," inProc. 8th ACM Symp. on Operating Systems Principles, dec. 1981, pp. 169-177.
[3] M. Stonebraker, "Concurrency control and consistency of multiple copies of data in distributed INGRES,"IEEE Trans. Software Eng., vol. SE-5, pp. 188-194, May 1979.
[4] J. F. Paris, "Voting with a variable number of copies," inProc. Sixteenth Int. Symp. Fault-Tolerant Computing, July 1986, pp. 50- 55.
[5] J. F. Paris, "Voting with witnesses: A consistency scheme for replicated files," inProc. 6th Int. Conf. Distributed Computing Systems, May 1986, pp. 606-612.
[6] S. Jajodia and D. Mutchler, "Dynamic voting," inProc. 1987 ACM SIGMOD, San Francisco, CA, May 1987, pp. 227-238.
[7] D. S. Parker, G. J. Popek, G. Rudisin, A. Stoughton, B. J. Walker, E. Walton, J. Chow, D. Edwards, S. Kiser, and C. Kline, "Detection of mutual inconsistency in distributed systems,"IEEE Trans. Software Eng., vol. SE-9, pp. 240-247, May 1983.
[8] D. Davcev and W. Burkhard, "Consistency and recovery control for replicated files," inProc. 10th Symp. Operating System Principles, Orcas Island, WA, Dec. 1985, pp. 87-96.
[9] D. Gifford, "Weighted voting for replicated data," inProc. 7th ACM Symp. Oper. Syst. Principles, Dec. 1979, pp. 150-162.
[10] R. Thomas, "A majority consensus approach to concurrency control,"ACM Trans. Database Syst., vol. 4, pp. 180-209, June 1979.
[11] D. Barbara and H. Garcia-Molina, "The reliability of voting mechanisms,"IEEE Trans. Comput., vol. C-36, no. 10, pp. 1197-1208, Oct. 1987.
[12] J. Bechta Dugan, "Extended stochastic Petri nets: Applications and analysis," Ph.D. dissertation, Dep. Elec. Eng., Duke Univ., 1984.
[13] J. L. Peterson,Petri Net Theory and the Modeling of Systems. Englewood Cliffs, NJ: Prentice-Hall, 1981.
[14] M. K. Molloy, "Performance analysis using stochastic Petri nets,"IEEE Trans. Comput., vol. C-31, no. 9, pp. 913-917, Sept. 1982.
[15] S. Natkin, "Reseaux de Petri stochastiques," These de Docteur Ingeneur, CNAM-Paris, June 1980.
[16] M. Ajmone Marsan, G. Balbo, and G. Conte, "A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems,"ACM Trans. Comput. Syst., vol. 2, pp. 93-122, May 1984.
[17] J. Dugan, A. Bobbio, G. Ciardo, and K. Trivedi, "The design of a unified package for the solution of stochastic petri net models," inProc. Int. Workshop Timed Petri Nets, Torino, Italy, 1985.
[18] J. B. Dugan, K. S. Trivedi, R. M. Geist, and V. F. Nicola, "Extended stochastic petri nets: Applications and analysis," inProc. 10th Int. Symp. Comput. Performance (PERFORMANCE 84), Dec. 1984, pp. 507-520.
[19] D. P. Siewiorek and R. S. Swarz,The Theory and Practice of Reliable System Design. Bedford, MA: Digital, 1982.

Index Terms:
Petri nets,concurrency control,distributed databases,fault tolerant computing,majority protocols,performance reliability tradeoffs,stochastic Petri net model,replicated file system,distributed environment,voting algorithm,file status,witnesses,Stochastic systems,File systems,Voting,Availability,Protocols,Algorithm design and analysis,Protection,Databases,Testing,Costs
"Stochastic Petri net analysis of a replicated file system," IEEE Transactions on Software Engineering, vol. 15, no. 4, pp. 394,395,396,397,398,399,400,401, April 1989, doi:10.1109/32.16600
Usage of this product signifies your acceptance of the Terms of Use.