operation set distinct changes applied single operation atomic commit succeeds means changes applied failure atomic commit completed commit aborted changes applied algorithms solving atomic commit protocol include two phase commit protocol three phase commit protocol consensus consensus algorithms try solve problem number processes agreeing common decision precisely consensus protocol must satisfy four formal properties
Formal science Computer science Algorithms Distributed algorithms