Économiser l’or du banquier

Résumé Cet article étudie le problème de la disponibilité des ressources dans le contexte des codes mobiles pour de petits systèmes embarqués tels que la carte à puce. Il présente une architecture dédiée permettant de contrôler et d’optimiser l’usage d’une ressource dans un système multitâche. Celle-ci s’appuie sur un algorithme d’ordonnancement de tâches qui minimise la quantité de ressource requise par le système. Notre architecture comporte deux parties. La première calcule statiquement la quantité de ressource nécessaire à l’aide d’un treillis spécifique, en se plaçant dans le cadre de l’interprétation abstraite. La seconde garantit la disponibilité des ressources à l’exécution grâce à un algorithme efficace d’évitement d’interblocage, dans la lignée de l’algorithme du banquier de Dijkstra. Notre algorithme peut être considéré comme une généralisation de l’algorithme de Gold [14] à une algèbre de processus. Nous détaillons son utilisation pratique sur une architecture Java pour carte à puce.