93 714 36 85
Un certain nombre de personnes veulent contrôler la disposition de la mémoire pour la classe particulière pour une meilleure empreinte dans les cas marginaux, et/ou de meilleures performances. Mais dans un langage qui permet une disposition arbitraire pour ses variables, vous ne pouvez pas systématiquement interdire le mot déchirant, parce que vous auriez à payer le prix, comme dans cet exemple. Les champs déclarés définitifs sont initialisés une fois, mais jamais modifiés dans des circonstances normales. La sémantique détaillée des champs finaux est quelque peu différente de celle des champs normaux. En particulier, les compilateurs ont beaucoup de liberté pour déplacer les lectures des champs finaux à travers les barrières de synchronisation et les appels à des méthodes arbitraires ou inconnues. En conséquence, les compilateurs sont autorisés à conserver la valeur d`un champ final mis en cache dans un registre et à ne pas le recharger à partir de la mémoire dans les situations où un champ non final devrait être rechargé. “Le numéro magique sept, plus ou moins deux: certaines limites sur notre capacité de traitement de l`information” [1] est l`un des documents les plus cités en psychologie. 2 3 Il a été publié en 1956 dans la revue psychologique par le psychologue cognitif George A. Miller du département de psychologie de l`Université Harvard [4].
Il est souvent interprété comme argumenter que le nombre d`objets qu`un humain moyen peut contenir dans la mémoire de travail est de 7 ± 2. Cela a parfois été appelé la Loi de Miller. 5 6 [7] le comportement des threads, en particulier lorsqu`ils ne sont pas correctement synchronisés, peut être déroutant et contre-intuitif. Ce chapitre décrit la sémantique des programmes multithreads; Il inclut des règles pour lesquelles les valeurs peuvent être vues par une lecture de la mémoire partagée qui est mise à jour par plusieurs threads. Comme la spécification est similaire aux modèles de mémoire pour différentes architectures matérielles, ces sémantiques sont connues sous le nom de modèle de mémoire de langage de programmation Java. Si aucune confusion ne peut survenir, nous nous référerons simplement à ces règles comme «le modèle de mémoire». Pour couvrir cela, JMM interdit les valeurs hors-de-Thin-Air (OoTA). Pour interdire de manière constructive OoTA, vous avez besoin d`une certaine notion de causalité (c.-à-d. «ce qui a causé quoi»), ce qui est délicat à introduire dans un modèle qui tente d`échapper à l`étreinte mortelle du temps global. Pour chaque exécution, le comportement des lectures est influencé par deux ordres partiels supplémentaires, les dereferences de chaîne de déréférencement () et la chaîne de mémoire MC (), qui sont considérées comme faisant partie de l`exécution (et donc, fixées pour une exécution particulière).