Ressources et communication

Le système d'exploitation est chargé d'allouer les ressources (mémoires, temps processeur, entrées/sorties) nécessaires aux processus et d'assurer que le fonctionnement d'un processus n'interfère pas avec celui des autres (isolation).

Il peut aussi fournir une API pour permettre la communication inter-processus (IPC).

Exécution

Outre le multiplexage des ressources matérielles, le système peut contrôler l'accès des processus aux ressources selon une matrice de droits et également associer les processus aux utilisateurs, qui sont les récipiendaires d'un ensemble de droits d'accès : un processus a les droits de l'utilisateur qui l'a initialisé.

Un processus peut s'arrêter de plusieurs manières :

1. Arrêt normal (volontaire) ;
2. Arrêt pour erreur (volontaire) ;
3. Arrêt pour erreur fatale (involontaire) ;
4. Le processus est arrêté par un autre processus (involontaire).

Quand un arrêt de processus n'est pas un arrêt normal, il peut être important d'en être prévenu. Cela peut se faire par des systèmes de supervision (aussi appelé monitoring).

La plupart des systèmes offrent la distinction entre processus, qui sont a priori complètement isolés les uns des autres, et « processus légers » (threads en anglais), qui composent les processus (chaque processus possède au moins un thread) et qui partagent un espace mémoire (et d'autres ressources) en commun.

Dans le cas de processus comportant plusieurs processus légers (ou suivant l'expression souvent utilisée multi-thread) il existe un état du processeur (un contexte d'exécution) distinct pour chaque processus léger.

Observabilité

L'utilisation de diagrammes d'état est dû au fait qu'un processus n'est cohérent, de l'extérieur, qu'à certains moments de son exécution, notamment en dehors des sections critiques. En pratique, on observe l'état d'un processus en communiquant avec lui ; il fournit ainsi une réponse au moment où il est cohérent.

Prenons un exemple ; soit la suite d'instructions en pseudo-code appartenant à un programme quelconque :

procédure empiler (v : valeur)
    compteur := compteur+1
    vect[compteur] := v

Le programme utilisant cette fonction n'est observable qu'avant ou après un appel à la fonction empiler() car, entre les instructions d'incrémentation et d'affectation, la cellule numéro compteur du tableau vect[] n'est pas affectée et contient... une valeur aléatoire (une mémoire est rarement vide).

États que peut prendre un processus sous la forme d'un diagramme états-transitions où les flèches sont les transitions autorisées.

Diagramme état-transition plus complexe suivi par les processus des systèmes d'exploitation modernes

États standards

Ces états existent dans la plupart des systèmes d'exploitation :

• Initialisation (en anglais, created ou new) :

C'est le premier état d'un processus. Il y attend que l'ordonnanceur le place dans l'état prêt, ce qui peut prendre plus ou moins longtemps. Généralement, dans les ordinateurs de bureau, cela est automatique ; dans un système d'exploitation temps réel, cette admission peut-être reportée. En effet, dans de tels systèmes, trop de processus en attente peuvent amener à une saturation, notamment des bus, entraînant l'incapacité du système à tenir les délais.

• Prêt ou En attente (en anglais, ready ou runnable) :

Dans cet état, le processus a été chargé en mémoire centrale et attend son exécution sur le processeur, c'est-à-dire une commutation de contexte provoquée par l'ordonnanceur.

Il peut y avoir beaucoup de processus en attente car, sur un ordinateur équipé d'un seul processeur, les processus doivent passer un par un. Les processus disponibles sont rangés dans une file ; les autres, ceux qui attendent quelque chose (données provenant du disque dur, une connexion internet, etc.) ne sont pas pris en compte. Cette file d'attente (ready queue) est gérée par l'ordonnanceur.

• Élu ou Exécution (en anglais, running) :

Le processus est en cours d'exécution par le processeur.

• Endormi ou Bloqué (en anglais, blocked ou waiting) :

Le processus a été interrompu ou attend un événement (la fin d'une opération d'entrée/sortie, un signal, ...).

• Terminé (en anglais, terminated) :

Le processus est terminé, c'est-à-dire soit le résultat est connu, soit le programme a été forcé de s'arrêter.

États particuliers

Selon les systèmes d'exploitation, ces différents états peuvent aussi être possibles :

• Zombie :

Si un processus terminé ne peut pas être déchargé de la mémoire, par exemple parce que son processus parent n'a pas récupéré son signal de terminaison, il passe dans un état appelé zombie.

• Swappé :

Lorsqu'un processus est transféré de la mémoire centrale dans la mémoire virtuelle, il est dit « swappé ». Un processus swappé peut être dans un état endormi ou prêt.

• Préempté :

L'ordonnanceur a décidé de suspendre l'activité d'un processus. Par exemple, un processus qui consomme trop de temps CPU finira par être préempté. Un ordonnanceur préemptif utilise aussi l'indice de priorité (nice) pour décider le processus qui sera préempté.

• Exécution en espace utilisateur :

L'exécution a lieu dans un espace limité : seules certaines instructions sont disponibles.

• Exécution en espace noyau :

Par opposition au mode utilisateur, l'exécution du processus n'est pas limitée. Par exemple, un processus dans cet état peut aller lire dans la mémoire d'un autre.

Articles connexes

• Multitâches
• Ordonnancement dans les systèmes d'exploitation
• Supervision / Surveillance (informatique)
• Zombie
• Short Remaining Time

Liens externes

• Table des processus (process table)

Références