skip to main content
research-article

Real-time programming on accelerator many-core processors

Published:10 November 2013Publication History
Skip Abstract Section

Abstract

Multi-core platforms are challenging the way software is developed, in all application domains. For the particular case of real-time systems, models for the development of parallel software must be able to be shown correct in both functional and non-functional properties at design-time. In particular, issues such as concurrency, timing behaviour and interaction with the environment need to be addressed with the same caution as for the functional requirements. This paper proposes an execution model for the parallelization of real-time software, based upon a fine-grained parallelism support being proposed to Ada, a programming language particularly suited to the development of critical, concurrent software. We also show the correctness of the proposed model in terms of satisfying constraints related to execution order and unbounded priority inversions.

References

  1. H. Ali and L. M. Pinho. A parallel programming model for Ada. In Proceedings of the 2011 ACM SIGAda International Conference. ACM, November 2011. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. S. K. Baruah, V. Bonifaci, A. Marchetti-Spaccamela, L. Stougie and A. Wiese. A Generalized Parallel Task Model for Recurrent Real-time Processes. In Proceedings of the 33rd IEEE Real-Time Systems Symposium, pp. 63--72, 2012. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. G. Bosch. Synchronization cannot be implemented as a library. In Proceedings of the High Integrity Language Technology Conference 2012, ACM, 2012. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. A. Burns and A. Wellings. Real-Time Systems and Programming Languages: Ada, Real-Time Java and C/Real-Time POSIX. 4th Edition, Pearson Education Ltd, Edinburg, UK, 2009. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. A. Burns and A. Wellings. Locking Policies for Multiprocessor Ada. In Proceedings 16th International Real-Time Ada Workshop IRTAW 2013, York, UK, ACM Ada Letters (to be published).Google ScholarGoogle Scholar
  6. S. Collette, L. Cucu and J. Goossens. Integrating job parallelism in real-time scheduling theory. Information Processing Letters, vol. 106, pp. 180--187, May 2008. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. R. I. Davis and A. Burns. A survey of hard real-time scheduling for multiprocessor systems. ACM Computing Survey, 43(4):35:1--35:44, October 2011. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. M. Frigo, C. E. Leiserson and K. H. Randall. The implementation of the Cilk-5 multithreaded language. SIGPLAN Not., 33:212--223, May 1998. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. ISO IEC 8652:2012. Programming Languages and their Environments -- Programming Language Ada. International Standards Organization, Geneva, Switzerland, 2012.Google ScholarGoogle Scholar
  10. H. Kopetz. Real-Time Systems: Design Principles for Distributed Embedded Applications. Springer, 2011. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. K. Lakshmanan, S. Kato and R. Rajkumar. Scheduling parallel realtime tasks on multi-core processors. In Proceedings of the 31st IEEE Real-Time Systems Symposium, pp. 259--268, December 2010. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. A. Marowka. Parallel computing on any desktop. Communications of the ACM. 50:74--78, ACM, September 2007. Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. S. Michell, B. Moore and L. M. Pinho. Tasklettes -- a Fine Grained Parallelism for Ada on Multicores. In International Conference on Reliable Software Technologies - Ada-Europe 2013, LNCS 7896, Springer, 2013.Google ScholarGoogle ScholarCross RefCross Ref
  14. B. Moore. Parallelism generics for Ada 2005 and beyond. In Proceedings of the ACM SIGAda Annual International Conference. ACM, 2010. Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. B. Moore. A comparison of work-sharing, work-seeking, and work-stealing parallelism strategies using Paraffin with Ada 2005. Ada User Journal, Volume 32 Number 1, published by Ada Europe, March 2011.Google ScholarGoogle Scholar
  16. B. Moore, S. Michell and L. M. Pinho. Parallelism in Ada: General Model and Ravenscar. In Proceedings 16th International Real-Time Ada Workshop IRTAW 2013, York, UK, ACM Ada Letters (to be published). Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. A. Saifullah, K. Agrawal, C. Lu and C. Gill. Multi-core real-time scheduling for generalized parallel task models. In Proceedings of the 32nd IEEE Real-Time Systems Symposium, Vienna, Austria, December 2011. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Real-time programming on accelerator many-core processors

    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 33, Issue 3
      HILT '13
      December 2013
      80 pages
      ISSN:1094-3641
      DOI:10.1145/2658982
      Issue’s Table of Contents
      • cover image ACM Conferences
        HILT '13: Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology
        November 2013
        100 pages
        ISBN:9781450324670
        DOI:10.1145/2527269

      Copyright © 2013 ACM

      Publisher

      Association for Computing Machinery

      New York, NY, United States

      Publication History

      • Published: 10 November 2013

      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!