Distributed Computing

Java语言

Global states and event ordering

Logical clocks

Vector clocks

Consistent cuts and global property detection

Rollback-recovery and message-logging protocols

State machine approach

Agreement protocols

Failure detectors

Replication and consistency

Byzantine fault tolerance

Atomic Commit