Designing Distributed Systems with TLA+ • Hillel Wayne • YOW! 2019

This presentation was recorded at YOW! 2019. #GOTOcon #YOW Hillel Wayne - Author of Practical TLA @hillelwayne3236 RESOURCES ABSTRACT #Concurrency is hard. How do you test your system when it’s spread across three services and four languages? #UnitTesting and type systems only take us so far. At some point we need new tools. Enter TLA . #TLA is a specification language that describes your system and the properties you want. This makes it a fantastic complement to testing: not only can you check your code, you can check your design, too! TLA is especially effective for testing concurrency problems, like stalling, race conditions, and dropped messages. This talk will introduce the ideas behind TLA and how it works, with a focus on practical examples. We’ll also show how it caught complex bugs in our systems, as well as how you can start applying it to your own work. [...] RECOMMENDED BOOKS Hillel Wayne • Practical TLA • Alex Cowan • Hypothesis-Driven Development • Kevlin Henney • 97 Things Every Programmer Should Know • Matthew Skelton & Manuel Pais • Team Topologies • Donald G. Reinertsen • The Principles of Product Development Flow • #SoftwareEngineering #Programming #SoftwareDevelopment #SoftwareTechnology #HillelWayne #YOWcon Looking for a unique learning experience? Attend the next GOTO conference near you! Get your ticket at Sign up for updates and specials at SUBSCRIBE TO OUR CHANNEL - new videos posted almost daily.