Description du livre
Apprenez à concevoir des programmes complexes, à corriger des programmes et à résoudre des problèmes avant d'écrire une seule ligne de code. Ce livre est une ressource pratique et complète sur la programmation TLA+ avec des exemples riches et complexes. TLA+ vous montre comment utiliser TLA+ pour spécifier un système complexe et tester la conception elle-même pour détecter les bogues, vous apprendrez comment même un court TLA+ spec peut trouver des bogues critiques. Commencez par vous mouiller les pieds avec un exemple de TLA+ utilisé dans un système de virement bancaire, pour voir comment il vous aide à concevoir, tester et construire une meilleure application. Ensuite, obtenez quelques notions de base sur les opérateurs TLA+, la logique, les fonctions, PlusCal, les modèles et la concurrence. En cours de route, vous découvrirez comment organiser vos plans et comment spécifier les systèmes distribués et leur cohérence éventuelle.
Enfin, vous mettrez en pratique ce que vous apprendrez avec quelques applications d'études de cas pratiques, en appliquant TLA+ à une grande variété de problèmes pratiques : de la performance des algorithmes et des structures de données au code métier et à MapReduce. Après avoir lu et utilisé ce livre, vous aurez tout ce dont vous avez besoin pour démarrer avec TLA+ et comment l'utiliser dans vos applications critiques.
Ce que vous apprendrez
Lecture et écriture des spécifications TLAVérifier les spécifications pour les invariants cassés, les conditions de course et les bogues de viveness.Concevoir des systèmes concurrentiels et distribuésDécouvrez comment TLA+ peut vous aider dans votre travail de production quotidien
A qui s'adresse ce livre ?
Ceux qui ont de l'expérience en programmation et qui sont novices en conception et en TLA+.