next up previous contents index
Next: Mail Reader Up: Examples Previous: Bank Account   Contents   Index


This example is taken from [30]:

"Consider the following scenario of a partitioned read/write conflict. A programmer Joe caches relevant files on his Coda laptop for a weekend trip. While disconnected, he edits some source files and builds a new version of repair, a file resolution program. However one of the libraries libresolve.a that is linked in was updated on the servers during Joe's absence. Here the linking and the updating of libresolve.a constitute a partitioned read/write conflict, which not only leaves repair in a possible inconsistent state but also may cause cascading inconsistencies had Joe used his repair program to mutate other objects. It would be helpful if Joe is at least notified about the possible inconsistency when he reconnects the laptop to the servers."

Other references to this scenario can be found in [34] and in [20]. A similar scenario is used in [31].