Diagramme d'états

Un automate à états finis peut être utilisé pour modéliser les changements d'états observés durant le déroulement de l'exécution d'un processus :

• Les états de l'automate sont les états du processus
• Les transitions d'un état à un autre sont étiquetées par les événements

• Transition 1 : passage de l'état élu à l'état bloqué
  Ce passage peut être provoqué par «données non disponibles»
  
  
• Transitions 2 et 3 sont provoquées par l'ordonnanceur du processeur
  • Transition 2: l'ordonnanceur décide que le processus élu s'est exécuté pendant un temps suffisant, il lui retire le processeur et l'alloue à un autre
  • Transition 3: elle se produit quand tous les autres processus ont eu leur quota de temps et qu'il faut relancer le premier processus.
  
  
  
• Transition 4 se produit par l'occurrence de l'événement attendu par un processus. S'il n'y a pas de processus en cours à cet instant, la transition 4 sera suivie de 3. Dans le cas contraire, il faut attendre dans l'état prêt.

Remarque : Le rôle de l'ordonnanceur est très important. Il permet de répartir équitablement le processeur entre différents processus en ménageant l'efficacité du système.