Paper Details

%T Conditional Communication in the Presence of Priority
%A Gerald H. Hilderink, Jan F. Broenink
%E Peter H. Welch, André W. P. Bakkers
%B Communicating Process Architectures 2000
%X In this paper the behavior of conditional communication in
   the presence of priority will be described. In the theory of
   CSP, conditional communications are expressed by a
   (external) choice construct (also known as the alternative
   construct) by which the choice of one communication out of a
   set of communications is non\-deterministic. In practice,
   some communication can be more important than others, so
   that, the choice is deterministic. Therefore, one can
   distinguish two prioritized alternative constructs; a
   symmetric alternative construct (ALT) and an asymmetric
   alternative construct (PRIALT). Current formal semantics and
   implementations of the ALT and PRIALT are based on the
   priorities of communication and not related to the
   surrounding priorities of communicating processes. This can
   result in a structural mismatch that can cause performance
   problems. In this paper a practical solution for realizing
   fair and unfair conditional communication in the presence of
   the PAR and the PRIPAR will be discussed.

If you have any comments on this database, including inaccuracies, requests to remove or add information, or suggestions for improvement, the WoTUG web team are happy to hear of them. We will do our best to resolve problems to everyone's satisfaction.

Copyright for the papers presented in this database normally resides with the authors; please contact them directly for more information. Addresses are normally presented in the full paper.