Aims of This Work

The primary objective of this work is to provide support, at the language, kernel and operating system level, for highly concurrent dynamic parallel systems based on occam/CSP.This objective is sought in a number of ways. Firstly, by the extension and general enhancement of the occam programming language, largely by adding dynamic capabilities, plus a number of other (often trivial) extensions that bring it closer to languages such as C and Java (which rely heavilyon dynamic memory allocation), whilst remaining secure against aliasing and parallel usage errors. Second to provide support for data, channel and process mobility, using a movement semantics. And finally, by improving the interface between occam programs and the operating-system environment, allowing programmers to make full use of the UNIX/POSIX [Int96] environment. As a further objective, this work aims to improve the maintainability and safety of occam code, particularly in light of the new facilities added.