2015 | OriginalPaper | Chapter
Wartefreie Synchronisation von Echtzeitprozessen mittels abgeschirmter Abschnitte
Authors : Gabor Drescher, Wolfgang Schröder-Preikschat
Published in: Betriebssysteme und Echtzeit
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
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.