工业级 Raft 一致性算法实现 BRAFT
- 授权协议: Apache 2.0
- 开发语言: C/C++
- 操作系统: 跨平台
- 软件首页: https://github.com/brpc/braft
- 软件文档: https://github.com/brpc/braft/blob/master/docs/cn/overview.md
- 官方下载: https://github.com/brpc/braft
软件介绍
BRAFT 是百度开源的基于 BRPC 的 Raft 一致性算法和可复制状态机的工业级 C++ 实现。最初是为了解决百度各业务线上的状态服务单点隐患，后来则帮助百度工程师独立实现支持高负载和低延迟的分布式系统。
BRAFT 在百度内部被广泛用于构建高可用性系统，例如：
存储系统：Key-Value、Block、Object、File ...
SQL 存储：HA MySQL cluster、distributed transactions、NewSQL systems ...
Meta services：Various master modules、Lock services ...
BRAFT 有以下特点：
BRAFT 是一个功能完备且经过可靠性验证的 Raft 实现，支持 configuration change、prevote、leader transfer 等特性。
BRAFT 追求的核心目标是高性能，在实现的很多环节都进行了精细优化，比如无锁任务队列、log 的批量提交和执行以及一些逻辑原地执行等；
接口简单容易理解，支持自定义扩展其中的 storage，拥有比较完善的错误回调。用简单的接口实现简单的概念，BRAFT 配合 BRPC 即使经验不丰富的工程师也可以很容易的快速构建出健壮的分布式系统。
在 BRAFT 中，百度主要采用了以下几点方法来提高性能:
数据流是全并发的， leader 写本地磁盘和向 follower 复制数据是完全同步的。
尽可能的提高局部性，充分发挥不同层面的 cache 的作用。
尽可能隔离不同硬件的访问，通过流水线的形式提高吞吐。
尽可能的降低锁临界区大小， 关键路径上采用 lock-free/wait-free 算法。
数学与生活（修订版）
[日] 远山启 / 吕砚山、李诵雪、马杰、莫德举 / 人民邮电出版社 / 2014-10 / 42.00元
数学是高等智慧生物的共有思维，是对真理的探索，对矛盾的怀疑，但它绝非一门晦涩难懂的学问，非应试目的的数学是纯粹而朴实的智慧。《数学与生活》为日本数学教育改革之作，旨在还原被考试扭曲的数学，为读者呈现数学的真正容颜，消除应试教学模式带来的数学恐惧感。 本书既包含了初等数学的基础内容，又包含了微分、积分、微分方程、费马定理、欧拉公式等高等数学的内容。作者运用了多个学科的知识。结合日常生活和东西方......一起来看看 《数学与生活（修订版）》 这本书的介绍吧!
