CS378 Concurrency

Date Topic Zoom Link Assignments Reading/Slides/Videos Suggested Readings
Wed 08/25 Course Intro, Concurrency and Correctness
[lecture]

slides
lecture video

Mon 08/30 Processes, Threads, Fibers
[lecture]

Chapter 1
slides
lecture video

Understanding the Linux Kernel (3rd Edition) Chapter 9, Process Address Space (skim)

Wed 09/01 PThreads, Blocking, Spinning, Conditions
[lecture]

Chapter 6 (pp. 143-173)
slides
lecture video

Experiences with Processes and Monitors in Mesa (Lampson and Redell, Communications of the ACM 23, 2, 1980)
The "Double-Checked Locking is Broken" Declaration (Bacon, Bloch, Bogda, Click, Haahr, Lea, May, Maessen, Mitchell, Nilsen, Pugh, Sirer, 2004)

Mon 09/06 Labor Day

Wed 09/08 Barriers, Events
[lecture]

Lab 1: locking

Chapter 6 (pp. 173-187) slides
-lecture video

Synchronization Implementation Details

Mon 09/13 Parallel Performance
[lecture]

Chapter 3, Chapter 4 (pp. 88-100) slides
lecture video

Wed 09/15 Futures, Async
[lecture]

Futures and Promises dist-prog-book chapter 2 slides
lecture video

Mon 09/20 Task Queues, Thread Pools
[lecture]

Windows APC Windows APC
Java Thread Pools Thread Pools
Events slides
lecture video

Wed 09/22 Concurrency-Aware Languages--Cilk, Go, Julia, Chapel
[lecture]

Lab 2: pthreads prefix sum

1) Go Book Chapter
Consistency slides
Go slides
lecture video

Implementation of Cilk-5 Multithreaded Language

Mon 09/27 Transactions and Transactional Memory
[lecture]

Ordering concurrent events and transactions in Principles of Transaction Processing  book
Chapter 10 (pp 291-295)
The Art of Multiprocessor Programming 3-3.6  book-notes
slides
lecture video

Transaction Processing: Concepts and Techniques (Jim Gray and Andreas Reuter 1993) 1.1 - 1.2.5
4.2, 4.7 and 4.7.1, 4.9 and 4.9.1
7.1-7.6
The Transaction Concept (Gray, 1981)
Is Transactional Programming Actually Easier?

Wed 09/29 Concurrency-Aware Languages--OpenMP, Orc
[lecture]

1) OpenMP Book (pp. 15-40)
slides
lecture video

The Orc Programming Language (pp. 1-25)

Mon 10/04 OpenMP, SIMD, Parallel Architectures
[lecture]

Lab 3 Go due

1) CUDA Progamming Model (pp. 23-58)
TM slides

OpenMP slides
lecture video

SIMD Architectures

Wed 10/06 SIMD, Parallel Architectures
[lecture]

1) CUDA Execution Model (pp. 67-100) Parallel Architectures slides
lecture video

Mon 10/11 Exam
[lecture]

Exam in class.

quiz compilation

Wed 10/13 GPUs: scans, reductions
[lecture]

1) Parallel Prefix Sum (Scan) with CUDA
slides
lecture video

Dandelion: a Compiler and Runtime for Heterogeneous Systems

Mon 10/18 GPUs continued
[lecture]


slides
lecture video

Wed 10/20 Shared Memory Safety
Rust
[lecture]

slides
lecture video

Mon 10/25 Concurrency and Distribution--MPI
[lecture]

Lab 4 GPU-kmeans due

Chapter 7 (pp. 202-229)
slides
lecture video

MPI: A Message-Passing Interface Standard

Wed 10/27 Concurrency at Scale--Map-Reduce
[lecture]

1) Map Reduce

2) Map Reduce is a Step Backwards

slides
lecture video

Hadoop Tutorial

Mon 11/01 Concurrency at Scale--Dryad, Spark, Percolator
[lecture]

1) Spark
slides
lecture video

DryadLINQ
Naiad

Wed 11/03 Concurrency Distribution and Consistency: NoSQL
[lecture]

1) NoSQL Database Systems: A Survey and Decision Guidance 
Dataflow slides
lecture video

Yesquel: scalable SQL storage for Web applications

Mon 11/08 Concurrent Datastructures, CRDTs
[lecture]

Rust Lab

CAP, Consistency, and CRDTs
dist-prog-book chapter 6
slides
Dataflow slides
lecture video

Wed 11/10 FPGAs: Guest Lecturer Eric Schkufza
[lecture]

Project Plan DUE

 Parameterized Modules
 The art of writing Test Benches
 Cascade ASPLOS 2019 Paper
 Eric's lecture
 FPGAs for Software Programmers pp.1-21
 Verilog In One Day parts I-IV
 My first program in Verilog
Needleman-Wunsch slides
lecture video

 Sharing, Protection, and Compatibility for Reconfigurable Fabric with AMORPHOS
 Eric's Demo Source demo_1.v
 Eric's Demo Source demo_2.v
 Eric's Demo Source demo_3a.v
 Eric's Demo Source demo_3b.v
 Eric's Demo Source demo_4.v
 Eric's Demo Source demo_5.v
 Eric's Demo Source demo_6.v
 Chisel: Constructing Hardware in a Scala Embeedded Language
 LINQits: Big Data on Little Clients

Mon 11/15 Lock Freedom
[lecture]

CAP, Consistency, and CRDTs
dist-prog-book chapter 6
slides
lecture video

Wed 11/17 Lock Freedom
[lecture]

slides
lecture video

RaceTrack

Mon 11/22 Race Detection
[lecture]

lecture slides
lecture video

RaceTrack

Wed 11/24 Thanksgiving bonus research day

Mon 11/29 Review
[lecture]

Optional Lab: FPGAs with Cascade

lecture slides
review slides
lecture video

Wed 12/01 Exam 2
[lecture]

Exam

quiz compilation

Mon 12/06 Project Presentations

Project DUE


Last updated: 2021-11-29 13:01:43 -0600 [validate xhtml]