Généralités sur les systèmes d'exploitation - Site personnel de ...

III) Problèmes logicielsLO14 : Université Technologique de Troyes1°) PrésentationLes systèmes d'exploitations sont beaucoup plus difficiles à classer mais on peut les diviser en fortementcouplés et faiblement couplés. En général l'architecture sous jacente est du même type.couplage faible : utilisateurs à peu près indépendants tout en pouvant coopérer de façon limitée. Si leréseau tombe en panne, on peut encore utiliser son poste sauf pour certains services.couplage fort : on n'a pas en général un utilisateur par processeur, mais plutôt plusieurs processeurs quicoopèrent pour faire une tâche donnée. Les seuls véritables problèmes que l'on a à résoudre sont desproblèmes d'ordonnancement.2°) Ordonnancement pour couplage fortComme dans le cas des systèmes monoprocesseurs il est très difficile d'obtenir un algorithme optimal. Bienpire, des algorithmes simples et à priori naturels adoptent des comportements aberrants. Nous allonsdétailler un exemple pour confirmer cela.Exemple : Soit le système de tâche de priorité 0 à ordonnancer sur 3 processeurs en respectant le graphede précédence. On donne le résultat de l'algorithme le plus intuitif : donne le processeur à la première tâchepouvant être réalisée.3 2 2 2T1 T2 T3 T49T94 4 4 4T5 T6 T7 T80 3 12T1T2T3T4T9T5T6T7T8Un algorithme d'ordonnancement doit posséder une certaine cohérence.Si le nombre de processeurs augmente, ou que la durée des tâches diminue ou si l'on supprime descontraintes de précédences on ne doit pas produire une augmentation de temps de traitement total.• On ordonnance sur 4 processeurs• Diminution des temps des tâchesti=(2,1,1,1,3,3,3,3,8)• suppression de contraintes de précédence :0 3 12T1 T8T2T3T4T5T6T7T90 213T1 T5 T8T2T4T6 T9T3 T7153 2 2 2T1 T2 T3 T49T94 4 4 4T5 T6 T7 T80 3 12T1 T6 T9T2 T4 T7T3 T5 T816Le rare résultat d'optimalité connu à ce jour concerne le cas de 2 processeurs quand la durée des tâchessont toutes égales.3°) Algorithme d'ordonnancement optimum dans le cas de deux processeursCet algorithme utilise l'ordre lexicographique sur les séquences d'entiers :si s 1 =(n 1 ,n 2 ,...,n p ) et s 2 =(m 1 ,m 2 ,...,m q ) on aura s 1