Vivacité (informatique)

Image manquante
Symbole-ordinateur.png


Cet article est une ébauche concernant l'informatique, vous pouvez partager vos connaissances en le modifiant.

En informatique, la vivacité est la propriété pour un système de garantir l'exécution d'un fonction à un point dans le futur.

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 complexe sous la condition que l'ordonnanceur soit équitable.

Comparer avec : sécurité

See also: Vivacité (informatique), Informatique, Ordonnanceur, Parallélisme, Sécurité (propriété de programme), Équité (informatique)