Modèle avant projet de memoire

L`ordre de programme décrit les opérations de commande ont été écrites dans le code source, mais ne spécifie pas nécessairement l`ordre dans lequel les événements se produisent réellement: les événements peuvent être réorganisés, combinés ou optimisés à la fois par le compilateur et par la CPU. Les commandes qui peuvent être invoquées sont spécifiées comme une relation appelée se produit-avant: si un événement se produit avant une seconde, alors aucun thread ne sera jamais observer le second, mais pas le premier. Nous disons que e ₁ se produit après e ₂ si e ₂ se produit avant e ₁, et qu`ils se produisent simultanément si aucun ne se produit avant l`autre. Se produit avant est transitoire (si e ₁ se produit avant e ₂ et e ₂ se produit avant e ₃, alors e ₁ se produit avant e ₃) et irréflexive (aucun événement ne se produit avant lui-même). Si une écriture w se produit avant un r de lecture sur la même REF, et chaque autre écriture w`soit se produit avant w ou après r, puis r lit la valeur écrite par w. mémoire: modèles comme déclencheurs et moniteurs de Recollections ce programme n`imprimera jamais 0 : il ne peut pas imprimer quoi que ce soit, mais si elle imprime, il imprimera 42. Cela est dû aux deux règles sur les Atomics, une spécifiant se passe-avant sur un seul thread: gauche: voir les courbes de tous les Articles de 2008 à 2016. L`axe vertical mesure les vues moyennes au cours de la période d`échantillonnage d`un an. L`axe horizontal détermine la période utilisée pour l`échantillonnage. Plus précisément, il détermine les jours de séparation entre l`incident et le début de la période d`échantillonnage. Notez que le calcul se détend après environ 1 an de refroidissement. Nous exigeons donc que les sources et les cibles soient séparées d`au moins deux ans, car cela garantit que la cible s`est détendue avant d`échantillonner son taux de vue moyen. Droite: nous montrons le flux de vue moyen de chaque source par rapport aux vues de cette source au cours de la même période.

Les points sombres représentent les 11 principaux événements de source, qui ont été utilisés dans les facteurs déclencheurs: vol 370 de Malaysia Airlines, vol 17 de Malaysia Airlines, vol 447 d`Air France, vol de Germanwings 9525, 2010 crash de la Force aérienne polonaise Tu-154, vol de l`Indonésie AirAsia 8501, Asiana Airlines vol 214, 2011 Lokomotiv Yaroslavl air Disaster, Metrojet vol 9268, et Colgan Air vol 3407. Les plus petits événements de source (bleu clair) n`ont pas été inclus parce que le bruit domine dans cette région. Concrètement, cela peut se produire pour un certain nombre de raisons. Par exemple, supposons que le thread 2 accède au message à l`avance: l`ordre de programmation d`un programme à thread unique génère des événements. Pour les programmes multithread, nous parlons toujours de l`ordre du programme, mais ce n`est plus un ordre total: les événements générés par deux threads différents ne sont ni avant ni après l`autre dans l`ordre du programme. L`idée de modéliser une ancienne maison à partir de la mémoire est, bien sûr, pas entièrement nouvelle. Une variété de pratiques connexes est discutée dans l`ensemble des papeteurs de travail (voir notamment la partie II b): modèles de maisons dans l`art contemporain). Bon nombre de ces exemples touchent des idées et des problèmes concernant des aspects spécifiques du modèle de mémoire; seulement très peu, cependant, reflètent la combinaison distincte des objectifs poursuivis par le projet de modèle de mémoire (prévu).