| Property |
Value |
| dbo:abstract
|
- En informatique, la relation arrivé-avant (anglais happened-before), notée , est un ordre partiel (relation binaire irréflexive, antisymétrique et transitive) sur les événements basé sur la causalité de deux événements dans un système distribué asynchrone. Elle est introduite par Leslie Lamport en 1978. La relation arrivé-avant est définie ainsi:
* Si les événements et surviennent dans le même processus, si l'occurrence de précède l'occurrence de .
* Si l’événement est l'émission d'un message et l’événement est la réception de ce même message, alors .
* Transitivité: soient trois événements , , et , si et , alors . Deux événements et tels que , et sont dits indépendants. Cette notion de temps logique est fondamentale dans les systèmes distribués asynchrones car, contrairement aux systèmes synchrones, ils ne disposent pas d'une horloge centrale. La relation arrivé-avant permet de donner aux événements du système une structure de treillis. Les processus d'un système peuvent obtenir des informations sur cette relation en utilisant des horloges de différents types :
* horloge logique (ou horloge de Lamport) ;
* horloge vectorielle ;
* horloge matricielle. De nombreux algorithmes reposent sur ces horloges. Leurs principales applications sont l'exclusion mutuelle, le débogage et l'optimisation de systèmes distribués et la tolérance aux défaillances. (fr)
- En informatique, la relation arrivé-avant (anglais happened-before), notée , est un ordre partiel (relation binaire irréflexive, antisymétrique et transitive) sur les événements basé sur la causalité de deux événements dans un système distribué asynchrone. Elle est introduite par Leslie Lamport en 1978. La relation arrivé-avant est définie ainsi:
* Si les événements et surviennent dans le même processus, si l'occurrence de précède l'occurrence de .
* Si l’événement est l'émission d'un message et l’événement est la réception de ce même message, alors .
* Transitivité: soient trois événements , , et , si et , alors . Deux événements et tels que , et sont dits indépendants. Cette notion de temps logique est fondamentale dans les systèmes distribués asynchrones car, contrairement aux systèmes synchrones, ils ne disposent pas d'une horloge centrale. La relation arrivé-avant permet de donner aux événements du système une structure de treillis. Les processus d'un système peuvent obtenir des informations sur cette relation en utilisant des horloges de différents types :
* horloge logique (ou horloge de Lamport) ;
* horloge vectorielle ;
* horloge matricielle. De nombreux algorithmes reposent sur ces horloges. Leurs principales applications sont l'exclusion mutuelle, le débogage et l'optimisation de systèmes distribués et la tolérance aux défaillances. (fr)
|
| dbo:discoverer
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 2412 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:wikiPageUsesTemplate
| |
| dct:subject
| |
| rdfs:comment
|
- En informatique, la relation arrivé-avant (anglais happened-before), notée , est un ordre partiel (relation binaire irréflexive, antisymétrique et transitive) sur les événements basé sur la causalité de deux événements dans un système distribué asynchrone. Elle est introduite par Leslie Lamport en 1978. La relation arrivé-avant est définie ainsi: Deux événements et tels que , et sont dits indépendants. Les processus d'un système peuvent obtenir des informations sur cette relation en utilisant des horloges de différents types : (fr)
- En informatique, la relation arrivé-avant (anglais happened-before), notée , est un ordre partiel (relation binaire irréflexive, antisymétrique et transitive) sur les événements basé sur la causalité de deux événements dans un système distribué asynchrone. Elle est introduite par Leslie Lamport en 1978. La relation arrivé-avant est définie ainsi: Deux événements et tels que , et sont dits indépendants. Les processus d'un système peuvent obtenir des informations sur cette relation en utilisant des horloges de différents types : (fr)
|
| rdfs:label
|
- Arrivé-avant (fr)
- Happened-before (en)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
