tout est Programmer

Dîner des philosophes Le problème du «  dîner des philosophes  » est un cas d'école classique sur le partage de ressources en  informatique système . Il concerne l' ordonnancement  des  processus et l'allocation des ressources à ces derniers. Ce problème a été énoncé par  Edsger Dijkstra 1 . Sommaire    [ masquer ]  1 Le problème 2 Remarques 3 Solutions 3.1 La solution de Chandy/Misra 3.2 Solution dans le cas pair 3.2.1 Preuve de l'exactitude de cette solution 4 Notes et références 5 Voir aussi 5.1 Articles connexes 5.2 Lien externe Le problème [ modifier  |  modifier le code ] Illustration du problème La situation est la suivante : cinq philosophes (initialement mais il peut y en avoir beaucoup plus) se trouvent autour d'une table ; chacun des philosophes a devant lui un plat de spaghetti ; à gauche de chaque plat de spaghetti se trouve une fourchette. Un phi...

Sémaphore (informatique)  Pour les articles homonymes, voir  sémaphore . Un  sémaphore  est une  variable  (ou un type de donnée abstrait) partagée par différents «acteurs», qui garantit que ceux-ci ne peuvent y accéder que de façon séquentielle à travers des opérations  atomiques , et constitue la méthode utilisée couramment pour restreindre l'accès à des ressources partagées (par exemple un espace de stockage) et  synchroniser les processus  dans un environnement de  programmation concurrente . Le sémaphore a été inventé par  Edsger Dijkstra  et utilisé pour la première fois dans le système d'exploitation  THE Operating system . Les sémaphores fournissent la solution la plus courante pour le fameux problème du «  dîner des philosophes  », bien qu'ils ne permettent pas d'éviter tous les  interblocages (ou  deadlocks ). Pour pouvoir exister sous forme logicielle, ils nécessitent une ...