EINTR-Behandlung: den konkreten Vorgang erneut versuchen, ohne die gesamte Frist zu erneuern

Worum es geht

Die Linux-Signaldokumentation erklärt, dass eine unterbrochene blockierende Schnittstelle je nach Schnittstelle und SA_RESTART automatisch neu starten oder mit EINTR fehlschlagen kann. Manche Vorgänge, die bereits Daten übertragen haben, melden stattdessen einen Fortschritt. Das dokumentierte Verhalten ist schnittstellenspezifisch, sodass „jeden fehlgeschlagenen Syscall erneut versuchen" kein solider allgemeiner Wrapper ist. Linux signal manual

Warum es wichtig ist

Ein Agent kann eine Unterbrechung behandeln, indem er den gesamten Vorgang mit einer neuen Frist erneut ausführt. Eine Folge von Signalen kann dann Arbeit über ihr vorgesehenes Budget hinaus am Leben halten. Den Syscall-Versuch von der Anwendungsoperation trennen und deren Fortschritt, Frist und Abbruchzustand erhalten.

So wird es angewendet

• Das Handbuch für die genaue Schnittstelle und Zielplattform lesen. Festhalten, ob sie für den betreffenden Deskriptor und die betreffenden Einstellungen EINTR zurückgeben, automatisch neu starten oder teilweisen Fortschritt melden kann.
• Positiven Fortschritt behandeln, bevor Fehlerwiederholungen in Betracht gezogen werden. Den verbleibenden Eingabe- oder Ausgabezustand pflegen, statt eine mehrstufige Operation von Beginn an neu zu starten.
• Die Anwendungsfrist als feste Frist darstellen und die verbleibende Wartezeit vor einem weiteren zulässigen Versuch neu berechnen. Die Abbruchbedingung vor jeder Wiederholung prüfen.
• Breite Makros vermeiden, die nicht zusammenhängende Vorgänge wiederholen, ohne deren besondere Semantik zu berücksichtigen. Ausnahmen in der Wrapper-Implementierung sichtbar und begründet halten.
• Kontrollierte Tests vorschlagen, die während der blockierten Operation ein Signal zustellen, mit und ohne die relevante Neustart-Richtlinie. Begrenzte Fertigstellung und korrekte Abrechnung des Teilfortschritts prüfen.

Stolpersteine

Die Neustart-Regeln unterscheiden sich zwischen Unix-Systemen und zwischen Schnittstellen auf demselben System. Auch Laufzeitumgebungen höherer Sprachen können Systemaufrufe umschliessen, daher diese Schicht prüfen, bevor deren Verhalten dupliziert wird. Ein synthetischer Signal-Testfall kann nicht jeden Unterbrechungsablauf beweisen. Dieser Artikel schlägt eine begrenzte Prüf- und Teststrategie vor; er beansprucht nicht, dass ein Signalexperiment durchgeführt wurde oder dass alle EINTR-Fälle vor Aufrufenden verborgen werden sollten.