Précédent : Les
implantations du Remonter : Les implantations du Suivant :
Le partage et
Z. Benaissa et P. Lescanne ont proposé une machine
[36], qui a été baptisée
machine à triades. Cette machine a la caractéristique
d'être générique, c'est-à-dire qu'elle n'implante pas une
stratégie particulière mais qu'au contraire celle-ci est un
paramètre de la machine. De plus, la machine à triades présente
un compromis entre le partage et le parallélisme. L'une des
caractéristiques de cette machine est qu'elle ne manipule que des
adresses tandis que le terme à évaluer fait partie du code qui
lui ne change pas. Une maquette de cette machine a été réalisée
pour les stratégies classiques telles que l' appel par
nom, l' appel par valeur et l' appel
paresseux. En ce qui concerne les implantations
concurrentes, une version simplifiée (cas où le parallélisme est
maximal) a été mise en oeuvre en utilisant le langage FACILE,
puis l'outil PVM.