使用TLA +进行分布式系统的建模与调试设计
这篇文章讲述了为什么要对系统进行建模，并使用TLA +框架详尽地测试这些模型/设计。在第一部分中，我将讨论为什么建模您的设计是重要和有益的，在第二部分我将解释为什么TLA +是一个非常合适的建模
5 年 前
分布式事务有自己的架构语言吗？TLA +简介
TLA +是一种正式的规范语言。它是设计系统和算法的工具，然后以编程方式验证这些系统没有严重错误。它是相当于蓝图的软件。通常用于设计 分布式事务 系统，亚马逊等公司普遍使用该语言规范设计他们的
5 年 前
分布式系统基础论文 - muratbuffalo
》 为什么逻辑时钟很容易 。Carlos Baquero和NunoPreguiça，ACM Queue 2016。 混合逻辑时钟 TLA + / PlusCal中的逻辑时钟和矢量时钟建模
3 年 前
本周Github有趣的项目如lobe-chat等
图像、查看日志。
[/list]
一种可执行规范语言，具有基于动作时序逻辑 (TLA) 的令人愉快的工具。
Quint 是一种现代规范形式化语言，特别适合分布式系统，例如区块链协议
4 个月 前
请不要使用Markdown编写文档 - buttondown
Practical TLA +。不要犯我的错误。不要在Markdown中编写文档。
4 年 前
软件工程师的企业易读性 - matt
"没有团队精神"，或者更糟糕的是，违反了工作过程必须易读的监管要求（见：SOX、SOC、ISO和许多其他TLA）。 虽然权力主要在于管理员阶层，但工程师们并不是无能为力。通过参与可读性工作，他们有机
1 年 前
Salesforce背后的CRM企业软件应用 - retool
），ECM（企业客户管理）以及其他许多TLA（三个字母的缩写）。 最终诞生了-CRM（客户关系管理）。 为什么要使用CRM？ 存储销售详细信息是开展任何业务的基本要求。您整天与各种实体进行互动-现有
3 年 前
Criteo在大规模数据工程优化上经验 - Nam
该展示可能性。这就是我们所说的投标请求。 每过 一分钟 ，Criteo 的 TLA（顶级应用程序）就会通过我们的 Kafka 发送——这是一个事件流平台，有 4 亿 次投标请求、 200 万 次显示和
1 年 前