Skip to main content

TLA

2022


TLA+ 入门教程(6):Raft
·1768 字·4 分钟
分布式系统 TLA
与上一节讨论 Paxos 时一样,本文不介绍 Raft 协议基本知识,读者需已经了
TLA+ 入门教程(5):Paxos
·2648 字·6 分钟
分布式系统 TLA
1、Paxos 简介 # 上一节我们讨论了两阶段提交的 TLA+ 规约。众所
TLA+ 入门教程(4):两阶段提交
·2838 字·6 分钟
分布式系统 TLA
1、两阶段提交 # 本章要学习的是用在婚姻和数据库领域的分布式算
TLA+入门教程(3):《虎胆龙威3》倒水谜题
·1968 字·4 分钟
分布式系统 TLA
1、倒水问题的 TLA+ 描述 # 本节我们来看一个更有趣、更具体的例子,
TLA+ 入门教程(2):一个简单的例子
·3194 字·7 分钟
分布式系统 TLA
本次 TLA+ 入门教程系列将分为几个部分,帮助你从零掌握 TLA+ 语言的基本
TLA+ 入门教程(1):形式化方法简介
·3565 字·8 分钟
分布式系统 TLA
本次 TLA+ 入门教程系列将分为几个部分,帮助你从零掌握 TLA+ 语言的基本