Sample CPS Programs

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.