Discuter:Sémaphore (informatique)

Un article de Wikipédia, l'encyclopédie libre.

	Sémaphore (informatique) fait partie du projet Informatique, qui a pour but d'enrichir le contenu de Wikipédia sur les sujets liés à l'informatique. Si vous voulez participer, vous pouvez modifier cet article ou visiter la page du projet où vous pourrez vous joindre au projet et consulter la liste des tâches et des objectifs. Le portail informatique pourrait aussi vous intéresser.
Ébauche	Cet article a été classé comme d'Avancement ébauche selon le Tableau d'évaluation du projet. (Voir les statistiques)
À évaluer	Cet article a été classé comme d'Importance ? selon le Tableau d'évaluation du projet. (Contester?)

Cet article est excellent et exact... merci beaucoup à son auteur

[modifier] Quel language?

Je crois qu' il faudrait préciser quel language utiliser les exemples.

-> ne faudrait-il pas préciser quel langage de programmation utiliser, et donner quelques exemples ?

Non,

Il s'agit d'un concept d'algorithmie, il est donc indépendant d'un quelconque langage de programmation. Son implémentation dépend du système d'exploitation qui est le seul à devoir gérer les accès exclusifs (si les tâches sont correctement réparties, bien sûr).

[modifier] Implémentation matérielle, vraiment ?

L'article dit : « Pour pouvoir exister sous forme logicielle, ils nécessitent une implémentation matérielle (au niveau du microprocesseur), permettant de tester et modifier la variable protégée au cours d'un cycle insécable.» Or il me semble que des solutions purement logicielles existent, non (les algos listés dans Catégorie:Algorithme d'exclusion mutuelle) ? Dans Motorola 68000, il est aussi écrit : « A noter la présence de l'instruction TAS (Test And Set) qui permet de tester et modifier la valeur d'un octet en mémoire en une seule instruction non interruptible. Ce type d'instruction est indispensable pour implémenter les sémaphores ». Marc Mongenet 24 avril 2007 à 21:38 (CEST)

Je plussoie. C'est pas pour rien que des gens se sont cassés la tête pour trouver des algorithmes d'exclusion mutuelle. Cela dit les mutex sont la plus part du temps implémentés de façon matérielle (car c'est beaucoup plus efficace) sur la plus part des systèmes.

Après Réflexion il semblerait qu'il n'y ait pas de solution purement logicielle pour implémenter les sémaphores. On peut bien entendu utiliser un mutex qui fait de l'attente active (comme l'algo de Peterson), mais pour relâcher le mutex et endormir le processus de façon atomique, je n'ai trouvé aucune solution logicielle.

[modifier] Proberen et Verhogen

Juste pour la petite anecdote, je suis étudiant en informatique, et en cours de système d'exploitation nous avons appelé les opérations P et V : Prendre et Vendre.