Comment la JVM s'assure-t-elle que System.identityHashCode() ne changera jamais ?

Question

En règle générale, l'implémentation par défaut de Object.hashCode() est une fonction de l'adresse allouée de l'objet en mémoire (bien que cela ne soit pas imposé par la norme JLS ). Étant donné que la VM déplace les objets en mémoire, pourquoi la valeur renvoyée par System.identityHashCode() ne changent jamais pendant la durée de vie de l'objet ?

S'il s'agit d'un calcul "one-shot" (l'objet hashCode est calculé une fois et caché dans l'en-tête de l'objet ou quelque chose comme ça), cela signifie-t-il qu'il est possible pour deux objets d'avoir le même identityHashCode (s'ils sont alloués pour la première fois à la même adresse dans la mémoire) ?

Answer 1

Les JVM modernes enregistrent la valeur dans l'en-tête de l'objet. Je pense que la valeur n'est généralement calculée que lors de la première utilisation afin de réduire au minimum le temps consacré à l'allocation de l'objet (parfois jusqu'à une douzaine de cycles). La JVM Sun courante peut être compilée de manière à ce que le code de hachage d'identité soit toujours égal à 1 pour tous les objets.

Plusieurs objets peuvent avoir le même code de hachage d'identité. C'est la nature même des codes de hachage.

Answer 2

En réponse à la deuxième question, quelle que soit l'implémentation, il est possible que plusieurs objets aient le même code de hachage d'identité (identityHashCode).

Voir bug 6321873 pour une brève discussion sur la formulation dans la javadoc, et un programme pour démontrer la non-unicité.

Answer 3

L'en-tête d'un objet dans HotSpot se compose d'un pointeur de classe et d'un mot "mark".

Le code source de la structure de données pour le mot-clé se trouve à l'adresse suivante markOop.hpp fichier. Ce fichier contient un commentaire décrivant la disposition de la mémoire du mot-clé :

hash:25 ------------>| age:4 biased_lock:1 lock:2 (normal object)

Nous voyons ici que le code de hachage d'identité pour les objets Java normaux sur un système 32 bits est enregistré dans le mot de marque et qu'il a une longueur de 25 bits.

Answer 4

La ligne directrice générale pour la mise en œuvre d'une fonction de hachage est la suivante :

• le même objet doit renvoyer un hashCode cohérent Il ne doit pas changer avec le temps ni dépendre d'informations variables (par exemple, un algorithme alimenté par un nombre aléatoire ou des valeurs de champs membres mutables).
• la fonction de hachage doit avoir un bonne distribution aléatoire Si l'on considère le code de hachage comme un ensemble, deux objets doivent correspondre à des ensembles (codes de hachage) différents, dans la mesure du possible. La possibilité que deux objets aient le même code de hachage devrait être rare - bien qu'il soit possible que le code de hachage de deux objets soit différent. puede se produisent.

Answer 5

Pour autant que je sache, cette fonction est mise en œuvre pour renvoyer la référence, qui ne changera jamais au cours de la durée de vie d'un objet.