Qu'est ce qu'une pile de la carte

Java exige que toutes les classes qui sont chargés de vérifier, dans le but de maintenir la sécurité de l'espace de sécurité et de s'assurer que le code est sûr à optimiser. Notez que ceci est fait sur le bytecode niveau, de sorte que la vérification n'est pas vérifier les invariants de la Java langue, il vérifie simplement que le bytecode de sens selon les règles de bytecode.

Entre autres choses, le bytecode de vérification permet de s'assurer que les instructions sont bien formés, que tous les sauts sont valables instructions à l'intérieur de la méthode, et que toutes les instructions d'opérer sur les valeurs du type correct. La dernière est celle où la pile de la carte est en.

Le truc, c'est que le bytecode par lui-même ne contient pas de type explicite de l'information. Les Types sont déterminés implicitement par le biais de flux de données pour l'analyse. Par exemple, un iconst instruction crée une valeur entière. Si vous le stocker dans le slot 1, ce logement dispose maintenant d'un int. Si le contrôle de flux fusionne de code qui stocke un flotteur, il y a lieu, l'emplacement est maintenant considéré comme ayant de type non valide, ce qui signifie que vous ne pouvez pas faire quelque chose de plus à cette valeur jusqu'à ce que de l'écraser.

Historiquement, le bytecode verifier déduit tous les types à l'aide de ces règles de flux de données. Malheureusement, il est impossible de déduire tous les types dans un seul linéaire passer à travers le bytecode en raison d'un saut en arrière pourrait invalider déjà déduit types. Le classique vérificateur résolu ce problème en parcourant le code jusqu'à ce que tout cesse de se modifier, ce qui pourrait nécessiter plusieurs passages.

Cependant, la vérification rend les cours de chargement lent en Java. Oracle a décidé de résoudre ce problème en ajoutant une nouvelle, plus rapide vérificateur, qui peuvent vérifier la bytecode en un seul passage. Pour ce faire, ils requis, toutes les nouvelles classes à partir de Java 7 (avec la version 6 de Java dans un état de transition) pour réaliser des métadonnées à propos de leurs types, de sorte que le bytecode peut être vérifiée en un seul passage. Depuis le bytecode format lui-même ne peut pas être changé, ce type d'information est stocké séparément dans un attribut appelé StackMapTable.

Tout simplement de stocker le type de chaque valeur unique à chaque point dans le code serait évidemment prendre beaucoup d'espace et très inutile. Afin de rendre les métadonnées plus petit et plus efficace, ils ont décidé de faire seulement une liste des types à des positions qui sont les cibles de sauts. Si vous pensez à ce sujet, c'est le seul moment où vous avez besoin d'informations supplémentaires pour en faire une seule passe de vérification. Entre les cibles de saut, tous les flux de contrôle est linéaire, de sorte que vous pouvez déduire les types entre les positions à l'aide de l'ancien règles d'inférence.

Chaque position où les types sont explicitement énumérés est connu comme une pile de la carte. Le StackMapTable attribut contient une liste d'images dans l'ordre, même si elles sont généralement exprimées sous une différence à partir de l'image précédente afin de réduire la taille des données. Si il n'y a pas d'images dans la méthode, qui se produit lorsque le contrôle de flux ne jamais jointures (c'est à dire le CFG est un arbre), puis à la StackMapTable attribut peut être omise.

C'est donc l'idée de base de la façon dont StackMapTable fonctionne et pourquoi il a été ajouté. La dernière question est de savoir comment l'implicite cadre initial est créé. La réponse est évidemment que le début de la méthode, l'opérande de la pile est vide et que la variable locale créneaux horaires sont les types des types des paramètres de la méthode, qui sont déterminées à partir de la méthode decriptor.

Si vous avez utilisé pour Java, il existe quelques différences mineures à la façon dont la méthode de types de paramètres de travail au niveau du bytecode. Tout d'abord, les méthodes virtuelles ont un implicite this comme premier paramètre. Deuxièmement, boolean, byte, char, et short n'existent pas au niveau du bytecode. Au lieu de cela, ils sont tous mis en œuvre comme ints derrière les coulisses.