| BusContentionApplet |
A model of hardware subsystems accessing a shared resource using
rendezvous.
|
| BusContentionApplet.BusContentionGraphController |
|
| BusContentionApplet.LocalEdgeRenderer |
LocalEdgeRenderer draws arrowheads on both ends of the connector
|
| BusContentionApplet.ThreadRenderer |
ThreadRenderer draws the nodes to represent running threads.
|
| ContentionAlarm |
A ContentionAlarm is a CSP actor that creates an output only after
timed deadlock has been reached by all other CSP actors in the
containing composite actor.
|
| Controller |
A CSP actor that serves as a controller of a shared resource.
|
| ExecEvent |
An event that indicates that an actor is in a particular state.
|
| ExecEvent.ExecEventType |
|
| Memory |
A CSP actor that continually performs conditional rendezvous in
an alternating fashion with its input and output ports.
|
| PortChannelCode |
A PortChannelCode is an object that carries prioritization information
to be associated with different contenders in a resource contention
scheme.
|
| Processor |
A CSP actor that contends for a shared resource.
|