On 1 Oct 2012, at 19:03, Larry Dickson wrote:
My recollection of PRI ALT is that priority decreases downward. I just wanted to show how simple it is to program a conflict in priority : here, the PRI PAR prioritises channel 'a', and the PRI ALT channel 'b'. No loop required for a problem to arise.
True, the two processes should not deadlock, but they will have to engage in some sort of negotiation, which is likely to be inefficient and will require some ancillary protocol for resolution. My point is just that this is best avoided.
All I'm after is a simple and transparent way to express pretty simple behaviour : ideally with one construction.