diff --git a/Concurrent Programming b/Concurrent Programming new file mode 100644 index 0000000..275c8fa --- /dev/null +++ b/Concurrent Programming @@ -0,0 +1,29 @@ + Le **scheduler**, ou processus principal, effectue un calcul sur l'**état global**. +Pour cela, il génère des threads de calcul locaux ou '**local_workers**' +auxquels il confie une partie de l'état global. +Il est seul à avoir accès à l'état global et à la liste des local_workers. +Il n'a pas accès aux **règles de transition**. + Chaque local_worker effectue un calcul local puis en soumet le résultat au scheduler. +Le scheduler assigne les résultats des local_workers à l'état global. +Il délègue à un **superviseur** des vérification périodiques de l'intégrité de l'état global et peut interrompre le processus en cas d'erreur. +Il délègue à la **CLI** les fonctions de communications avec les modules périphériques. + + Il exécute un **cycle** qui comporte **deux étapes** principales: + + 1. recherche aléatoire d'un espace local + + si trouvé: + - arrêt de cette recherche + - préemption de cet espace local + - initiation d'un nouveau thread de calcul auquel est attibué cet espace local + + sinon arrêt de cette recherche en un temps fini + + 2. recherche des threads de calcul en fin d'exécution + (ces threads se signalent dans une liste; leur temps de calcul est aléatoire) + + si trouvé(s): + - arrêt de cette recherche + - mise à jour de l'état global (insertion du ou des états locaux calculés) + - terminaison des threads de calcul concernés et libération des verrous associés + + sinon arrêt de cette recherche en un temps fini + + 3. mesures / recueil des commandes / retour d'information +