TLA+ 驱动的规划驱动开发
Learn how to design complex, correct programs and fix problems before writing a single line of code. This book is a practical, comprehensive resource on TLA+ programming with rich, complex examples. Practical TLA+ shows you how to use TLA+ to specify a complex system and test the design itself for bugs. You’ll learn how even a short TLA+ spec can find critical bugs. Start by getting your feet wet with an example of TLA+ used in a bank transfer system, to see how it helps you design, test, and build a better application. Then, get some fundamentals of TLA+ operators, logic, functions, PlusCal, models, and concurrency. Along the way you will discover how to organize your blueprints and how to specify distributed systems and eventual consistency.
Finally, you’ll put what you learn into practice with some working case study applications, applying TLA+ to a wide variety of practical problems: from algorithm performance and data structures to business code and MapReduce. After reading and using this book, you'll have what you need to get started with TLA+ and how to use it in your mission-critical applications.
What You'll Learn Read and write TLA+ specifications Check specs for broken invariants, race conditions, and liveness bugs Design concurrency and distributed systems Learn how TLA+ can help you with your day-to-day production work
Who This Book Is For Those with programming experience who are new to design and to TLA+.
学习如何设计复杂的、正确的程序并在编写任何代码之前修复潜在的问题。这本书是一本关于使用TLA+编程的实用且全面的资源，包含丰富的复杂示例。《实用TLA+》展示了如何使用TLA+来描述一个复杂的系统，并测试自己的设计方案以找出其中存在的bug。 你将了解到即使是简单的TLA+规格也能发现关键的bug。首先通过银行转账系统的例子开始接触TLA+，了解它如何帮助你设计、测试和构建更好的应用程序。然后学习TLA+中的基本运算符、逻辑、函数、PlusCal、模型以及并发机制。在过程中，你会了解到如何整理你的蓝图，并如何描述分布式的系统及最终一致性。 最后，通过一些实际案例研究的应用程序来实践所学内容，将TLA+应用于多种实用问题中：从算法性能和数据结构到商业代码以及MapReduce等。 阅读并使用这本书后，你将拥有开始学习TLA+的基础以及将其应用在关键任务应用程序中的方法。 你将会学到的内容 阅读与编写TLA+规格 检查规格是否存在无效性、竞态条件及生存期bug 设计并发和分布式系统 了解如何利用TLA+帮助日常生产工作 这本书的目标读者是对编程有经验且对设计和TLA+都处于新手阶段的人。
本站不对文件进行储存，仅提供文件链接，请自行下载，本站不对文件内容负责，请自行判断文件是否安全，如发现文件有侵权行为，请联系管理员删除。
Wireless Communications for Power Substations: RF Characterization and Modeling
Projective Geometry: Solved Problems and Theory Review (True PDF,EPUB)
Kingship and Government in Pre-Conquest England c.500–1066
Numerical Algorithms with C
Mathematical Modelling Skills
The Art of Encouragement: How to Lead Teams, Spread Love, and Serve from the Heart (True PDF)
Principles of Cybersecurity
React in Depth (True/Retail EPUB)
The Complete Obsolete Guide to Generative AI (True/Retail EPUB)
IT-Forensik: Ein Grundkurs