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.




Concurrency(c) State Models & Java Programs
Concurrency: State Models and Java Programs
ISBN: 0470093552
EAN: 2147483647
Year: 2004
Pages: 162

flylib.com © 2008-2017.
If you may any questions please contact us: flylib@qtcs.net