Parce qu'ils facilitent la programmation des machines parallèles à mémoire distribuée, les systèmes de mémoire distribuée partagée (MDP) reçoivent un intérêt croissant. Néanmoins, bien que de nombreux systèmes de MDP aient été proposés dans la littérature, très peu d'entre eux permettent réellement de combiner efficacité et extensibilité. Le système DOSMOS, objet de cet article, propose un certain nombre de voies originales pour s'attaquer à cette problématique : une notion de groupes hiérarchiques de processus partageant un même ensemble de variables (en vue de limiter le coût des procédures de maintien de la cohérence) ; la gestion de tableaux distribués, l'implémentation de plusieurs sémantiques de cohérence et la définition de protocoles optimisés. En outre, parce qu'il serait illusoire de croire qu'un système de MDP puisse permettre de mettre en oeuvre n'importe quelle application avec efficacité, DOSMOS permet de mélanger code PVM et code DOSMOS. Enfin, cet environnement est complété par un outil de traçage d'exécution.