Dynamische Adaption in heterogenen verteilten eingebetteten ...

4.5 Aufbau und Architektur
4.5.3 Modulverwaltung
Nach der Erzeugung der Module ist es die Aufgabe der Kontrollschicht festzulegen, welche Module
miteinander verbunden werden sollen. Die Basisschicht stellt hierzu Modulbehälter (Repositories) zur
Verfügung, um eine Menge von zusammengehörenden Modulen miteinander zu verbinden. Für solche
Behälter sind Operationen vorhanden, um Module hinzuzufügen, zu entfernen oder auszutauschen.
Beim Hinzufügen neuer Module werden die Abhängigkeiten der Module innerhalb des Behälters
aufgelöst, das heißt, die Zielsymbole der Relokationen werden mit endgültigen Symbolen anderer
Module im Behälter verbunden. Bei anderen Operationen werden die Verbindungen entsprechend
angepasst.
Durch diese Verknüpfung entsteht implizit der Abhängigkeitsgraph. So kann an jedem Modul
nachgeprüft werden, ob eine Abhängigkeit offen ist oder ob ein Modul bekannt ist, welches die
Abhängigkeit erfüllt. Darüber hinaus verwaltet jeder Behälter eine Liste mit Einsprungpunkten.
Modulbehälter werden zum Beispiel verwendet, um unterschiedliche Versionen einer Software zu
verwalten. Die Module einer Version sollen miteinander verbunden werden, jedoch dürfen die Module
unterschiedlicher Versionen nicht zusammen in einen Behälter. Auch bei der Verwaltung von Modulen
für verschiedene Architekturen, wie es beispielweise bei Fernaufrufen vorkommen kann, werden
Behälter eingesetzt.
4.5.4 Konfigurations- und Abbildverwaltung
Die Komponente ImageManager ist die Schnittstelle für die Konfiguration eines Knotens. Sie
verwaltet die Module, die auf einem Knoten installiert sind. Dazu verwaltet sie Metadaten über das
Speicherlayout und die Speichernutzung eines Knotens und überprüft bei einer Veränderung die
Konsistenz der entstehenden Konfiguration.
4.5.4.1 Konsistenzprüfung
Die Konsistenzprüfung muss die Einhaltung der in Abschnitt 4.3 vorgestellten Bedingungen bei der
Installation und beim Entfernen von Modulen sicherstellen. Dadurch wird gewährleistet, dass die
Abhängigkeiten zwischen den Modulen auf einem verwalteten Gerät immer erfüllt sind und somit eine
konsistente Konfiguration vorliegt.
Vor einer Operation werden (beispielsweise durch die Kontrollschicht) die Module ausgewählt,
die entfernt und installiert werden sollen. Die Modulauswahl wird in der Basisschicht durch den
Modulstatus gekennzeichnet. Ein Modul bekommt daher entweder den Zustand SEL4INST oder
SEL4REM, je nachdem ob es installiert oder entfernt werden soll. Die Konsistenzprüfung nutzt den
implizit erstellten Abhängigkeitsgraphen, um die Gültigkeit der Auswahl festzustellen. Um Probleme
bei einer ungültigen Auswahl besser darzustellen und der Kontrollschicht die Möglichkeit zu geben,
einen inkrementellen Prozess anzubieten, werden die Zustände in je zwei Unterzustände unterteilt:
OK Die Zustände SEL4INST_OK und SEL4REM_OK bedeuten, dass das Modul keine Probleme bereitet.
Die Abhängigkeiten sind erfüllt beziehungsweise das Modul wird nicht mehr referenziert.
ERR Sind nicht alle Abhängigkeiten erfüllt oder wird das Modul auf dem Gerät noch referenziert,
so erhalten die Module die Zustände SEL4INST_ERR beziehungsweise SEL4REM_ERR. Die
Abhängigkeiten von beziehungsweise zu Modulen mit diesen Zuständen sollten überprüft werden,
um eine gültige Auswahl herzustellen.
79