说说CAP吧 - 未名空间MITBBS历史存档

D*g2015-12-11 08:12

1 楼

【以下文字转载自 Seattle 讨论区】
发信人: trymitbbs (站在对方的鞋子里~~错了就改正), 信区: Seattle
标题: Re: 求助：父母即将过来住5个半月，买什么医疗保险比较好？
发信站: BBS 未名空间站 (Sun Jan 22 00:23:43 2012, 美东)
刚买了平安意外险，0－65岁的网上买最低600+元。
http://baoxian.pingan.com/baoxian/jingwailvyoubaoxian.shtml

S*32015-12-11 08:12

2 楼

请问大家，这里有没有最近在多伦多Renew H1B的？一切顺利的话4-5个工作日能拿回护
照吗？我打算感恩节前一天签，不知道过完节能不能顺利拿回护照。精华区都是
2012年的帖子，不知道最近有没有变化，多谢了！

w*r2015-12-11 08:12

3 楼

参加了工作才知道公司里申请专利还有奖金
不知道是大多数公司有还是少部分有？
一般给多少？

d*g2015-12-11 08:12

4 楼

只有西班牙语的版本，还蛮清晰的，但是不知道翻译是否准确。很多这种翻译都不准，
基本乱翻。

t*12015-12-11 08:12

5 楼

随便网上搜搜，第一页就是这篇文章。
当然你要会搜。
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。

s*x2015-12-11 08:12

6 楼

读link里的条款

m*s2015-12-11 08:12

7 楼

rethink the "4-5个工作日" and "感恩节前一天签，不知道过完节能不能顺利拿回护
照"

b*c2015-12-11 08:12

8 楼

我们是file了给1000刀，approve了给2000刀。

【在 w*********r 的大作中提到】

: 参加了工作才知道公司里申请专利还有奖金
: 不知道是大多数公司有还是少部分有？
: 一般给多少？

L*h2015-12-11 08:12

9 楼

这个看画听音效就行了
台词嘛,听不听无所谓了

t*12015-12-11 08:12

10 楼

系统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。

E*e2015-12-11 08:12

11 楼

加拿大美签现在强制canada post递护照了
光这个时间你就不够

【在 S*****3 的大作中提到】

: 请问大家，这里有没有最近在多伦多Renew H1B的？一切顺利的话4-5个工作日能拿回护
: 照吗？我打算感恩节前一天签，不知道过完节能不能顺利拿回护照。精华区都是
: 2012年的帖子，不知道最近有没有变化，多谢了！

h*32015-12-11 08:12

12 楼

1k-5k不等，大公司。

【在 w*********r 的大作中提到】

: 参加了工作才知道公司里申请专利还有奖金
: 不知道是大多数公司有还是少部分有？
: 一般给多少？

g*u2015-12-11 08:12

13 楼

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。

S*32015-12-11 08:12

14 楼

Thank you!
Found following statement from US Embassy in Canada. Seems like 4-5 days are
not enough.....
All applicants must register separately to receive their own passports with
the visa and the IV packet. Each applicant’s documents are sent separately;
each family member, for example, will receive his/her own passport and IV
packet in a separate envelope. Passports and additional documents will be
returned to applicants in sealed envelopes via the courier service
approximately 5-10 working days after the Consular Officer approves the
immigrant visa application. Along with the passport, you will receive a
manila envelope which contains all the documents that you submitted in your
visa interview.

【在 E***e 的大作中提到】

: 加拿大美签现在强制canada post递护照了
: 光这个时间你就不够

b*c2015-12-11 08:12

15 楼

每个patent值3000刀，公司有人每年N个（N＞=4），也是比小财。

【在 b*******c 的大作中提到】

: 我们是file了给1000刀，approve了给2000刀。

l*n2015-12-11 08:12

16 楼

在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

z*g2015-12-11 08:12

17 楼

你看错地方了，IV是指immigrant visa，和你的H1B无关。

are
with
separately;

【在 S*****3 的大作中提到】

: Thank you!
: Found following statement from US Embassy in Canada. Seems like 4-5 days are
: not enough.....
: All applicants must register separately to receive their own passports with
: the visa and the IV packet. Each applicant’s documents are sent separately;
: each family member, for example, will receive his/her own passport and IV
: packet in a separate envelope. Passports and additional documents will be
: returned to applicants in sealed envelopes via the courier service
: approximately 5-10 working days after the Consular Officer approves the
: immigrant visa application. Along with the passport, you will receive a

w*r2015-12-11 08:12

18 楼

靠
亏了
我们公司是3个人以下的话
每人1500
超过3个人
所有人share 4500

【在 b*******c 的大作中提到】

: 我们是file了给1000刀，approve了给2000刀。

t*12015-12-11 08:12

19 楼

其实关键的是这个：
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

S*32015-12-11 08:12

20 楼

哦，谢谢了。
多伦多美领馆给我回信NIV是面签完3-5天通过courier service发回。算了算还是很紧
张！

【在 z****g 的大作中提到】

: 你看错地方了，IV是指immigrant visa，和你的H1B无关。
:
: are
: with
: separately;

w*r2015-12-11 08:12

21 楼

这个approve是指的uspto granted还是内部的approve

【在 b*******c 的大作中提到】

: 我们是file了给1000刀，approve了给2000刀。

t*12015-12-11 08:12

22 楼

换句话说，如果我做一个系统，每年只处理一个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。

E*e2015-12-11 08:12

23 楼

跟你说了和使馆无关，时间全耽误在canada post了，以前可以自取护照可快了

【在 S*****3 的大作中提到】

: 哦，谢谢了。
: 多伦多美领馆给我回信NIV是面签完3-5天通过courier service发回。算了算还是很紧
: 张！

c*z2015-12-11 08:12

24 楼

大家这么爽啊，我们公司发patent一分钱奖励没有

【在 w*********r 的大作中提到】

: 这个approve是指的uspto granted还是内部的approve

a*o2015-12-11 08:12

25 楼

这个CAP，我没弄太明白。打个比方，是不是说找不到一个女孩子性格好，气质好，又
能吃苦的？富养的可能性格好气质好，但不能吃苦。穷养的可能性格好能吃苦，但气质
不够雅。中间的可能有气质，也能吃苦，但性格就太强势了。

b*c2015-12-11 08:12

26 楼

公司内部同意了才会出钱file啊，approve是指granted。

【在 w*********r 的大作中提到】

: 这个approve是指的uspto granted还是内部的approve

c*n2015-12-11 08:12

27 楼

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*c2015-12-11 08:12

28 楼

那哪有积极性啊

【在 c**z 的大作中提到】

: 大家这么爽啊，我们公司发patent一分钱奖励没有

b*g2015-12-11 08:12

29 楼

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

【在 c***n 的大作中提到】

: P本来就是任意长，电缆断了要修几天，你的transaction timeout也是几天。
: 你们就会堂吉柯德，自己树个靶子然后自娱自乐。
:
: in
: must

w*r2015-12-11 08:12

30 楼

那就不申请呗
我们公司有的大牛
去年交了50多个disclosure
不知道最后批了多少个
估计有40个左右。。。

【在 c**z 的大作中提到】

: 大家这么爽啊，我们公司发patent一分钱奖励没有

t*12015-12-11 08:12

31 楼

说一千，道一万，能把自己的系统分析明白就行。这是最重要的一种素质。
系统设计的要对。很多时候系统设计的不对问题是不可避免的。比如ACID DB的last
transaction的问题。如果DB server不提供这个功能，或者你的client没有相应处理，
系统缺陷是必然的。至于有没有损失损失多大凭的是运气。
现成的轮子，不是一个简单的claim就能概括的。比如cassandra的durability的问题，
其实没那么容易。如果你连数据写到哪里都不知道，不可能做出正确的假设。
就这么简单。

w*r2015-12-11 08:12

32 楼

那要等死人了
我一个同事
来了6年了
前几个月才刚刚拿到第一个granted patent的plaque
最近几年平均处理时间也要5年左右吧

【在 b*******c 的大作中提到】

: 公司内部同意了才会出钱file啊，approve是指granted。

h*c2015-12-11 08:12

33 楼

这个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。

w*r2015-12-11 08:12

34 楼

啥公司5k一个
我跳到那去吧。。。

【在 h******3 的大作中提到】

: 1k-5k不等，大公司。

M*n2015-12-11 08:12

35 楼

这倒不是，就算一年你处理一个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*u2015-12-11 08:12

36 楼

我们同一年申请下来的专利会有一个机会参加一个25刀的starbucks卡的抽签。

t*12015-12-11 08:12

37 楼

其实关键是定义问题。比如那个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说的人很多，但真正理解的人不多。

w*r2015-12-11 08:12

38 楼

不会只有这个吧？
呵呵

【在 T*****u 的大作中提到】

: 我们同一年申请下来的专利会有一个机会参加一个25刀的starbucks卡的抽签。

h*c2015-12-11 08:12

39 楼

这个说法不太工程师
所有的桥梁涵洞机车锅炉都有使用铭牌，限高限重，使用负荷，年限。
现在的laxigile屁也搞不出来

【在 t**********1 的大作中提到】

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

w*z2015-12-11 08:12

40 楼

system design 很重要的是make tradeoff。 CAP的核心是不可能三个都满足，作为一
个架构师需要做出正确的判断，哪个可以relax and by how much.

t*12015-12-11 08:12

41 楼

真较真的话，除了P可以随便堆机器以外，剩下那两个你哪个都很难满足。

【在 w**z 的大作中提到】

: system design 很重要的是make tradeoff。 CAP的核心是不可能三个都满足，作为一
: 个架构师需要做出正确的判断，哪个可以relax and by how much.

b*g2015-12-11 08:12

42 楼

因为你根本就弄不明白定义啥意思。

【在 t**********1 的大作中提到】

: 真较真的话，除了P可以随便堆机器以外，剩下那两个你哪个都很难满足。

t*12015-12-11 08:12

43 楼

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

【在 b*******g 的大作中提到】

: 因为你根本就弄不明白定义啥意思。

w*z2015-12-11 08:12

44 楼

C* 的durability 有啥特别的？就是写进commit log 呗，和大多数db做法一样。你是
不是又想扯上fsync啥的？如果不是搞底层的，不知道flush 和sync的区别也没什么奇
怪的。

【在 t**********1 的大作中提到】

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

t*12015-12-11 08:12

45 楼

对，就是要扯fsync。不懂fsync就是不懂durability。难道不是么？
人家的wiki特意强调了fsync。你自己看看。而且强调了default是periodic。
真懂durability不会不懂fsync。
也不会闹那个commitlog写入就durable的笑话了。
看来你现在还是不懂durability。又闹了一次笑话。

【在 w**z 的大作中提到】

: C* 的durability 有啥特别的？就是写进commit log 呗，和大多数db做法一样。你是
: 不是又想扯上fsync啥的？如果不是搞底层的，不知道flush 和sync的区别也没什么奇
: 怪的。

t*n2015-12-11 08:12

46 楼

魏大师，你还是先把你那单机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*z2015-12-11 08:12

47 楼

呵呵，我敢肯定C＊我比你懂得多得多。你就放狗搜了一下，就来瞎忽悠，人古德吧都
承认flush和sync没搞懂，你就死抓住不放。

【在 t**********1 的大作中提到】

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

t*12015-12-11 08:12

48 楼

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

【在 w**z 的大作中提到】

: 呵呵，我敢肯定C＊我比你懂得多得多。你就放狗搜了一下，就来瞎忽悠，人古德吧都
: 承认flush和sync没搞懂，你就死抓住不放。

w*z2015-12-11 08:12

49 楼

你怎么觉得我不知道？别太自以为是了。

【在 t**********1 的大作中提到】

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

t*12015-12-11 08:12

50 楼

你自己诚实一点，你啥时候知道的？你难道知道的比我早？果真如此古德霸扯淡的时候
你咋不劝劝他？

【在 w**z 的大作中提到】

: 你怎么觉得我不知道？别太自以为是了。

M*n2015-12-11 08:12

51 楼

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

【在 t**********1 的大作中提到】

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

t*12015-12-11 08:12

52 楼

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

【在 M*****n 的大作中提到】

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

M*n2015-12-11 08:12

53 楼

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

【在 t**********1 的大作中提到】

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

t*12015-12-11 08:12

54 楼

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

【在 M*****n 的大作中提到】

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

b*g2015-12-11 08:12

55 楼

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

【在 M*****n 的大作中提到】

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

t*12015-12-11 08:12

56 楼

先造谣计数器不支持transaction，现在又造谣CAP了。
你告诉我，我一个单机核心的，如何CAP都能满足？
除了满嘴污言秽语和一脑子屎以外，你还剩下啥了？

【在 b*******g 的大作中提到】

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

b*g2015-12-11 08:12

57 楼

糖葫芦串一串，无限 Scale。你丫的傻逼言论已经忘了吧。

【在 t**********1 的大作中提到】

: 先造谣计数器不支持transaction，现在又造谣CAP了。
: 你告诉我，我一个单机核心的，如何CAP都能满足？
: 除了满嘴污言秽语和一脑子屎以外，你还剩下啥了？

t*12015-12-11 08:12

58 楼

糖葫芦串一串，无限 Scale。就是说能满足CAP？
我说过永远都能提供服务么？

【在 b*******g 的大作中提到】

: 糖葫芦串一串，无限 Scale。你丫的傻逼言论已经忘了吧。

M*n2015-12-11 08:12

59 楼

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

【在 t**********1 的大作中提到】

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

w*z2015-12-11 08:12

60 楼

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

【在 t**********1 的大作中提到】

: 你自己诚实一点，你啥时候知道的？你难道知道的比我早？果真如此古德霸扯淡的时候
: 你咋不劝劝他？

t*12015-12-11 08:12

61 楼

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

tradeoff

【在 M*****n 的大作中提到】

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

b*g2015-12-11 08:12

62 楼

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

【在 t**********1 的大作中提到】

: 糖葫芦串一串，无限 Scale。就是说能满足CAP？
: 我说过永远都能提供服务么？

j*a2015-12-11 08:12

63 楼

我喜欢你的说话风格！

tradeoff

【在 M*****n 的大作中提到】

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

t*12015-12-11 08:12

64 楼

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

【在 b*******g 的大作中提到】

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

h*c2015-12-11 08:12

65 楼

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。

b*g2015-12-11 08:12

66 楼

有兴趣看太监击败CAP的糖葫芦架构可以看这里。你这傻逼记性太差，需要不时打脸。
http://www.mitbbs.com/article_t/Programming/31286477.html

【在 t**********1 的大作中提到】

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

t*12015-12-11 08:12

67 楼

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

【在 b*******g 的大作中提到】

: 有兴趣看太监击败CAP的糖葫芦架构可以看这里。你这傻逼记性太差，需要不时打脸。
: http://www.mitbbs.com/article_t/Programming/31286477.html

b*s2015-12-11 08:12

68 楼

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*12015-12-11 08:12

69 楼

Linux做硬实时的一样，很多应用，包括网络应用，可以保证是硬实时。

【在 b*******s 的大作中提到】

: Qnx内核太特殊，又要收费，工具集也比较落后。

t*n2015-12-11 08:12

70 楼

有了您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*12015-12-11 08:12

71 楼

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

【在 t****n 的大作中提到】

: 有了您linear scale的并行操作shared data的技术，cap当然屁用没有了。先给个
: benchmark看看吧！

t*n2015-12-11 08:12

72 楼

没工夫和你个有打小报告，比划glock唬人家教的太监废话。事实说话。没benchmark滚
蛋。

【在 t**********1 的大作中提到】

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

q*c2015-12-11 08:12

73 楼

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

【在 t**********1 的大作中提到】

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

t*12015-12-11 08:12

74 楼

这个latency的影响只有cache miss。
你想想还会有啥？

【在 q*c 的大作中提到】

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

q*c2015-12-11 08:12

75 楼

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

【在 t**********1 的大作中提到】

: 这个latency的影响只有cache miss。
: 你想想还会有啥？

b*g2015-12-11 08:12

76 楼

只要可以鸡鸡没有，就没有不可能。

了。

【在 q*c 的大作中提到】

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

t*12015-12-11 08:12

77 楼

你除了满嘴喷粪贴，就没有别的可说了。
你这么下流，你父母，老婆，孩子知道么？

【在 b*******g 的大作中提到】

: 只要可以鸡鸡没有，就没有不可能。
:
: 了。

t*12015-12-11 08:12

78 楼

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

了。

【在 q*c 的大作中提到】

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

k*n2015-12-11 08:12

79 楼

不用做测试了，无论是在自己的操作系统还是用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*12015-12-11 08:12

80 楼

还每个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*n2015-12-11 08:12

81 楼

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

【在 t**********1 的大作中提到】

: 还每个cote 4个线程。你知道你在说啥么？
: 怎么这几个刚出校门的不知道谦虚谨慎也就罢了。连起码廉耻都没有了？
:
: research
: -4

M*n2015-12-11 08:12

82 楼

吵了半天终于有个可以看的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*n2015-12-11 08:12

83 楼

有了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*g2015-12-11 08:12

84 楼

单机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*c2015-12-11 08:12

85 楼

有硬实时，就可以保证CAP

【在 t**********1 的大作中提到】

: Linux做硬实时的一样，很多应用，包括网络应用，可以保证是硬实时。