Selected Topics
Interleaving, Determinate Computations, Bernstein Conditions
Precedence Graph, Concurrency Grain, Fork and Join, CoBegin CoEnd
Mutual Exclusion
Some Instructions that Support Concurrency
Semaphores
Protected Bounded Buffers
Readers and Writers
Monitors
Scheduling
Performance Evaluation
Some comments on Virtual Memories
ingargiola@cis.temple.edu