Abstract | ||
---|---|---|
This article introduces STM-HRT, a nonblocking wait-free software transactional memory (STM) for hard real-time (HRT) multicore embedded systems. Resource access control in HRT systems is usually implemented with lock-based synchronization. However, these mechanisms may lead to deadlocks or starvations and do not scale well with the number of cores. Most existing nonblocking STM are not suitable for HRT systems, because it is not possible to find an upper bound of the execution time for each task. In this article, we show how STM-HRT can be a robust solution for resource sharing in HRT multicore systems. We provide a detailed description of STM-HRT architecture. We propose a set of arguments to establish the functional correctness of its concurrency control protocol. Finally, as part of a real-time analysis, we derive upper bounds on the computations required to access shared data under STM-HRT. |
Year | DOI | Venue |
---|---|---|
2015 | 10.1145/2786979 | ACM Transactions on Embedded Computing Systems |
Keywords | Field | DocType |
Concurrency Control,Process Synchronization,Deadlocks,Hard real time,embedded systems,nonblocking synchronization,software transactional memory | Software transactional memory,Computer science,Lock (computer science),Deadlock,Correctness,Real-time computing,Multi-core processor,Distributed computing,Synchronization,Concurrency control,Parallel computing,Access control,Embedded system | Journal |
Volume | Issue | ISSN |
14 | 4 | 1539-9087 |
Citations | PageRank | References |
1 | 0.35 | 22 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Sylvain Cotard | 1 | 7 | 0.84 |
Audrey Queudet | 2 | 41 | 6.15 |
Jean-Luc Béchennec | 3 | 56 | 11.21 |
Sébastien Faucou | 4 | 41 | 6.38 |
Yvon Trinquet | 5 | 91 | 10.18 |