Lecture Notes for Concurrent Programming

17 June 2003 - Implementing Critical Regions

We've assumed (see Andrews, page 52) that memory reads and writes of primitive data types are atomic. If you wanted to be picky, I suppose you also need to assume that

• thread indices are (or are implemented by) an atomic data type, and

• the statement in_cs = i is translated into a single store instruction.

This page last modified on 25 June 2003.