Flylib.com
List of Programs
Previous page
Table of content
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
.
Previous page
Table of content
Concurrency: State Models and Java Programs
ISBN: 0470093552
EAN: 2147483647
Year: 2004
Pages: 162
Authors:
Jeff Magee
,
Jeff Kramer
BUY ON AMAZON
High-Speed Signal Propagation[c] Advanced Black Magic
Modeling Internal Impedance
Embellishments
Finished Core Specifications
Reducing Emissions
The Underlying Simulation Engine
Metrics and Models in Software Quality Engineering (2nd Edition)
Pareto Diagram
Exponential Distribution and Reliability Growth Models
Code Integration Pattern
The PTR Arrival and Backlog Projection Model
Conducting Software Project Assessments
A+ Fast Pass
Domain 1 Installation, Configuration, and Upgrading
Domain 3 Preventive Maintenance
Domain 4 Motherboard/Processors/Memory
Domain 5 Printers
Domain 1 Operating System Fundamentals
Cisco IOS in a Nutshell (In a Nutshell (OReilly))
show Commands
ISDN Interfaces
BGP Confederacies
AutoQoS
Sample Legacy DDR Configurations
C++ How to Program (5th Edition)
Self-Review Exercises
Arrays
Initializing Structures
F.2. The #include Preprocessor Directive
I.5. Newsgroups
Visual C# 2005 How to Program (2nd Edition)
foreach Statement
Self-Review Exercises
Creating a Sequential-Access File Using Object Serialization
Establishing a Simple TCP Client (Using Stream Sockets)
Stacks
flylib.com © 2008-2017.
If you may any questions please contact us: flylib@qtcs.net
Privacy policy
This website uses cookies. Click
here
to find out more.
Accept cookies