s*******u
发帖数: 1855 | 1 跟领导普及open source，讲到stallman跟torvalds如何灭掉msft。领导问，这两个谁
更牛呢？good question。一个身为programmer，写了emacs，gcc等等，身为leader，
搞了gnu，gpl，free software，等等。一个身为programmer搞了git跟linux kernel，
身为leader捧出linux。都是顶级大牛，估计programmer中的李白杜甫吧（很多大牛，
比如Turing award大拿们，lamport之类，身为computer scientist显然更牛，但是作
为programmer，还是拉倒吧）。
大家觉得谁更牛呢？ |
c*****e
发帖数: 3226 | 2 没法比，人有所长人有所短，你爸和你妈谁牛？
【在 s*******u 的大作中提到】
: 跟领导普及open source，讲到stallman跟torvalds如何灭掉msft。领导问，这两个谁
: 更牛呢？good question。一个身为programmer，写了emacs，gcc等等，身为leader，
: 搞了gnu，gpl，free software，等等。一个身为programmer搞了git跟linux kernel，
: 身为leader捧出linux。都是顶级大牛，估计programmer中的李白杜甫吧（很多大牛，
: 比如Turing award大拿们，lamport之类，身为computer scientist显然更牛，但是作
: 为programmer，还是拉倒吧）。
: 大家觉得谁更牛呢？
|
r***s
发帖数: 737 | 3 Lamport 是建筑师， stallman torvalds 是木匠和管子工
这世上觉得木匠比建筑师牛逼的恐怕只剩码农了
Lamport 的vector lock 和 Paxos 加上 software model checking,
Weak and strong fairness conditions 是当今云计算的基础
没有他大家今天还必须用大型机， Linux gcc在大型机里有屁用！
【在 s*******u 的大作中提到】
: 跟领导普及open source，讲到stallman跟torvalds如何灭掉msft。领导问，这两个谁
: 更牛呢？good question。一个身为programmer，写了emacs，gcc等等，身为leader，
: 搞了gnu，gpl，free software，等等。一个身为programmer搞了git跟linux kernel，
: 身为leader捧出linux。都是顶级大牛，估计programmer中的李白杜甫吧（很多大牛，
: 比如Turing award大拿们，lamport之类，身为computer scientist显然更牛，但是作
: 为programmer，还是拉倒吧）。
: 大家觉得谁更牛呢？
|
z****e
发帖数: 54598 | 4 其实蓝胖子搞的那几个理论，就算没有他，估计其它人也能搞出来
：Lamport 是建筑师， stallman torvalds 是木匠和管子工
：这世上觉得木匠比建筑师牛逼的恐怕只剩码农了 |
r***s
发帖数: 737 | 5 这话说的， 真没油水。
牛顿爱因斯坦普朗克，连带希特勒都适用
【在 z****e 的大作中提到】
: 其实蓝胖子搞的那几个理论，就算没有他，估计其它人也能搞出来
:
: ：Lamport 是建筑师， stallman torvalds 是木匠和管子工
: ：这世上觉得木匠比建筑师牛逼的恐怕只剩码农了
|
z*******3
发帖数: 13709 | 6 是真的，他的那些论文你自己看看就知道了
没啥东西其实，缺乏理论上真正难点的突破
基本上就是一种妥协，就告诉你想做神没戏
跟数学那种神奇的证明比起来，他的那些理论其实不算是什么难题
主要是他搞得早，80年代，互联网都还没怎么推广的时候
他就开始搞了，而互联网泡沫都要等到20年后
所以很多东西最后发现，是他先搞的，其他人悲愤也没有用了
而且他就算是科学家，那也是像现实妥协的科学家，是一个为了金钱出卖灵魂的建筑师
跟其他两个为了理想而视金钱如粪土的民工来说，我觉得另外两个更值得尊敬
搞过数学生物乃至物理这种基础科学的人，应该对这个更有发言权
不是说挂了一个科学家的title就一定高于工程师的
阿基米德可不是科学家，就是工程师
但是是公认的最牛的三个数学家之一，另外两个是高斯和牛顿
一句话总结，兰胖他捡了便宜，摘桃子摘得早而已，那些东西你去做
也未必做不出来，比数学分析的证明容易太多
蓝胖子的例子告诉我们，灌水要乘早
早灌了之后，别人就只能悲愤，虽然很没有技术含量
但是早来的早得，后来的就算能够做出来，也只能干瞪眼
所以这就是为啥要投入新兴领域，因为处女地机会才多，容易发财
【在 r***s 的大作中提到】
: 这话说的， 真没油水。
: 牛顿爱因斯坦普朗克，连带希特勒都适用
|
r***s
发帖数: 737 | 7 今天真是见到大大牛的了。您老人家不拿图灵奖
简直就是没天理了。
敢问您对于在lamport之前提出并行同步机制的人
如Dijkstra算法怎么看， 对于lamport在dijkstra
的一系列算法基础上给出的理论证明有什么改进
意见？ lamport开创的用Induction invariant
证明算法正确性的方法同时期还有谁在研究?
他们提出的方法各有什么优劣？
请问在时序逻辑里fairness 的概念是什么意思？
Strong fairness weak fairness 最大的区别是什么，
这些区别在证明safety conditions 和
Liveness conditions 的重要性在哪里.
另外现在时髦的Raft 和 Zookeeper Replication Protocol
和Paxos 区别是什么？
【在 z*******3 的大作中提到】
: 是真的，他的那些论文你自己看看就知道了
: 没啥东西其实，缺乏理论上真正难点的突破
: 基本上就是一种妥协，就告诉你想做神没戏
: 跟数学那种神奇的证明比起来，他的那些理论其实不算是什么难题
: 主要是他搞得早，80年代，互联网都还没怎么推广的时候
: 他就开始搞了，而互联网泡沫都要等到20年后
: 所以很多东西最后发现，是他先搞的，其他人悲愤也没有用了
: 而且他就算是科学家，那也是像现实妥协的科学家，是一个为了金钱出卖灵魂的建筑师
: 跟其他两个为了理想而视金钱如粪土的民工来说，我觉得另外两个更值得尊敬
: 搞过数学生物乃至物理这种基础科学的人，应该对这个更有发言权
|
z*******3
发帖数: 13709 | 8
去年就说过了
http://www.mitbbs.com/article_t/CS/31215505.html
可惜当时问了一圈，没啥鸟人回应
现在兴趣已经转移了，实在是不想再在这些东西上浪费时间
你要是不服，尽管把他的论文罗列出来
我去看就是了，不过实在是没啥兴趣浪费这个时间
未必有多大意义，我也怀疑这里面有啥值得搞的地方
他拿不拿图灵奖，他自己说的，你洗地不用这么积极，没有工资拿的
发信人: corba (corba), 信区: CS
标 题: Re: 求科普，今年图灵奖那个来私利蓝怕，有啥重要突出的贡献？
发信站: BBS 未名空间站 (Fri Jun 6 09:56:06 2014, 美东)
Quote from Lamport: "Jim Gray once told me that he had heard two different
opinions of this paper: that it's trivial and that it's brilliant. I can't
argue with the former, and I am disinclined to argue with the latter. "
【在 r***s 的大作中提到】
: 今天真是见到大大牛的了。您老人家不拿图灵奖
: 简直就是没天理了。
: 敢问您对于在lamport之前提出并行同步机制的人
: 如Dijkstra算法怎么看， 对于lamport在dijkstra
: 的一系列算法基础上给出的理论证明有什么改进
: 意见？ lamport开创的用Induction invariant
: 证明算法正确性的方法同时期还有谁在研究?
: 他们提出的方法各有什么优劣？
: 请问在时序逻辑里fairness 的概念是什么意思？
: Strong fairness weak fairness 最大的区别是什么，
|
|
g*****g
发帖数: 34805 | 9 爱迪生最牛逼，没有电还玩啥。跪安吧。
【在 r***s 的大作中提到】
: Lamport 是建筑师， stallman torvalds 是木匠和管子工
: 这世上觉得木匠比建筑师牛逼的恐怕只剩码农了
: Lamport 的vector lock 和 Paxos 加上 software model checking,
: Weak and strong fairness conditions 是当今云计算的基础
: 没有他大家今天还必须用大型机， Linux gcc在大型机里有屁用！
|
r***s
发帖数: 737 | 10 我擦， 你丫估计连时序逻辑和公平性是啥都不知道
就敢评论
Lamport. 真真正正的无知者无畏。 对他的争议
是有也轮不到你头上。 懂得比你多的人试图超越
他的人多了。
再问你一次，几十年以后时髦的raft 和Zookeeper
和几十年前的Paxos有什么区别？你丫连这也说不上也敢说看懂了Paxos?
【在 z*******3 的大作中提到】
:
: 去年就说过了
: http://www.mitbbs.com/article_t/CS/31215505.html
: 可惜当时问了一圈，没啥鸟人回应
: 现在兴趣已经转移了，实在是不想再在这些东西上浪费时间
: 你要是不服，尽管把他的论文罗列出来
: 我去看就是了，不过实在是没啥兴趣浪费这个时间
: 未必有多大意义，我也怀疑这里面有啥值得搞的地方
: 他拿不拿图灵奖，他自己说的，你洗地不用这么积极，没有工资拿的
: 发信人: corba (corba), 信区: CS
|
|
|
r***s
发帖数: 737 | 11 你丫别这儿丢人了， 电力是爱迪生最先发现使用的？
【在 g*****g 的大作中提到】
: 爱迪生最牛逼，没有电还玩啥。跪安吧。
|
z*******3
发帖数: 13709 | 12
哈哈，啥？哪句评论错了？
我再回头看看，来来来，你来说说
我正好看看paxos那个绕开的疑问到底被解决了没有
至少从我知道的范围来看，没有被answer
我看不懂，你来说，赶紧的
【在 r***s 的大作中提到】
: 我擦， 你丫估计连时序逻辑和公平性是啥都不知道
: 就敢评论
: Lamport. 真真正正的无知者无畏。 对他的争议
: 是有也轮不到你头上。 懂得比你多的人试图超越
: 他的人多了。
: 再问你一次，几十年以后时髦的raft 和Zookeeper
: 和几十年前的Paxos有什么区别？你丫连这也说不上也敢说看懂了Paxos?
|
z*******3
发帖数: 13709 | 13
时序逻辑和公平性我想我知道得很清楚
但是我并不认为这能回答出他论文中绕开的最关键的问题
paxos什么都没解决，你不服你来回答
我当时看到的就是一句前提假设，其他p都没有
因为我现在手头上没有论文，没办法查，你来说，我回头再去看
【在 r***s 的大作中提到】
: 我擦， 你丫估计连时序逻辑和公平性是啥都不知道
: 就敢评论
: Lamport. 真真正正的无知者无畏。 对他的争议
: 是有也轮不到你头上。 懂得比你多的人试图超越
: 他的人多了。
: 再问你一次，几十年以后时髦的raft 和Zookeeper
: 和几十年前的Paxos有什么区别？你丫连这也说不上也敢说看懂了Paxos?
|
z*******3
发帖数: 13709 | 14
我们从最简单的开始
假设我不懂什么是paxos
请你解释这个东西为什么牛逼
到底解决了什么问题
ok？省的你蹦几个概念就开始忽悠
我什么都不懂，你来解释，我就不信你能解释清楚这个玩意为啥牛逼
赶紧的，回头我去翻原论文
【在 r***s 的大作中提到】
: 我擦， 你丫估计连时序逻辑和公平性是啥都不知道
: 就敢评论
: Lamport. 真真正正的无知者无畏。 对他的争议
: 是有也轮不到你头上。 懂得比你多的人试图超越
: 他的人多了。
: 再问你一次，几十年以后时髦的raft 和Zookeeper
: 和几十年前的Paxos有什么区别？你丫连这也说不上也敢说看懂了Paxos?
|
g*****g
发帖数: 34805 | 15 爱迪生发明了直流电，今天的电脑跑的都是直流电，你丫丢人丢大了。
【在 r***s 的大作中提到】
: 你丫别这儿丢人了， 电力是爱迪生最先发现使用的？
|
r***s
发帖数: 737 | 16 "爱迪生发明了直流电"!!!!！！！！
五体投地！
【在 g*****g 的大作中提到】
: 爱迪生发明了直流电，今天的电脑跑的都是直流电，你丫丢人丢大了。
|
z*******3
发帖数: 13709 | 17 顺便说一句，你知道为什么总有人说paxos is really hard to implement吗？
我觉得跟我在去年说的那个前提假设密切相关
因为前提假设根本就是很难成立的，还impl个p
所以paxos完全就是一个扯，不过为了防止某人继续骗
来来来，把paxos用最通俗的话解释一遍，我来告诉你最核心的一个问题在哪
就是因为这个问题，你根本没办法实现，因为前提根本就不存在 |
g*****g
发帖数: 34805 | 18 不只投地，还要打脸。https://zh.wikipedia.org/wiki/%E7%88%B1%E8%BF%AA%E7%94%
9F
爱迪生与有着“交流电之父”之称的尼古拉·特斯拉（Nikola Tesla）一直在供电系统
上有着争端，直到爱迪生死为止都还是不认同交流电。目前的电源供应系统分为直流（
DC）和交流（AC）两种，其中爱迪生为了点亮电灯先发明了直流电（DC），而在爱迪生
手下工作的特斯拉则开发了交流电，由于爱迪生始终
【在 r***s 的大作中提到】
: "爱迪生发明了直流电"!!!!！！！！
: 五体投地！
|
z*******3
发帖数: 13709 | 19 算了，我这边太迟了，我要睡觉了
就直接说了吧，就是fairness无法满足
一个比较naive的方式就是直接给所有nodes编号
小的服从大的号，但是这种直接破坏了fairness
然后raft就是通过一个random#，以及设置timeout，外加reelection来解决这种冲突
因为不同nodes同时产生多次相同的timeout的可能性实在是很小
所以用这种随机的方式保证公平性
which是蓝胖在论文中所直接回避的一个重要前提
这就是为什么蓝胖的paxos就是一忽悠的主要原因
真正解决问题的跟他的论文p关系没有，他的论文不过是把边边角角解释了一遍
然后最关键的问题丢给其他人去解决，wtf
你看过了他的论文之后会跟我有同样的感受
这家伙就是一个大忽悠，大大大大大忽悠
所以会跑去m$给资本家打工也不奇怪了 |
r***s
发帖数: 737 | 20 我今天真是闲得慌，最后一贴，懒得教育你们这帮自以为是的井底之蛙了
你回去看看他关于liveness的讨论，其中谈到了compete for
president的问题。你的所谓的疑问只影响livenss不影响saftey。因此不是
论文的核心问题，尽管如此他还是在文中和后续的论文里提出了一些建议，
比如在某个threshold 之内不提出新的ballot，比如exponential back off。
在这个基础上的改进是performance optimization
不是涉及整个体系的核心。
问你半天raft和zookeeper和paxos的区别，区别就在于前面两个对于paxos里面
只提出建议的部分做了补充和实验，没有改变核心算法。看来你是真不懂。
当然基于你对livenss 和 safety 的无知，这玩意儿肯定是对牛弹琴。我今天
就是吃饱了撑的
关于爱迪生，那是类似于steve jobs一类的人物。他的主要贡献在于技术的
大规模商业化，技术本身到在其次。
在我看来企业家（edison jobs之类）和设计师的贡献都比木匠大的多。
马公们自己当
木匠，就特崇拜木匠，觉得别人都一般。
半个世纪之前，在Camden世界上最大的留声机和后来收音机和电视机的厂家
rca，高级木工的工资非常高，因为木头箱体加工自动化程度有限，而其工艺
对音响效果影响很大，而且质量控制不好做，没办法大规模out source.
现在高级音箱仍然是手工制作的，但是随着自动化程度的提高和其他材料的
使用，大部分音箱已经是自动生产，用不着几个木工了
【在 z*******3 的大作中提到】
: 算了，我这边太迟了，我要睡觉了
: 就直接说了吧，就是fairness无法满足
: 一个比较naive的方式就是直接给所有nodes编号
: 小的服从大的号，但是这种直接破坏了fairness
: 然后raft就是通过一个random#，以及设置timeout，外加reelection来解决这种冲突
: 因为不同nodes同时产生多次相同的timeout的可能性实在是很小
: 所以用这种随机的方式保证公平性
: which是蓝胖在论文中所直接回避的一个重要前提
: 这就是为什么蓝胖的paxos就是一忽悠的主要原因
: 真正解决问题的跟他的论文p关系没有，他的论文不过是把边边角角解释了一遍
|
|
|
r***s
发帖数: 737 | 21 我服了，你丫连啥叫发明都不懂
【在 g*****g 的大作中提到】
: 不只投地，还要打脸。https://zh.wikipedia.org/wiki/%E7%88%B1%E8%BF%AA%E7%94%
: 9F
: 爱迪生与有着“交流电之父”之称的尼古拉·特斯拉（Nikola Tesla）一直在供电系统
: 上有着争端，直到爱迪生死为止都还是不认同交流电。目前的电源供应系统分为直流（
: DC）和交流（AC）两种，其中爱迪生为了点亮电灯先发明了直流电（DC），而在爱迪生
: 手下工作的特斯拉则开发了交流电，由于爱迪生始终
|
r***s
发帖数: 737 | 22 fuck!!!
"一个比较naive的方式就是直接给所有nodes编号
你们丫的都太太太牛了！ 我真的服了。 |
g*****g
发帖数: 34805 | 23 打完脸现在要重新定义发明了？wiki上用的就是这个词，你丫还想土遁？
目前的电源供应系统分为直流（ |
N*****m
发帖数: 42603 | 24 咳咳，应该算法拉第发明的吧
爱迪生应该是商业化配电系统
【在 g*****g 的大作中提到】
: 打完脸现在要重新定义发明了？wiki上用的就是这个词，你丫还想土遁？
: 目前的电源供应系统分为直流（
|
l**********n
发帖数: 8443 | 25 发明和发现定义不一样。
【在 N*****m 的大作中提到】
: 咳咳，应该算法拉第发明的吧
: 爱迪生应该是商业化配电系统
|
N*****m
发帖数: 42603 | 26 发电机就是他发明的，物理的数学模型也是他发明的
当然是发明
【在 l**********n 的大作中提到】
: 发明和发现定义不一样。
|
f******2
发帖数: 2455 | 27 赵老师，我觉得你至少还是比古老师思考的层面更高一些。
【在 z*******3 的大作中提到】
: 算了，我这边太迟了，我要睡觉了
: 就直接说了吧，就是fairness无法满足
: 一个比较naive的方式就是直接给所有nodes编号
: 小的服从大的号，但是这种直接破坏了fairness
: 然后raft就是通过一个random#，以及设置timeout，外加reelection来解决这种冲突
: 因为不同nodes同时产生多次相同的timeout的可能性实在是很小
: 所以用这种随机的方式保证公平性
: which是蓝胖在论文中所直接回避的一个重要前提
: 这就是为什么蓝胖的paxos就是一忽悠的主要原因
: 真正解决问题的跟他的论文p关系没有，他的论文不过是把边边角角解释了一遍
|
d********u
发帖数: 5383 | 28 当然是你和goodbug的干爹KOBE最牛。一次干你们两个呢。
【在 s*******u 的大作中提到】
: 跟领导普及open source，讲到stallman跟torvalds如何灭掉msft。领导问，这两个谁
: 更牛呢？good question。一个身为programmer，写了emacs，gcc等等，身为leader，
: 搞了gnu，gpl，free software，等等。一个身为programmer搞了git跟linux kernel，
: 身为leader捧出linux。都是顶级大牛，估计programmer中的李白杜甫吧（很多大牛，
: 比如Turing award大拿们，lamport之类，身为computer scientist显然更牛，但是作
: 为programmer，还是拉倒吧）。
: 大家觉得谁更牛呢？
|
d********u
发帖数: 5383 | 29 跟你们说过一万次了：不要跟澳洲software tester较劲。有工夫逗逗狗什么的比逗这
个有意义多了。
【在 r***s 的大作中提到】
: fuck!!!
: "一个比较naive的方式就是直接给所有nodes编号
: 你们丫的都太太太牛了！ 我真的服了。
|
d********u
发帖数: 5383 | 30 精彩！完全展示了一个清华毕业生的傻逼嘴脸。”发明了直流电“这种笑话，好虫认为
是正确的，因为国语维基有这样说。至于是翻译错位还是某位编辑分不清“发明”“发
现”“应用”就不关好虫的事了。他的脑袋只是个摆设，跟夜壶是一个功能，往里面灌
就是了。
就好比张三说好虫是野种我们大家就认为好虫确实是野种一样。
野种，给你两个更NB的，给大家找找“发明了直流电”吧：
https://en.wikipedia.org/wiki/Thomas_Edison
https://en.wikipedia.org/wiki/Direct_current
【在 g*****g 的大作中提到】
: 不只投地，还要打脸。https://zh.wikipedia.org/wiki/%E7%88%B1%E8%BF%AA%E7%94%
: 9F
: 爱迪生与有着“交流电之父”之称的尼古拉·特斯拉（Nikola Tesla）一直在供电系统
: 上有着争端，直到爱迪生死为止都还是不认同交流电。目前的电源供应系统分为直流（
: DC）和交流（AC）两种，其中爱迪生为了点亮电灯先发明了直流电（DC），而在爱迪生
: 手下工作的特斯拉则开发了交流电，由于爱迪生始终
|
|
|
c***a
发帖数: 84 | 31 都是牛人。你这么推Lamport贬Torvalds也没什么意思。
【在 r***s 的大作中提到】
: Lamport 是建筑师， stallman torvalds 是木匠和管子工
: 这世上觉得木匠比建筑师牛逼的恐怕只剩码农了
: Lamport 的vector lock 和 Paxos 加上 software model checking,
: Weak and strong fairness conditions 是当今云计算的基础
: 没有他大家今天还必须用大型机， Linux gcc在大型机里有屁用！
|
c***a
发帖数: 84 | 32 这话其实有点道理。记得Liskov的组有个等价方法，应该是独立搞出来的。
都是牛人，呵呵。
【在 z****e 的大作中提到】
: 其实蓝胖子搞的那几个理论，就算没有他，估计其它人也能搞出来
:
: ：Lamport 是建筑师， stallman torvalds 是木匠和管子工
: ：这世上觉得木匠比建筑师牛逼的恐怕只剩码农了
|
c*****e
发帖数: 3226 | 33 zookeeper 用的是 zab, g 家chubby 用的是 paxos
【在 z*******3 的大作中提到】
: 顺便说一句，你知道为什么总有人说paxos is really hard to implement吗？
: 我觉得跟我在去年说的那个前提假设密切相关
: 因为前提假设根本就是很难成立的，还impl个p
: 所以paxos完全就是一个扯，不过为了防止某人继续骗
: 来来来，把paxos用最通俗的话解释一遍，我来告诉你最核心的一个问题在哪
: 就是因为这个问题，你根本没办法实现，因为前提根本就不存在
|
z*******3
发帖数: 13709 | 34
bullshit
当然涉及核心问题
这个不能保证，根本不能实现
当然也许在你看来，这个不叫核心
那些谁都能看出来的才叫核心，你换啥名字都一样
顺便说一下，我的疑问根本不是什么safty，最关键的问题在于fairness
如果不在乎这个，你随便搞
【在 r***s 的大作中提到】
: 我今天真是闲得慌，最后一贴，懒得教育你们这帮自以为是的井底之蛙了
: 你回去看看他关于liveness的讨论，其中谈到了compete for
: president的问题。你的所谓的疑问只影响livenss不影响saftey。因此不是
: 论文的核心问题，尽管如此他还是在文中和后续的论文里提出了一些建议，
: 比如在某个threshold 之内不提出新的ballot，比如exponential back off。
: 在这个基础上的改进是performance optimization
: 不是涉及整个体系的核心。
: 问你半天raft和zookeeper和paxos的区别，区别就在于前面两个对于paxos里面
: 只提出建议的部分做了补充和实验，没有改变核心算法。看来你是真不懂。
: 当然基于你对livenss 和 safety 的无知，这玩意儿肯定是对牛弹琴。我今天
|
z*******3
发帖数: 13709 | 35
lol
悲愤啥呀
谁都能看明白naive方式很搞笑
这就是为啥这片论文p都没回答的主因
【在 r***s 的大作中提到】
: fuck!!!
: "一个比较naive的方式就是直接给所有nodes编号
: 你们丫的都太太太牛了！ 我真的服了。
|
z*******3
发帖数: 13709 | 36
zookeeper已经实现了raft啦
【在 c*****e 的大作中提到】
: zookeeper 用的是 zab, g 家chubby 用的是 paxos
|
z*******3
发帖数: 13709 | 37
我再说一次，paxos这种东西，其实很容易figure out
不需要多聪明的脑袋，你自己都能想出来
就像这样，给你一个101个nodes的pool
你最少需要收集多少个nodes的votes才能通过？
当然是51个了，而不是101个
而如何保证你发起以及收集这些votes的过程公平以及可实现
这种所谓的performance optimisation才是最关键的问题
别自欺欺人了，这种数学档次放到统计系去，估计连master论文都不给过
也就是cs当年没啥人搞，然后阿猫阿狗都出来骗funding
所有人看完论文都是觉得，就这玩意？还要写出来？
后来人对于paxos的改造，正好就做了非常切合现实的修改
使得整个algorithm可以被impl，因为他提的几个建议都是jokes
他自己也觉得，哎呀，这个关键问题木有解决，丢人啊
洗地不用那么勤快了，没有工资拿的，阿三最近又裁员了
当初看文章之前，我就自己想了一遍，然后带着这个疑问去看
结果妈蛋，最重要的一步被回避了，其他的说了那么有个卵用啊
我们用个比喻，tcp出来说，我这个协议解决了丢包重传问题
然后我只懂udp，然后带着疑问去看tcp协议，想知道他们到底是如何解决的
tcp说，三次握手，至于三次握手怎么保证不丢包，这不是本篇文章需要讨论的
wtf？三次握手虽然可以解决绝大多数问题，但是并不能在理论上保证100%安全
最后某个人发明了另外一种协议，跟tcp大部分重合，但是就是这个关键问题搞定了
最后重大突破居然不是这个人，而是tcp的发明者？
这个奖发得真是joke啊，重大突破又不是终身成就
终身成就这么搞，没啥好说的，但是重大突破这么搞就是一笑话了
【在 r***s 的大作中提到】
: 我今天真是闲得慌，最后一贴，懒得教育你们这帮自以为是的井底之蛙了
: 你回去看看他关于liveness的讨论，其中谈到了compete for
: president的问题。你的所谓的疑问只影响livenss不影响saftey。因此不是
: 论文的核心问题，尽管如此他还是在文中和后续的论文里提出了一些建议，
: 比如在某个threshold 之内不提出新的ballot，比如exponential back off。
: 在这个基础上的改进是performance optimization
: 不是涉及整个体系的核心。
: 问你半天raft和zookeeper和paxos的区别，区别就在于前面两个对于paxos里面
: 只提出建议的部分做了补充和实验，没有改变核心算法。看来你是真不懂。
: 当然基于你对livenss 和 safety 的无知，这玩意儿肯定是对牛弹琴。我今天
|
g*****g
发帖数: 34805 | 38 大臭臭你又出来现菊花了？wiki上写的你丫没整明白是吧？语文是体育老师教的，发现
了发明都不懂吧？
你丫最近被阿三老板乱操，精神错乱了吧？
【在 d********u 的大作中提到】
: 精彩！完全展示了一个清华毕业生的傻逼嘴脸。”发明了直流电“这种笑话，好虫认为
: 是正确的，因为国语维基有这样说。至于是翻译错位还是某位编辑分不清“发明”“发
: 现”“应用”就不关好虫的事了。他的脑袋只是个摆设，跟夜壶是一个功能，往里面灌
: 就是了。
: 就好比张三说好虫是野种我们大家就认为好虫确实是野种一样。
: 野种，给你两个更NB的，给大家找找“发明了直流电”吧：
: https://en.wikipedia.org/wiki/Thomas_Edison
: https://en.wikipedia.org/wiki/Direct_current
|
z*******3
发帖数: 13709 | 39
因例子不同而异
某人说到最后连访谈都拿出来当证据了
看来是不敢正视论文本身就是一个p的事实
也说明很多人对于这个关键点是有疑问的
连读文科的鸡者都看懂了，知道去问他这个问题了
某些人还是执迷不悟
我们用再通俗一点的说法来解释这个问题
假设某希腊古国要竞选总统
怎么选？投票咯
原始社会的猿人都能想出来的
对吧？101个斯巴达人，选出1个leader来
然后根据这个过程灌水
蓝胖灌的水就是说，通过某一种竞选策略，使得某个得到51张votes的人能够当选
leader
至于这种竞选策略怎么保证公平以及行之有效，这不是本文所讨论的范围
我不知道其他人看了这个会怎么想，当时我就想骂娘，就这破烂还要你来说？
这就是为啥别人说这片文章trival的主因
因为没有解决实际问题，倒是把其他能兜走的兜走了，很像一种抢功之举
然后回头说公平以及performance optimisation
这个就跟三次握手一样，如果不在乎performance，你的公平性可以得到最大程度的确保
不停滴做各种同步操作，只要时间足够，总能达到一致
而如果你在乎performance，那么公平性很容易就会被牺牲掉
最简单的就是给每个node编号，小的服从大的，顺序当leader
这个也是最自然而然的想法，但是效率也最高，只需要对比编号便可
连re election都省了，这就是一个天平的两端，无法兼顾，那么如何搞呢？
那肯定要妥协，我想更多人最关心的命题是
如何妥协实现在不牺牲公平性的前提下，实现效率的最大化
这个我想才是绝大多数人所关心的主要问题
如果不关心performance的话，那还搞什么cs？
蓝胖说有很多种方式，但是这种是performance optimisation，不是关键
wtf？这不是关键？那什么是关键？原始人都能想出来的东西是关键？
而且非常搞笑的是，那片文章写得含混晦涩难懂，各种概念满天飞
那先要明白以前他灌的水，然后再去看，大概才能看明白
因为之前他灌了其他的水，但是其他水其实真的解释出来，也就那么一回事
这个你随便找个人，把paxos给你解释一遍，你会跟我有同样的感受
【在 f******2 的大作中提到】
: 赵老师，我觉得你至少还是比古老师思考的层面更高一些。
|
c********1
发帖数: 5269 | 40 Linus Torvalds Net Worth
$150 Million
Linus Torvalds' Salary
$10 Million Per Year
名利双收!!
http://www.celebritynetworth.com/richest-businessmen/linus-torv
【在 z*******3 的大作中提到】
:
: 因例子不同而异
: 某人说到最后连访谈都拿出来当证据了
: 看来是不敢正视论文本身就是一个p的事实
: 也说明很多人对于这个关键点是有疑问的
: 连读文科的鸡者都看懂了，知道去问他这个问题了
: 某些人还是执迷不悟
: 我们用再通俗一点的说法来解释这个问题
: 假设某希腊古国要竞选总统
: 怎么选？投票咯
|
|
|
z*******3
发帖数: 13709 | 41
还好啦，他如果像大门那样搞，远不止这点钱
大门都搞成了世界首富不是？
就算做不到世界首富，世界第两百富，也不只这点钱
图灵奖发给过unix和c，再发一次给linux我觉得也不为过
还可以给jvm发一个，反正这些年科学奖都在向应用倾斜
就除了数学的费儿子，炸药奖好几年都发给了应用了
【在 c********1 的大作中提到】
: Linus Torvalds Net Worth
: $150 Million
: Linus Torvalds' Salary
: $10 Million Per Year
: 名利双收!!
: http://www.celebritynetworth.com/richest-businessmen/linus-torv
|
c********1
发帖数: 5269 | 42 Linux migh not be popular if 像大门那样搞.
[open source] projects could be a way to 名利双收!!.
【在 z*******3 的大作中提到】
:
: 还好啦，他如果像大门那样搞，远不止这点钱
: 大门都搞成了世界首富不是？
: 就算做不到世界首富，世界第两百富，也不只这点钱
: 图灵奖发给过unix和c，再发一次给linux我觉得也不为过
: 还可以给jvm发一个，反正这些年科学奖都在向应用倾斜
: 就除了数学的费儿子，炸药奖好几年都发给了应用了
|
z*******3
发帖数: 13709 | 43
也许吧，但是unix被jobs那样搞了搞，apple系的unix比windows更流行了现在
linus的思维有些nerd，linux和git都不太好用其实，比傻瓜操作，windows要强不少
【在 c********1 的大作中提到】
: Linux migh not be popular if 像大门那样搞.
: [open source] projects could be a way to 名利双收!!.
|
n******7
发帖数: 12463 | 44 第三层就歪楼了
什么讨论都有个上下文，你这纯属抬杠
别人讨论狮子老虎哪个厉害
你跳出来说，这都算屁，你拿个墨辛甘全给灭了
有意思吗？
没意思
【在 r***s 的大作中提到】
: Lamport 是建筑师， stallman torvalds 是木匠和管子工
: 这世上觉得木匠比建筑师牛逼的恐怕只剩码农了
: Lamport 的vector lock 和 Paxos 加上 software model checking,
: Weak and strong fairness conditions 是当今云计算的基础
: 没有他大家今天还必须用大型机， Linux gcc在大型机里有屁用！
|
n******7
发帖数: 12463 | 45 osx主要还是在笔记本这种需要高度软硬件整合的产品上流行
大家外面看的多，也印象深刻
用到linux/unix的情况，台机和服务器还是nerd产品流行，傻瓜性不是第一位的
【在 z*******3 的大作中提到】
:
: 也许吧，但是unix被jobs那样搞了搞，apple系的unix比windows更流行了现在
: linus的思维有些nerd，linux和git都不太好用其实，比傻瓜操作，windows要强不少
|
n******7
发帖数: 12463 | 46 我觉得stallman很牛
gnu的意义有些被埋没了，oos更是一场革命
比如GNU/linux,大家一般就叫linux了事
那些gnu的工具，自己天天用，也没特别意识到gnu的贡献
直到后来用了mac，才发现小伙伴们都不见了...
torvalds当然也很牛
我觉得即使有另一个人做出类似linux的东西
换个人领导，也不一定能像现在这么火
但是，即使没有linux或者类似的东西
在unix分支（比如FreeBSD）上整上GNU套件，也差不多 |
z*******3
发帖数: 13709 | 47 傻瓜性是仅次于金钱利益的第二重要考量
cloud之所以有前途，就是有能力把unix/linux的操作变傻瓜来
像juju那种，很多通过gui就能搞了
【在 n******7 的大作中提到】
: osx主要还是在笔记本这种需要高度软硬件整合的产品上流行
: 大家外面看的多，也印象深刻
: 用到linux/unix的情况，台机和服务器还是nerd产品流行，傻瓜性不是第一位的
|
n******7
发帖数: 12463 | 48 你这么说，还是在说傻瓜性不是第一位的啊
其他条件不变，当然越傻瓜越好
其实只用terminal的话，linux比osx傻瓜多了
【在 z*******3 的大作中提到】
: 傻瓜性是仅次于金钱利益的第二重要考量
: cloud之所以有前途，就是有能力把unix/linux的操作变傻瓜来
: 像juju那种，很多通过gui就能搞了
|
n******7
发帖数: 12463 | 49 冷战结束，基础研究就停滞不前了
【在 z*******3 的大作中提到】
: 傻瓜性是仅次于金钱利益的第二重要考量
: cloud之所以有前途，就是有能力把unix/linux的操作变傻瓜来
: 像juju那种，很多通过gui就能搞了
|
g*****g
发帖数: 34805 | 50 我觉得GNU不算革命, apache license才是今天开源发迹的原因。
【在 n******7 的大作中提到】
: 我觉得stallman很牛
: gnu的意义有些被埋没了，oos更是一场革命
: 比如GNU/linux,大家一般就叫linux了事
: 那些gnu的工具，自己天天用，也没特别意识到gnu的贡献
: 直到后来用了mac，才发现小伙伴们都不见了...
: torvalds当然也很牛
: 我觉得即使有另一个人做出类似linux的东西
: 换个人领导，也不一定能像现在这么火
: 但是，即使没有linux或者类似的东西
: 在unix分支（比如FreeBSD）上整上GNU套件，也差不多
|
|
|
l*****o
发帖数: 180 | 51 爱因斯坦恐怕没了人类要多折腾好几百年，现在也不会有什么核威慑
【在 r***s 的大作中提到】
: 这话说的， 真没油水。
: 牛顿爱因斯坦普朗克，连带希特勒都适用
|
n******t
发帖数: 4406 | 52 lamport的东西，只要认真学过数学的（抽象代数，数学分析），在那个时间点去搞，
一定能搞出来。因为他的solution的确很intuitive。
【在 r***s 的大作中提到】
: Lamport 是建筑师， stallman torvalds 是木匠和管子工
: 这世上觉得木匠比建筑师牛逼的恐怕只剩码农了
: Lamport 的vector lock 和 Paxos 加上 software model checking,
: Weak and strong fairness conditions 是当今云计算的基础
: 没有他大家今天还必须用大型机， Linux gcc在大型机里有屁用！
|
