domains / families / software-engineering / transaction-protocol-reasoning

transaction-protocol-reasoning

separate

Teaches how to reason from a transaction protocol’s rules to a working model. Use when analyzing a concurrency-control paper, spec, or algorithm to identify state, metadata, invariants, operation rules, examples, counterexamples, guarantees, false aborts, unsafe commits, or tradeoffs before inspecting concrete traces.

When to use

• analyzing a concurrency-control paper
• analyzing a spec
• analyzing an algorithm
• identifying state
• identifying metadata
• identifying invariants
• identifying operation rules
• identifying guarantees

When not to use

• inventing a protocol

Skill page

Source