Skip to main content

Posts

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+ 语言的基本

2021


如何编写 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)
软件架构基础 4: 你的架构需要考虑的架构特性
·2517 字·6 分钟
软件工程 架构
《软件架构基础(Fundamentals of Software Architecture)》读书笔记(4)
软件架构基础 3: 什么是好的模块化代码?高内聚、低耦合如何衡量?
·3715 字·8 分钟
软件工程 架构
《软件架构基础(Fundamentals of Software Architecture)》读书笔记(3)
软件架构基础 2:架构思维
·2758 字·6 分钟
软件工程 架构
《软件架构基础(Fundamentals of Software Architecture)》读书笔记(2)
软件架构基础 1:基本介绍
·4128 字·9 分钟
软件工程 架构
《软件架构基础(Fundamentals of Software Architecture)》读书笔记(1)

2020


Golang 实现 Paxos 分布式共识算法
·2424 字·5 分钟
计算机科学 分布式
Leveldb 基本介绍和使用指南
·6724 字·14 分钟
计算机科学 分布式存储
系统设计那些事儿:硬盘 I/O
·4049 字·9 分钟
计算机科学 分布式存储
用 Raft 的方式理解 Multi-Paxos
·1834 字·4 分钟
计算机科学 分布式
Raft 作者亲自出的 Raft 试题,你能做对几道?
·3628 字·8 分钟
计算机科学 分布式
Raft 作者出的 Paxos 的试题
·2287 字·5 分钟
计算机科学 分布式