由买买提看人间百态

boards

本页内容为未名空间相应帖子的节选和存档,一周内的贴子最多显示50字,超过一周显示500字 访问原贴
Programming版 - 说说CAP吧
相关主题
请问MySQL的replication不通过应用程序能达到strong consistenc (转载)ambiguous operators in c++
oracle coherence问个函数指针指向操作符的问题
请问java有类似fsync之类的方法?C语言里面的register变量能否进行取地址操作? (转载)
goodbug忽悠的能力,刚学会fsync就用上了[C++] 入门级问题 increment and decrement operators
真心请教,究竟怎么设计才能处理每秒100万次的写操作why copy assignment operator returns non-const type?
有什么类似Cygwin的Unix工具集不需要安装即可使用?Scala的operator似乎不太好读
国务院关于印发 新一代人工智能发展规划的通知阿里系统崩溃,没人讨论下
求学习新语言的方法TeacherWei 的订票机的问题
相关话题的讨论汇总
话题: cap话题: fsync话题: 系统话题: durability话题: latency
进入Programming版参与讨论
1 (共1页)
t**********1
发帖数: 550
1
随便网上搜搜,第一页就是这篇文章。
当然你要会搜。
http://www.infoq.com/articles/cap-twelve-years-later-how-the-ru
你是不是好奇我的关键字?其实三个词。
CAP theorem time
这个CAP所谓的3选2,不用看他的证明,用鼻子一闻就知道他扯淡。为啥?忽略了时间
变量。
C和A其实都是时间相关。尤其是A。系统设计多了的,稍加思考就都应该能想出来。时
间是死穴。而且没人敢碰。多长时间不响应算是不A?这个根本没人敢说。事实上各种
需求本来就不一样。因此作者才会说3选2是misleading。
t**********1
发帖数: 550
2
系统fail,都是时间问题。
设计者必须接受,任何系统都可能fail。不管你多努力。只要理论failure rate达到指
标即可。
比如订票系统,如果支付系统故障,就只能停工。你能做到只能是支付系统故障排除后
你能恢复就好了。
还有一个就是带病运行的评估。其实数据库fail以前的最后一个transaction就很麻烦
。commit了没有?估计这个事儿能想到的都不多。
能想到也不见得就要做工作。如果一年出一次,大不了一张票。或者不客气的说,一个
顾客被fuck up。选择忽略是正解。生意人100%都是这么干的。

【在 t**********1 的大作中提到】
: 随便网上搜搜,第一页就是这篇文章。
: 当然你要会搜。
: http://www.infoq.com/articles/cap-twelve-years-later-how-the-ru
: 你是不是好奇我的关键字?其实三个词。
: CAP theorem time
: 这个CAP所谓的3选2,不用看他的证明,用鼻子一闻就知道他扯淡。为啥?忽略了时间
: 变量。
: C和A其实都是时间相关。尤其是A。系统设计多了的,稍加思考就都应该能想出来。时
: 间是死穴。而且没人敢碰。多长时间不响应算是不A?这个根本没人敢说。事实上各种
: 需求本来就不一样。因此作者才会说3选2是misleading。

g****u
发帖数: 252
3
CAP作为一个定理,正确性是毋庸置疑的。CAP作为一个系统设计的指导原则,
我觉得也是没有问题的。问题在于一堆incompetent的程序员偷换概念以后
把CAP定理作为自己系统做不快的挡箭排来使。
这文章很长,也没个摘要。我给你们把最重要的一句话摘出来了:
CAP prohibits only a tiny part of the design space:
perfect availability and consistency in the presence of partitions,
which are rare.
我再解释一下partitions are rare这个claim。CAP作为一个定理,对其中出现
的概念有它自己的定义。CAP里的partition的定义是:
A network partition refers to the failure of a network device that
causes a network to be split.
不是说系统里有几台机器就叫partition了,而是几台机器互相之间因为网络
故障连不上了才叫partition。这个P是一个很强的限制。之所以没有改成更
弱的形式,比如不用partition而是说distribution,是因为改了之后他那个
定理数学上就证不出来了。
还有就是CAP定理的表述里没有提到半个字的speed,或者throughput。

【在 t**********1 的大作中提到】
: 随便网上搜搜,第一页就是这篇文章。
: 当然你要会搜。
: http://www.infoq.com/articles/cap-twelve-years-later-how-the-ru
: 你是不是好奇我的关键字?其实三个词。
: CAP theorem time
: 这个CAP所谓的3选2,不用看他的证明,用鼻子一闻就知道他扯淡。为啥?忽略了时间
: 变量。
: C和A其实都是时间相关。尤其是A。系统设计多了的,稍加思考就都应该能想出来。时
: 间是死穴。而且没人敢碰。多长时间不响应算是不A?这个根本没人敢说。事实上各种
: 需求本来就不一样。因此作者才会说3选2是misleading。

l**********n
发帖数: 8443
4
在cap定理之前呢?

【在 g****u 的大作中提到】
: CAP作为一个定理,正确性是毋庸置疑的。CAP作为一个系统设计的指导原则,
: 我觉得也是没有问题的。问题在于一堆incompetent的程序员偷换概念以后
: 把CAP定理作为自己系统做不快的挡箭排来使。
: 这文章很长,也没个摘要。我给你们把最重要的一句话摘出来了:
: CAP prohibits only a tiny part of the design space:
: perfect availability and consistency in the presence of partitions,
: which are rare.
: 我再解释一下partitions are rare这个claim。CAP作为一个定理,对其中出现
: 的概念有它自己的定义。CAP里的partition的定义是:
: A network partition refers to the failure of a network device that

t**********1
发帖数: 550
5
其实关键的是这个:
In its classic interpretation, the CAP theorem ignores latency, although in
practice, latency and partitions are deeply related. Operationally, the
essence of CAP takes place during a timeout, a period when the program must
make a fundamental decision-the partition decision:
最扯蛋的是timeout。

【在 g****u 的大作中提到】
: CAP作为一个定理,正确性是毋庸置疑的。CAP作为一个系统设计的指导原则,
: 我觉得也是没有问题的。问题在于一堆incompetent的程序员偷换概念以后
: 把CAP定理作为自己系统做不快的挡箭排来使。
: 这文章很长,也没个摘要。我给你们把最重要的一句话摘出来了:
: CAP prohibits only a tiny part of the design space:
: perfect availability and consistency in the presence of partitions,
: which are rare.
: 我再解释一下partitions are rare这个claim。CAP作为一个定理,对其中出现
: 的概念有它自己的定义。CAP里的partition的定义是:
: A network partition refers to the failure of a network device that

t**********1
发帖数: 550
6
换句话说,如果我做一个系统,每年只处理一个transaction。我claim是CAP的,谁都
不敢说不是。
那么问题来了,既然数学上能够证明是等价问题,你不能说我做慢了是,做快了就不是
了。

in
must

【在 t**********1 的大作中提到】
: 其实关键的是这个:
: In its classic interpretation, the CAP theorem ignores latency, although in
: practice, latency and partitions are deeply related. Operationally, the
: essence of CAP takes place during a timeout, a period when the program must
: make a fundamental decision-the partition decision:
: 最扯蛋的是timeout。

a*******o
发帖数: 290
7
这个CAP,我没弄太明白。打个比方,是不是说找不到一个女孩子性格好,气质好,又
能吃苦的?富养的可能性格好气质好,但不能吃苦。穷养的可能性格好能吃苦,但气质
不够雅。中间的可能有气质,也能吃苦,但性格就太强势了。
c***n
发帖数: 809
8
P本来就是任意长,电缆断了要修几天, 你的transaction timeout也是几天。
你们就会堂吉柯德,自己树个靶子然后自娱自乐。

in
must

【在 t**********1 的大作中提到】
: 其实关键的是这个:
: In its classic interpretation, the CAP theorem ignores latency, although in
: practice, latency and partitions are deeply related. Operationally, the
: essence of CAP takes place during a timeout, a period when the program must
: make a fundamental decision-the partition decision:
: 最扯蛋的是timeout。

b*******g
发帖数: 603
9
理论不行的,工程实践必然不行。理论可以的,不等于工程就容易。理论说光速最快,
所以你不能超光速旅行。然而实际中我们离光速旅行还有十万八千里。
工程上有很多限制,资源是有限的。理论上一个新结点上来就瞬间数据复制。实际上网
络就那么快,硬盘就那么快。为了不影响其他节点的正常使用还可能要 throttle. 几
个小时能同步就不错。所以连加机器都要未雨绸缪找人少的时候。
工程是取舍,要跟着应用要求走,基本的要求不能随便改。availability没法到 100%.
consistency却可以,不是什么应用都可以讲概率的。钱的应用,宁可慢100倍,也不
能出错。你说我出错概率小于万分之一,然并卵。所以理论上 tiny的东西,实际上是
死路很正常。

【在 c***n 的大作中提到】
: P本来就是任意长,电缆断了要修几天, 你的transaction timeout也是几天。
: 你们就会堂吉柯德,自己树个靶子然后自娱自乐。
:
: in
: must

t**********1
发帖数: 550
10
说一千,道一万,能把自己的系统分析明白就行。这是最重要的一种素质。
系统设计的要对。很多时候系统设计的不对问题是不可避免的。比如ACID DB的last
transaction的问题。如果DB server不提供这个功能,或者你的client没有相应处理,
系统缺陷是必然的。至于有没有损失损失多大凭的是运气。
现成的轮子,不是一个简单的claim就能概括的。比如cassandra的durability的问题,
其实没那么容易。如果你连数据写到哪里都不知道,不可能做出正确的假设。
就这么简单。
相关主题
有什么类似Cygwin的Unix工具集不需要安装即可使用?ambiguous operators in c++
国务院关于印发 新一代人工智能发展规划的通知问个函数指针指向操作符的问题
求学习新语言的方法C语言里面的register变量能否进行取地址操作? (转载)
进入Programming版参与讨论
h**********c
发帖数: 4120
11
这个cap的坑还是有一定深度的,我老也来搅一棍
首先实时这个概念不应该被理解为blocking synchronization,就是你不答应我就赖你
们家楼道不走。
实时在现代的操作系统里首先强调要同步时钟,我在学校real time system 上课时候
有一本小册子讲scheduler,现在只记得monotone scheduler一点点印象。本质就是要
求分布式系统同步tick,最少是tick 的sequence no.
同步时钟以后,time out 才有可能,不如说好今年2015我的生命还有50年打个比方,
你不答应我,到了2015+50+1年,你就应该知道我就死在们家楼道里了。
当时上课主要用的是qnx,可惜这么好的东西没有搞起来。这门课的教授也英年早逝,
估计是被狗逼拉稀债(laxigile)气的,净整些beach boy,PM auntie骗奶奶的rrsp.

【在 t**********1 的大作中提到】
: 随便网上搜搜,第一页就是这篇文章。
: 当然你要会搜。
: http://www.infoq.com/articles/cap-twelve-years-later-how-the-ru
: 你是不是好奇我的关键字?其实三个词。
: CAP theorem time
: 这个CAP所谓的3选2,不用看他的证明,用鼻子一闻就知道他扯淡。为啥?忽略了时间
: 变量。
: C和A其实都是时间相关。尤其是A。系统设计多了的,稍加思考就都应该能想出来。时
: 间是死穴。而且没人敢碰。多长时间不响应算是不A?这个根本没人敢说。事实上各种
: 需求本来就不一样。因此作者才会说3选2是misleading。

M*****n
发帖数: 2301
12

这倒不是,就算一年你处理一个TXN,你也不可能达到CAP,假设P,那么CA你不可能兼
得,请老魏好好想想。
当然CAP只是在一个很严格限定条件下的定理,在实践上有太多的东西要考虑,很多条
件要relax,比如你说的latency,timeout之类,不能生搬硬套,动辄CAP的人,恰恰说明
不太懂CAP, 这点上我同意你
现在的问题是CAP被很多人overread,有的人甚至连ACID的C和CAP的C都搞不清楚,
CAP说的人很多,但真正理解的人不多。

【在 t**********1 的大作中提到】
: 换句话说,如果我做一个系统,每年只处理一个transaction。我claim是CAP的,谁都
: 不敢说不是。
: 那么问题来了,既然数学上能够证明是等价问题,你不能说我做慢了是,做快了就不是
: 了。
:
: in
: must

t**********1
发帖数: 550
13
其实关键是定义问题。比如那个P,如果定义成永久split不可恢复的话。那确实不可兼
顾。
但是这不是废话么?就好象说任何系统在某种条件下都会fail一样。有啥意义?
比如我说一年一个transaction的系统是CAP的。你argue说打核战争直接退回了石器时
代。你的系统就不work了。
所以看到人家的设计,不要问会不会fail。应该问什么情况下会fail就好了。
其实现在所有系统都是带病运行的问题。

说明

【在 M*****n 的大作中提到】
:
: 这倒不是,就算一年你处理一个TXN,你也不可能达到CAP,假设P,那么CA你不可能兼
: 得,请老魏好好想想。
: 当然CAP只是在一个很严格限定条件下的定理,在实践上有太多的东西要考虑,很多条
: 件要relax,比如你说的latency,timeout之类,不能生搬硬套,动辄CAP的人,恰恰说明
: 不太懂CAP, 这点上我同意你
: 现在的问题是CAP被很多人overread,有的人甚至连ACID的C和CAP的C都搞不清楚,
: CAP说的人很多,但真正理解的人不多。

h**********c
发帖数: 4120
14
这个说法不太工程师
所有的桥梁涵洞机车锅炉都有使用铭牌,限高限重,使用负荷,年限。
现在的laxigile屁也搞不出来

【在 t**********1 的大作中提到】
: 其实关键是定义问题。比如那个P,如果定义成永久split不可恢复的话。那确实不可兼
: 顾。
: 但是这不是废话么?就好象说任何系统在某种条件下都会fail一样。有啥意义?
: 比如我说一年一个transaction的系统是CAP的。你argue说打核战争直接退回了石器时
: 代。你的系统就不work了。
: 所以看到人家的设计,不要问会不会fail。应该问什么情况下会fail就好了。
: 其实现在所有系统都是带病运行的问题。
:
: 说明

w**z
发帖数: 8232
15
system design 很重要的是make tradeoff。 CAP的核心是不可能三个都满足,作为一
个架构师需要做出正确的判断,哪个可以relax and by how much.
t**********1
发帖数: 550
16
真较真的话,除了P可以随便堆机器以外,剩下那两个你哪个都很难满足。

【在 w**z 的大作中提到】
: system design 很重要的是make tradeoff。 CAP的核心是不可能三个都满足,作为一
: 个架构师需要做出正确的判断,哪个可以relax and by how much.

b*******g
发帖数: 603
17
因为你根本就弄不明白定义啥意思。

【在 t**********1 的大作中提到】
: 真较真的话,除了P可以随便堆机器以外,剩下那两个你哪个都很难满足。
t**********1
发帖数: 550
18
你弄得明白,把论文拿出来给我指指定义在什么地方?你要是真读过那论文才见鬼了。
你先给我说说,C* durability你是啥时候搞明白的?在那之前你念叨CAP多长时间了?
人贵在要脸,贵在自知之明。我提问题你要回答,撒泼只能显示下流。

【在 b*******g 的大作中提到】
: 因为你根本就弄不明白定义啥意思。
w**z
发帖数: 8232
19
C* 的durability 有啥特别的?就是写进commit log 呗,和大多数db做法一样。你是
不是又想扯上fsync啥的?如果不是搞底层的,不知道flush 和sync的区别也没什么奇
怪的。

【在 t**********1 的大作中提到】
: 你弄得明白,把论文拿出来给我指指定义在什么地方?你要是真读过那论文才见鬼了。
: 你先给我说说,C* durability你是啥时候搞明白的?在那之前你念叨CAP多长时间了?
: 人贵在要脸,贵在自知之明。我提问题你要回答,撒泼只能显示下流。

t**********1
发帖数: 550
20
对,就是要扯fsync。不懂fsync就是不懂durability。难道不是么?
人家的wiki特意强调了fsync。你自己看看。而且强调了default是periodic。
真懂durability不会不懂fsync。
也不会闹那个commitlog写入就durable的笑话了。
看来你现在还是不懂durability。又闹了一次笑话。

【在 w**z 的大作中提到】
: C* 的durability 有啥特别的?就是写进commit log 呗,和大多数db做法一样。你是
: 不是又想扯上fsync啥的?如果不是搞底层的,不知道flush 和sync的区别也没什么奇
: 怪的。

相关主题
[C++] 入门级问题 increment and decrement operators阿里系统崩溃,没人讨论下
why copy assignment operator returns non-const type?TeacherWei 的订票机的问题
Scala的operator似乎不太好读mxnet/tf的一个比较blog
进入Programming版参与讨论
t****n
发帖数: 263
21
魏大师,你还是先把你那单机1m/s transaction的天顶星技术做出来再扯别的吧!cap
这么低级的玩意就留给我们人类操心吧。

【在 t**********1 的大作中提到】
: 随便网上搜搜,第一页就是这篇文章。
: 当然你要会搜。
: http://www.infoq.com/articles/cap-twelve-years-later-how-the-ru
: 你是不是好奇我的关键字?其实三个词。
: CAP theorem time
: 这个CAP所谓的3选2,不用看他的证明,用鼻子一闻就知道他扯淡。为啥?忽略了时间
: 变量。
: C和A其实都是时间相关。尤其是A。系统设计多了的,稍加思考就都应该能想出来。时
: 间是死穴。而且没人敢碰。多长时间不响应算是不A?这个根本没人敢说。事实上各种
: 需求本来就不一样。因此作者才会说3选2是misleading。

w**z
发帖数: 8232
22
呵呵,我敢肯定C*我比你懂得多得多。你就放狗搜了一下,就来瞎忽悠,人古德吧都
承认flush和sync没搞懂,你就死抓住不放。

【在 t**********1 的大作中提到】
: 对,就是要扯fsync。不懂fsync就是不懂durability。难道不是么?
: 人家的wiki特意强调了fsync。你自己看看。而且强调了default是periodic。
: 真懂durability不会不懂fsync。
: 也不会闹那个commitlog写入就durable的笑话了。
: 看来你现在还是不懂durability。又闹了一次笑话。

t**********1
发帖数: 550
23
C*我确实懂得不如你多。这个我从来没否认过。
但是我想知道什么我知道怎么能最有效知道。你看看我2年多前发的帖子。是不是古德
霸开侃durability的时候我就去搜Cassandra Durability fsync去了?
因为我知道谈durability必需要看fsync。你现在还不知道。现在你明白了吧?

【在 w**z 的大作中提到】
: 呵呵,我敢肯定C*我比你懂得多得多。你就放狗搜了一下,就来瞎忽悠,人古德吧都
: 承认flush和sync没搞懂,你就死抓住不放。

w**z
发帖数: 8232
24
你怎么觉得我不知道?别太自以为是了。

【在 t**********1 的大作中提到】
: C*我确实懂得不如你多。这个我从来没否认过。
: 但是我想知道什么我知道怎么能最有效知道。你看看我2年多前发的帖子。是不是古德
: 霸开侃durability的时候我就去搜Cassandra Durability fsync去了?
: 因为我知道谈durability必需要看fsync。你现在还不知道。现在你明白了吧?

t**********1
发帖数: 550
25
你自己诚实一点,你啥时候知道的?你难道知道的比我早?果真如此古德霸扯淡的时候
你咋不劝劝他?

【在 w**z 的大作中提到】
: 你怎么觉得我不知道?别太自以为是了。
M*****n
发帖数: 2301
26

CAP在理论上的意义还是有的,CAP之前,还有很多人设计P情况下CA都具备的
分布式系统.
除了象牙塔里面的学究,没有人会这么argue吧。
这是当然了,工程实践上要考虑的东西远远超过CAP,又不是考试。

【在 t**********1 的大作中提到】
: 其实关键是定义问题。比如那个P,如果定义成永久split不可恢复的话。那确实不可兼
: 顾。
: 但是这不是废话么?就好象说任何系统在某种条件下都会fail一样。有啥意义?
: 比如我说一年一个transaction的系统是CAP的。你argue说打核战争直接退回了石器时
: 代。你的系统就不work了。
: 所以看到人家的设计,不要问会不会fail。应该问什么情况下会fail就好了。
: 其实现在所有系统都是带病运行的问题。
:
: 说明

t**********1
发帖数: 550
27
其实,谁敢担保现在就没有人设计P情况下CA都具备的分布式系统?
现在还挑战图灵停机问题的可能还有呢。
与其扯CAP的那个蛋,能正确的分析系统就不错了。这就是我的观点。

【在 M*****n 的大作中提到】
:
: CAP在理论上的意义还是有的,CAP之前,还有很多人设计P情况下CA都具备的
: 分布式系统.
: 除了象牙塔里面的学究,没有人会这么argue吧。
: 这是当然了,工程实践上要考虑的东西远远超过CAP,又不是考试。

M*****n
发帖数: 2301
28
CAP理论是要理解,但理解的目的是运用,不是扯大旗唬人,
正确分析大系统很不容易,这需要大量实践经验。
魏老师是实践派,我看还是别揪者人家什么flush/fsync不放了,纯属
意气之争没意思,有空多谈谈技术问题
貌似这个flush/fsync还是我最先指出好虫程序这个问题的,没想到
被抓了2年多,连wdong都不来了。

【在 t**********1 的大作中提到】
: 其实,谁敢担保现在就没有人设计P情况下CA都具备的分布式系统?
: 现在还挑战图灵停机问题的可能还有呢。
: 与其扯CAP的那个蛋,能正确的分析系统就不错了。这就是我的观点。

t**********1
发帖数: 550
29
说实话那个论文我确实没读过。网上看了下,据说出奇的晦涩。还有人指责过程中貌似
有概念被换来换去的现象。
如果永久split不能保证CA,需要这么大劲证明么?
我这人,遇到疯子一般还是绕着走。两年来,主动挑衅的一直不是我。但是,这事现在
还没了结。

【在 M*****n 的大作中提到】
: CAP理论是要理解,但理解的目的是运用,不是扯大旗唬人,
: 正确分析大系统很不容易,这需要大量实践经验。
: 魏老师是实践派,我看还是别揪者人家什么flush/fsync不放了,纯属
: 意气之争没意思,有空多谈谈技术问题
: 貌似这个flush/fsync还是我最先指出好虫程序这个问题的,没想到
: 被抓了2年多,连wdong都不来了。

b*******g
发帖数: 603
30
因为太监实在没啥好抓我的,CAP这名词都是从我这里听来的。我不懂flush sync区别
,并不影响我使用 Cassandra. 而这逼试图设计一个 CAP都满足的系统,就是设计永动
机,被我打脸了。

【在 M*****n 的大作中提到】
: CAP理论是要理解,但理解的目的是运用,不是扯大旗唬人,
: 正确分析大系统很不容易,这需要大量实践经验。
: 魏老师是实践派,我看还是别揪者人家什么flush/fsync不放了,纯属
: 意气之争没意思,有空多谈谈技术问题
: 貌似这个flush/fsync还是我最先指出好虫程序这个问题的,没想到
: 被抓了2年多,连wdong都不来了。

相关主题
[合集] static const代替define的performance tradeoff在哪里?oracle coherence
请问怎么记录tcp连接的时候从发出synack到收到ack的时间?请问java有类似fsync之类的方法?
请问MySQL的replication不通过应用程序能达到strong consistenc (转载)goodbug忽悠的能力,刚学会fsync就用上了
进入Programming版参与讨论
t**********1
发帖数: 550
31
先造谣计数器不支持transaction,现在又造谣CAP了。
你告诉我,我一个单机核心的,如何CAP都能满足?
除了满嘴污言秽语和一脑子屎以外,你还剩下啥了?

【在 b*******g 的大作中提到】
: 因为太监实在没啥好抓我的,CAP这名词都是从我这里听来的。我不懂flush sync区别
: ,并不影响我使用 Cassandra. 而这逼试图设计一个 CAP都满足的系统,就是设计永动
: 机,被我打脸了。

b*******g
发帖数: 603
32
糖葫芦串一串,无限 Scale。你丫的傻逼言论已经忘了吧。

【在 t**********1 的大作中提到】
: 先造谣计数器不支持transaction,现在又造谣CAP了。
: 你告诉我,我一个单机核心的,如何CAP都能满足?
: 除了满嘴污言秽语和一脑子屎以外,你还剩下啥了?

t**********1
发帖数: 550
33
糖葫芦串一串,无限 Scale。就是说能满足CAP?
我说过永远都能提供服务么?

【在 b*******g 的大作中提到】
: 糖葫芦串一串,无限 Scale。你丫的傻逼言论已经忘了吧。
M*****n
发帖数: 2301
34
CAP的理论证明是10几年前PODC上的,都是理论上的证明,倒不一定要看,
知道结论就好了
实践派关心的P有多久,是不是所谓“永久”,P recover之后如果处理txn log的
conflict,
A如何用latency表达,latency到什么程度才叫timeout失去了A,当中有什么tradeoff
可以用,
那不是那篇论文所关心的,或者说是另外一个问题。
其实你和好虫都是实践派,只是领域不同罢了,能好好说还是好好说吧

【在 t**********1 的大作中提到】
: 说实话那个论文我确实没读过。网上看了下,据说出奇的晦涩。还有人指责过程中貌似
: 有概念被换来换去的现象。
: 如果永久split不能保证CA,需要这么大劲证明么?
: 我这人,遇到疯子一般还是绕着走。两年来,主动挑衅的一直不是我。但是,这事现在
: 还没了结。

w**z
发帖数: 8232
35
这又啥不好意思承认的,说到底层的东西,没你懂很正常,我又不是吃这碗饭的。你啥
时候见我参与这样的讨论?同理,设计 high throughput distributed system, 你也
只是纸上谈兵而已,低调一点,没坏处。
一个flush, sync 扯两年,还不够?

【在 t**********1 的大作中提到】
: 你自己诚实一点,你啥时候知道的?你难道知道的比我早?果真如此古德霸扯淡的时候
: 你咋不劝劝他?

t**********1
发帖数: 550
36
很多理论证明一目了然的东西,但是并不代表证明就容易。
至于我和古德霸现在看来不能好好说了,因为主动挑衅的总是他。满嘴喷粪的总是他。
所以我会搞他的。

tradeoff

【在 M*****n 的大作中提到】
: CAP的理论证明是10几年前PODC上的,都是理论上的证明,倒不一定要看,
: 知道结论就好了
: 实践派关心的P有多久,是不是所谓“永久”,P recover之后如果处理txn log的
: conflict,
: A如何用latency表达,latency到什么程度才叫timeout失去了A,当中有什么tradeoff
: 可以用,
: 那不是那篇论文所关心的,或者说是另外一个问题。
: 其实你和好虫都是实践派,只是领域不同罢了,能好好说还是好好说吧

b*******g
发帖数: 603
37
是你提出这个傻逼言论我才友善提示你击败了 CAP theorem. 这之前你连这个名词都没
听说过。
没听说过 CAP theorem对高并发必然是外行, period.

【在 t**********1 的大作中提到】
: 糖葫芦串一串,无限 Scale。就是说能满足CAP?
: 我说过永远都能提供服务么?

j*a
发帖数: 14423
38
我喜欢你的说话风格!

tradeoff

【在 M*****n 的大作中提到】
: CAP的理论证明是10几年前PODC上的,都是理论上的证明,倒不一定要看,
: 知道结论就好了
: 实践派关心的P有多久,是不是所谓“永久”,P recover之后如果处理txn log的
: conflict,
: A如何用latency表达,latency到什么程度才叫timeout失去了A,当中有什么tradeoff
: 可以用,
: 那不是那篇论文所关心的,或者说是另外一个问题。
: 其实你和好虫都是实践派,只是领域不同罢了,能好好说还是好好说吧

t**********1
发帖数: 550
39
多无耻的话你说不出来?反正又不需要什么证据。
你只要每个帖子都喷粪就好了。看看你今天发的贴,有一贴媒体女性生殖器的么?
这些证据,迟早都要提交的。

【在 b*******g 的大作中提到】
: 是你提出这个傻逼言论我才友善提示你击败了 CAP theorem. 这之前你连这个名词都没
: 听说过。
: 没听说过 CAP theorem对高并发必然是外行, period.

h**********c
发帖数: 4120
40
cap在real time system里是解决了的问题

【在 t**********1 的大作中提到】
: 随便网上搜搜,第一页就是这篇文章。
: 当然你要会搜。
: http://www.infoq.com/articles/cap-twelve-years-later-how-the-ru
: 你是不是好奇我的关键字?其实三个词。
: CAP theorem time
: 这个CAP所谓的3选2,不用看他的证明,用鼻子一闻就知道他扯淡。为啥?忽略了时间
: 变量。
: C和A其实都是时间相关。尤其是A。系统设计多了的,稍加思考就都应该能想出来。时
: 间是死穴。而且没人敢碰。多长时间不响应算是不A?这个根本没人敢说。事实上各种
: 需求本来就不一样。因此作者才会说3选2是misleading。

相关主题
goodbug忽悠的能力,刚学会fsync就用上了国务院关于印发 新一代人工智能发展规划的通知
真心请教,究竟怎么设计才能处理每秒100万次的写操作求学习新语言的方法
有什么类似Cygwin的Unix工具集不需要安装即可使用?ambiguous operators in c++
进入Programming版参与讨论
b*******g
发帖数: 603
41
有兴趣看太监击败CAP的糖葫芦架构可以看这里。你这傻逼记性太差,需要不时打脸。
http://www.mitbbs.com/article_t/Programming/31286477.html

【在 t**********1 的大作中提到】
: 多无耻的话你说不出来?反正又不需要什么证据。
: 你只要每个帖子都喷粪就好了。看看你今天发的贴,有一贴媒体女性生殖器的么?
: 这些证据,迟早都要提交的。

t**********1
发帖数: 550
42
仔细看看吧。一串MQ而已。每个message带uniqueID。
以后别说我MQ抄袭你的了。
我哪里说击败CAP了?你就不能要点脸?帖子又带脏字。你的嘴到底多脏?这世界上竟
然有这样的人渣!

【在 b*******g 的大作中提到】
: 有兴趣看太监击败CAP的糖葫芦架构可以看这里。你这傻逼记性太差,需要不时打脸。
: http://www.mitbbs.com/article_t/Programming/31286477.html

b*******s
发帖数: 5216
43
Qnx内核太特殊,又要收费,工具集也比较落后。

【在 h**********c 的大作中提到】
: 这个cap的坑还是有一定深度的,我老也来搅一棍
: 首先实时这个概念不应该被理解为blocking synchronization,就是你不答应我就赖你
: 们家楼道不走。
: 实时在现代的操作系统里首先强调要同步时钟,我在学校real time system 上课时候
: 有一本小册子讲scheduler,现在只记得monotone scheduler一点点印象。本质就是要
: 求分布式系统同步tick,最少是tick 的sequence no.
: 同步时钟以后,time out 才有可能,不如说好今年2015我的生命还有50年打个比方,
: 你不答应我,到了2015+50+1年,你就应该知道我就死在们家楼道里了。
: 当时上课主要用的是qnx,可惜这么好的东西没有搞起来。这门课的教授也英年早逝,
: 估计是被狗逼拉稀债(laxigile)气的,净整些beach boy,PM auntie骗奶奶的rrsp.

t**********1
发帖数: 550
44
Linux做硬实时的一样,很多应用,包括网络应用,可以保证是硬实时。

【在 b*******s 的大作中提到】
: Qnx内核太特殊,又要收费,工具集也比较落后。
t****n
发帖数: 263
45
有了您linear scale的并行操作shared data的技术,cap当然屁用没有了。先给个
benchmark看看吧!

【在 t**********1 的大作中提到】
: 随便网上搜搜,第一页就是这篇文章。
: 当然你要会搜。
: http://www.infoq.com/articles/cap-twelve-years-later-how-the-ru
: 你是不是好奇我的关键字?其实三个词。
: CAP theorem time
: 这个CAP所谓的3选2,不用看他的证明,用鼻子一闻就知道他扯淡。为啥?忽略了时间
: 变量。
: C和A其实都是时间相关。尤其是A。系统设计多了的,稍加思考就都应该能想出来。时
: 间是死穴。而且没人敢碰。多长时间不响应算是不A?这个根本没人敢说。事实上各种
: 需求本来就不一样。因此作者才会说3选2是misleading。

t**********1
发帖数: 550
46
我说了,你证明有significant non-linear latency,我当众认输,再也不来了。
如果你证明不了,你在任何问题上都可以满嘴喷粪。我也懒的理你。
现在的孩子,家教不好,我认为主要是父母坏人变老了。

【在 t****n 的大作中提到】
: 有了您linear scale的并行操作shared data的技术,cap当然屁用没有了。先给个
: benchmark看看吧!

t****n
发帖数: 263
47
没工夫和你个有打小报告,比划glock唬人家教的太监废话。事实说话。没benchmark滚
蛋。

【在 t**********1 的大作中提到】
: 我说了,你证明有significant non-linear latency,我当众认输,再也不来了。
: 如果你证明不了,你在任何问题上都可以满嘴喷粪。我也懒的理你。
: 现在的孩子,家教不好,我认为主要是父母坏人变老了。

q*c
发帖数: 9453
48
你在自己家机器上弄个 几十行小程序, 看看一个 core 独占数度是啥, 8 狗 core
一起全开速度是不是 x8?
这虽然不能直接证明你的线性 scale 理论, 但是好歹有个侧面证明。 我今天倒霉
oncall, 不然我就写个小 java code,
开 1 thread modify bytes array 然后开 8 份, 看看是不是完全 linear 快 8 倍.
就 20 行程序的事情。 谁来干干?

【在 t**********1 的大作中提到】
: 我说了,你证明有significant non-linear latency,我当众认输,再也不来了。
: 如果你证明不了,你在任何问题上都可以满嘴喷粪。我也懒的理你。
: 现在的孩子,家教不好,我认为主要是父母坏人变老了。

t**********1
发帖数: 550
49
这个latency的影响只有cache miss。
你想想还会有啥?

【在 q*c 的大作中提到】
: 你在自己家机器上弄个 几十行小程序, 看看一个 core 独占数度是啥, 8 狗 core
: 一起全开速度是不是 x8?
: 这虽然不能直接证明你的线性 scale 理论, 但是好歹有个侧面证明。 我今天倒霉
: oncall, 不然我就写个小 java code,
: 开 1 thread modify bytes array 然后开 8 份, 看看是不是完全 linear 快 8 倍.
: 就 20 行程序的事情。 谁来干干?

q*c
发帖数: 9453
50
人类一思考, 上帝就发笑。 这么多年历史, 我发现不能考虑周全的时候实在太多了。
直接上结果, law of physics 是我唯一相信的。 特别是我现在在做大数据分析, 越
发觉得对于复杂系统那人的分析基本都是伪科学。 你喜欢啥就能分析得到啥结果。
计算机无数东西同时在系统里面进行, 太复杂了

【在 t**********1 的大作中提到】
: 这个latency的影响只有cache miss。
: 你想想还会有啥?

相关主题
问个函数指针指向操作符的问题why copy assignment operator returns non-const type?
C语言里面的register变量能否进行取地址操作? (转载)Scala的operator似乎不太好读
[C++] 入门级问题 increment and decrement operators阿里系统崩溃,没人讨论下
进入Programming版参与讨论
b*******g
发帖数: 603
51
只要可以鸡鸡没有,就没有不可能。

了。

【在 q*c 的大作中提到】
: 人类一思考, 上帝就发笑。 这么多年历史, 我发现不能考虑周全的时候实在太多了。
: 直接上结果, law of physics 是我唯一相信的。 特别是我现在在做大数据分析, 越
: 发觉得对于复杂系统那人的分析基本都是伪科学。 你喜欢啥就能分析得到啥结果。
: 计算机无数东西同时在系统里面进行, 太复杂了

t**********1
发帖数: 550
52
你除了满嘴喷粪贴,就没有别的可说了。
你这么下流,你父母,老婆,孩子知道么?

【在 b*******g 的大作中提到】
: 只要可以鸡鸡没有,就没有不可能。
:
: 了。

t**********1
发帖数: 550
53
愿意试你自己试。
1. 记住你确保每个线程分布在独立的core上
2. hyper threading关掉
3. turbo boost最好也关掉。

了。

【在 q*c 的大作中提到】
: 人类一思考, 上帝就发笑。 这么多年历史, 我发现不能考虑周全的时候实在太多了。
: 直接上结果, law of physics 是我唯一相信的。 特别是我现在在做大数据分析, 越
: 发觉得对于复杂系统那人的分析基本都是伪科学。 你喜欢啥就能分析得到啥结果。
: 计算机无数东西同时在系统里面进行, 太复杂了

k******n
发帖数: 184
54

不用做测试了,无论是在自己的操作系统还是用multi2sim模拟都不成立。
当年我在 multi-core CPU arch&programming 课上就做过这种junior level research
report, java的多线程和c++ pthread都写过。从1个core到8个core, 每个core从1-4
个线程, 从基本的unix指令到scientific computing算法都测试过。

【在 q*c 的大作中提到】
: 你在自己家机器上弄个 几十行小程序, 看看一个 core 独占数度是啥, 8 狗 core
: 一起全开速度是不是 x8?
: 这虽然不能直接证明你的线性 scale 理论, 但是好歹有个侧面证明。 我今天倒霉
: oncall, 不然我就写个小 java code,
: 开 1 thread modify bytes array 然后开 8 份, 看看是不是完全 linear 快 8 倍.
: 就 20 行程序的事情。 谁来干干?

t**********1
发帖数: 550
55
还每个cote 4个线程。你知道你在说啥么?
怎么这几个刚出校门的不知道谦虚谨慎也就罢了。连起码廉耻都没有了?

research
-4

【在 k******n 的大作中提到】
:
: 不用做测试了,无论是在自己的操作系统还是用multi2sim模拟都不成立。
: 当年我在 multi-core CPU arch&programming 课上就做过这种junior level research
: report, java的多线程和c++ pthread都写过。从1个core到8个core, 每个core从1-4
: 个线程, 从基本的unix指令到scientific computing算法都测试过。

k******n
发帖数: 184
56

连threads per core/threads per processor估计你都不知道吧, 我做multi-core/
multi-threads性能benchmark的时候你还在吃屎呢。 不知廉耻的是你,看着这两天的
帖子你脸都被抽肿了这幅模样真是好笑,你的战友都要抛弃你了, 这年头太监没文化
一样跪。

【在 t**********1 的大作中提到】
: 还每个cote 4个线程。你知道你在说啥么?
: 怎么这几个刚出校门的不知道谦虚谨慎也就罢了。连起码廉耻都没有了?
:
: research
: -4

M*****n
发帖数: 2301
57
吵了半天终于有个可以看的link了
好虫的方案就是典型的NoSQL DB的东西,star replication, commit after
quorum writes,failover to new master after election, 这些没什么可以说的。
貌似魏老师的方案属于chain replication, 这种replication用的比较少,但是也有。
相对于star replication,chain replication也有自己的优势,就是master
负载小一些。
不过我没有看明白魏老师的设计里面,何时给client这个commit,看魏老师的意思
三段DC之间的replication是async的,这样如何保证不丢数据 if master fail?
如果replication是sync的,write只有到commit到backend server,txn才
算commit to client,这类似于NoSQL里面consistency model = ack from all nodes,
在NoSQL里面这种write latency是蛮大的,在魏老师的设计里面,
这个latency会是多少。希望魏老师解释一下。
还有个所谓的计数器,大概是魏老师的另一个设计,希望有人能贴一下link。
anyway,就事论事,不管魏老师的设计如何,link里面他没说要击败CAP。

【在 b*******g 的大作中提到】
: 有兴趣看太监击败CAP的糖葫芦架构可以看这里。你这傻逼记性太差,需要不时打脸。
: http://www.mitbbs.com/article_t/Programming/31286477.html

t****n
发帖数: 263
58
有了linear scalability我们还管cap干嘛?

有。
nodes,

【在 M*****n 的大作中提到】
: 吵了半天终于有个可以看的link了
: 好虫的方案就是典型的NoSQL DB的东西,star replication, commit after
: quorum writes,failover to new master after election, 这些没什么可以说的。
: 貌似魏老师的方案属于chain replication, 这种replication用的比较少,但是也有。
: 相对于star replication,chain replication也有自己的优势,就是master
: 负载小一些。
: 不过我没有看明白魏老师的设计里面,何时给client这个commit,看魏老师的意思
: 三段DC之间的replication是async的,这样如何保证不丢数据 if master fail?
: 如果replication是sync的,write只有到commit到backend server,txn才
: 算commit to client,这类似于NoSQL里面consistency model = ack from all nodes,

b*******g
发帖数: 603
59
单机CA,加上糖葫芦无延迟复制的Linear scalablity,当然就beat了CAP。

有。
nodes,

【在 M*****n 的大作中提到】
: 吵了半天终于有个可以看的link了
: 好虫的方案就是典型的NoSQL DB的东西,star replication, commit after
: quorum writes,failover to new master after election, 这些没什么可以说的。
: 貌似魏老师的方案属于chain replication, 这种replication用的比较少,但是也有。
: 相对于star replication,chain replication也有自己的优势,就是master
: 负载小一些。
: 不过我没有看明白魏老师的设计里面,何时给client这个commit,看魏老师的意思
: 三段DC之间的replication是async的,这样如何保证不丢数据 if master fail?
: 如果replication是sync的,write只有到commit到backend server,txn才
: 算commit to client,这类似于NoSQL里面consistency model = ack from all nodes,

h**********c
发帖数: 4120
60
有硬实时,就可以保证CAP

【在 t**********1 的大作中提到】
: Linux做硬实时的一样,很多应用,包括网络应用,可以保证是硬实时。
1 (共1页)
进入Programming版参与讨论
相关主题
TeacherWei 的订票机的问题真心请教,究竟怎么设计才能处理每秒100万次的写操作
mxnet/tf的一个比较blog有什么类似Cygwin的Unix工具集不需要安装即可使用?
[合集] static const代替define的performance tradeoff在哪里?国务院关于印发 新一代人工智能发展规划的通知
请问怎么记录tcp连接的时候从发出synack到收到ack的时间?求学习新语言的方法
请问MySQL的replication不通过应用程序能达到strong consistenc (转载)ambiguous operators in c++
oracle coherence问个函数指针指向操作符的问题
请问java有类似fsync之类的方法?C语言里面的register变量能否进行取地址操作? (转载)
goodbug忽悠的能力,刚学会fsync就用上了[C++] 入门级问题 increment and decrement operators
相关话题的讨论汇总
话题: cap话题: fsync话题: 系统话题: durability话题: latency