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.

Essai des comportements dactylographiés d'Akka

Couvre les défis des acteurs de test et démontre le kit de test de comportement dactylographié Akka.

Cohérence événementielle : Acteurs et structures de données

Explore la cohérence éventuelle, les acteurs de Scala, et l'importance de structures de données appropriées pour atteindre la cohérence dans les systèmes distribués.

Concurrent Stack: Mise en œuvre

Explique l'implémentation de référence pour une pile concurrente et l'importance de gérer les problèmes de concurrence.

Acteurs: Evolution et mise en œuvre

Couvre l'évolution des acteurs, les défis des processeurs modernes, les risques de programmation parallèles et les outils de synchronisation de Scala.

Sans titre