skip to main content
research-article

Support for a real-time transactional model in distributed Ada

Published:27 May 2010Publication History
Skip Abstract Section

Abstract

This paper presents a proposal to integrate a generic technique to express complex scheduling and timing parameters of distributed transactions as a part of the Distributed Systems Annex of Ada (DSA). The technique allows real-time middleware implementations to change their scheduling policies for both the processing nodes and the networks with a minimal interference in the application code. The proposed mechanisms are managed by the middleware in a transparent way. The only requirement is an initial configuration operation, which can be generated automatically, and a single operation call to set an event identifier in each of the tasks that initiates a distributed transaction. The automatic process used to obtain the initial configuration of the distributed application, based on a real-time model, is also proposed. The implementation of this proposal is currently being developed.

References

  1. FRESCOR project web page: http://frescor.orgGoogle ScholarGoogle Scholar
  2. M. González Harbour, J. Javier Gutiérrez, J.C. Palencia, and J.M. Drake. "MAST: Modeling and Analysis Suite for Real Time Applications". 13th Euromicro Conference on Real-Time Systems, Delft, The Netherlands, IEEE Computer Society Press, pp. 125--134, 2001. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. J. Liu. "Real-Time Systems". Prentice Hall, 2000.Google ScholarGoogle Scholar
  4. J. López, J. Javier Gutiérrez, and M. González Harbour. "The Chance for Ada to Support Distribution and Real Time in Embedded Systems". 9th International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, LNCS, Vol. 3063, Springer, 2004.Google ScholarGoogle Scholar
  5. J. López, J.J. Gutiérrez, and M. González Harbour. "Interchangeable Scheduling Policies in Real-Time Middleware for Distribution". 11th International Conference on Reliable Software Technologies, Porto (Portugal), LNCS, Vol. 4006, Springer, 2006. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. Object Management Group. "Realtime CORBA Specification". OMG Document, v1.2 formal/05-01-04, January 2005.Google ScholarGoogle Scholar
  7. Héctor Pérez, J. Javier Gutiérrez, Daniel Sangorrín, and Michael González Harbour. "Real-Time Distribution Middleware from the Ada Perspective". 13th International Conference on Reliable Software Technologies, Ada-Europe, Venice (Italy), LNCS 5026, 2008. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. J.C. Palencia, and M. González Harbour, "Exploiting Precedence Relations in the Schedulability Analysis of Distributed Real-Time Systems". 20th IEEE Real-Time Systems Symposium, 1999. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. J.C. Palencia and M. González Harbour. "Response Time Analysis of EDF Distributed Real-Time Systems". Journal of Embedded Computing (JEC), IOS Press, Vol. 1, Issue 2, 2005. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, Erhard Ploedereder, and Pascal Leroy (Eds.). "Ada 2005 Reference Manual. Language and Standard Libraries. International Standard ISO/IEC 8652:1995(E) with Technical Corrigendum 1 and Amendment 1". LNCS 4348, Springer, 2006. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. Douglas C. Schmidt, Carlos O'Ryan, Michael Kircher, and Irfan Pyarali. "Leader/Followers - A Design Pattern for Efficient Multi-threaded I/O Demulitplexing and Dispatching". PLoP 2000 conference, Allerton Park, Illinois, USA, 2000.Google ScholarGoogle Scholar
  12. Douglas C. Schmidt and Charles D. Cranor. "Half-Sync/Half-Async: A Architectural Pattern for Efficient and Well-structured Concurrent I/O". Pattern Languages of Program Design, (Coplien, Vlissides, and Kerth, eds.), Addison-Wesley, Reading, MA, 1996. Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. Object Management Group. "A UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded systems, Beta 2" OMG Document Number: ptc/2008-06-09, June 2008.Google ScholarGoogle Scholar

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 30, Issue 1
    April 2010
    150 pages
    ISSN:1094-3641
    DOI:10.1145/1806546
    Issue’s Table of Contents

    Copyright © 2010 Authors

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    • Published: 27 May 2010

    Check for updates

    Qualifiers

    • research-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!