Machines parallèles à mémoire
distribuée: protocoles de cohérence de caches et
modèles de consistence mémoire
Les machines parallèles modernes utilisent de plus en plus des
mémoires distribuées, où la mémoire est
répartie entre les divers processeurs, combinées avec
l'utilisation de caches, de façon à profiter du principe
de localité et minimiser les communications sur le
réseau. Une telle organisation de la mémoire et des
caches pose le problème du maintien de la cohérence des
caches, de façon à assurer une vue consistente de la
mémoire par les divers processeurs.
Dans cet exposé, nous allons d'abord présenter un rapide
survol des principales architectures parallèles modernes. Par
la suite, nous examinerons le problème de la cohérence
des caches dans de telles architectures. Nous verrons alors que les
protocoles existant peuvent être très coûteux si le
modèle de consistence de mémoire réalisé
par la machine est le même que celui utilisé pour les
machines uni-processeurs classiques. Ceci nous amènera à
examiner d'autres modèles de consistence de mémoire,
plus appropriés pour les machines parallèles.
Pour obtenir les acétates
Cliquez ici pour obtenir les
acétates (postscript).