| Property |
Value |
| dbo:abstract
|
- 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é. (fr)
- 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é. (fr)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 1129 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:wikiPageUsesTemplate
| |
| dct:subject
| |
| rdfs:comment
|
- 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. L'autre grand type de propriété de programmes est la sûreté. (fr)
- 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. L'autre grand type de propriété de programmes est la sûreté. (fr)
|
| rdfs:label
|
- Liveness (en)
- Vivacité (informatique) (fr)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
