Précédent : Trafic routier Remonter : Algorithmique et applications Suivant : Actions nationales et internationales
Précédent : Trafic routier Remonter : Algorithmique
et applications Suivant : Actions nationales et
internationales
La parallélisation des systèmes de programmation en logique pose des problèmes difficiles d'ordonnancement et de partage de charge. En effet, s'il est (relativement) facile d'identifier des tâches susceptibles de s'exécuter en parallèle, il est par contre très difficile d'estimer à l'avance le grain des tâches parallèles. De plus, certaines tâches présentent un caractère spéculatif, du à l'existence de la coupure. Les techniques habituellement utilisées pour l'ordonnancement et la répartition de charge sont de nature heuristiques et font intervenir de nombreux paramètres dont l'ajustement nécessite encore de nombreuses expérimentations.
Un système de programmation en logique OU parallèle, PLOSYS, a été implanté sur réseau de stations et IBM-SP en utilisant ATHAPASCAN-0. Ce système a une très bonne efficacité pour les problèmes de programmation logique pure. PloSys est en cours d'extension, ce qui devrait permettre de tester des algorithmes originaux de traitement de la coupure et des effets de bords et leur influence sur l'ordonnancement et le partage de charge. À terme, il sera intéressant de porter PloSys sur ATHAPASCAN-1 pour tester les stratégies d'ordonnancement et partage de charge et éventuellement aider à en définir de nouvelles, adaptées à ce type de problème.