今天偶然在人人上看到微軟亞研院分享的Lamport的采訪視頻，心情也比較好，就點(diǎn)進(jìn)去看了。全英文沒(méi)有字幕也許是一道屏障，還好之前被訓(xùn)練過(guò)，耐著性子也能看完。邊看邊記邊傻笑，人家咋說(shuō)的這么好呢？采訪二十幾分鐘，主持人沒(méi)說(shuō)太多，主要是Lamport本人在說(shuō)。從他得Turing獎(jiǎng)的經(jīng)歷說(shuō)起，Lamport大牛就說(shuō)了，自己當(dāng)時(shí)還是在飛機(jī)場(chǎng)等飛機(jī)時(shí)候，偶然地接到了wifi連了網(wǎng)，然后接到一個(gè)電話才得知自己獲獎(jiǎng)的。然后也稍稍慶祝了一下。
接著介紹自己的主要工作——邏輯時(shí)鐘等，貌似是1978年的paper，這個(gè)東東，在研究生階段是必學(xué)的知識(shí)。大家也挺熟悉的了。Lamport講自己是一個(gè)數(shù)學(xué)家，其次才算是計(jì)算機(jī)科學(xué)家。強(qiáng)調(diào)自己對(duì)于證明的重視。實(shí)際上，他給出了一個(gè)狀態(tài)機(jī)器來(lái)解決分布式進(jìn)程通信的問(wèn)題，類(lèi)似于圖靈機(jī)，也是抽象機(jī)器或者說(shuō)思維機(jī)器（mental machine）。他告訴主持人，那時(shí)他不是從數(shù)學(xué)也不是從計(jì)算機(jī)角度看問(wèn)題，而是以物理學(xué)的思維方式，把進(jìn)程看作是agent。抽象到很高的層次來(lái)研究分布式系統(tǒng)的。最終他給出的模型，大家都點(diǎn)贊。他的目標(biāo)是給出不同于多核模型的一個(gè)real分布式計(jì)算模型，容許部分的計(jì)算設(shè)備有failure。
然后，主持人想套點(diǎn)學(xué)習(xí)心得，就問(wèn)了，為什么Lamport大神你的思維能力特別強(qiáng)悍呢？大家都說(shuō)，Lamport給出的解答，很犀利。這時(shí)，大牛就有點(diǎn)不好意思了。不過(guò)也分享了自己的感受。第一，他說(shuō)，我是學(xué)數(shù)學(xué)的，拿的是數(shù)學(xué)專(zhuān)業(yè)的phd。抽象能力很好，容易抓住問(wèn)題的本質(zhì)，而不會(huì)distracted by details。第二，我渴望通過(guò)證明來(lái)獲得對(duì)問(wèn)題的理解，總是有incentive to look at CS mathematically。（這句翻不出感覺(jué)，只能直接轉(zhuǎn)錄。）頓時(shí)膜拜了。這簡(jiǎn)直是在說(shuō)服主持人學(xué)數(shù)學(xué)啊，主持人當(dāng)時(shí)也“呵呵”了。
接下來(lái)，Lamport就被問(wèn)到哪些人對(duì)他影響較大，他著重介紹了一位叫做Edison的老師（應(yīng)該是老板），在暑期實(shí)習(xí)的時(shí)候給了他很多問(wèn)題和學(xué)習(xí)數(shù)學(xué)的建議。再后來(lái)就是說(shuō)到E. Dijkstra。這又是一位更大的牛。這里不說(shuō)了。Lamport談到大學(xué)時(shí)說(shuō)，大學(xué)是教育自己（to educate yourself）的地方，而不是job training的地方，需要訓(xùn)練自己的批判思維和抽象思維。頓時(shí)淚流滿(mǎn)面，深切認(rèn)同。后來(lái)Lamport談到Tarjan大牛的一句話，沒(méi)有g(shù)rand theory，只有l(wèi)ittle problems。他也深表認(rèn)同，回望自己的工作，自己并沒(méi)有為了創(chuàng)建一套grand theory，而是不斷地去解決一系列問(wèn)題。然而最終，這些答案自己匯成一個(gè)path（這里使用的path很到位）。
最后，Lamport苦口婆心說(shuō)了：“Learn as much maths as you can”。
＝＝＝＝＝＝＝＝＝＝＝＝
Lamport建議：
1. 數(shù)學(xué)：抽象能力
2. 實(shí)踐：doing it
3. 避免基本缺陷（avoid fundamental flaws）
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
PS：對(duì)了，Lamport還推薦了TLA＋語(yǔ)言，用于描述系統(tǒng)的。之前有碰過(guò)，沒(méi)有深入。這篇純屬個(gè)人靠記憶發(fā)揮?？隙ㄓ胁煌椎牡胤健Ｍ蠹野?
