2015 | OriginalPaper | Buchkapitel
Wartefreie Synchronisation von Echtzeitprozessen mittels abgeschirmter Abschnitte
verfasst von : Gabor Drescher, Wolfgang Schröder-Preikschat
Erschienen in: Betriebssysteme und Echtzeit
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. 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.