In: Information and Software Technology, Vol. 33, No. 4, pages 273-280. May 1991.
Abstract: The use of a hybrid between the available copies method and voting with witnesses to maintain consistency in a replicated file system is investigated. In such a system, the available copies method is augmented with witnesses, and a simple static voting algorithm is used. High levels of availability are possible with only two copies, with the added advantage that the consistency of the file system is maintained even if the network is partitioned. The transformation of copies and witnesses into the other, as needed, is discussed. The system is analysed via a stochastic Petri net model.
Keywords: hybrid voting algorithm (for) replicated file system; consistency maintenance; stochastic net.
Back to the Petri Nets Bibliography