Assess students' understanding of memory consistency models in concurrent and distributed systems: formal definitions and intuitive programmer-visible guarantees of linearizability, sequential consistency, release/weak consistency, and eventual consistency; ability to distinguish behaviors, reason about operation ordering and visibility across threads or nodes, identify which guarantees suffice for common synchronization patterns, and classify short scenarios or code snippets for observable outcomes. Focus on conceptual differentiation and practical implications for program correctness and performance.