Class | Description |
---|---|
BarrierSyncer |
A process that syncs on one alting barrier and finishes
|
DelaySyncer | |
EventRecorder |
A class that listens out for many guards, and records the order in which they occur
Note: do not pass in channel guards, as the process will not perform the necessary
input after the guard is selected
|
ExtendedReaderSync |
A process that performs a set number of extended inputs, syncing on a barrier
as its extended action for each
|
ExtendedReaderSyncInt |
A process that performs a set number of extended inputs, syncing on a barrier
as its extended action for each
|
TestExtendedRendezvous | |
WriterProcess |
A process that writes out a list of values, synchronizing on the corresponding barrier after each.
|
WriterProcessInt |
A process that writes out a list of values, synchronizing on the corresponding barrier after each.
|