Implementation Design (2)
- Upgrades stored at the server and pushed to clients
- Objects transformed by clients before used by apps
- Objects transformations are regarded as modifications
- Invariant: All full ROT entries represent up-to-date objects.
- At receipt of new upgrade, client
- aborts running transaction if it used affected objects to guarantee atomicity
- scans ROT and empties affected entries to preserve invariant