w********c
发帖数: 2632 | 1 ☆─────────────────────────────────────☆
creation (yy) 于 (Wed Oct 13 22:15:44 2004) 提到:
? in distributed algorithms ??
looks like a cool guy, but not many people seem to understand his work
even many journal reviewers and famous people in the field
☆─────────────────────────────────────☆
wildThing (呼吁美国人每周少吃一包薯条) 于 (Thu Oct 14 02:58:59 2004) 提到:
what about his work in distributed algorithms?
☆─────────────────────────────────────☆
cdr (可读可写) 于 (Thu Oct 14 15:23:49 2004) 提到:
What m... 阅读全帖 |
|
a********e
发帖数: 16 | 2 今天最新消息，2013年ACM图灵奖颁给了微软硅谷研究院的Leslie Lamport，他在编程
语言、分布式系统、模型验证等领域做出了出色的工作。著名的拜占庭将军问题、面包
店算法都是他提出来的。他还在Tex基础上发明了著名的LaTex系统，LaTeX的La就来自
他的名字。
microsoft/google 图灵奖
Microsoft 5人:
Tony Hoare (1980)
Butler Lampson (1992)
Jim Gray (1998)
Charles Thacker (2009)
Leslie Lamport (2013)
Google 2人:
Kenneth Lane Thompson (1983)
Vint Cerf (2004) |
|
S******8
发帖数: 24594 | 3 Lamport Clock, anyone heard of this? |
|
S**********b
发帖数: 3142 | 4 没人以会这个为荣
你是在抬杠
Leslie Lamport 在mit opencourseware 上有公开课 |
|
p***o
发帖数: 1252 | 5 Finally he got it!
contributions
IMHO,
contributions
IMHO,
's.
system.
dependence
first
pursued
webpage
contributions
latex. IMHO,
'
lamport's.
models
some of
models
some of
models
some of |
|
r***s
发帖数: 737 | 6 今天真是见到大大牛的了。您老人家不拿图灵奖
简直就是没天理了。
敢问您对于在lamport之前提出并行同步机制的人
如Dijkstra算法怎么看， 对于lamport在dijkstra
的一系列算法基础上给出的理论证明有什么改进
意见？ lamport开创的用Induction invariant
证明算法正确性的方法同时期还有谁在研究?
他们提出的方法各有什么优劣？
请问在时序逻辑里fairness 的概念是什么意思？
Strong fairness weak fairness 最大的区别是什么，
这些区别在证明safety conditions 和
Liveness conditions 的重要性在哪里.
另外现在时髦的Raft 和 Zookeeper Replication Protocol
和Paxos 区别是什么？ |
|
d*****g
发帖数: 1616 | 7 http://www.ict.cas.cn/cxwh/cxqs/201204/P020120409552277976099.p
求实·创新 2012年1月 总第94期
且让世界听龙吟：理实交融的龙芯基础研究
钱 诚 陈云霁
2007年，龙芯3号的设计揭开序幕，当被人问到龙芯3号的意义时，胡伟武老师微笑
不语，提笔写下一行字，“如果说龙芯1号是在迷雾中起步，还看不到先行者的影子，
那么龙芯2号完成后，在当时实际上已经超过了一些同行者，看清了领先者的背影，而
龙芯3号的完成将使龙芯大踏步赶上并超过领先者。”
四年时间过去，龙芯3号已经从设计变成现实，并已发展出一系列改进型号。依托
龙芯3号的研发，龙芯团队已经实现了胡老师的预期，走在了世界体系结构研究的最前
沿。从2008年开始，龙芯在顶级会议和期刊上发表了一系列论文：IEEE Trans.on
Computers、IEEE Micro、ISSCC、ISCA、HPCA、IJCAI、HotChips、SPAA和DATE等等。
可以说，相比美国顶尖大学的一个研究组的论文发表水平也毫不逊色。更重要的是，龙
... 阅读全帖 |
|
i*****g
发帖数: 11893 | 8 2007年，龙芯3号的设计揭开序幕，当被人问到龙芯3号的意义时，胡伟武老师微笑
不语，提笔写下一行字，“如果说龙芯1号是在迷雾中起步，还看不到先行者的影子，
那么龙芯2号完成后，在当时实际上已经超过了一些同行者，看清了领先者的背影，而
龙芯3号的完成将使龙芯大踏步赶上并超过领先者。”
（批注：这些项目，要持续支持30年，直到和米帝分庭抗礼。开始的亏损，不能以寻常
市场经济盈利心理来衡量。）
四年时间过去，龙芯3号已经从设计变成现实，并已发展出一系列改进型号。依托
龙芯3号的研发，龙芯团队已经实现了胡老师的预期，走在了世界体系结构研究的最前
沿。从2008年开始，龙芯在顶级会议和期刊上发表了一系列论文：IEEE Trans.on
Computers、IEEE Micro、ISSCC、ISCA、HPCA、IJCAI、HotChips、SPAA和DATE等等。
可以说，相比美国顶尖大学的一个研究组的论文发表水平也毫不逊色
（批注：也就是说，对阵米帝整体他们的实力其实不强，估计米帝有几百个这样的实验
室。如果说他们一个公司是intel 1/3，那还可以。）。更重要的是，龙芯的研究已经
... 阅读全帖 |
|
c*********d
发帖数: 9770 | 9 https://www.toutiao.com/i6507926128718512644/?iid=22819617214
中原新声2018-01-06 21:17:09
如果要我找出过去10年里在财富方面最让我后悔的2件事情：
第1，是2011年有几天曾使劲儿钻研比特币，确认不是骗局，那时候，比特币的价格是6
.9美元，然后，就丢开了；
第2，是2014年有一阵使劲儿钻研了瑞波币，确认不是骗局，那时候，瑞波币的价格是1
.1-1.3美分，然后，就丢开了。
恩，比特币2017年曾上涨到1.9万美元，现在是1.6万美元；
恩，瑞波币昨天上涨了64%，目前是3.6美元。
因为一堆一堆的虚拟币骗局出现，2014年之后我基本放弃了对这些数字货币的研究——
直到2017年下半年比特币大涨之后，我才重新拾起这些加密货币的知识，现在更是在从
头恶补关于区块链的一系列知识。
……
在《改造金融系统？区块链可以这样做》（参见文尾附文）一文中，我初步讲了区块链
技术的发展历史、核心价值以及应用场景，很多人说没有看懂，也没有感觉。
今天轻松一点儿，给大家讲讲美国印第安人的历史。
-------... 阅读全帖 |
|
d*****g
发帖数: 1616 | 10 【 以下文字转载自 Military 讨论区 】
发信人: dahuang (春风又绿江南岸), 信区: Military
标 题: 且让世界听龙吟：理实交融的龙芯基础研究
发信站: BBS 未名空间站 (Sat Apr 28 05:00:57 2012, 美东)
http://www.ict.cas.cn/cxwh/cxqs/201204/P020120409552277976099.p
求实·创新 2012年1月 总第94期
且让世界听龙吟：理实交融的龙芯基础研究
钱 诚 陈云霁
2007年，龙芯3号的设计揭开序幕，当被人问到龙芯3号的意义时，胡伟武老师微笑
不语，提笔写下一行字，“如果说龙芯1号是在迷雾中起步，还看不到先行者的影子，
那么龙芯2号完成后，在当时实际上已经超过了一些同行者，看清了领先者的背影，而
龙芯3号的完成将使龙芯大踏步赶上并超过领先者。”
四年时间过去，龙芯3号已经从设计变成现实，并已发展出一系列改进型号。依托
龙芯3号的研发，龙芯团队已经实现了胡老师的预期，走在了世界体系结构研究的最前
沿。从2008年开始，龙芯在顶... 阅读全帖 |
|
L***s
发帖数: 9258 | 11 新晋图灵奖得主Leslie Lamport也不幸置身于本次微软大规模裁员与MSR硅谷研究院关闭
事件中。目前尚不清楚Lamport去向如何，但是至少他今年刚到手的硅谷专用停车位应该
是没了... |
|
u*a
发帖数: 247 | 12 帮楼主解释一下吧
2PC 2 phase commit protocol
vector clock Lamport Time, clocks, and the ordering of events in a
distributed system
LRU Least Recently Used cache
DHT Distributed hash table
paxos Lamport distributed consensus protocol
个人很难理解楼主为啥会挂，这些概念都讲清楚真的很牛了。 |
|
d*****g
发帖数: 1616 | 13 【 以下文字转载自 Military 讨论区 】
发信人: dahuang (春风又绿江南岸), 信区: Military
标 题: 且让世界听龙吟：理实交融的龙芯基础研究
发信站: BBS 未名空间站 (Sat Apr 28 05:00:57 2012, 美东)
http://www.ict.cas.cn/cxwh/cxqs/201204/P020120409552277976099.p
求实·创新 2012年1月 总第94期
且让世界听龙吟：理实交融的龙芯基础研究
钱 诚 陈云霁
2007年，龙芯3号的设计揭开序幕，当被人问到龙芯3号的意义时，胡伟武老师微笑
不语，提笔写下一行字，“如果说龙芯1号是在迷雾中起步，还看不到先行者的影子，
那么龙芯2号完成后，在当时实际上已经超过了一些同行者，看清了领先者的背影，而
龙芯3号的完成将使龙芯大踏步赶上并超过领先者。”
四年时间过去，龙芯3号已经从设计变成现实，并已发展出一系列改进型号。依托
龙芯3号的研发，龙芯团队已经实现了胡老师的预期，走在了世界体系结构研究的最前
沿。从2008年开始，龙芯在顶... 阅读全帖 |
|
|
d*****g
发帖数: 1616 | 15 【 以下文字转载自 Military 讨论区 】
发信人: dahuang (春风又绿江南岸), 信区: Military
标 题: 且让世界听龙吟：理实交融的龙芯基础研究
发信站: BBS 未名空间站 (Sat Apr 28 05:00:57 2012, 美东)
http://www.ict.cas.cn/cxwh/cxqs/201204/P020120409552277976099.p
求实·创新 2012年1月 总第94期
且让世界听龙吟：理实交融的龙芯基础研究
钱 诚 陈云霁
2007年，龙芯3号的设计揭开序幕，当被人问到龙芯3号的意义时，胡伟武老师微笑
不语，提笔写下一行字，“如果说龙芯1号是在迷雾中起步，还看不到先行者的影子，
那么龙芯2号完成后，在当时实际上已经超过了一些同行者，看清了领先者的背影，而
龙芯3号的完成将使龙芯大踏步赶上并超过领先者。”
四年时间过去，龙芯3号已经从设计变成现实，并已发展出一系列改进型号。依托
龙芯3号的研发，龙芯团队已经实现了胡老师的预期，走在了世界体系结构研究的最前
沿。从2008年开始，龙芯在顶... 阅读全帖 |
|
a********e
发帖数: 16 | 16 四.艾兹赫尔·W·戴克斯彻（Edsger W. Dijkstra）。
1)理论物理学家转入计算机编程。
2)1956年左右，思考出最短路径算法，修改后为最短子分支树算法，发表于《数字数学
》。当时数学界几乎全在研究连续统和无穷大问题，无人关注。
3)针对资源共用问题，提出“互斥”方法，基于铁路信号系统的P（荷兰语“通过”）
、V（荷兰语“释放”）操作。
4)“哲学家的晚餐”，体现死锁问题。之后几年最成熟计算机系统MULTIX却并没有考虑
死锁问题。
5)前往美国布劳斯公司，推行编程的可验证性，提出“GOTO语句是有害的”，却阻碍了
一些程序员所喜欢的程序不确定性。
6)《程序与证明的形式开发》，拉近数学与计算机科学的距离。
7)对人工智能说不。
五.迈克尔·O·拉宾（Michael Oser Rabin）。
1)德国犹太人拉比家族（观察思考产生智慧的阶层）。
2)能够猜想的计算机：考虑有限状态机，证明非确定性有限状态机与确定性有限状态机
之间的转换关系。
2+)图灵于1935年定义“计算”的逻辑基础，设计图灵机。借助哥德尔不可判定原理，
设计停机问题，挑战希尔伯特判定性问题。
3)对计... 阅读全帖 |
|
R*********v
发帖数: 13 | 17 lamport formalize了很多 distributed computing的问题
atomic, concurrency, consistency,等等 要搞theory of distributed computing，
不可避免要接触这些东西
说是开山鼻祖也不为过。
牛顿力学的原理看着也很trivial
更何况lamport 也有很多高大上的东西，比如用temporal logic 验证concurrent
system |
|
R*********v
发帖数: 13 | 18 lamport formalize了很多 distributed computing的问题
atomic, concurrency, consistency,等等 要搞theory of distributed computing，
不可避免要接触这些东西
说是开山鼻祖也不为过。
牛顿力学的原理看着也很trivial
更何况lamport 也有很多高大上的东西，比如用temporal logic 验证concurrent
system |
|
p***o
发帖数: 1252 | 19 Just FYI, for concurrency without ANY hardware support, Lamport's
bakery algorithm could be used ...
research.microsoft.com/users/lamport/pubs/pubs.html#bakery
Cited from the page:
"Before the bakery algorithm, people believed that the mutual exclusion prob
lem was unsolvable--that you could implement mutual exclusion only by using
lower-level mutual exclusion. Brinch Hansen said exactly this in a 1972 pap
er. Many people apparently still believe it. (See [90].) "
write |
|
r***s
发帖数: 737 | 20 Lamport 是建筑师， stallman torvalds 是木匠和管子工
这世上觉得木匠比建筑师牛逼的恐怕只剩码农了
Lamport 的vector lock 和 Paxos 加上 software model checking,
Weak and strong fairness conditions 是当今云计算的基础
没有他大家今天还必须用大型机， Linux gcc在大型机里有屁用！ |
|
r***s
发帖数: 737 | 21 衰人连说两句。 Paxos 的话Wiki 里讲的比较浅显
如果嫌细节不够可以看Lamport后续的 Paxos Made Simple。
Raft 在 consensus protocol上和Paxos 没有区别， 只不过描述了一个fault
detection 算法， Lamport在文中已经证明过不管使用神马Fault Detection算法都不
影响协议正确性。而且那算法还不是他们头一个提出的
Zab也是一样的Paxos，在Multi-Decree leader changes 的时候略有修改。 其实他们
的修改也不是头一个提出的。微软研究院几年前有两篇 PacificA 和 Niobe就是一样的
东西， 无非保证顺序而已， |
|
发帖数: 1 | 22 Socket只是一個API吧，如果socket也算，那.net之流算不算呢
Lamport不了解，cap是一種分類，跟能量守恆定律差不多，可以算一個。
: 文科生露怯了吧
: Lamport这些distributed system的大神都是学术界的
: CAP theory也是伯克利教授搞得（一直在学校）
: Socket是伯里克80年代的
|
|
s******c
发帖数: 1920 | 23 众望所归，Latex多重要就不说了， BFT, Paxos 都是神作。一个人能贡献这么多也真
是奇迹。难怪我软今天大涨lol。只怕阿三米犹以后再也不养这样的牛人，宁可从icc招
更多的三哥 |
|
|
|
|
d******r
发帖数: 16947 | 27 我就问啥重要的？会latex找工作容易不？ lol |
|
|
|
|
|
|
S**********b
发帖数: 3142 | 33 你见过哪个小米会用latex？
小米word就够了，excel都不需要 |
|
|
|
|
d******r
发帖数: 16947 | 37 我日，20分钟就搞定的东西还智商呢，尼亚智商250？
还以会这个为荣 lol |
|
c*****t
发帖数: 10738 | 38 呵呵。只是强调他美国人。Bronx High是纽约著名重点高中啊，华人小孩大大的多。 |
|
S******8
发帖数: 24594 | 39 这老头很害羞，有次开会大家坐游艇cruise,别人都在那儿海阔天空地扯淡，就他一个
人端个酒杯微笑地看着我们几个老中聊天。当时真的想主动去跟他聊几句，可是心里发
虚还是没敢。有点让我不解的是，很多人都不认识他 |
|
|
d******r
发帖数: 16947 | 41 我怎么叫抬杠？latex发明前用word学生更多，那word不是更重要了？lol |
|
S******8
发帖数: 24594 | 42 他最后毕业的学校是brandeis,不知道怎么样 |
|
w***u
发帖数: 17713 | 43 犹太人第一学校，不像yeshiva，elbert einstein那么显犹太味。 |
|
|
i*******g
发帖数: 1154 | 45 that's univ. such as Wellesley? |
|
|
|
S**********b
发帖数: 3142 | 48 在boston 这里
Brandeis 就被俗称为男子 Wellesley. |
|
|
