Ordonnancement stochastique optimal par classes de priorités bornées dans un système multiprogramme monoprocesseur

Abstract

Un ordonnanceur est l'une des principales composants des systèmes d' exploitation il est donc important de prouver l'optimalité de nouveaux algorithmes régissant son fonctionnement les démonstrations de L' O.P.B.M montrent les limites des mathématiques déterministes. L'équité de l'O.P.B.M bien que vérifier expérimentalement, reste un problème mathématiquement ouvert. La théorie du processus stochastiques de décision laisse entrevoir des possibilités de modélisation intéressantes. Dans cette thèse, on montre que le modèle peut être formulé comme un problème de Bandit en introduisant une structure de coût adéquate. On présente un algorithme de détermination de la stratégie optimale d’ordonnancement inter-classes.