This note is largely
concerned with explicit concurrency, where concurrent behavior is specified by
the program designer. It also includes a brief introduction to
performance-oriented concurrency, where concurrency is used to improve program
performance by taking advantage of hardware support for parallel processing.
Topics covered includes: Nature of Concurrent Programs, Problems in Concurrent
Programs, Properties of Concurrent Programs, Executing Concurrent Programs,
Program Construction and Common Applications.
note covers the following topics: Foundations of Multithreaded, Parallel, and
Distributed Programming, Basic Concurrency Theory, Introduction to SPIN,
Concurrent Programming Practice: Processes and threads, Synchronization