High Level Design
Consistency models (linearizable, eventual, causal, quorum), database transactions, and the four isolation levels — from read uncommitted to serializable.
Pull vs Push, Memory vs Latency, Throughput vs Latency, Consistency vs Availability, Latency vs Accuracy — every key trade-off with decision frameworks.