Exceptionbehandlung und Synchronisation: Entwurf und Methode

Eine Exception ist das Auftreten einer Bedingung, die es verunmog- licht, mit der Ausfuhrung eines Programmes normal weiterzufahren. Es ist die Aufgabe eines Betriebssystems oder des Laufzeitsystems einer Programmiersprache, einen Mechanismus zur Verfugung zu stel- len, welcher die Behandlung von Exceptions unterstutzt. Bekannte Konzepte schlagen vor, ein Programm in einzelne Bereiche zu gliedern, urn Exceptions lokal behandeln zu konnen. Angepasst an eine blockstrukturierte Programmiersprache konnen diese Exception- behandlungsbereiche sequentiell oder verschachtelt angeordnet wer- den. Dieser Ansatz wird auf parallele Programme ubertragen: Dynamisch geschaffene Prozesse werden im selben Bereich ausgefuhrt, inner- halb welchem sie gestartet wurden. Sie konnen ihrersei ts eigene Bereiche eroffnen, urn Exceptions selbst zu behandeln, damit andere Prozesse nicht gestort werden. Beim Auftreten einer Exception wird die Ausfuhrung des aktuellen Bereichs abgebrochen, und aIle in diesem Bereich gestarteten Prozesse werden gestoppt. Die Exceptionbehandlung muss in einem Echtzeitsystem zusammen mit der Synchronisation betrachtet werden, z.B. urn Verklemmungen zu verhindern, weil Prozesse, die infolge von Exceptions abgebrochen werden, ihre Betriebsmittel nicht wieder freigeben. Es wird eine Verwaltung dynamischer Objekte vorgeschlagen, welche Prozesse, Synchronisationsdeskriptoren (z.B. Semaphoren) und Zugriffsrechte (z.B. Zugriff auf ein Betriebsmittel) unterscheidet. Ein Objekt wird am Ende des Bereichs, innerhalb welchem es geschaffen oder zugeteilt wurde, automatisch geloscht resp. freigegeben.