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

Real-time programming on accelerator many-core processors

Published: 10 November 2013 Publication History

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.
[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.
[3]
G. Bosch. Synchronization cannot be implemented as a library. In Proceedings of the High Integrity Language Technology Conference 2012, ACM, 2012.
[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.
[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).
[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.
[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.
[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.
[9]
ISO IEC 8652:2012. Programming Languages and their Environments -- Programming Language Ada. International Standards Organization, Geneva, Switzerland, 2012.
[10]
H. Kopetz. Real-Time Systems: Design Principles for Distributed Embedded Applications. Springer, 2011.
[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.
[12]
A. Marowka. Parallel computing on any desktop. Communications of the ACM. 50:74--78, ACM, September 2007.
[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.
[14]
B. Moore. Parallelism generics for Ada 2005 and beyond. In Proceedings of the ACM SIGAda Annual International Conference. ACM, 2010.
[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.
[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).
[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.

Cited By

View all
  • (2014)Safe parallel programming in ada with language extensionsACM SIGAda Ada Letters10.1145/2692956.266318134:3(87-96)Online publication date: 18-Oct-2014
  • (2014)Safe parallel programming in ada with language extensionsProceedings of the 2014 ACM SIGAda annual conference on High integrity language technology10.1145/2663171.2663181(87-96)Online publication date: 18-Oct-2014
  • (2014)Parallelism in Ada: Status and ProspectsReliable Software Technologies – Ada-Europe 201410.1007/978-3-319-08311-7_8(91-106)Online publication date: 2014

Recommendations

Comments

Information & Contributors

Information

Published In

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
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 the author(s) 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

In-Cooperation

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 10 November 2013

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. ada
  2. dispatching domains
  3. multi-core
  4. programming language
  5. real-time

Qualifiers

  • Research-article

Conference

HILT 2013
Sponsor:
HILT 2013: High Integrity Language Technology ACM SIGAda Annual
November 10 - 14, 2013
Pennsylvania, Pittsburgh, USA

Acceptance Rates

HILT '13 Paper Acceptance Rate 9 of 17 submissions, 53%;
Overall Acceptance Rate 27 of 48 submissions, 56%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

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

Other Metrics

Citations

Cited By

View all
  • (2014)Safe parallel programming in ada with language extensionsACM SIGAda Ada Letters10.1145/2692956.266318134:3(87-96)Online publication date: 18-Oct-2014
  • (2014)Safe parallel programming in ada with language extensionsProceedings of the 2014 ACM SIGAda annual conference on High integrity language technology10.1145/2663171.2663181(87-96)Online publication date: 18-Oct-2014
  • (2014)Parallelism in Ada: Status and ProspectsReliable Software Technologies – Ada-Europe 201410.1007/978-3-319-08311-7_8(91-106)Online publication date: 2014

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media