Designing Distributed Systems with TLA+
Offered By: GOTO Conferences via YouTube
Course Description
Overview
Explore the power of TLA+ for designing and testing distributed systems in this conference talk from YOW! 2019. Learn how this specification language can help you overcome the challenges of concurrency and test complex systems spread across multiple services and languages. Discover how TLA+ complements unit testing and type systems by allowing you to check both your code and design. Gain insights into detecting and preventing stalling, race conditions, and dropped messages in concurrent systems. Follow along with practical examples as the speaker demonstrates how TLA+ caught complex bugs in real-world scenarios. Get started with applying TLA+ to your own work and improve the reliability of your distributed systems.
Syllabus
Designing Distributed Systems with TLA+ • Hillel Wayne • YOW! 2019
Taught by
GOTO Conferences
Related Courses
Advanced Operating SystemsGeorgia Institute of Technology via Udacity High Performance Computing
Georgia Institute of Technology via Udacity GT - Refresher - Advanced OS
Georgia Institute of Technology via Udacity Distributed Machine Learning with Apache Spark
University of California, Berkeley via edX CS125x: Advanced Distributed Machine Learning with Apache Spark
University of California, Berkeley via edX