Précédent : Algorithmique TRDF Remonter : Algorithmique TRDF Suivant : Analyse holistique de systèmes répartis

Systèmes Transactionnels Répartis Temps Réel (TR²)

Participants : Laurent George, Pascale Minet Un système Transactionnel Réparti Temps Réel (noté TR²) 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. L'ordre d'apparition des requêtes extérieures est significatif. Il détermine l'ordre d'éxécution des transactions, éventuellement concomitantes. Les contraintes temporelles sont modélisées par une échéance relative stricte de terminaison affectée à chaque transaction, dont la valeur n'est pas connue à l'avance. Chaque serveur ordonnance localement les actions en attente selon l'ordre croissant des dates d'activation par les clients. Les graphes considérés étant du type arborescent, il n'existe pas de dépendances multi-serveurs (c'est-à-dire de contraintes de synchronisation inter-serveurs). Nous avons établi les bornes supérieures des temps de réponse des transactions et les conditions de faisabilité associées. Les valeurs numériques des paramètres entrant dans l'expression de ces bornes ne doivent être fournies que lors du dimensionnement du système. La solution proposée est donc générique.