skip to main content
article

Suggestions for stream based parallel systems in Ada

Published:17 April 2007Publication History
Skip Abstract Section

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.

References

  1. Ada 95 Reference Manual. Intermetrics, January 1995.Google ScholarGoogle Scholar
  2. J. Barnes. High Integrity Ada: The SPARK Approach. Addison-Wesley, 1997.Google ScholarGoogle Scholar
  3. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  4. M. Ward and N. C. Audsley. Hardware Compilation of Sequential Ada. In Proceedings of CASES 2001, pages 99--107, 2001. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. M. Ward and N. C. Audsley. Hardware Implemanation of the Ravenscar Tasking Profile. In Proceedings of CASES 2002, pages 59--68, 2002. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. M. Ward and N. C. Audsley. Hardware Implementation of Programming Languages for Real-Time. In Proceedings of RTAS 2002, pages 276--285, 2002. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Suggestions for stream based parallel systems in Ada

              Recommendations

              Comments

              Login options

              Check if you have access through your login credentials or your institution to get full access on this article.

              Sign in

              Full Access

              • Published in

                cover image ACM SIGAda Ada Letters
                ACM SIGAda Ada Letters  Volume XXVII, Issue 2
                Papers of the 13th International Real-Time Ada Workshop (IRTAW-13)
                August 2007
                83 pages
                ISSN:1094-3641
                DOI:10.1145/1316002
                Issue’s Table of Contents
                • cover image ACM Other conferences
                  IRTAW '07: Proceedings of the 13th international workshop on Real-time Ada
                  April 2007
                  116 pages
                  ISBN:9781450378406
                  DOI:10.1145/1316003

                Copyright © 2007 ACM

                Publisher

                Association for Computing Machinery

                New York, NY, United States

                Publication History

                • Published: 17 April 2007

                Check for updates

                Qualifiers

                • article

              PDF Format

              View or Download as a PDF file.

              PDF

              eReader

              View online with eReader.

              eReader
              About Cookies On This Site

              We use cookies to ensure that we give you the best experience on our website.

              Learn more

              Got it!