research-article

Mapping hard real-time applications on many-core processors

Authors:

Quentin Perret,

Pascal Maurère,

Claire Pagetti,

Pascal Sainrat,

Benoît TriquetAuthors Info & Claims

RTNS '16: Proceedings of the 24th International Conference on Real-Time Networks and Systems

Pages 235 - 244

https://doi.org/10.1145/2997465.2997496

Published: 19 October 2016 Publication History

Abstract

Many-core processors are interesting candidates for the design of modern avionics computers. Indeed, the computational power offered by such platforms opens new horizons to design more demanding systems and to integrate more applications on a single target. However, they also bring challenging research topics because of their lack of predictability and their programming complexity. In this paper, we focus on the problem of mapping large applications on a complex platform such as the KALRAY MPPA®-256 while maintaining a strong temporal isolation from co-running applications. We propose a constraint programming formulation of the mapping problem that enables an efficient parallelization and we demonstrate the ability of our approach to deal with large problems using a real world case study.

References

[1]

Affordable Safe And Secure Mobility Evolution (ASSUME). http://www.assume-project.eu/.

[2]

Parallel Computing for Time and Safety Critical Applications (CAPACITES). http://capacites.minalogic.net/en/.

[3]

M. Becker, D. Dasari, B. Nicolic, B. Åkesson, V. Nélis, and T. Nolte. Contention-Free Execution of Automotive Applications on a Clustered Many-Core Platform. In 28th Euromicro Conference on Real-Time Systems (ECRTS'16), July 2016.

[4]

T. Carle, M. Djemal, D. Potop-Butucaru, and R. De Simone. Static mapping of real-time applications onto massively parallel processor arrays. In 14th International Conference on Application of Concurrency to System Design (ACSD'14), pages 112--121, 2014.

Digital Library

[5]

CAST (Certification Authorities Software Team). Position Paper on Multi-core Processors - CAST-32, 2014.

[6]

H. Chetto, M. Silly, and T. Bouchentouf. Dynamic scheduling of real-time tasks under precedence constraints. Real-Time Systems, 2(3):181--194, 1990.

Digital Library

[7]

S. S. Craciunas and R. S. Oliver. Combined task- and network-level scheduling for distributed time-triggered systems. Real-Time Systems, 52(2):161--200, 2016.

Digital Library

[8]

B. D. de Dinechin, Y. Durand, D. van Amstel, and A. Ghiti. Guaranteed Services of the NoC of a Manycore Processor. In 2014 International Workshop on Network on Chip Architectures (NoCArc'14), pages 11--16, 2014.

Digital Library

[9]

F. Gavril. Algorithms for Minimum Coloring, Maximum Clique, Minimum Covering by Cliques, and Maximum Independent Set of a Chordal Graph. SIAM Journal on Computing, 1(2):180--187, 1972.

[10]

G. Giannopoulou, N. Stoimenov, P. Huang, L. Thiele, and B. D. de Dinechin. Mixed-criticality scheduling on cluster-based manycores with shared communication and storage resources. Real-Time Systems, pages 1--51, 2015.

Digital Library

[11]

R. Gorcitz, E. Kofman, T. Carle, D. Potop-Butucaru, and R. De Simone. On the Scalability of Constraint Solving for Static/Off-Line Real-Time Scheduling. In 13th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'15), pages 108--123, 2015.

[12]

A. Graillat. Code Generation of Time Critical Synchronous Programs on the Kalray MPPA Many-Core architecture. In 7th Workshop on Analysis Tools and Methodologies for Embedded and Real-Time Systems (WATERS'16), 2016.

[13]

X. Jean, L. Mutuel, D. Regis, H. Misson, G. Berthon, and M. Fumey. White Paper on Issues Associated with Interference Applied to Multicore Processors, 2016.

[14]

Y.-K. Kwok and I. Ahmad. Static Scheduling Algorithms for Allocating Directed Task Graphs to Multiprocessors. ACM Comput. Surv., 31(4):406--471, Dec. 1999.

Digital Library

[15]

P. Laborie and J. Rogerie. Reasoning with Conditional Time-intervals. In 21st International Florida Artificial Intelligence Research Society Conference (FLAIRS'08), 2008.

[16]

P. Laborie, J. Rogerie, P. Shaw, and P. Vilím. Reasoning with Conditional Time-Intervals. Part II: An Algebraical Model for Resources. In 22nd International Florida Artificial Intelligence Research Society Conference (FLAIRS'09), 2009.

[17]

J. Li, K. Agrawal, C. Lu, and C. Gill. Analysis of Global EDF for Parallel Tasks. In 25th Euromicro Conference on Real-Time Systems (ECRTS'13), 2013.

Digital Library

[18]

Q. Perret, P. Maurère, É. Noulard, C. Pagetti, P. Sainrat, and B. Triquet. Predictable composition of memory accesses on many-core processors. In 8th Conference on Embedded Real Time Software and Systems (ERTS'16), 2016.

[19]

Q. Perret, P. Maurère, É. Noulard, C. Pagetti, P. Sainrat, and B. Triquet. Temporal isolation of hard real-time applications on many-core processors. In 22nd IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'16), 2016.

Digital Library

[20]

W. Puffitsch, É. Noulard, and C. Pagetti. Off-line mapping of multi-rate dependent task sets to many-core platforms. Real-Time Systems, 51(5):526--565, 2015.

Digital Library

[21]

W. Puffitsch, R. B. Sørensen, and M. Schoeberl. Time-division Multiplexing vs Network Calculus: A Comparison. In 23rd International Conference on Real Time and Networks Systems (RTNS'15), pages 289--296, 2015.

Digital Library

[22]

M. Qamhieh, F. Fauberteau, L. George, and S. Midonnet. Global EDF Scheduling of Directed Acyclic Graphs on Multiprocessor Systems. In 21st International Conference on Real-Time Networks and Systems (RTNS'13), pages 287--296, 2013.

Digital Library

[23]

M. Qamhieh, L. George, and S. Midonnet. A Stretching Algorithm for Parallel Real-time DAG Tasks on Multiprocessor Systems. In 22nd International Conference on Real-Time Networks and Systems (RTNS'14), pages 13--22, Oct. 2014.

Digital Library

[24]

Radio Technical Commission for Aeronautics (RTCA) and EURopean Organisation for Civil Aviation Equipment (EUROCAE). DO-297: Software, electronic, integrated modular avionics (ima) development guidance and certification considerations.

[25]

Radio Technical Commission for Aeronautics (RTCA) and EURopean Organisation for Civil Aviation Equipment (EUROCAE). DO-178C: Software considerations in airborne systems and equipment certification, 2011.

[26]

R. Wilhelm and J. Reineke. Embedded systems: Many cores - many problems. In 7th IEEE International Symposium on Industrial Embedded Systems (SIES'12), pages 176--180, 2012.

Cited By

Druetto ABini EGrosso APuri SBacci SDi Natale MPaladino F(2023)Task and Memory Mapping of Large Size Embedded Applications over NUMA architecture✱Proceedings of the 31st International Conference on Real-Time Networks and Systems10.1145/3575757.3593650(166-176)Online publication date: 7-Jun-2023
https://dl.acm.org/doi/10.1145/3575757.3593650
Koike RAzumi T(2021)Federated Scheduling in Clustered Many-core Processors2021 IEEE/ACM 25th International Symposium on Distributed Simulation and Real Time Applications (DS-RT)10.1109/DS-RT52167.2021.9576150(1-8)Online publication date: 27-Sep-2021
https://doi.org/10.1109/DS-RT52167.2021.9576150
Igarashi SKitagawa YFukunaga TAzumi T(2020)Accurate Contention Estimate Scheduling Method Using Multiple Clusters of Many-core Platform2020 28th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP)10.1109/PDP50117.2020.00017(67-71)Online publication date: Mar-2020
https://doi.org/10.1109/PDP50117.2020.00017
Show More Cited By

Recommendations

Mapping of option pricing algorithms onto heterogeneous many-core architectures

The rapid development of technologies and applications in recent years poses high demands and challenges for high-performance computing. Because of their competitive performance/price ratio, heterogeneous many-core architectures are widely used in high-...
All-pairs computations on many-core graphics processors

Developing high-performance applications on emerging multi- and many-core architectures requires efficient mapping techniques and architecture-specific tuning methodologies to realize performance closer to their peak compute capability and memory ...
Vectorizing Unstructured Mesh Computations for Many-core Architectures
PMAM'14: Proceedings of Programming Models and Applications on Multicores and Manycores

Achieving optimal performance on the latest multi-core and many-core architectures depends more and more on making efficient use of the hardware's vector processing capabilities. While auto-vectorizing compilers do not require the use of vector ...

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences

RTNS '16: Proceedings of the 24th International Conference on Real-Time Networks and Systems

October 2016

353 pages

ISBN:9781450347877

DOI:10.1145/2997465

General Chairs:
Alain Plantec
Université de Bretagne Occidentale/Lab-STICC, France
,
Frank Singhoff
Université de Bretagne Occidentale/Lab-STICC, France
,
Program Chairs:
Sébastien Faucou
Université de Nantes, France
,
Luis Miguel Pinho
School of Engineering, Polytechnic of Porto, Portugal

Copyright © 2016 ACM.

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].

In-Cooperation

REGIONB: Region Bretagne

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 19 October 2016

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Research-article
Research
Refereed limited

Conference

RTNS '16

RTNS '16: 24th International Conference on Real-Time Networks and Systems

October 19 - 21, 2016

Brest, France

Acceptance Rates

RTNS '16 Paper Acceptance Rate 34 of 75 submissions, 45%;

Overall Acceptance Rate 119 of 255 submissions, 47%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

17
Total Citations
View Citations
224
Total Downloads

Downloads (Last 12 months)11
Downloads (Last 6 weeks)2

Reflects downloads up to 09 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Druetto ABini EGrosso APuri SBacci SDi Natale MPaladino F(2023)Task and Memory Mapping of Large Size Embedded Applications over NUMA architecture✱Proceedings of the 31st International Conference on Real-Time Networks and Systems10.1145/3575757.3593650(166-176)Online publication date: 7-Jun-2023
https://dl.acm.org/doi/10.1145/3575757.3593650
Koike RAzumi T(2021)Federated Scheduling in Clustered Many-core Processors2021 IEEE/ACM 25th International Symposium on Distributed Simulation and Real Time Applications (DS-RT)10.1109/DS-RT52167.2021.9576150(1-8)Online publication date: 27-Sep-2021
https://doi.org/10.1109/DS-RT52167.2021.9576150
Igarashi SKitagawa YFukunaga TAzumi T(2020)Accurate Contention Estimate Scheduling Method Using Multiple Clusters of Many-core Platform2020 28th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP)10.1109/PDP50117.2020.00017(67-71)Online publication date: Mar-2020
https://doi.org/10.1109/PDP50117.2020.00017
Pacheco APralet CRoussel S(2019)Constraint-based scheduling with complex setup operationsProceedings of the 28th International Joint Conference on Artificial Intelligence10.5555/3367032.3367196(1155-1161)Online publication date: 10-Aug-2019
https://dl.acm.org/doi/10.5555/3367032.3367196
Durrieu GPagetti C(2019)GRecACM Transactions on Embedded Computing Systems10.1145/335053318:5(1-24)Online publication date: 9-Oct-2019
https://dl.acm.org/doi/10.1145/3350533
Didier KPotop-Butucaru DIooss GCohen ASouyris JBaufreton PGraillat A(2019)Correct-by-Construction Parallelization of Hard Real-Time Avionics Applications on Off-the-Shelf Predictable HardwareACM Transactions on Architecture and Code Optimization10.1145/332879916:3(1-27)Online publication date: 8-Jul-2019
https://dl.acm.org/doi/10.1145/3328799
Maiza CRihani HRivas JGoossens JAltmeyer SDavis R(2019)A Survey of Timing Verification Techniques for Multi-Core Real-Time SystemsACM Computing Surveys10.1145/332321252:3(1-38)Online publication date: 18-Jun-2019
https://dl.acm.org/doi/10.1145/3323212
Tran HHonorat ATalpin JGautier TBesnard L(2019)Efficient Contention-Aware Scheduling of SDF Graphs on Shared Multi-Bank Memory2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS)10.1109/ICECCS.2019.00020(114-123)Online publication date: Nov-2019
https://doi.org/10.1109/ICECCS.2019.00020
Nguyen VHardy DPuaut I(2019)Cache-conscious off-line real-time scheduling for multi-core platforms: algorithms and implementationReal-Time Systems10.1007/s11241-019-09333-zOnline publication date: 6-Mar-2019
https://doi.org/10.1007/s11241-019-09333-z
Pacheco APralet CRoussel S(2019)Decomposition and Cut Generation Strategies for Solving Multi-Robot Deployment ProblemsPrinciples and Practice of Constraint Programming10.1007/978-3-030-30048-7_28(472-487)Online publication date: 23-Sep-2019
https://doi.org/10.1007/978-3-030-30048-7_28
Show More Cited By

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents