Abstract
Ada provides good support for the implementation of dependable, real-time, control systems. However, its support for other styles of systems is not as good. This paper explores the support available for implementing parallel, stream based systems.
The paper presents an implementation of an image manipulation system which highlights deficiencies in the support for such systems in the Ada language. Two additional semantics are proposed for addition to the Ada language which will provide for the needs of these systems. The broadcast semantic allows the same data to be written to several POs simultaneously. The guarded protected function semantic permits several readers to wait on an entry and simultaneously read data from the PO.
- Ada 95 Reference Manual. Intermetrics, January 1995.Google Scholar
- J. Barnes. High Integrity Ada: The SPARK Approach. Addison-Wesley, 1997.Google Scholar
- A. Burns, B. Dobbing, and G. Romanski. The Ravenscar Tasking Profile for High Integrity Real-Time Programs. In Reliable Software Technologies, Proceedings of the Ada Europe Conference, Uppsala, volume 1411, pages 263--275. LNCS, Springer-Verlag, 1998. Google Scholar
Digital Library
- M. Ward and N. C. Audsley. Hardware Compilation of Sequential Ada. In Proceedings of CASES 2001, pages 99--107, 2001. Google Scholar
Digital Library
- M. Ward and N. C. Audsley. Hardware Implemanation of the Ravenscar Tasking Profile. In Proceedings of CASES 2002, pages 59--68, 2002. Google Scholar
Digital Library
- M. Ward and N. C. Audsley. Hardware Implementation of Programming Languages for Real-Time. In Proceedings of RTAS 2002, pages 276--285, 2002. Google Scholar
Digital Library
Index Terms
Suggestions for stream based parallel systems in Ada
Recommendations
Suggestions for stream based parallel systems in Ada
IRTAW '07: Proceedings of the 13th international workshop on Real-time AdaAda provides good support for the implementation of dependable, real-time, control systems. However, its support for other styles of systems is not as good. This paper explores the support available for implementing parallel, stream based systems.
The ...
Highly parallel Ada—Ada on an ultracomputer
Special edition of Ada LettersWe examine the suitability of Ada to a specific multiprocessor architecture, the NYU Ultracomputer. The Ultracomputer is an MIMD machine with shared memory, and a special hardware primitive, the fetch-and-add operation, with which non-blocking versions ...
Performance measurement of parallel Ada: an applications based approach
Published as a special issue of Ada Letters, vol. 10, no. 3 Winter 1990; ISSN 0736-721xThis paper reports on the development of benchmarks and performance measures for parallel Ada tasking. The focus is on the macroscopic behavior of the benchmarks across a set of load parameters because parallel processing of Ada tasks involves complex ...







Comments