Shared-Memory-Based Lock-Free Queues: The Key to Fast and Robust Communication on Safety-Critical Edge Devices
Pages 179 - 184
Abstract
This paper discusses the architecture of Eclipse iceoryx™, a shared-memory middleware which forms the base for the intra-host communication of our Apex.Ida product. To better understand specific design decisions, we start with the requirements for middleware used on today’s safety-critical edge devices. We then explain and discuss various design decisions made in iceoryx. Finally, we describe some of the aspects to consider when using lock-free programming and shared memory in safety-critical production systems.
References
[1]
Apex.AI. 2023. Apex.Ida ™. High-performance data transport. Safe and secure.https://apex.ai/apexida
[2]
James H. Anderson, Srikanth Ramamurthy, and Kevin Jeffay. 1997. Real-time computing with lock-free shared objects. ACM Transactions on Computer Systems (TOCS) 15, 2 (1997), 134–165.
[3]
AUTOSAR Consortium. 2022. AUTOSAR: Adaptive Platform. https://www.autosar.org/standards/adaptive-platform
[4]
Björn B. Brandenburg and Andrea Bastoni. 2012. The Case for Migratory Priority Inheritance in Linux: Bounded Priority Inversions on Multiprocessors. In 14th Real-Time Linux Workshop. Real-Time Linux Foundation, 67–86.
[5]
CppMem developers. 2023. CppMem. http://svr-pes20-cppmem.cl.cam.ac.uk/cppmem/
[6]
Damian Dechev. 2011. The ABA problem in multicore data structures with collaborating operations. IEEE, 158–167. https://doi.org/10.4108/ICST.COLLABORATECOM.2011.247161
[7]
Maurice Herlihy and Nir Shavit. 2012. The Art of Multiprocessor Programming, Revised Reprint (1st ed.). Morgan Kaufmann Publishers Inc., San Francisco, CA, USA.
[8]
Leslie Lamport. 1999. Specifying Concurrent Systems with TLA+. Calculational System Design (April 1999), 183–247. https://www.microsoft.com/en-us/research/publication/specifying-concurrent-systems-tla/
[9]
Butler W. Lampson and David D. Redell. 1980. Experience with Processes and Monitors in Mesa. Commun. ACM 23, 2 (feb 1980), 105–117. https://doi.org/10.1145/358818.358824
[10]
Object Management Group. 2015. OMG Data Distribution Service (DDS): Version 1.4. http://www.omg.org/spec/DDS/1.4
[11]
Michael Pöhnl, Alban Tamisier, and Tobias Blass. 2022. A Middleware Journey from Microcontrollers to Microprocessors. In 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE). 282–286. https://doi.org/10.23919/DATE54114.2022.9774609
[12]
Hermann Schweizer, Maciej Besta, and Torsten Hoefler. 2015. Evaluating the Cost of Atomic Operations on Modern Architectures. In 2015 International Conference on Parallel Architecture and Compilation (PACT). 445–456. https://doi.org/10.1109/PACT.2015.24
[13]
L. Sha, R. Rajkumar, and J. P. Lehoczky. 1990. Priority Inheritance Protocols: An Approach to Real-Time Synchronization. IEEE Trans. Comput. 39, 9 (sep 1990), 1175–1185. https://doi.org/10.1109/12.57058
[14]
The Open Group. 2017. Portable Operating System Interface (POSIX) — Part 2: System Interfaces. https://pubs.opengroup.org/onlinepubs/9699919799/functions/contents.html
[15]
ThreadSanitizer developers. 2023. ThreadSanitizer. https://clang.llvm.org/docs/ThreadSanitizer.html
[16]
Valgrind developers. 2023. Helgrind. https://valgrind.org/
[17]
Dmitry Vyukov. 2023. Relacy Race Detector. https://www.1024cores.net/home/relacy-race-detector
Recommendations
Transactional lock-free execution of lock-based programs
Special Issue: Proceedings of the 10th annual conference on Architectural Support for Programming Languages and Operating SystemsThis paper is motivated by the difficulty in writing correct high-performance programs. Writing shared-memory multi-threaded programs imposes a complex trade-off between programming ease and performance, largely due to subtleties in coordinating access ...
Transactional lock-free execution of lock-based programs
This paper is motivated by the difficulty in writing correct high-performance programs. Writing shared-memory multi-threaded programs imposes a complex trade-off between programming ease and performance, largely due to subtleties in coordinating access ...
Comments
Information & Contributors
Information
Published In
May 2023
419 pages
ISBN:9798400700491
DOI:10.1145/3576914
Copyright © 2023 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].
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 09 May 2023
Check for updates
Qualifiers
- Research-article
- Research
- Refereed limited
Conference
CPS-IoT Week '23
Sponsor:
CPS-IoT Week '23: Cyber-Physical Systems and Internet of Things Week 2023
May 9 - 12, 2023
TX, San Antonio, USA
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 145Total Downloads
- Downloads (Last 12 months)50
- Downloads (Last 6 weeks)2
Reflects downloads up to 01 Jan 2025
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign inFull Access
View options
View or Download as a PDF file.
PDFeReader
View online with eReader.
eReaderHTML Format
View this article in HTML Format.
HTML Format