Objektorientierte Daten- und Zeitmodelle für die Echtzeit ...

6.4. KONTROLLFLUSS IN FUNKTIONALEN DATENNETZEN 151
griff auf den Vorgängerzyklus angezeigt wird. Dieser sollte nach Möglichkeit erkannt und lokalisiert
werden. Geschieht dies nicht, wird durch die wartenden Zugriffe eine Verklemmung
provoziert: Trifft der Anfragestrom auf eine Sequenz, die bereits aktiv ist, wartet er auf das Ergebnis
der dort laufenden Aktualisierung. Wird dafür jedoch die Antwort der laufenden Anfrage
benötigt, kommt der Zyklus zu keinem Ende und der Prozeß hängt.
Hier ergeben sich nun entscheidende Unterschiede zwischen einem synchronen und einem
asynchronen Kontrollfluß. Wird das Modul ausschließlich synchron angesteuert, d.h. alle Relationen
sind synchron spezifiziert und der komplette Zyklus läuft in einem einzigen Thread ab,
kann es bei regulärem Netzdesign nicht vorkommen, daß ein Funktor mehrfach mit ÐÐ aufgerufen,
oder daß für eine Sequenz während einer bereits laufenden ØØ -Methode ein erneuter
Zugriff mit ØØ gestartet wird. Hat der Datenflußgraph jedoch einen Rückkopplungszweig
ohne den obligatorischen Rückgriff auf den vorangegangenen Zyklus, tritt genau einer dieser
beiden Fälle ein. Dies kann lokal leicht erkannt werden, und zu einer entsprechenden Ausnahmebehandlung
führen.
Können im Modul jedoch auch asynchrone Programmzweige vorkommen, ist dieses Kriterium
nicht geeignet, einen Konflikt zu erkennen, da auch im regulären Betrieb, wie Abb. 6.40
zeigt, parallele Mehrfachaufrufe dieser Methoden auftreten. Lokal ist dabei nicht zu unterscheiden,
ob wartende Aufrufe durch einen noch aktiven Thread beantwortet werden können, oder
ob durch das Anhalten eines Ausführungszweiges, um auf ein Datum zu warten, genau dies verhindert
wird. Hier können nur weitergehende Kontrollmechanismen, wie sie in Abschnitt 6.4.5
beschrieben wurden, zum Erkennen von Fehlern im Netzdesign beitragen. Um im regulären
Betrieb den Overhead aufwendiger Tests zu vermeiden, bietet es sich beispielsweise an, zu Beginn
des Programms und nach jeder Änderung der Netztopologie einen Testzyklus — synchron
oder durch einen Agenten überwacht — zu starten. Ein solcher Mechanismus kann leicht in die
Sequenz- und Funktorobjekte integriert werden.
Zugriffe auf die Eingangsdaten des Moduls
Anders als bei der datengetriebenen Steuerung, wo die Zykluszeit direkt von den (dominanten)
Eingangsdaten abhängt (Ø Ø Ë ÅÁÒ ), wird in anfragegetriebenen Modulen die Zykluszeit
i.d.R. durch die anfragende Instanz vorgegeben, ohne daß dabei die durch die Eingangssensoren
vorgegebenen Datenmeßzeiten bekannt wären. Zeittolerante Datenzugriffe, wie sie in
Abschnitt 6.4.4 diskutiert wurden, spielen daher für die Zugriffe auf die Eingangsdaten des
Moduls in diesem Steuerungsmodell eine wichtige Rolle, selbst wenn keine unsynchronisierten
Eingangsdaten zu verarbeiten sind.
Welches Zugriffsverfahren über die Relationen Ø ℄ , Ø Ø℄ , Ø Ø , Ø Ø und Ø
im einzelnen auszuwählen ist, muß sich auch hier an der Netztopologie, den Eigenschaften der
externen Sensoren sowie an Kriterien, wie Zugriffskonsistenz, Datenverzögerung, Wartezeit
und Anwendbarkeit orientieren. Da diese Problematik bereits ausführlich in Abschnitt 6.4.4
diskutiert wurde, soll an dieser Stelle nur kurz auf die verschiedenen Zugriffsrelationen eingegangen
werden.
Ø ℄ liefert den neuesten in der Sequenz verfügbaren Wert und stellt damit die einfachste
Zugriffsmethode dar. Aufgrund des fehlenden Zeitbezugs ist diese Relation allerdings relativ
ungeeignet für Datenflußgraphen, in denen mehrere Funktoren auf ein Eingangsdatum zugreifen.
Wird zwischen zwei Zugriffen die Sequenz aktualisiert, rechnen die Funktoren mit in-
Ø