A control kernel to support ada intertask communication on a distributed multiprocessor computer system

Abstract

The control kernel software necessary to support the execution of the Ada intertask communication primitives on a distributed multiprocessor computer system is described. The control kernel software has been written in a high-level procedural language. It is therefore portable, and represents part of a run-time support environment for a concurrent programming language known as Martlet. Martlet combines the tasking features of Ada with the sequential features of the language Pascal. The choice between master-slave and separate autonomous kernels in a multiprocessor system is analysed, and the required data structures and associated routines used in an actual implemented system are described. Finally, the mechanism of mapping interrupts into external entry calls is presented