Ausführbare Befehlsformate von Dalvik

Auf dieser Seite werden die Befehlsformate aufgeführt, die vom Dalvik Executable (DEX)-Format und dem Dalvik-Bytecode verwendet werden. Es soll in Verbindung mit dem Bytecode-Referenzdokument verwendet werden.

Bitweise Beschreibungen

Die erste Spalte in der Formattabelle listet das bitweise Layout des Formats auf. Es besteht aus einem oder mehreren durch Leerzeichen getrennten „Wörtern“, von denen jedes eine 16-Bit-Codeeinheit beschreibt. Jedes Zeichen in einem Wort stellt vier Bits dar, die von den hohen bis zu den niedrigen Bits gelesen werden, mit dazwischen liegenden vertikalen Balken („ | “), die das Lesen erleichtern. Großbuchstaben in der Reihenfolge „ A “ werden verwendet, um Felder innerhalb des Formats anzuzeigen (die dann durch die Syntaxspalte weiter definiert werden). Der Begriff „ op “ wird verwendet, um die Position eines 8-Bit-Opcodes innerhalb des Formats anzugeben. Eine durchgestrichene Null („ Ø “) wird verwendet, um anzuzeigen, dass alle Bits an der angegebenen Position Null sein müssen.

Größtenteils verläuft die Beschriftung von früheren Codeeinheiten zu späteren Codeeinheiten und innerhalb einer Codeeinheit von niedriger zu höherer Ordnung. Es gibt jedoch einige Ausnahmen von dieser allgemeinen Regel, die vorgenommen werden, um die Benennung von Teilen mit ähnlicher Bedeutung in verschiedenen Befehlsformaten gleich zu gestalten. Auf diese Fälle wird in den Formatbeschreibungen explizit hingewiesen.

Das Format „ B|A| op CCCC “ gibt beispielsweise an, dass das Format aus zwei 16-Bit-Codeeinheiten besteht. Das erste Wort besteht aus dem Opcode in den unteren acht Bits und einem Paar von Vier-Bit-Werten in den oberen acht Bits; und das zweite Wort besteht aus einem einzelnen 16-Bit-Wert.

Format-IDs

Die zweite Spalte in der Formattabelle gibt die Kurzkennung für das Format an, die in anderen Dokumenten und im Code zur Identifizierung des Formats verwendet wird.

Die meisten Format-IDs bestehen aus drei Zeichen, zwei Ziffern gefolgt von einem Buchstaben. Die erste Ziffer gibt die Anzahl der 16-Bit-Codeeinheiten im Format an. Die zweite Ziffer gibt die maximale Anzahl von Registern an, die das Format enthält (maximal, da einige Formate eine variable Anzahl von Registern aufnehmen können), wobei die spezielle Bezeichnung „ r “ angibt, dass ein Bereich von Registern codiert ist. Der letzte Buchstabe gibt halbmnemonisch den Typ aller zusätzlichen Daten an, die durch das Format codiert werden. Beispielsweise hat das Format „ 21t “ die Länge zwei, enthält eine Registerreferenz und zusätzlich ein Verzweigungsziel.

Vorgeschlagene statische Verknüpfungsformate haben ein zusätzliches „ s “-Suffix, sodass sie insgesamt vier Zeichen lang sind. Ebenso haben die vorgeschlagenen „Inline“-Verknüpfungsformate ein zusätzliches „ i “-Suffix. (In diesem Zusammenhang ähnelt die Inline-Verknüpfung der statischen Verknüpfung, außer dass sie direkter mit der Implementierung einer Maschine verknüpft ist.) Schließlich enthalten ein paar seltsame vorgeschlagene Formate (z. B. „ 20bc “) zwei Datenelemente, die beide in ihrer Format-ID dargestellt werden .

Die vollständige Liste der Typcode-Buchstaben lautet wie folgt. Beachten Sie, dass einige Formulare je nach Format unterschiedliche Größen haben:

Syntax

Die dritte Spalte der Formattabelle gibt die menschengerechte Syntax für Anweisungen an, die das angegebene Format verwenden. Jede Anweisung beginnt mit dem benannten Opcode und wird optional von einem oder mehreren Argumenten gefolgt, die wiederum durch Kommas getrennt sind.

Wo immer sich ein Argument auf ein Feld aus der ersten Spalte bezieht, wird der Buchstabe für dieses Feld in der Syntax angegeben und einmal für jeweils vier Bits des Felds wiederholt. Beispielsweise würde ein 8-Bit-Feld mit der Bezeichnung „ BB “ in der ersten Spalte auch die Bezeichnung „ BB “ in der Syntaxspalte tragen.

Argumente, die ein Register benennen, haben die Form „ v X “. Das Präfix „ v “ wurde anstelle des gebräuchlicheren „ r “ gewählt, genau um Konflikte mit (nicht virtuellen) Architekturen zu vermeiden, auf denen das Dalvik Executable-Format implementiert werden könnte, die selbst das Präfix „ r “ für ihre Register verwenden. (Das heißt, diese Entscheidung ermöglicht es, sowohl über virtuelle als auch über reale Register gleichzeitig zu sprechen, ohne dass Umschweifungen erforderlich sind.)

Argumente, die einen Literalwert angeben, haben die Form „ #+ X “. Einige Formate geben Literale an, deren höherwertige Bits nur Bits ungleich Null enthalten. für diese werden die Nullen explizit in der Syntax dargestellt, auch wenn sie in der bitweisen Darstellung nicht erscheinen.

Argumente, die einen relativen Befehlsadressenoffset angeben, haben die Form „ + X “.

Argumente, die einen Literal-Konstantenpoolindex angeben, haben die Form „ kind @ X “, wobei „ kind “ angibt, auf welchen Konstantenpool verwiesen wird. Jeder Opcode, der ein solches Format verwendet, erlaubt explizit nur eine Art von Konstante; Sehen Sie sich die Opcode-Referenz an, um die Entsprechung herauszufinden. Die Arten von Konstantenpools sind „ string “ (String-Pool-Index), „ type “ (Typ-Pool-Index), „ field “ (Feld-Pool-Index), „ meth “ (Methoden-Pool-Index) und „ site “ (Aufruf-Site-Index). ).

Ähnlich wie bei der Darstellung konstanter Pool-Indizes gibt es auch vorgeschlagene (optionale) Formen, die vorverknüpfte Offsets oder Indizes angeben. Es gibt zwei Arten von vorgeschlagenen vorverknüpften Werten: Vtable-Offsets (angezeigt als „ vtaboff “) und Feldoffsets (angezeigt als „ fieldoff “).

In den Fällen, in denen ein Formatwert nicht explizit Teil der Syntax ist, sondern stattdessen eine Variante auswählt, wird jede Variante mit dem Präfix „ [ X = N ] “ (z. B. „ [A=2] “) aufgeführt, um die Entsprechung anzuzeigen .

Formate