Distributed systems are difficult to build and test for two main reasons: partial failure and asynchrony. These two realities of distributed systems must be addressed to create a correct system, and oftentimes the resulting systems have a high degree of complexity. Because of this complexity, testing and verifying these systems is critically important.
Caitie McCaffrey shares strategies for proving a system is correct, including both formal methods and more practical forms of testing, such as fault injection and property-based testing, ensuring you are confidant that your systems are doing the right thing.
Caitie McCaffrey is a backend brat and distributed systems diva at Twitter. Previously, Caitie spent the majority of her career at 343 Industries, Microsoft Game Studios, and HBO building the large-scale services and systems that power the entertainment industry. Caitie has a degree in computer science from Cornell University and has worked on several video games including Gears of War 2, Gears of War 3, Halo 4, and Halo 5. She maintains a blog at CaitieM.com and frequently discusses technology on Twitter.
©2017, O'Reilly Media, Inc. • (800) 889-8969 or (707) 827-7019 • Monday-Friday 7:30am-5pm PT • All trademarks and registered trademarks appearing on oreilly.com are the property of their respective owners. • email@example.com