Participants : Emmanuelle Anceaume, Laurent George, Jean-François Hermant, Gérard Le Lann, Pascale Minet
Un système Transactionnel Réparti Temps Réel (noté 
) est un système composé de
clients et de serveurs, interconnectés par un système de
communication. Des requêtes extérieures sont reçues par les
clients et doivent être exécutées par les clients et les
serveurs. Chaque requête est modélisée par une transaction
composée d'actions, une action devant, par hypothèse, être
exécutée complètement par un seul serveur. Une transaction est
représentée par le graphe de ses actions. On se restreint ici aux
graphes de type arborescent. Les contraintes temporelles sont
modélisées par une échéance relative stricte affectée à chaque
transaction, dont la valeur n'est pas connue à l'avance.
Pour cette classe de systèmes, les bornes supérieures sur les temps de réponse des transactions sont de l'ordre de la seconde ou de quelques secondes. De telles contraintes temporelles sont compatibles avec l'utilisation d'un accord explicite entre les serveurs pour déterminer l'ensemble des transactions à exécuter. Chaque serveur ordonnance localement cet ensemble selon EDF non préemptif (Earliest Deadline First). Nous avons étudié deux variantes d'invocation de l'accord inter-serveurs :