Operating system level support for coherence in distributed object systems

The paper is concerned with an optimistic approach to the problem of maintaining coherence in a distributed object system. The approach is based upon the systematic use of rollback as a computational mechanism. The paper describes an architecture in which rollback is used to support a transaction abstraction as the unit of global computation and synchronisation.<
>