skip to main content
10.1145/1454474.1454488acmconferencesArticle/Chapter ViewAbstractPublication PagesadaConference Proceedingsconference-collections
research-article

Real-time synchronization on distributed architecture with Ada-2005

Published: 26 October 2008 Publication History

Abstract

Ada is found in most Avionics processing. It is often the hidden software that makes life safe in systems that fly most passenger/private aircraft. In an effort to promote the use of Ada-2005 in more embedded systems, we will present a Distributed Stack Resource Policy (DSRP) suitable for synchronizing tasks executing on distributed systems, meaning the protocol relies only on message-passing between processors. Accordingly, we will present an empirical evaluation that tests the performance of the DSRP with the Distributed Priority Ceiling Protocol (DPCP) created by Rajkumar. To the best of our knowledge, no empirical distributed-based evaluation of the DPCP has ever been conducted prior to this. We will also discuss the efficacy of Ada and examine the resulting design issues and trade-offs, and the ability of the DSRP to manage multiple shared resources efficiently on distributed processors.

References

[1]
Anderson J., Ramamurthy S., and Jeffay K. Real-Time Computing with Lock-Free Shared Objects. ACM Trans. on Computer Systems. May 1997.
[2]
Baker T. A stack-based scheduling of real-time processes. In Real Time Systems Symposium, pages 191--200, 1990.
[3]
Block A., Leontyev H., Brandenburg B., and Anderson J. A Flexible Real-Time Locking Protocol for Multiprocessors. 13th IEEE International Conference on RTCSA, 2007.
[4]
Brandenburg B., Calandrino J., Block A., Leontyev H., and Anderson J. Real-Time Synchronization on Multiprocessors: To Block or Not to Block, to Suspend or Spin? RTAS 2008.
[5]
Burns A. and Wellings A.J. Beyond Ada 2005: Allocating Task to Processors in SMP Systems. Ada Letters, 8/2007.
[6]
Burns A. and Wellings A. Programming Execution Time-Servers in Ada-2005. RTSS 2006.
[7]
Burns A., Wellings A. J., and Zerzelidis, A. Correcting the EDF protocol in Ada 2005. Ada Letters, August 2007.
[8]
Calandrino J., Baumberger D., Li T., Hahn S., Anderson J. Soft Real-Time Scheduling on Performance Asymmetric Multicore Platforms. RTAS 2007.
[9]
Cheng A. M. K., Real-Time Systems Scheduling, Analysis, and Verification. 2nd. ed.: Wiley & Sons 2002, 2005.
[10]
Cheng A. M. K. and Ras J. The Implementation of the Multiprocessor Priority Ceiling Protocol in Ada-2005 Using a Shared Memory Programming Model. RTAS, WIP, 4/2007.
[11]
Cheng A. M. K. and Ras J. The Implementation of the Priority Ceiling Protocol in Ada-2005. Ada Letters, 4/2007.
[12]
Chen C. M. and Tripathi S. Multiprocessor priority ceiling based protocols. ACM Computer Science Technical Report; Vol. CS-TR-3252. Technical Report: CS-TR-3252, 1994.
[13]
Chen M. I. and Lin K. J. Dynamic Priority Ceilings: A Concurrency Control Protocol for Real-Time Systems. Technical report UIUCDCS-R-89-1511, Dept. of Computer Science, University of Illinois at Urbana-Champaign, 4/89.
[14]
Cottet F., Deacroix J., Kaiser C., Mammeri Z. Scheduling in Real-time Systems. John Wiley & Sons Ltd, 2002.
[15]
Gai P., Natale M., Lipari G. Ferrari A., Gabellini C., Marceca P. A comparison of MPCP and MSRP when sharing resources in the Janus multiple-processor on a chip platform. RTAS 2003.
[16]
Hennessy J. and Patterson D. Computer Architecture: A quantitative approach. Morgan Kaufmann Publishers, 1995.
[17]
Lee E. The problem with Threads. Berkeley report, Jan/2006.
[18]
Liu C., and Layland J. Scheduling Algorithms for Multi-Programming in a Hard Real Time Environment. JACM 73.
[19]
Locke D., Vogel D. R., and Mesher T. J. Building a Predictable Avionics Platform in Ada: A Case Study. Proc. of IEEE Real-Time Systems Symposium, 1991.
[20]
Locke D., Sha L., Rajikumar R., Lehoczky J., Burns G. Priority inversion and its control: An experimental investigation. ACM Ada Letters 8(7):39--42, 1988.
[21]
Lopez J. M., Diaz J. L., and Garcia D. F. Utilization bounds for EDF Scheduling on Real-time Multiprocessor Systems. Real-Time Systems, 28(1):39--68, 2004.
[22]
Rajkumar R. Synchronization in multiple processor systems. In Synchronization in Real-Time Systems: A Priority Inheritance Approach. Kluwer Publishing, 1991.
[23]
Sha L., Rajkumar R., and Lehoczky J. Priority inheritance protocols: An approach to real-time synchronization. IEEE transaction on computers, 39(9), September 1990.
[24]
Shen H., Baker T., and Charlet A. A Bare-Mach. Implement. of Ada Multi-Tasking Beneath the Linux Kernel. Reliable Software Technologies, Ada-Europe 99, Lecture Notes in Computer Science, Springer Verlag, 6/1993.
[25]
Tindell K., Burns A., Wellings A. An Extendible Approach for Analyzing Fixed Priority Hard Real-Time Tasks, Real-Time Systems 6(2): 133--151, 1994.
[26]
http://www.quadros.com/
[27]
http://www.windriver.com/
[28]
http://www.cs.fsu.edu/~baker/florist.html

Index Terms

  1. Real-time synchronization on distributed architecture with Ada-2005

      Recommendations

      Comments

      Information & Contributors

      Information

      Published In

      cover image ACM Conferences
      SIGAda '08: Proceedings of the 2008 ACM annual international conference on SIGAda annual international conference
      October 2008
      150 pages
      ISBN:9781605582740
      DOI:10.1145/1454474
      Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

      Sponsors

      Publisher

      Association for Computing Machinery

      New York, NY, United States

      Publication History

      Published: 26 October 2008

      Permissions

      Request permissions for this article.

      Check for updates

      Author Tags

      1. ada
      2. dpcp
      3. dsrp
      4. edf
      5. pcp
      6. rms
      7. srp

      Qualifiers

      • Research-article

      Conference

      SIGAda '08: ACM SIGAda Annual International Conference
      October 26 - 30, 2008
      OR, Portland, USA

      Contributors

      Other Metrics

      Bibliometrics & Citations

      Bibliometrics

      Article Metrics

      • Downloads (Last 12 months)6
      • Downloads (Last 6 weeks)2
      Reflects downloads up to 30 Jan 2025

      Other Metrics

      Citations

      View Options

      Login options

      View options

      PDF

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader

      Figures

      Tables

      Media

      Share

      Share

      Share this Publication link

      Share on social media