Sémantique des échecs - Failure semantics
En informatique distribuée , la sémantique des pannes est utilisée pour décrire et classer les erreurs que les systèmes distribués peuvent rencontrer.
Types d'erreurs
Une liste des types d'erreurs pouvant survenir:
- Une erreur d'omission se produit lorsqu'une ou plusieurs réponses échouent.
- Une erreur de plantage, c'est quand rien ne se passe. Un crash est un cas particulier d'omission lorsque toutes les réponses échouent.
- Une erreur de synchronisation se produit lorsqu'une ou plusieurs réponses arrivent en dehors de l'intervalle de temps spécifié. Les erreurs de synchronisation peuvent être précoces ou tardives . Une erreur d'omission est une erreur de synchronisation lorsqu'une réponse a une erreur de synchronisation infinie.
- Une erreur arbitraire est une erreur (c'est-à-dire une valeur erronée ou une erreur de synchronisation).
- Lorsqu'un client utilise un serveur, il peut faire face à différentes erreurs de type du serveur.
- S'il peut gérer un plantage sur le serveur, il est supposé que le serveur a une sémantique d'échec de plantage.
- S'il peut gérer une omission de service, il est supposé que le serveur a une sémantique d'échec d'omission.
- La sémantique des échecs est le type d'erreurs qui devraient apparaître.
- Si un autre type d'erreur apparaît, cela entraînera une défaillance du service car il ne peut pas être géré.
