The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.04 - April (1989 vol.15)
pp: 394,395,396,397,398,399,400,401
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.<>
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
CITATION
"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
SEARCH
32 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool