Dynamische Adaption in heterogenen verteilten eingebetteten ...

4.4 Verweise auf Module
void hello() {
printf ("Hello World!\n");
}
void foo() {
hello();
}
void main() {
hello();
}
(a) Quellcode
main foo
hello
L::.rodata:dep_graph.o printf
(b) Abhängigkeitsgraph
Abbildung 4.14: Abhängigkeitsgraph eines einfachen Beispiels
Links ist der Quellcode eines einfachen Beispiels gegeben. Rechts daneben ist der automatisch erzeugte Abhängigkeitsgraph.
Die Funktion foo wird in diesem einfachen Beispiel nicht verwendet. Im Abhängigkeitsgraphen erkennt man das
daran, dass keine Kante in den Knoten der Funktion foo führt. Die Funktion hello benötigt als einziges Zugriff auf
die Datensektion (L::.rodata:dep_graph.o). Nicht zu erkennen ist, dass Funktion printf aus einer anderen
Datei hinzugefügt wurde.
• Möchte man ein Modul entfernen, so darf es nicht mehr referenziert werden. Demnach darf keine
Kante in den entsprechenden Knoten führen. Hierbei ist zu beachten, dass diese anschaulich
ausgedrückte Bedingung notwendig, aber nur dann hinreichend ist, wenn neben den statischen
Verweisen auch alle dynamischen Verweise erfasst sind.
• Der Vorgang des Austauschens kann als das “Umbiegen” aller Kanten vom alten Knoten zum
neuen Knoten aufgefasst werden.
Nach dem Verändern der Kanten sollen Module identifiziert werden, die nicht benötigt werden.
Knoten, in die keine Kante führt, werden nicht referenziert und werden daher auch nicht benötigt.
Entfernt man sie zusammen mit ihren ausgehenden Kanten, so können weitere Knoten entstehen,
in die nun keine Kanten mehr führen. Durch dieses iterative Verfahren können alle Module
gefunden werden, die nicht von einer Initialkante aus erreichbar sind und somit nicht mehr
benötigt werden.
Da sich mithilfe des Abhängigkeitsgraphen die Struktur der Software anschaulich darstellen lässt,
dient er auch als Hilfsmittel für einen Administrator, wenn manuelle Entscheidungen getroffen werden
sollen.
4.4.4 Ergebnisse
In diesem Abschnitt wurden die Verweise auf Module genauer betrachtet. Nach einer Klassifikation in
statische und dynamische Verweise wurde festgestellt, dass statische Verweise leicht aufzufinden und
abzuändern sind. Dynamisch entstehende Verweise hingegen sind ohne zusätzliche Informationen nur
teilweise zu finden und nicht immer anpassbar.
Um sicherzustellen, dass alle Verweise identifiziert werden können, wurde für dynamische Verweise
aus indirekter Nutzung eine Methode auf der Basis einer Datenflussanalyse vorgeschlagen. Für
Funktionen wurde alternativ das positionserhaltende Austauschen vorgestellt, da hierdurch auf das
Auffinden der Verweise verzichtet werden kann.
73