Dynamische Adaption in heterogenen verteilten eingebetteten ...

4.5 Aufbau und Architektur
Zustand
UNDEFINED
LOADED
SEL4INST
SEL4REM
INSTALLED
Beschreibung
Das Modul ist dem Verwalter unbekannt. Es wurde noch nicht in einen Behälter
geladen.
Das Modul wurde in einen Behälter geladen.
Das Modul ist zur Installation ausgewählt. Hiervon gibt es zwei Unterzustände,
je nachdem, ob alle Abhängigkeiten des Moduls erfüllt sind. Eine Abhängigkeit
ist erfüllt, wenn ein Verweis auf ein externes Symbol innerhalb des Behälters
aufgelöst werden kann und das entsprechende Zielmodul ebenfalls ausgewählt
oder installiert ist.
ERR Das Modul kann noch nicht installiert werden, da noch nicht alle
Abhängigkeiten erfüllt sind.
OK Alle Abhängigkeiten sind erfüllt, das Modul kann installiert werden.
Das Modul soll vom Gerät entfernt werden. Auch hiervon gibt es zwei Unterzustände,
die angeben, ob das Modul noch benötigt wird oder nicht.
ERR Das Modul wird auf dem Gerät noch benötigt und kann daher nicht
entfernt werden.
OK Es existieren keine Referenzen mehr auf das Modul, es kann daher
gefahrlos entfernt werden.
Das Modul ist auf dem Gerät installiert.
Tabelle 4.3: Modulzustände
Die Tabelle zeigt die Zustände, die ein Modul während der Konfiguration erhalten kann. Der Übergang zwischen den
Zuständen ist in Abbildung 4.17 dargestellt
4.5.2.1 ELFFile
Das Laden einer Objektdatei wird beim Erzeugen eines Objekts vom Typ ELFFile durchgeführt.
Beim Einlesen wird die Objektdatei analysiert und in ihre Bestandteile aufgetrennt. Jede Sektion
wird dabei entsprechend ihres Typs in ein Objekt abgelegt. Die einzelnen Elemente von Symbol- und
Relokationstabellen werden ebenfalls in einzelne Java-Objekte umgewandelt. Verknüpfungen zwischen
den Sektionen werden dabei aufgelöst oder als Verknüpfung zwischen den Objekten dargestellt. So
wird der Name von Symbolen und Sektionen aus der Stringtabelle extrahiert und die Zielsymbole der
Relokationen als Referenz auf das Symbolobjekt dargestellt.
Diese Struktur stellt die Ausgangbasis für die Extraktion von Modulen dar. Dabei stehen Sektionen
mit binären Daten im Mittelpunkt, die in ELF-Dateien mit dem Typ SHT_PROGBITS gekennzeichnet
sind. Relokationen und Symbole beziehen sich auf solche Sektionen und werden daher im Rahmen des
Einlesens auch den entsprechenden Sektionen zugeordnet.
4.5.2.2 ELFSectionExtractor
Nach dem Einlesen erfolgt die Aufteilung in einzelne Module. Dazu ist der ELFSectionExtractor
zuständig, der eine Implementierung des in Abschnitt 4.2.5 vorgestellten Verfahrens darstellt. Als
Grundlage für ein Modul können prinzipiell alle Sektionen dienen, die binäre Daten enthalten, also
vom ELF-Typ SHT_PROGBITS sind. Allerdings sollen Module nur von solchen Sektionen erzeugt
werden, die zum Programmabbild gehören und somit entweder Programmcode oder -daten enthalten
und nicht andere binäre Zusatzdaten wie beispielsweise Debuginformationen. Diese Filterung lässt
sich zum Beispiel am Namen der Sektionen festmachen. Im ELF-Format kann man dafür auch auf
77