É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.
منابع مشابه
Bronze Age gold in Southern Georgia
This study represents a joint pilot project between archaeological and natural sciences, aimed at exploring the technology and provenance of gold artefacts, exemplified for the case of Georgia. It is focussed on the prehistoric gold mine of Sakdrisi. The study included the investigation of both Bronze Age gold artefacts and native gold by chemical and lead isotope analyses using ICP-mass spectr...
متن کاملPrise en charge chirurgicale à ciel ouvert de l’instabilité luno-triquétrale
La dissociation luno-triquétrale fait partie des lésions du complexe triangulaire ; le diagnostic est évoqué cliniquement par des douleurs accentuées par l’inclinaison ulnaire et confirmé par l’arthroscanner ou l’IRM. Le traitement fait appel aux sutures arthroscopiques ou aux procédés de ligamentoplastie pour les lésions irréparables. La ligamentoplastie utilisant le transplant de l’extenseur ...
متن کامل