JTE : mémoires partagées réparties

Prototypage de TreadMArks sur ChorusOS : Resultats d'Experience'''
Eric GRESSIER et Christian SAUTREAU CNAM-CEDRIC

Résumé: La cohérence relachée paresseuse correspond à un modele de cohérence efficace. Nous avons cherché à évaluer comment elle pourrait se mettre en oeuvre sur un micro-noyau.

Deux prototypes ont été réalisés fondés sur TreadMarks et sur ChorusOS. Le premier utilise l'approche serveur de cohérence, le second l'approche bibliothèque.

L'exposé décrit les architectures obtenues, et les pistes à suivre pour réaliser un portage de TreadMarks sur un micro-noyau.