Liveness
- 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 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 Liveness de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
liveness — n. The quality of having animal life as distinguished from plant life. Syn: animateness, aliveness. [WordNet 1.5] … The Collaborative International Dictionary of English
liveness — See live2. * * * … Universalium
liveness — noun The property of being alive … Wiktionary
liveness — live·ness … English syllables
liveness — noun the property of being animated; having animal life as distinguished from plant life • Syn: ↑animateness, ↑aliveness • Ant: ↑inanimateness (for: ↑animateness) • Derivationally related forms: ↑ … Useful english dictionary
Petri net — A Petri net (also known as a place/transition net or P/T net) is one of several mathematical modeling languages for the description of distributed systems. A Petri net is a directed bipartite graph, in which the nodes represent transitions (i.e.… … Wikipedia
Concurrent data structure — In computer science, a concurrent data structure is a particular way of storing and organizing data for access by multiple computing threads (or processes) on a computer. Historically, such data structures were used on uniprocessor machines with… … Wikipedia
Register allocation — In compiler optimization, register allocation is the process of multiplexing a large number of target program variables onto a small number of CPU registers. The goal is to keep as many operands as possible in registers to maximise the execution… … Wikipedia
SP-DEVS — abbreviating Schedule Preserving Discrete Event System Specification is a formalism for modeling and analyzing discrete event systems in both simulation and verification ways. SP DEVS also provides modular and hierarchical modeling features which … Wikipedia
Finite & Deterministic Discrete Event System Specification — FD DEVS (Finite Deterministic Discrete Event System Specification) is a formalism for modeling and analyzing discrete event dynamic systems in both simulation and verification ways. FD DEVS also provides modular and hierarchical modeling features … Wikipedia
