Explores reliable broadcast algorithms, focusing on causal order and uniform reliability, with exercises on failure detector properties and memory optimization.
Explores congestion control challenges, emphasizing the need for robust network systems and performance verification to enhance internet performance and address issues like starvation and low utilization.
Explores the impact of locality on system design, discussing strategies to optimize efficiency and performance through data layout, lock design, and data movement minimization.