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

Concept

Modèle d'acteur

Séances de cours associées (25)

Concurrence avec les exécuteurs

Couvre les bases des propriétés de proximité, Executors, Objets runnables, ForkJoinPool, la gestion de l'exécution des tâches, les contextes d'exécution dans Scala, et la simplification de l'exécution des tâches.

Propriétés de la monnaie: Bases et serrures

Explore les propriétés de proximité, les conditions de course et les bases des écluses.

Sans titre

Concurrence et mémoire transactionnelle en Dafny Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre Dafny pour la vérification formelle, la concordance de modélisation, les règles de sécurité, la vivacité et les concepts de mémoire transactionnelle.

Introduction aux processeurs multicœurs Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre le passage aux processeurs multicœurs, à l'architecture de mémoire de processeur, aux défis de concurrence et aux problèmes de synchronisation dans l'informatique moderne.