Vivacité (informatique)

Vivacité (informatique)
Page d'aide sur l'homonymie 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


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Vivacité (informatique) de Wikipédia en français (auteurs)

Игры ⚽ Нужен реферат?

Regardez d'autres dictionnaires:

  • 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é (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

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”