School of Computing

Prioritised Dynamic Communicating and Mobile Processes

F.R.M. Barnes and P.H. Welch

IEE Proceedings-Software, 150(2):182-196, April 2003.

Abstract

Continuing research on language design, compilation and kernel support for highly dynamic concurrent reactive systems is reported. 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 predetermined memory allocation and concurrency limits, that were relevant to that generation of application and hardware technology. This work removes most of these constraints and introduces a number of new facilities: explicit channel ends, channel bundles, mobile ends of channels and bundles, dynamic process creation, the extended rendezvous and process priorities. These significantly broaden occam's field of application and raise the level of concurrent system design directly supported. Concurrency overheads have been driven ever downwards, for example synchronising channel communication is now around 100 nanoseconds on an 800 MHz P3, and most operations have unit time cost. Finally, a proposal for secure mobile processes is made. Download publication 399 kbytes (PDF)

Bibtex Record

@article{1617,
author = {F.R.M. Barnes and P.H. Welch},
title = {Prioritised {D}ynamic {C}ommunicating and {M}obile {P}rocesses},
month = {April},
year = {2003},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2003/1617},
    publication_type = {article},
    submission_id = {7468_1053362265},
    ISSN = {1462-5970},
    journal = {IEE Proceedings-Software},
    volume = {150},
    number = {2},
    publisher = {IEE},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014