Migration-Based Synchronization

Reif S, Raffeck P, Gerhorst L, Schröder-Preikschat W, Hönig T (2021)

Publication Type: Conference contribution

Publication year: 2021

Publisher: IEEE Computer Society

Book Volume: 2021-November

Conference Proceedings Title: Proceedings of the 11th Brazilian Symposium on Computing Systems Engineering, SBESC

Event location: Virtual, Online BR

ISBN: 9781665443111

URI: https://arxiv.org/pdf/2202.09365.pdf

DOI: 10.1109/SBESC53686.2021.9628358

Open Access Link: https://arxiv.org/pdf/2202.09365.pdf

Abstract

A fundamental challenge in multi- and many-core systems is the correct execution of concurrent access to shared data. A common drawback from existing synchronization mechanisms is the loss of data locality as the shared data is transferred between the accessing cores. In real-time systems, this is especially important as knowledge about data access times is crucial to establish bounds on execution times and guarantee the meeting of deadlines.We propose in this paper a refinement of our previously sketched approach of Migration-Based Synchronization (MBS) as well as its first practical implementation. The core concept of MBS is the replacement of data migration with control-flow migration to achieve synchronized memory accesses with guaranteed data locality. This leads to both shorter and more predictable execution times for critical sections. As MBS can be used as a substitute for classical locks, it can be employed in legacy applications without code alterations.We further examine how the gained data locality improves the results of worst-case timing analyses and results in tighter bounds on execution and response time. We reason about the similarity of MBS to existing synchronization approaches and how it enables us to reuse existing analysis techniques.Finally, we evaluate our prototype implementation, showing that MBS can exploit data locality with similar overheads as traditional locking mechanisms.

Authors with CRIS profile

Stefan Reif Lehrstuhl für Informatik 4 (Verteilte Systeme und Betriebssysteme) Phillip Raffeck Lehrstuhl für Informatik 4 (Verteilte Systeme und Betriebssysteme) Luis Gerhorst Lehrstuhl für Informatik 4 (Verteilte Systeme und Betriebssysteme) Wolfgang Schröder-Preikschat Lehrstuhl für Informatik 4 (Verteilte Systeme und Betriebssysteme)

Involved external institutions

Ruhr-Universität Bochum (RUB) DE Germany (DE)

How to cite

APA:

Reif, S., Raffeck, P., Gerhorst, L., Schröder-Preikschat, W., & Hönig, T. (2021). Migration-Based Synchronization. In Proceedings of the 11th Brazilian Symposium on Computing Systems Engineering, SBESC. Virtual, Online, BR: IEEE Computer Society.

MLA:

Reif, Stefan, et al. "Migration-Based Synchronization." Proceedings of the 11th Brazilian Symposium on Computing Systems Engineering, SBESC, Virtual, Online IEEE Computer Society, 2021.

BibTeX: Download