

最近的文章
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+ 语言的基本
如何编写 C++ 20 协程(Coroutines)
·3244 字·7 分钟
编程语言
C++
C++20 带着 Coroutines 来了! 花了一两周的时间后,我想写写 C++20 协程的基本用法,
条分缕析 Raft 算法(续):日志压缩和性能优化
·5388 字·11 分钟
计算机科学
分布式
条分缕析 Raft 算法
·6576 字·14 分钟
计算机科学
分布式
软件架构基础 5 架构特性识别与实战: 订餐系统
·4288 字·9 分钟
软件工程
架构
《软件架构基础(Fundamentals of Software Architecture)》读书笔记(5)