Next: Mail Reader Up: Examples Previous: Bank Account   Contents   Index
"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.athat is linked in was updated on the servers during Joe's absence. Here the linking and the updating of
libresolve.aconstitute a partitioned read/write conflict, which not only leaves
repairin a possible inconsistent state but also may cause cascading inconsistencies had Joe used his
repairprogram 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  and in . A similar scenario is used in .