Gestion des ressources 217

Remarque.

— Des créations ou des libérations de ressources maintiennent le système dans un état fiable.

— Une diminution de l’annonce conserve la fiabilité d’un état ; toutefois une augmentation ne peut être autorisée que si elle maintient le système dans un état fiable.

— Lors de la création d’un nouveau processus, la suite obtenue en mettant ce processus en queue de la suite fiable de l’état qui précède la création est une suite fiable, quelle que soit l’annonce du nouveau processus. La création d’un processus est donc toujours possible.

— La méthode de l’annonce peut conduire à un écroulement des performances dès que le nombre de ressources libres décroît fortement, dès que les annonces sont voisines du nombre total de ressources du système et dès que les requêtes des processus approchent de leur annonce.

4.75 CONCLUSIONS

Selon quel critère doit-on choisir entre prévention de l’interblocage et détection, puis guérison ? Lorsque l’utilisation de la méthode des classes ordonnées entraîne une immobilisation des ressources tolérable, cette méthode semble devoir être retenue. Sinon, selon la fréquence probable des interblocages, on pourra retenir :

— une méthode de détection-guérison brutale (par exemple un simple rechargement du système dans le cas où l’interblocage survient rarement),

— la méthode de l’annonce dans le cas où l’interblocage risque d’être fréquent ou difficile à dénouer.

EXERCICES

1. [3] Un modèle mathématique de comportement local [Spim, 72]

On se propose de construire un modèle simple de comportement de programme rendant compte de la propriété de localité (cf. 4.23). Etant donné un programme de n pages numérotées délan, on cherche une loi de génération d’une chaîne de références r1 r2 •. • rk. On définit une variable de temps discrète par les instants des références successives, en disant que la référence rk a lieu au temps k.

1 ) On demande de construire un modèle ayant la propriété suivante : quel que soit m (0 < m ^ n), à tout instant t, la probabilité pour que la prochaine page référencée rt+1 appartienne à l’ensemble des m pages distinctes ayant fait l’objet des références les plus récentes est égale à une constante pm indépendante de t. Préciser le mécanisme de génération des rk.

2) Dans quelles conditions les chaînes de références engendrées par ce modèle possèdent-elles la propriété de localité ?

3) Particulariser le modèle pour obtenir le comportement suivant : à tout instant, la probabilité pour que la référence suivante appartienne à l’ensemble des / pages le

---

Le texte affiché peut comporter un certain nombre d'erreurs. En effet, le mode texte de ce document a été généré de façon automatique par un programme de reconnaissance optique de caractères (OCR). Le taux de reconnaissance estimé pour cette page est de 98,87 %.

La langue de reconnaissance de l'OCR est le Français.

---