Zusammenfassung
Wartefreie Synchronisation gibt jedem konkurrierenden Prozess uneingeschränkte Fortschrittsgarantie. Sie ist für Echtzeitsysteme eine mehr als wünschenswerte Eigenschaft, erfordert aber eine adäquate Programmstrukturierung. Im Beitrag werden dazu herkömmliche kritische Abschnitte als sogenannte abgeschirmte Abschnitte ausgelegt. Anders als kritische Abschnitte blockieren Vorzugsprozesse niemals beim Eintritt in einen abgeschirmten Abschnitt, obwohl sie auch einen solchen Abschnitt nur sequentiell passieren dürfen. Konkurrierende Prozesse umgehen einen abgeschirmten Abschnitt, falls notwendig synchronisieren sie sich zu nebenläufigen Zustandsänderungen innerhalb des Abschnitts mit Hilfe von Terminvariablen (futures). In Konsequenz dieser Maßnahme ergeben sich Einschränkungen in den Überlappungsmustern gleichzeitiger Prozesse, wodurch der Weg für einen wartefrei synchronisierten und latenzminimierten Betriebssystemkern geebnet wird.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literaturverzeichnis
A. Agarwal and M. Cherian. Adaptive backoff synchronization techniques. In Proceedings of the 16th Annual International Symposium on Computer Architecture (ISCA ’89), pages 396–406, New York, NY, USA, 1989. ACM.
G. Drescher and W. Schröder-Preikschat. An experiment in wait-free synchronisation of priority-controlled simultaneous processes: Guarded sections. Technical Report CS-2015-01, Department Informatik, Friedrich-Alexander-Universität Erlangen-Nürnberg, Jan. 2015.
M. Herlihy. Wait-free synchronization. ACM Transactions on Programming Languages and Systems, 11(1):124–149, Jan. 1991.
M. Herlihy, V. Luchangco, and M. Moir. Obstruction-free synchronization: Doubleended queues as an example. In Proceedings of the 23rd International Conference on Distributed Computing Systems (ICDCS 2003), May 19–22, 2003, Providence, Rhode Island, USA, pages 522–529. IEEE Computer Society, 2003.
A. Kogan and E. Petrank. Wait-free queues with multiple enqueuers and dequeuers. In Proceedings of the 16th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming (PPoPP ’11), pages 223–234. ACM, 2011.
J. M. Mellor-Crummey and M. L. Scott. Algorithms for scalable synchronization on shared-memory multiprocessors. ACM Transactions on Computing Systems, 9(1):21–65, Feb. 1991.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Drescher, G., Schröder-Preikschat, W. (2015). Wartefreie Synchronisation von Echtzeitprozessen mittels abgeschirmter Abschnitte. In: Halang, W., Spinczyk, O. (eds) Betriebssysteme und Echtzeit. Informatik aktuell. Springer Vieweg, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-48611-5_7
Download citation
DOI: https://doi.org/10.1007/978-3-662-48611-5_7
Published:
Publisher Name: Springer Vieweg, Berlin, Heidelberg
Print ISBN: 978-3-662-48610-8
Online ISBN: 978-3-662-48611-5
eBook Packages: Computer Science and Engineering (German Language)