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

Surveillance du cycle de vie et le noyau d'erreur

Description

Cette séance de cours couvre les principes de la programmation réactive, en mettant l'accent sur la surveillance du cycle de vie et le noyau d'erreur. Il explique comment les acteurs peuvent observer les transitions, gérer les défaillances et gérer des données importantes pour assurer la fiabilité du système et la tolérance aux défauts.

Source officielle

Concepts associés (19)

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.

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".

Panique du noyau

vignette|upright=1|Panique d'un noyau Linux QEMU. vignette|upright=1|Panique d'un noyau Darwin macOS. vignette|upright=1|Panique d'un système Linux sur écran d'information de la RATP. La panique du noyau (kernel panic) est un mécanisme de signalement d'erreur système du noyau d'un système d'exploitation, en particulier UNIX, GNU/Linux ou macOS. La panique du noyau peut intervenir dans des circonstances diverses, qui normalement traduisent toutes des erreurs impossibles à corriger et à ignorer et interdisant la poursuite du fonctionnement de l'ordinateur.

Afficher plus

Séances de cours associées (11)

Manipulation des défaillances de l'acteur

Couvre la manipulation des défaillances dans les systèmes asynchrones en utilisant le modèle d'acteur et discute de la supervision, de la résilience et du cycle de vie des acteurs.

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.

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.

Opérations de chaînes : bases et méthodes

Couvre les bases et les méthodes des opérations de chaîne en Python, y compris le découpage, l'indexation et le formatage.

Principes fondamentaux de la programmation orientée objet

Couvre les bases de la programmation orientée objet en Python, y compris les objets, les classes, l'héritage et la gestion des entrées/sorties.

Afficher plus

Concepts associés (19)

Modèle d'acteur

Actor model theory

Actor model and process calculi

Indeterminacy in concurrent computation

Panique du noyau

Afficher plus