Computer Science 225
Advanced Programming
Spring 2020, Siena College
Agenda
List all of the possible interleavings of the instrutctions in the notes where Thread A and Thread B concurrently execute an increment and a decrement of the same variable counter. In which interleavings will counter have the correct final value (that is, the same as it was when we started)?
Terminology
Examples