Distributed System Upgrade Scenarios

This upgrade adds invalidation messages to Thor. Servers send invalidations to FEs when an object they have read is modified by a committing transaction. FEs acknowledge invalidations once they have removed all invalid objects from their cache and aborted all transactions that read the invalid objects. When a server receives an ack, it removes the acked object from the set of outstanding invalidations for that FE.