Dynamische Adaption in heterogenen verteilten eingebetteten ...

4.2 Modularisierung
Informationen über C++ Programme zu speichern. In der Version 3 wurde diese Möglichkeit noch
erweitert und auch Unterstützung für Java Programme integriert.
Vergleich und Bewertung der Formate
Alle vorgestellten Formate stellen die grundlegenden Informationen bereit, die zum Debuggen eines
Programms notwendig sind. Für unser Ziel ist die Beschreibung der Funktionen und der Datentypen
besonders wichtig. stabs und COFF beschreiben den Aufbau von zusammengesetzten Typen nur
ungenau, da lediglich die Position der einzelnen Elemente innerhalb des Typs angegeben ist, nicht
jedoch ihre Größe. Es gibt Erweiterungen beider Formate, die diesen Schwachpunkt ausgleichen, diese
werden jedoch nicht allgemein verwendet und sind somit spezifisch für einen Compiler.
In Microsofts Debuginformationen sind die gewünschten Informationen vorhanden. Die unzureichende
Dokumentation der neueren Formate und die Einschränkung auf die Windows-Plattformen
schränken die Nutzung dieses Formats jedoch stark ein.
Wir konzentrieren uns daher im Folgenden auf das DWARF-Format. Es enthält ebenfalls alle benötigten
Daten und ist durch die Spezifikation ausführlich beschrieben. Darüber hinaus handelt es
sich um ein modernes Format mit Unterstützung für Compiler-Optimierungen, wie beispielsweise das
Einbetten einer Funktion in eine andere (Inlinig) und objektorientierter Sprachen.
4.2.6.2 Verbesserung der Modulerzeugung durch Debuginformationen
In Abschnitt 4.2.5 wurde dargestellt, wie Module aus den Sektionen einer Objektdatei erstellt werden.
Dabei wurde auch auf die Problematik hingewiesen, dass die normalen Symbolinformationen nicht
immer genügend Informationen enthalten, um die Elemente zu identifizieren. Debuginformationen
können hier zusätzliche Informationen liefern. Bei entsprechend detaillierten Debuginformationen
sind die Positionen und Größen aller Funktionen und Datenstrukturen gegeben. Diese Informationen
können dazu genutzt werden, um vorhandene Symbole zu vervollständigen oder um neue Symbole für
Datenstrukturen und lokale Funktionen zu erstellen, für die keine Symbolinformationen vorhanden
sind.
Darüber hinaus bieten einige Debuginformationsformate die Möglichkeit, eingebettete Funktionen
zu erkennen. Falls eine Funktion nur eingebettet existiert, so wird sie komplett der umgebenden
Funktion zugeschrieben und wird nicht durch ein Modul repräsentiert. Existiert die Funktion jedoch
zusätzlich als normale Funktion, so wird ein unveränderlicher Verweis zwischen der Funktion und allen
Funktionen, in die sie eingebettet ist, in den Moduldaten vermerkt. Anhand dessen kann das System
nachvollziehen, dass Veränderungen an der eingebetteten Funktion zu Änderungen an den umgebenden
Funktion führen muss.
4.2.6.3 Debuginformationen zur Datentypbestimmung
Debuginformationen können dazu genutzt werden, den Datentyp eines Datenmoduls festzustellen.
Sind einzelne Datenstrukturen als Modul identifiziert, so ist es möglich, mithilfe ihrer Position einen
entsprechenden Eintrag in den Debuginformationen zu suchen. Die darin enthaltenen Typinformationen
sind dann dem Modul zu zuordnen.
Der Datentyp wird bei entfernten Operationen benötigt, bei denen ein Datenmodul auf einen anderen
Knoten verschoben oder kopiert wird. Wenn man beispielsweise ein Funktionsmodul auf einen anderen
Knoten auslagert, so werden dort die abhängigen Datenmodule benötigt. Um sie ordnungsgemäß
zu übertragen, müssen der Typ und die Struktur der Daten bekannt sein. Handelt es sich bei dem
59