[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
x2AnyChannels do not allow alting
While reading the JCSP API specification, I noticed the
following in One2AnyChannel and Any2AnyChannel:
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.
This is quite a restriction. I can imagine that the following
(less demanding) restriction is also sufficient:
If an ALT selects an *2AnyChannel, the process has to perform
an input from that channel.
Is this correct?
If my suggestion is incorrect, I would like to know why...
Looking forward to an answer,