List of Programs

Chapter 2: Processes and Threads

Program 2.1: NumberCanvas class.

Program 2.2: CountDown applet class.

Chapter 3: Concurrent Execution

Program 3.1: Rotator class.

Program 3.2: ThreadPanel class.

Program 3.3: ThreadDemo applet class.

Chapter 4: Shared Objects and Mutual Exclusion

Program 4.1: Turnstile class.

Program 4.2: Counter class.

Program 4.3: Corrected Counter class.

Chapter 5: Monitors and Condition Synchronization

Program 5.1: Arrivals and Departures classes.

Program 5.2: CarParkControl monitor.

Program 5.3: Semaphore class.

Program 5.4: Extended version of ThreadPanel class.

Program 5.5: MutexLoop class.

Program 5.6: Buffer interface and BufferImpl class.

Program 5.7: Producer and Consumer classes.

Program 5.8: Buffer class using semaphores.

Program 5.9: Fixed bounded buffer using semaphores.

Chapter 6: Deadlock

Program 6.1: Outline of PhilCanvas class.

Program 6.2: Fork monitor.

Program 6.3: Philosopher thread class.

Chapter 7: Safety and Liveness Properties

Program 7.1: BridgeCanvas class.

Program 7.2: RedCar and BlueCar classes.

Program 7.3: Bridge class.

Program 7.4: SafeBridge class.

Program 7.5: FairBridge class.

Program 7.6: ReadWrite interface.

Program 7.7: ReadWriteSafe class.

Program 7.8: ReadWritePriority class.

Chapter 8: Model-Based Design

Program 8.1: CarSpeed interface.

Program 8.2: Controller class.

Program 8.3: SpeedControl class.

Chapter 9: Dynamic Systems

Program 9.1: Allocator interface and SimpleAllocator class.

Program 9.2: Player class.

Program 9.3: SlotCanvas class.

Program 9.4: FairAllocator class.

Program 9.5: BoundedOvertakingAllocator class.

Program 9.6: Master and Slave classes.

Chapter 10: Message Passing

Program 10.1: Channel class.

Program 10.2: Sender and Receiver threads.

Program 10.3: MsgGate class.

Program 10.4: MsgCarPark class.

Program 10.5: Port class.

Program 10.6: Asender and Areceiver classes.

Program 10.7: Entry class.

Program 10.8: Client and Server threads.

Chapter 11: Concurrent Architectures

Program 11.1: PrimesCanvas class.

Program 11.2: Generator class.

Program 11.3: Filter class.

Program 11.4: Pipe, PipeImplUnBuf and PipeImplBuf classes.

Program 11.5: TupleSpace interface.

Program 11.6: TupleSpaceImpl class.

Program 11.7: SupervisorCanvas, WorkerCanvas and Function classes.

Program 11.8: Result and Supervisor classes.

Program 11.9: Worker class.

Program 11.10: BoxCanvas class.

Program 11.11: BoxMover and MyListener classes.

Chapter 12: Timed Systems

Program 12.1: Timed interface.

Program 12.2: TimedCountDown class.

Program 12.3: ProducerConsumer class.

Program 12.4: Producer class.

Program 12.5: Consumer class.

Program 12.6: TimeManager class.

Program 12.7: ImmutableList class.

Program 12.8: ParcelMover and SwitchControl interfaces.

Program 12.9: Chute class.

Program 12.10: Switch class.

Program 12.11: SensorController class.

Chapter 13: Program Verification

Program 13.1: Buffer interface and BufferImpl class.

Program 13.2: Class ReadWritePriority.