Information about the CPS compiler.
Incr.cps Illustrates the basic problem of mutual exclusion
Deadlock.cps Illustrates deadlock through cyclic waiting using the Dining Philosophers Problem
PC.cps Illustrates the classic Producer Consumer relationship using counting semaphores
RW.cps Illustrates the Readers Writers problem and shows how to convert Monitor based solutions to semaphore based solutions
Download the CPS compiler.