Recovery guarantees for software components

摘要: A technique is described for guaranteeing recovery in a computer system comprising of contracts with plurality obligations message exchange between first component and second component. Three forms contract are described, governing interactions three types components. Each bilateral, i.e. The components have mutual agreement on when the will be released to facilitate log truncation, independent and/or autonomous recovery. use persistent transactional requirements ensuring that it possible replay deterministic fashion, can result high cost or overhead logging nondeterministic events, including interactions. An appreciation this requirement may overly pessimistic has led definition additional types, functional component, subordinate read-only