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.
1 view
0
0
4 weeks ago 00:02:31 1
A Minecraft Movie | Official Trailer
2 months ago 00:13:41 5
Dimash - The Story of One Sky
2 months ago 00:03:15 1
Dimash Qudaibergen - “SMOKE“ OFFICIAL MV
2 months ago 11:11:11 1
Very Powerful Music for Plants & Humans 🌱 Relaxing Plant Growth Music During the Night
2 months ago 00:02:25 1
JOKER - Final Trailer - Now Playing In Theaters
2 months ago 00:03:33 1
Rafta Rafta - Official Music Video | Raj Ranjodh | Atif Aslam Ft. Sajal Ali | Tarish Music
2 months ago 00:01:13 1
Warhammer 40,000: Mechanicus | Teaser Trailer
2 months ago 01:00:23 1
8D Bilateral Hypnosis | Deep Sleep Music - Lucid Dreaming
2 months ago 00:02:40 1
SHAMBHALA | Official Nepali Movie Trailer 2024 | Thinley Lhamo, Sonam Topden, Karma, Min Bham
2 months ago 00:27:02 1
The Ultimate HOW TO PLAY - Grand Archive TCG
2 months ago 00:02:20 1
BEETLEJUICE BEETLEJUICE | Official Trailer
2 months ago 00:00:40 1
The Great Gatsby - HD ’Who Is This Gatsby?’ Clip - Official Warner Bros. UK
2 months ago 00:03:51 1
SHEFITA - Broken
2 months ago 00:04:01 1
SHEFITA - Enta [Balqees Fathi cover]
2 months ago 00:06:36 1
No Woman No Cry ft. Gilberto Gil & Stephen Marley | Playing For Change | Song Around The World
2 months ago 00:01:02 1
Juror #2 - Featurette - Warner Bros. UK & Ireland
2 months ago 00:02:27 1
Sara Kajari - Video (Official Music Video)
2 months ago 00:13:29 1
श्री हनुमान चालीसा | Sonu Nigam | Shree Hanuman Chalisa | Bhakti Bhajan | Global Music Junction
2 months ago 00:04:21 1
PATAKE - SUNANDA SHARMA (FULL VIDEO) Punjabi 2023
2 months ago 00:03:05 1
Ferdi - 5H37 (Official video)
2 months ago 01:28:28 1
UFO Contact from the Pleiades – Part 2: Interview with Brit Elders
2 months ago 00:07:19 1
GDSII Import into ADS Layout | Stream in GDS Using Keysight ADS
2 months ago 00:30:03 1
Minecraft Interior & Exterior: Western Village (House, Bank, Saloon)
2 months ago 00:04:01 1
FIFTY VINC - INTO THE DARK (DARK AGGRESSIVE BULGARIAN CHOIR RAP BEAT)