EECS 221: Multicore Programming

Reading and Coding Assignments

Type Due Date Assignment
Background Reading First day of class (9/28) Chapters 1 & 2 of Art of Multiprocess Programming
Chapters 1-6 of A Primer on Memory Consistency and Cache Coherence
Reading 10/3 How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
Reading 10/5 Foundations of the C++ Concurrency Memory Model
Mathematizing C++ Concurrency
Chapters 29 and 30 of Working Draft, Standard for Programming Language C++
Reading TBA Dynamic Partial-Order Reduction for Model Checking
CDSCHECKER: Checking Concurrent Data Structures Written with C/C++ Atomics
Programming 10/30 Assignment 1