Transactional Memory for Dependable Embedded Systems
Publikation: Beitrag zu Konferenzen › Paper › Beigetragen › Begutachtung
Beitragende
Abstract
Transactional Memory (TM) has been touted as one of the most promising approaches to concurrent programming for multi-core processors. By combining ease of use with high scalability potential, as well as checkpointing capabilities particularly useful for developing dependable software, TM has attracted considerable attention from the research community. Many of its facets have been studied over the last few years: hardware support, software TM runtimes, operating system extensions, transactional compilers, language extensions, or application workloads. On the basis of our experiences as designers and users of a complete TM stack that we developed over the last five years, we discuss in this position paper our view on the challenges one faces when extending TM to dependable embedded systems. Indeed, there is an apparent contradiction between the optimistic, best-effort operation of TM and the strict dependability requirements of embedded systems. Our position is that it is both possible and worthwhile to develop embedded transactional memory. Yet, we believe that in the context of dependable embedded systems the focus of TM should be on failure control and not concurrency control. Hence, this will require modifications of the TM language primitives, tools, algorithms, runtime systems, and hardware itself.
Details
Originalsprache | Englisch |
---|---|
Seitenumfang | 5 |
Publikationsstatus | Veröffentlicht - 2011 |
Peer-Review-Status | Ja |
Konferenz
Titel | 2011 IEEE/IFIP 41st International Conference on Dependable Systems and Networks Workshops |
---|---|
Kurztitel | DSN-W 2011 |
Veranstaltungsnummer | 41 |
Dauer | 27 - 30 Juni 2011 |
Webseite | |
Bekanntheitsgrad | Internationale Veranstaltung |
Stadt | Hong Kong |
Land | Hongkong |
Externe IDs
Scopus | 80052145917 |
---|
Schlagworte
Forschungsprofillinien der TU Dresden
DFG-Fachsystematik nach Fachkollegium
Schlagwörter
- Embedded systems, Robustness, Concurrency control, Real time systems, embedded systems, multiprocessing programs, operating systems (computers), program compilers, Transactional memory, dependability, concurrency