research-article

Targeting complex embedded architectures by combining the multicore communications API (mcapi) with compile-time virtualisation

Authors:

Neil C. AudsleyAuthors Info & Claims

LCTES '11: Proceedings of the 2011 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems

Pages 51 - 60

https://doi.org/10.1145/1967677.1967685

Published: 11 April 2011 Publication History

Abstract

Within the domain of embedded systems, hardware architectures are commonly characterised by application-specific heterogeneity. Systems may contain multiple dissimilar processing elements, non-standard memory architectures, and custom hardware elements. The programming of such systems is a considerable challenge, not only because of the need to exploit large degrees of parallelism but also because hardware architectures change from system to system. To solve this problem, this paper proposes the novel combination of a new industry standard for communication across multicore architectures (MCAPI), with a minimal-overhead technique for targeting complex architectures with standard programming languages (Compile-Time Virtualisation).

The Multicore Association have proposed MCAPI as an industry standard for on-chip communications. MCAPI abstracts the on-chip physical communication to provide the application with logical point-to-point unidirectional channels between nodes (software thread, hardware core, etc.). Compile-Time Virtualisation is used to provide an extremely lightweight implementation of MCAPI, that supports a much wider range of architectures than its specification normally considers. Overall, this unique combination enhances programmability by abstracting on-chip communication whilst also exposing critical parts of the target architecture to the programming language.

References

[1]

J. Agron and D. Andrews. Building heterogeneous reconfigurable systems with a hardware microkernel. In Proceedings of CODES

Digital Library

[2]

ISSS '09, pages 393--402, New York, NY, USA, 2009. ACM.

[3]

Baumann et al. The Multikernel: a new OS architecture for scalable multicore systems. In Proceedings of SOSP '09, pages 29--44, New York, NY, USA, 2009. ACM.

Digital Library

[4]

R. Brukardt. The Ada95 language reference manual - Appendix E, Distributed Systems (International Standard ISO/IEC 8652:1995). http://www.adaic.org/standards/95lrm/html/RM-E.html.

[5]

W. W. Carlson, D. E. Culler, and E. Brooks. Introduction to UPC and language specification. CCS-TR-99--157, 1999.

[6]

B. Chamberlain, D. Callahan, and H. Zima. Parallel programmability and the Chapel language. Int. J. High Perform. Comput. Appl., 21(3):291--312, 2007.

Digital Library

[7]

R. Chandra et al. Parallel programming in OpenMP. Morgan Kaufmann, 2001.

Digital Library

[8]

P. Charles, C. Grothoff, V. Saraswat, C. Donawa, A. Kielstra, K. Ebcioglu, C. von Praun, and V. Sarkar. X10: an object-oriented approach to non-uniform cluster computing. In Proceedings of OOPSLA '05, pages 519--538, New York, NY, USA, 2005. ACM.

Digital Library

[9]

CoWare, Inc. CoWare Virtual Platform - hardware/software integration and testing...without hardware. http://www.coware.com/products/virtualplatform.php (Accessed Aug 09).

[10]

P. Dibble and A. Wellings. JSR-282 status report. In Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, ACM International Conference Proceeding Series, pages 179--182, New York, NY, USA, 2009. ACM.

Digital Library

[11]

K. Fatahalian et al. Sequoia: programming the memory hierarchy. In SC '06, page 83, 2006.

Digital Library

[12]

M. B. Gokhale, J. M. Stone, J. Arnold, and M. Kalinowski. Stream-oriented FPGA computing in the Streams-C high level language. In FCCM '00, 2000.

Digital Library

[13]

J. Gosling and G. Bollella. The Real-Time Specification for Java. Addison-Wesley Longman Publishing Co., Inc., 2000.

Digital Library

[14]

I. Gray and N. Audsley. Exposing non-standard architectures to embedded software using Compile-Time Virtualisation. International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES '09), 2009.

Digital Library

[15]

I. Gray and N. Audsley. Supporting islands of coherency for highly-parallel embedded architectures using Compile-Time Virtualisation. In 13th International Workshop on Software and Compilers for Embedded Systems (SCOPES), 2010.

Digital Library

[16]

W. Gropp, E. Lusk, and A. Skjellum. Using MPI: portable parallel programming with the message-passing interface. MIT Press, Cambridge, MA, USA, 1994.

Digital Library

[17]

M. C. G&#246;the, D. Wengelin, and L. Asplund. The distributed Ada run-time system DARTS. Software: Practice and Experience, 21:1249--1263, 1991.

Digital Library

[18]

J. Holt. Designing an industry standard api to manage multicore system resources. http://www.multicore-association.org/webinar/090811_MRAPI.pdf, August 2009.

[19]

Institute of Electrical and Electronics Engineers. POSIX.1c, threads extensions (IEEE Std 1003.1c-1995), 1995.

[20]

R. Klefstad, M. Deshpande, C. O?Ryan, A. Corsaro, A. S. Krishna, S. Rao, and K. Raman. The performance of ZEN: A real time CORBA ORB using real time java. In Proceedings of Real-time and Embedded Distributed Object Computing Workshop. OMG, September 2002.

[21]

J. Maloy. TIPC: Providing communication for linux clusters. In Proceedings of the Linux Symposium - Volume 2, pages 347--356, 2004.

[22]

A. Munshi, editor. The OpenCL Specification. Khronos OpenCL Working Group, 2008.

[23]

A. L. Pope. The CORBA reference guide: understanding the Common Object Request Broker Architecture. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 1998.

Digital Library

[24]

J. Reinders. Intel Threading Building Blocks. O'Reilly &#38; Associates, Inc., Sebastopol, CA, USA, 2007.

Digital Library

[25]

S. Sharma, G. Gopalakrishnan, E. Mercer, and J. Holt. Mcc - a runtime verification tool for mcapi user applications. In Proceedings of Formal Methods in Computer Aided Design 2009 (FMCAD09), 2009.

[26]

The Multicore Association. Multicore communications API specification V1.063 (MCAPI). http://www.multicore-association.org/workgroup/mcapi.php, March 2008.

[27]

W. Thies et al. StreamIt: A compiler for streaming applications, December 2001. MIT-LCS Technical Memo TM-622, Cambridge, MA.

[28]

Xilinx Corporation. Xilkernel. http://www.xilinx.com/ise/embedded/edk91i_docs/&#958;lkernel_v3_00_a.pdf, December 2006.

[29]

Xilinx Corporation. Microblaze processor reference guide. UG081 v9.0, 2008.

Cited By

Pflüger AGolubski WQueins S(2013)Process for the Validation of System Architectures against RequirementsProgressions and Innovations in Model-Driven Software Engineering10.4018/978-1-4666-4217-1.ch008(209-229)Online publication date: 2013
https://doi.org/10.4018/978-1-4666-4217-1.ch008
Huang YMercer EMcCarthy JDenney EBultan TZeller A(2013)Proving MCAPI executions are correct using SMTProceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering10.1109/ASE.2013.6693063(26-36)Online publication date: 11-Nov-2013
https://dl.acm.org/doi/10.1109/ASE.2013.6693063
Pflüger AGolubski WQueins SOber I(2012)Tool-supported model-driven validation process for system architecturesProceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems10.1145/2432631.2432632(1-6)Online publication date: 30-Sep-2012
https://dl.acm.org/doi/10.1145/2432631.2432632
Show More Cited By

Index Terms

Targeting complex embedded architectures by combining the multicore communications API (mcapi) with compile-time virtualisation
1. Computer systems organization

Recommendations

Targeting complex embedded architectures by combining the multicore communications API (mcapi) with compile-time virtualisation
LCTES '10

Within the domain of embedded systems, hardware architectures are commonly characterised by application-specific heterogeneity. Systems may contain multiple dissimilar processing elements, non-standard memory architectures, and custom hardware elements. ...
Massively LDPC Decoding on Multicore Architectures

Unlike usual VLSI approaches necessary for the computation of intensive Low-Density Parity-Check (LDPC) code decoders, this paper presents flexible software-based LDPC decoders. Algorithms and data structures suitable for parallel computing are proposed ...
A Class of Hybrid LAPACK Algorithms for Multicore and GPU Architectures
SAAHPC '11: Proceedings of the 2011 Symposium on Application Accelerators in High-Performance Computing

Three out of the top four supercomputers in the November 2010 TOP500 list of the world's most powerful supercomputers use NVIDIA GPUs to accelerate computations. Ninety-five systems from the list are using processors with six or more cores. Three-...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

LCTES '11: Proceedings of the 2011 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems

April 2011

182 pages

ISBN:9781450305556

DOI:10.1145/1967677

General Chair:
Jan Vitek
Purdue University, USA
,
Program Chair:
Bjorn De Sutter
Ghent University, Belgium

ACM SIGPLAN Notices Volume 46, Issue 5
LCTES '10
May 2011
170 pages
ISSN:0362-1340
EISSN:1558-1160
DOI:10.1145/2016603
Issue’s Table of Contents

Copyright © 2011 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 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: 11 April 2011

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

LCTES '11

Sponsor:

LCTES '11: SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems

April 11 - 14, 2011

IL, Chicago, USA

Acceptance Rates

Overall Acceptance Rate 116 of 438 submissions, 26%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
248
Total Downloads

Downloads (Last 12 months)6
Downloads (Last 6 weeks)3

Reflects downloads up to 30 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Pflüger AGolubski WQueins S(2013)Process for the Validation of System Architectures against RequirementsProgressions and Innovations in Model-Driven Software Engineering10.4018/978-1-4666-4217-1.ch008(209-229)Online publication date: 2013
https://doi.org/10.4018/978-1-4666-4217-1.ch008
Huang YMercer EMcCarthy JDenney EBultan TZeller A(2013)Proving MCAPI executions are correct using SMTProceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering10.1109/ASE.2013.6693063(26-36)Online publication date: 11-Nov-2013
https://dl.acm.org/doi/10.1109/ASE.2013.6693063
Pflüger AGolubski WQueins SOber I(2012)Tool-supported model-driven validation process for system architecturesProceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems10.1145/2432631.2432632(1-6)Online publication date: 30-Sep-2012
https://dl.acm.org/doi/10.1145/2432631.2432632
Gray IAudsley N(2012)Developing Predictable Real-Time Embedded Systems Using AnvilJProceedings of the 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium10.1109/RTAS.2012.23(219-228)Online publication date: 16-Apr-2012
https://dl.acm.org/doi/10.1109/RTAS.2012.23
Audsley NGray IAcquaviva AHaines R(2012)ToucHMore toolchain and system software for energy and variability customisation2012 IEEE International High Level Design Validation and Test Workshop (HLDVT)10.1109/HLDVT.2012.6418257(148-155)Online publication date: Nov-2012
https://doi.org/10.1109/HLDVT.2012.6418257

View Options

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