A Programming paradigm based on the send-receive-reply task communication primitives
Date
1988
Authors
Baker, Peter J.M.
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Multitasking software design and implementation is a difficult endeavour. There are a number of widely varying design approaches, but few capitalize on the power and expressiveness of particular operating system primitives. This thesis presents a programming paradigm based on the Send-Receive-Reply primitives that simplifies the design of multitasking software and makes the resultant system more understandable and, therefore, more easily maintained. Use of the paradigm also allows application programs to achieve a high degree of concurrency while avoiding deadlock and race conditions. A non-trivial example application is also presented which attempts to challenge and illustrate the programming paradigm as well as provide a prototype software control system for a proposed KAON Factory.