|
CSP for Java (JCSP) 1.0-rc7 |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--jcsp.lang.One2AnyChannel
This implements a one-to-any object channel, safe for use by one writer and many readers.
Please note that this is a safely shared channel and not
a broadcaster. Currently, broadcasting has to be managed by
writing active processes (see DynamicDelta
for an example).
All reading processes and the writing process commit to the channel
(i.e. may not back off). This means that the reading processes
may not ALT
on this channel.
The default semantics of the channel is that of CSP -- i.e. it is zero-buffered and fully synchronised. A reading process must wait for the matching writer and vice-versa.
However, the static create method allows the user to create
a channel with a plug-in driver conforming to the
ChannelDataStore
interface. This allows a variety of different channel semantics to be
introduced -- including buffered channels of user-defined capacity
(including infinite), overwriting channels (with various overwriting
policies) etc..
Standard examples are given in the jcsp.util package, but
careful users may write their own.
Other static create methods allows the user to create fully initialised arrays of channels, including plug-ins if required.
One2OneChannel
,
Any2OneChannel
,
Any2AnyChannel
,
ChannelDataStore
, Serialized FormField Summary | |
protected Object |
readMonitor
The monitor on which readers must synchronize |
protected Object |
rwMonitor
The monitor synchronising reader and writer on this channel |
Constructor Summary | |
One2AnyChannel()
|
Method Summary | |
static One2AnyChannel |
create(ChannelDataStore store)
Creates a One2AnyChannel using the specified ChannelDataStore. |
static One2AnyChannel[] |
create(int n)
Creates an array of One2AnyChannel. |
static One2AnyChannel[] |
create(int n,
ChannelDataStore store)
Creates an array of One2AnyChannel using the specified ChannelDataStore. |
Object |
read()
Reads an Object from the channel. |
void |
write(Object value)
Writes an Object to the Channel. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
protected Object rwMonitor
protected final Object readMonitor
Constructor Detail |
public One2AnyChannel()
Method Detail |
public Object read()
read
in interface ChannelInput
public void write(Object value)
write
in interface ChannelOutput
value
- The object to write to the Channel.public static One2AnyChannel[] create(int n)
n
- the number of channels to create in the arraypublic static One2AnyChannel create(ChannelDataStore store)
public static One2AnyChannel[] create(int n, ChannelDataStore store)
n
- the number of channels to create in the array
|
CSP for Java (JCSP) 1.0-rc7 |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |