旧事重提之CAP定理

问题之由来

我第一次听说mongodb、hbase这些分布式数据库的时候,正是我学习mysql的时候,在那个遥远的年代,mysql可是java web项目的标配,恰如今日hadoop之于大数据。高可用、弹性扩展,分布式数据库带来了种种眼花缭乱令人目眩的特性,深深吸引着当时涉世未深而又孤陋寡闻的我,然而零基础转行大数据又处处碰壁,屡战屡败之后,才有一个大数据项目组给了一个降薪的offer让去给他们做前端。

囊中羞涩前途未卜,应该接受这个降薪的offer么?几乎毫不犹豫的,我开始了flash开发之旅

学习大数据时,CAP定理是我最早接触的概念,在一段时间里,它对我一直都是金科玉律,每看到一个系统,我都会推断它到底是AP的还是CP的,直到我最近突然想到一个问题:

一直都说zookeeper是强一致性的(实际上,zookeeper的一致性是Sequential consistency,等有机会了再讲),mongodb的replica set也可以设置为强一致性,但是它们又能通过leader选举等方法保证高可用,那么岂不是说zookeeper和mongodb完全满足了CAP的三个特性?

一时间云波诡谲扑朔迷离,于是我决定重新审视一下CAP定理。

CAP定理的来龙去脉

CAP定理(CAP theorem)既然叫做“定理”而不是公理或者猜想,那就说明它是可以被证明的。现在比较流行的说法是,Brewer最早做出了推测,而Seth Gilbert和Nancy Lynch在《Brewer’s Conjecture and the Feasibility of Consistent, Available, Partition-Tolerant Web Services》中做出了证明。

zookeeper、mongodb和CAP的A

在证明里,A是被定义为every request received by a non-failing node in the system must result in a response。总体来说,定义过于简洁,理解过于多样。

  1. 比如,在mongodb里,使用它的客户端以后,所有的写请求都发给了primary,但是假如我能把一个写请求直接发给secondary,它会怎么处理?如果secondary返回了一个错误,说“喂,我们secondary不接受写请求”,这种情况算不算它“result in a response”?
  2. 再比如,如果发生网络隔离,一台被孤立的zookeeper服务器就变成了looking状态,把一个读或者写请求发给了它,它返回一个错误,说“我已经六神无主了,你还是找别人吧”,这种情况算不算它“result in a response”?

如果这些都不算的话,那么zookeeper和mongodb replica set都不满足CAP的A,但是它们又都是高可用的,因为上述情况下,client都能正确处理,应用程序都能正常运行。

关于CAP中A的正确理解,还敬请持续关注这个问题

CAP定理的严格证明

CAP定理正确不正确呢?在我看来,从公理上来看是显而易见的,从定理上来看是暧昧不明的。
为了读懂《Brewer’s Conjecture and the Feasibility of Consistent, Available, Partition-Tolerant Web Services》,我先找了Lynch阿姨的《Distributed Algorithms》看了两天,然而发现异步网络的定理1还算合理,然而推论1.1就云山雾罩,半同步网络的定理2更是不知所云。实在才疏学浅,所以这个问题也forward给其他大神了,期待更好的回答。
同时,外国几位老哥也对CAP定理的证明存在着质疑,大家有兴趣可以围观一下。
https://maniagnosis.crsr.net/2010/09/some-misconceptions-about-cap-theorem.html
http://markburgess.org/blog_cap.html

后记

经过这件小事,我产生了系统性的学习分布式系统的想法,倒是让我始料未及。

原文作者:大神带我来搬砖
爱好历史和武侠,专注java、大数据的程序员小哥哥。
学习资料共享,技术问题讨论,希望和大家一起交流进步。

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 151,511评论 1 330
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 64,495评论 1 273
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 101,595评论 0 225
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 42,558评论 0 190
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 50,715评论 3 270
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 39,672评论 1 192
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 31,112评论 2 291
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 29,837评论 0 181
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 33,417评论 0 228
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 29,928评论 2 232
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 31,316评论 1 242
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 27,773评论 2 234
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 32,253评论 3 220
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 25,827评论 0 8
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 26,440评论 0 180
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 34,523评论 2 249
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 34,583评论 2 249

推荐阅读更多精彩内容