Content
31 Lessons • 0 Quizzes • 0 Challenges
开始之前
- 1
简介
分布式系统入门
- 1
入门
- 2
分布式计算的谬误
- 3
设计分布式系统面临的挑战
- 4
分布式系统中的正确性衡量标准
- 5
系统模型
- 6
故障类型
- 7
精确一次语义的故事
- 8
分布式系统中的失败
- 9
无状态与有状态系统
- 10
分布式系统基础测验
基本概念与定理
- 1
分区
- 2
水平分区的算法
- 3
复制
- 4
主备复制算法
- 5
多主复制算法
- 6
分布式系统中的法定人数
- 7
让AI评估你对复制算法的理解
- 8
分布式系统中的安全保证
- 9
ACID 事务
- 10
CAP 定理
- 11
一致性模型
- 12
CAP 定理的一致性模型
- 13
隔离级别与异常
- 14
隔离级别中的异常预防
- 15
一致性与隔离性
- 16
模型的层级结构
- 17
为什么需要这么多形式化模型?
- 18
分布式系统概念与定理测验
分布式事务
- 1
分布式事务简介
- 2
分布式事务测验
实现隔离
- 1
实现可串行化
- 2
悲观并发控制
- 3
乐观并发控制
- 4
实现快照隔离
- 5
实现完全可串行化快照隔离
- 6
隔离测试题
实现原子性
- 1
难以保证原子性
- 2
两阶段提交(2PC)
- 3
三阶段提交(3PC)
- 4
基于多数派的提交协议
- 5
原子性测验
结束分布式事务
- 1
它们是如何相互关联的
- 2
长期运行的事务与Saga模式
共识
- 1
定义共识问题
- 2
FLP 不可能性
- 3
Paxos 算法
- 4
Paxos 的复杂性
- 5
现实生活中的Paxos
- 6
通过一致性实现的复制状态机
- 7
通过共识实现分布式事务
- 8
Raft 算法简介
- 9
Raft节点之间的通信
- 10
Raft 的实现
- 11
站在巨人的肩膀上
- 12
共识机制测验
时间
- 1
分布式系统中的时间处理
- 2
一个实用的视角
- 3
一个理论视角
- 4
逻辑时钟
- 5
分布式时钟测验
顺序
- 1
全序与偏序
- 2
因果关系的概念
- 3
兰波特时钟
- 4
向量时钟
- 5
版本向量
- 6
点状版本向量
- 7
分布式快照问题
- 8
解决分布式快照问题
- 9
物理时间和逻辑时间:结语
- 10
事件顺序测验
网络通信
- 1
简介
- 2
物理层
- 3
链路层 - 服务
- 4
链路层协议
- 5
网络层
- 6
传输层
- 7
应用层
- 8
退一步思考
- 9
网络编程测验
安全
- 1
简介
- 2
认证
- 3
机密性
- 4
完整性
- 5
密码学入门
- 6
对称/非对称加密与数字签名
- 7
安全测验
安全协议
- 1
传输层安全(TLS)
- 2
公钥基础设施(PKI)
- 3
信任网络(PGP)
- 4
OAuth 协议
- 5
安全协议测验
从理论到实践
- 1
简介
案例研究1:分布式文件系统
- 1
Hadoop 分布式文件系统与 Google 文件系统
- 2
创建和读取文件
- 3
写入和删除文件
- 4
GFS 一致性模型
- 5
分布式文件系统测验
案例研究2:分布式协调服务
- 1
协调服务
- 2
Zookeeper
- 3
ZooKeeper 提供的保证
- 4
Zookeeper 的 ZAB 协议
- 5
ZooKeeper API 的强大原语示例
- 6
分布式协调服务测验
案例研究3:分布式数据存储
- 1
简介
- 2
BigTable/HBase 架构
- 3
HBase 中的追加和读取操作
- 4
HBase 提供的保证
- 5
Cassandra 的数据模型
- 6
Cassandra 集群内部节点通信
- 7
Cassandra 的一致性级别
- 8
Cassandra 中的线性一致性违规问题
- 9
Cassandra 提供的线性一致性保证
- 10
Cassandra 高效执行查询
- 11
Spanner 的数据模型
- 12
Spanner 的架构
- 13
Spanner 使用 TrueTime
- 14
Spanner 操作
- 15
FaunaDB
- 16
分布式数据存储测验
案例研究4:分布式消息系统
- 1
Kafka 简介
- 2
Kafka 调优参数(concept)
- 3
Kafka 的消息保证
- 4
事务、存储布局及其他保证
- 5
分布式消息队列测验
案例研究5:分布式集群管理
- 1
Kubernetes 概览
- 2
管理节点和工作节点的组成部分
- 3
测验
案例研究6:分布式账本
- 1
Corda 简介
- 2
Corda 的数据模型
- 3
Corda 的架构
- 4
Corda 提供的向后兼容性
- 5
分布式账本测验
案例研究7:分布式数据处理系统
- 1
简介
- 2
MapReduce 简介
- 3
MapReduce 的管理者-工作者架构
- 4
Apache Spark 简介
- 5
Apache Spark 中的阶段(Stage)有向无环图(DAG)
- 6
Apache Spark 的优势
- 7
Apache Flink
- 8
Flink 中的时间与水位线
- 9
Flink中的容错机制
- 10
分布式数据处理系统测验
实践与模式
- 1
简介
通信模式
- 1
创建和解析数据
- 2
数据传输
- 3
异步通信的数据存储
- 4
通信模型
协调模式
- 1
协调模式
数据同步
- 1
数据同步
- 2
事件溯源
- 3
变更数据捕获(CDC)
无共享架构
- 1
共享问题及其解决方案
- 2
优点与缺点
分布式锁
- 1
分布式系统中的租约
- 2
防止租赁中的安全风险
兼容性模式
- 1
向后兼容
- 2
保持向后兼容性
应对失败
- 1
错误处理技术
- 2
应用故障处理技术
- 3
重试
- 4
失败的影响力
- 5
背压
- 6
响应背压
分布式追踪
- 1
记录程序的执行
结束本课程
- 1
课程回顾
- 2
一些其他值得探索的内容
Certificate of Completion
Showcase your accomplishment by sharing your certificate of completion.
Course Author:Anonymous User