Spin - vérification avec LTL
Exercice 4 : Exclusion de Peterson. Nous proposons d'implémenter l'algorithme d'exclusion mutuelle de Peterson décrit sur Wikipedia. Le principe consiste à ...
Spin - simulationExercice - 2 Algorithme de Peterson (Prise en main). On va vérifier l'algorithme de Peterson vu en cours (voir les transparents). Cet exercice est une prise en. iUT ORSAYPropriétés de l'exclusion. Mutuelle. 1. Au plus un seul processus en SC;. 2. Un processus qui veut entrer en SC ne doit pas attendre qu'un autre processus ... TP n + 2 : Fils d'exécution et électionsEn déduire les sections en exclusion mutuelle. Exercice 3. 1. Rappeler le principe de l'algorithme de Peterson. 2. Prouver que cet algorithme respecte toutes ...
Autres Cours:
