skip to main content
column

Synchronous Task Control and Synchronous Barriers

Published:13 July 2016Publication History
Skip Abstract Section

Abstract

This paper looks at two features of Ada that support synchronisation between tasks. First, an ambiguity with Synchronous Task Control is outlined. Second, the question of whether Synchronous Barriers should be allowed in the Ravenscar profile is addressed.

References

  1. ISO/IEC. Information technology -- programming languages -- guide for the use of the Ada Ravenscar Profile in high integrity systems. Technical Report TR 24718, ISO/IEC, 2005.Google ScholarGoogle Scholar

Index Terms

(auto-classified)
  1. Synchronous Task Control and Synchronous Barriers

    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 36, Issue 1
      June 2016
      98 pages
      ISSN:1094-3641
      DOI:10.1145/2971571
      Issue’s Table of Contents

      Copyright © 2016 Authors

      Publisher

      Association for Computing Machinery

      New York, NY, United States

      Publication History

      • Published: 13 July 2016

      Check for updates

      Qualifiers

      • column

    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!