Paper Details

%T Prioritised Dynamic Communicating Processes \- Part I
%A Frederick R. M. Barnes, Peter H. Welch
%E James S. Pascoe, Roger J. Loader, Vaidy S. Sunderam
%B Communicating Process Architectures 2002
%X This paper reports continuing research on language design,
   compilation and kernel support for highly dynamic concurrent
   reactive systems. The work extends the occam multiprocessing
   language, which is both sufficiently small to allow for easy
   experimentation and sufficiently powerful to yield results
   that are directly applicable to a wide range of industrial
   and commercial practice. Classical occam was designed for
   embedded systems and enforced a number of constraints * such
   as statically pre\-determined memory allocation and
   concurrency limits * that were relevant to that generation
   of application and hardware technology. Most of these
   constraints have been removed in this work and a number of
   new facilities introduced (channel structures, mobile
   channels, channel ends, dynamic process creation, extended
   rendezvous and process priorities) that significantly
   broaden occam*s field of application and raise the level of
   concurrent system design directly supported. Four principles
   were set for modifications/enhancements of the language.
   They must be useful and easy to use. They must be
   semantically sound and policed (ideally, at compile\-time)
   to prevent mis\-use. They must have very lightweight and
   fast implementation. Finally, they must be aligned with the
   concurrency model of the original core language, must not
   damage its security and must not add (significantly) to the
   ultra\-low overheads. These principles have all been
   observed. All these enhancements are available in the latest
   release (1.3.3) of KRoC, freely available (GPL/open source)
   from: http://www.cs.ukc.ac.uk/projects/ofa/kroc/.

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.