Abstract FR:

Nous proposons dans ce travail un nouveau formalisme qui nous permet de decrire de facon homogene les principales definitions de coherences memoire uniformes. Nous etudions ensuite la coherence causale qui permet un plus grand parallelisme que la coherence sequentielle habituelle. Nous proposons une nouvelle solution algorithmique permettant de maintenir efficacement la coherence causale. Cette solution est basee sur l'evolution de numeros de version. Nous l'avons mise en oeuvre au-dessus du systeme d'exploitation chorus. Des extensions ont ete apportees a notre solution pour diminuer les tailles de message et pour gerer la coherence d'une meme donnee selon plusieurs politiques simultanees. Nous appelons cette nouvelle forme de partage la polycoherence.