Abstract
The requirements and specification of a protocol for low level communication between the run-time systems in a distributed Ada environment is presented. This allows an Ada system to be separated into software resources and run-time controllers. Calls to the local run-time system of a node, concerning task management, are transformed into remote calls to the controller, that schedules all tasks in the application. The calls to the run-time system together with all messages, requests and replies, that are triggered as a consequence, are described. The controller will be implemented in hardware separate from the processors. Communication between processors and controllers are by means of high speed (Gigabit) networks. In the proposed system, partitioning and distribution of Ada programs can fully utilize the inherent and strong type checking in Ada.
Preview
Unable to display preview. Download preview PDF.
References
United States Department of Defence, ”Reference Manual for the Ada Programming Language”, ANSI/MIL-STD-1815A, 1983.
D80A, ”An Ericsson computer with Ada adapted micro code”, Ericsson Radar, Mölndal, Sweden.
S. Asserhäll, ”A Microprocessor with Ada Real Time Support”, Ada in Sweden symposium, Uppsala, april 1991.
J. Roos, ”A Real-Time Support Processor for Ada Tasking”, In Proceedings of the ACM conference ASPLOS III, April 1989.
A. Burns and A. J. Wellings, ”Specifying an Ada tasking run-time support system”, Ada User, 12, 160–186, 1991.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Björnfot, L., Asplund, L., Lundqvist, K., Wall, G. (1993). Distributed run-time system, a protocol for Ada. In: Gauthier, M. (eds) Ada - Europe '93. Ada-Europe 1993. Lecture Notes in Computer Science, vol 688. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56802-6_20
Download citation
DOI: https://doi.org/10.1007/3-540-56802-6_20
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56802-5
Online ISBN: 978-3-540-47748-8
eBook Packages: Springer Book Archive