Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Séance de cours

Manipulation des défaillances de l'acteur

Description

Cette séance de cours traite de la gestion des défaillances dans les systèmes asynchrones utilisant le modèle d'acteur, où les défaillances sont reformulées comme des messages et envoyées à des adresses connues pour être traitées par les chefs d'équipe. Il traite également de la supervision, de la résilience, des stratégies de supervision, de l'identité des acteurs pour la récupération, des hameçons du cycle de vie des acteurs et des redémarrages du cycle de vie.

Source officielle

Concepts associés (32)

Modèle d'acteur

En informatique, le modèle d'acteur est un modèle mathématique qui considère des acteurs comme les seules fonctions primitives nécessaires pour la programmation concurrente. Les acteurs communiquent par échange de messages. En réponse à un message, un acteur peut effectuer un traitement local, créer d'autres acteurs, ou envoyer d'autres messages. L'article de référence date de 1973. Ce modèle est utilisé aussi bien en informatique théorique pour formaliser les interactions concurrentes, qu’en pratique comme base de réalisation de langages de programmation ou d’architectures concurrentes.

Actor model theory

In theoretical computer science, Actor model theory concerns theoretical issues for the Actor model. Actors are the primitives that form the basis of the Actor model of concurrent digital computation. In response to a message that it receives, an Actor can make local decisions, create more Actors, send more messages, and designate how to respond to the next message received. Actor model theory incorporates theories of the events and structures of Actor computations, their proof theory, and denotational models.

Passage de messages

Le modèle de passage de messages (message passing en anglais) est un modèle de communication entre ordinateurs ou entre processus à l'intérieur d'un même ordinateur. Il réalise l’envoi de messages simples. Il constitue la couche de base des Middleware Orientés Messages. Au-dessus de cette couche, on trouve d'autres couches de middleware de plus en plus perfectionnées et qui sont : La (message queueing en anglais) qui ajoute la notion de persistance au passage de messages ; Le modèle par abonnement (publish-subscribe en anglais), qui utilise les fonctions du passage de messages ou des files d'attente de message et qui ajoute la notion d’anonymat et d’abonnement.

Actor model and process calculi

In computer science, the Actor model and process calculi are two closely related approaches to the modelling of concurrent digital computation. See Actor model and process calculi history. There are many similarities between the two approaches, but also several differences (some philosophical, some technical): There is only one Actor model (although it has numerous formal systems for design, analysis, verification, modeling, etc.

Indeterminacy in concurrent computation

Indeterminacy in concurrent computation is concerned with the effects of indeterminacy in concurrent computation. Computation is an area in which indeterminacy is becoming increasingly important because of the massive increase in concurrency due to networking and the advent of many-core computer architectures. These computer systems make use of arbiters which gives rise to indeterminacy. Patrick Hayes [1973] argued that the "usual sharp distinction that is made between the processes of computation and deduction, is misleading".

Afficher plus

Séances de cours associées (20)

Le modèle de l'acteur : principes de la programmation réactive

Couvre le modèle d'acteur, mettant l'accent sur le message asynchrone passant et modifiant le comportement d'un acteur.

Le modèle de l'acteur : principes de la programmation réactive

Présente le modèle d'acteur, expliquant l'identité, le comportement et le message asynchrone des acteurs.

Surveillance du cycle de vie et le noyau d'erreur

Couvre la surveillance du cycle de vie, la manipulation des erreurs et la tolérance aux défauts dans la programmation réactive.

Classifications structurées: Arbres de décision et renforcement

Explore les arbres de décision, l'élimination excessive, les techniques stimulantes et leurs applications pratiques dans la modélisation prédictive.

Messagerie de l'acteur Sémantique

Couvre la sémantique du traitement des messages dans les acteurs d'Akka, mettant l'accent sur l'encapsulation et la collaboration des acteurs.

Afficher plus

Concepts associés (32)

Modèle d'acteur

Actor model theory

Passage de messages

Actor model and process calculi

Indeterminacy in concurrent computation

Afficher plus