Vivacite (informatique)
- 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 exemple, dans un algorithme d'exclusion mutuelle, une propriété de vivacité est : inéluctablement, tout processus qui le demande entre en section critique.
L'équivalent en algorithmique séquentielle (c'est-à-dire non concurrente) est la terminaison.
Souvent, ce type de propriété est vérifié sous une condition d'équité : par exemple, on va garantir la terminaison d'un programme parallèle sous la condition que l'ordonnanceur soit équitable.
L'autre grand type de propriété de programmes est la sûreté.
Voir aussi
Portail de l’informatique
Portail de la sécurité informatique
Catégories : Méthode formelle | Programmation concurrente
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Vivacite (informatique) de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
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
VivaCité (radio) — Pour les articles homonymes, voir Vivacité (informatique). Création 29 février 2004 Slogan « Et la vie va! » … Wikipédia en Français
Vivacite — VivaCité (radio) Pour les articles homonymes, voir Vivacité (informatique). Création 29 février 2004 Slogan « Et la vie va! » … Wikipédia en Français
Vivacité — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. VivaCité : radio belge vivacité : en informatique, fait pour un système de garantir qu une propriété sera vraie dans un système à partir d une… … Wikipédia en Français
Forum (informatique) — Pour les articles homonymes, voir Forum. En informatique, un forum est un espace de discussion publique (ou au moins ouvert à plusieurs participants). Les discussions y sont archivées ce qui permet une communication asynchrone (c est ce qui… … Wikipédia en Français
Liveness — 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
mobile — [ mɔbil ] adj. et n. m. • 1301 « bien meuble »; lat. mobilis « qui se meut », pour movibilis, de movere « mouvoir » I ♦ Adj. (1377) 1 ♦ Qui peut être mû, dont on peut changer la place ou la position. Pièce mobile d une machine, d un dispositif… … Encyclopédie Universelle
Coloré — Couleur Pour l’article homonyme, voir Charge de couleur. Quartier de la Boca, Buenos Aires, Argentine La couleur est la perception subject … Wikipédia en Français
Couleurs — Couleur Pour l’article homonyme, voir Charge de couleur. Quartier de la Boca, Buenos Aires, Argentine La couleur est la perception subject … Wikipédia en Français
TURBULENCE — Le mot turbulence fait songer à agitation, désordre, chaos. L’évolution spatiale ou temporelle de nombreux phénomènes est caractérisée par l’absence apparente d’ordre, la coexistence d’échelles très différentes, l’impossibilité d’une reproduction … Encyclopédie Universelle
