Famine (informatique)
- Famine (informatique)
-
Pour les articles homonymes, voir
Famine.
La famine est un problème que peut avoir un algorithme d'exclusion mutuelle. Il se produit lorsqu'un algorithme n'est pas équitable, c'est-à-dire qu'il ne garantit pas à tous les threads souhaitant accéder à une section critique une probabilité non nulle d'y parvenir en un temps fini.
Il est difficile de concevoir des systèmes à l'abri de famines. Pour le cas de l'exclusion mutuelle par exemple, il existe deux algorithmes garantissant qu'il ne se produira pas de famine, l'algorithme de Dekker et l'algorithme de Peterson, mais dans les deux cas, cette garantie est obtenue au prix d'une coûteuse attente active.
Causes possibles de famine
Une des causes possibles de famine provient d'algorithmes qui ne garantissent pas que les processus qui souhaitent entrer dans une section critique y entrent dans le même ordre que les demandes (c'est-à-dire un comportement FIFO). Un exemple typique de mécanisme de synchronisation qui ne garantit pas cet ordre est le synchronized du langage java.
Voir aussi
- Luigi Zaffalon et Pierre Breguet, Programmation concurrente et temps réel avec ADA 95, Presses polytechniques et universitaires romandes, Lausanne, 1999
- Le problème du dîner des philosophes
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Famine (informatique) de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
Famine (Informatique) — Pour les articles homonymes, voir Famine. Problèmes classiques des méthodes de synchronisation … Wikipédia en Français
Famine — Pour l’article homonyme, voir famine (informatique). La famine est une situation dans laquelle la population d une zone géographique donnée, ou seulement une partie de cette population, manque de nourriture. L état de sous… … Wikipédia en Français
famine — ● n. f. ►SYSTM Phénomène se produisant quand un système ne dispose pas de suffisamment de ressources et/ou les attribue de façon inéquitable. Certains processus peuvent alors se retrouver complètement bloqués sans avoir rien fait de mal … Dictionnaire d'informatique francophone
famine — n.f. État d attente sans que la demande soit satisfaite (informatique) … Dictionnaire du Français argotique et populaire
Equite (informatique) — Équité (informatique) Dans le contexte de la programmation concurrente, la notion d équité se rapporte au principe d équité dans le cadre des algorithmes d ordonnancement ou de synchronisation. Un algorithme équitable est un algorithme qui… … Wikipédia en Français
Équité (informatique) — Dans le contexte de la programmation concurrente, la notion d équité se rapporte au principe d équité dans le cadre des algorithmes d ordonnancement ou de synchronisation. Un algorithme équitable est un algorithme qui garantit que toutes les… … Wikipédia en Français
Vivacite (informatique) — Vivacité (informatique) Pour les articles homonymes, voir Vivacité. En programmation concurrente, la vivacité est le fait pour un système de garantir qu une propriété sera vraie dans un système à partir d une certaine étape de l exécution. Par… … Wikipédia en Français
Vivacité (informatique) — Pour les articles homonymes, voir Vivacité. En programmation concurrente, la vivacité est le fait pour un système de garantir qu une propriété sera vraie dans un système à partir d une certaine étape de l exécution. Par exemple, dans un… … Wikipédia en Français
Parallélisme (informatique) — Pour les articles homonymes, voir parallèle. Blue Gene L cabinet., un des ordinateurs massivement parallèle les plus rapides des années 2000 En informatiqu … Wikipédia en Français
Round-robin (informatique) — Pour les articles homonymes, voir Round robin et RR. Round robin (RR) est un algorithme d ordonnancement courant dans les systèmes d exploitation. Ce dernier attribue des tranches de temps à chaque processus en proportion égale, sans accorder de… … Wikipédia en Français
