分布式系统与一致性协议

本贴最后更新于 1647 天前,其中的信息可能已经渤澥桑田

CAP 原理

CAP 原理被奉为分布式系统的设计准则. 这是在分布式届无人不知无人不晓的.

  • C: Consistency(一致性) 这里的一致性特指的是强一致性, 通俗的讲, 就是所有节点上的数据时时刻刻保持同步. 也就是原子读写. 所有的读写请求都好像是经全局排序过的一样, 写后面的读一定能读到前面写的内容.
  • A: Availability(可用性) 任何非故障的节点都应该在有限的时间内给出请求的响应, 这里不关心请求是否成功.
  • P: Tolerance to the partition of network(分区容忍性) 当发生网络分区的时候(也就是节点见无法通讯), 在丢失任意多消息的情况下, 系统仍然能够正常的工作.

但是我们也清楚的是在现实的分布式系统中, 三种是不可兼得的. 以下是直观的说明:
          AP 满足但 C 不满足 如果既要求系统共可用性又要求分区容错性, 那么就要放弃一致性了. 因为一旦发生网络分区, 节点之间将无法通讯. 为了满足可用性, 没个节点就只能用本地数据进行服务的提供. 这样就会导致数据的不一致.
          CP 满足但 A 不满足 如果要求数据在各个服务器上是强一致性的, 然后网络分区了会导致同步时间无限延长, 那么如此一来可用性就得不到保障了.
          CA 满足但 P 不满足 如果不存在网络分区, 那么强一致性和可用性是可以满足的.

一致性

什么是一致性? 在分布式存储系统中通常会通过维护多个副本来进行容错, 以此来提高系统的可用性. 但是一致性这个词不管是中文还是英文在计算机的不同领域有着不同的含义:

  • Coherence 这个词只出现在 Cache Coherence 中, 其所关注的是多核共享内存的 CPU 架构下, 各个核的 Cache 上的数据应如何保持一致.
  • Consensus 是共识, 它强调的是多个提议者就某件事情达成共识, 其所关注的是达成共识的过程, 例如 Paxos, Raft 选举等.
  • Consistency 广义上讲, 描述了系统本身的不变量的维护程度对上层业务客户端的影响, 以及该系统的并发状态会向客户端暴露什么样的异常. CAP, ACID 中的 C 都是这个意思.
    分布式的一致性通俗的讲就是不同的副本服务器认可同一份数据. 一旦这些服务器对某份数据达成了一致, 那么该决定便是最终决定.
    一致性与结果的正确性没有关系, 而是对外呈现的状态是否一致(统一). 例如所有节点都达成一个错误的共识也是一致性的一种表现.
    一致性协议解决的正是这样的问题, 它能使的一组机器像一个整体一样工作, 即使其中的一些机器发生了错误, 也能正常的工作.
    一致性协议是在复制状态机(Replicated State Machines, RSM)的背景下提出的, 在这之前, 我们先了解一下一致性模型.
    ###一致性模型
    在很多人看来, 银行间的转账应该是强一致性的, 但是仔细分析一下就会发现, 小王向小张转账 1000 元, 小王的账户扣除了 1000 元, 此时小张并一定会同步收到 1000, 可能会存在一个不一致的时间窗口. 也就是小王的账户中扣除了 1000 元, 小张还没收到 1000.
    在我们的世界中, 网络分区是任何时刻, 任何地点都有可能正在或者即将发生的. 交换机, 网卡, 主机硬件, 操作系统, 磁盘, 虚拟化层和语言运行时间都会延误, 丢弃, 复制或者重新排序我们的信息. 那么我们需呀直观的正确性去让自己的软件按照确定的规则运行.
  • 分布式
    78 引用 • 149 回帖 • 4 关注
  • RAFT
    2 引用
  • PAXOS
    6 引用 • 2 回帖
  • CAP

    CAP 指的是在一个分布式系统中, Consistency(一致性)、 Availability(可用性)、Partition tolerance(分区容错性),三者不可兼得。

    11 引用 • 5 回帖 • 552 关注

相关帖子

欢迎来到这里!

我们正在构建一个小众社区,大家在这里相互信任,以平等 • 自由 • 奔放的价值观进行分享交流。最终,希望大家能够找到与自己志同道合的伙伴,共同成长。

注册 关于
请输入回帖内容 ...

推荐标签 标签

  • Telegram

    Telegram 是一个非盈利性、基于云端的即时消息服务。它提供了支持各大操作系统平台的开源的客户端,也提供了很多强大的 APIs 给开发者创建自己的客户端和机器人。

    5 引用 • 35 回帖 • 1 关注
  • 倾城之链
    23 引用 • 66 回帖 • 93 关注
  • golang

    Go 语言是 Google 推出的一种全新的编程语言,可以在不损失应用程序性能的情况下降低代码的复杂性。谷歌首席软件工程师罗布派克(Rob Pike)说:我们之所以开发 Go,是因为过去 10 多年间软件开发的难度令人沮丧。Go 是谷歌 2009 发布的第二款编程语言。

    491 引用 • 1383 回帖 • 370 关注
  • WebComponents

    Web Components 是 W3C 定义的标准,它给了前端开发者扩展浏览器标签的能力,可以方便地定制可复用组件,更好的进行模块化开发,解放了前端开发者的生产力。

    1 引用 • 25 关注
  • InfluxDB

    InfluxDB 是一个开源的没有外部依赖的时间序列数据库。适用于记录度量,事件及实时分析。

    2 引用 • 47 关注
  • Sublime

    Sublime Text 是一款可以用来写代码、写文章的文本编辑器。支持代码高亮、自动完成,还支持通过插件进行扩展。

    10 引用 • 5 回帖 • 2 关注
  • Python

    Python 是一种面向对象、直译式电脑编程语言,具有近二十年的发展历史,成熟且稳定。它包含了一组完善而且容易理解的标准库,能够轻松完成很多常见的任务。它的语法简捷和清晰,尽量使用无异义的英语单词,与其它大多数程序设计语言使用大括号不一样,它使用缩进来定义语句块。

    534 引用 • 671 回帖
  • IBM

    IBM(国际商业机器公司)或万国商业机器公司,简称 IBM(International Business Machines Corporation),总公司在纽约州阿蒙克市。1911 年托马斯·沃森创立于美国,是全球最大的信息技术和业务解决方案公司,拥有全球雇员 30 多万人,业务遍及 160 多个国家和地区。

    16 引用 • 53 回帖 • 104 关注
  • SendCloud

    SendCloud 由搜狐武汉研发中心孵化的项目,是致力于为开发者提供高质量的触发邮件服务的云端邮件发送平台,为开发者提供便利的 API 接口来调用服务,让邮件准确迅速到达用户收件箱并获得强大的追踪数据。

    2 引用 • 8 回帖 • 429 关注
  • Sillot

    Sillot (汐洛)孵化自思源笔记,致力于服务智慧新彖乄,具有彖乄驱动、极致优雅、开发者友好的特点
    Github 地址:https://github.com/Hi-Windom/Sillot

    12 引用 • 26 关注
  • Node.js

    Node.js 是一个基于 Chrome JavaScript 运行时建立的平台, 用于方便地搭建响应速度快、易于扩展的网络应用。Node.js 使用事件驱动, 非阻塞 I/O 模型而得以轻量和高效。

    138 引用 • 268 回帖 • 219 关注
  • 大疆创新

    深圳市大疆创新科技有限公司(DJI-Innovations,简称 DJI),成立于 2006 年,是全球领先的无人飞行器控制系统及无人机解决方案的研发和生产商,客户遍布全球 100 多个国家。通过持续的创新,大疆致力于为无人机工业、行业用户以及专业航拍应用提供性能最强、体验最佳的革命性智能飞控产品和解决方案。

    2 引用 • 14 回帖 • 2 关注
  • Firefox

    Mozilla Firefox 中文俗称“火狐”(正式缩写为 Fx 或 fx,非正式缩写为 FF),是一个开源的网页浏览器,使用 Gecko 排版引擎,支持多种操作系统,如 Windows、OSX 及 Linux 等。

    7 引用 • 30 回帖 • 457 关注
  • 面试

    面试造航母,上班拧螺丝。多面试,少加班。

    324 引用 • 1395 回帖
  • 尊园地产

    昆明尊园房地产经纪有限公司,即:Kunming Zunyuan Property Agency Company Limited(简称“尊园地产”)于 2007 年 6 月开始筹备,2007 年 8 月 18 日正式成立,注册资本 200 万元,公司性质为股份经纪有限公司,主营业务为:代租、代售、代办产权过户、办理银行按揭、担保、抵押、评估等。

    1 引用 • 22 回帖 • 674 关注
  • Oracle

    Oracle(甲骨文)公司,全称甲骨文股份有限公司(甲骨文软件系统有限公司),是全球最大的企业级软件公司,总部位于美国加利福尼亚州的红木滩。1989 年正式进入中国市场。2013 年,甲骨文已超越 IBM,成为继 Microsoft 后全球第二大软件公司。

    103 引用 • 126 回帖 • 454 关注
  • 星云链

    星云链是一个开源公链,业内简单的将其称为区块链上的谷歌。其实它不仅仅是区块链搜索引擎,一个公链的所有功能,它基本都有,比如你可以用它来开发部署你的去中心化的 APP,你可以在上面编写智能合约,发送交易等等。3 分钟快速接入星云链 (NAS) 测试网

    3 引用 • 16 回帖 • 2 关注
  • frp

    frp 是一个可用于内网穿透的高性能的反向代理应用,支持 TCP、UDP、 HTTP 和 HTTPS 协议。

    15 引用 • 7 回帖
  • Ngui

    Ngui 是一个 GUI 的排版显示引擎和跨平台的 GUI 应用程序开发框架,基于
    Node.js / OpenGL。目标是在此基础上开发 GUI 应用程序可拥有开发 WEB 应用般简单与速度同时兼顾 Native 应用程序的性能与体验。

    7 引用 • 9 回帖 • 339 关注
  • abitmean

    有点意思就行了

    14 关注
  • NGINX

    NGINX 是一个高性能的 HTTP 和反向代理服务器,也是一个 IMAP/POP3/SMTP 代理服务器。 NGINX 是由 Igor Sysoev 为俄罗斯访问量第二的 Rambler.ru 站点开发的,第一个公开版本 0.1.0 发布于 2004 年 10 月 4 日。

    311 引用 • 546 回帖 • 57 关注
  • QQ

    1999 年 2 月腾讯正式推出“腾讯 QQ”,在线用户由 1999 年的 2 人(马化腾和张志东)到现在已经发展到上亿用户了,在线人数超过一亿,是目前使用最广泛的聊天软件之一。

    45 引用 • 557 回帖 • 224 关注
  • 笔记

    好记性不如烂笔头。

    303 引用 • 777 回帖
  • TextBundle

    TextBundle 文件格式旨在应用程序之间交换 Markdown 或 Fountain 之类的纯文本文件时,提供更无缝的用户体验。

    1 引用 • 2 回帖 • 45 关注
  • 996
    13 引用 • 200 回帖 • 8 关注
  • B3log

    B3log 是一个开源组织,名字来源于“Bulletin Board Blog”缩写,目标是将独立博客与论坛结合,形成一种新的网络社区体验,详细请看 B3log 构思。目前 B3log 已经开源了多款产品:SymSoloVditor思源笔记

    1090 引用 • 3467 回帖 • 297 关注
  • gRpc
    10 引用 • 8 回帖 • 48 关注