三位 Dijkstra 獎得主:Hydra 2019 和 SPTDC 2019 進展如何

三位 Dijkstra 獎得主:Hydra 2019 和 SPTDC 2019 進展如何

最近,8月12日至XNUMX日,兩件重大事件同時發生-會議 水潤 和學校 斯普頓發展中心。 在這篇文章中,我想重點介紹我們在會議期間注意到的幾個特點。

Hydra 和學校最大的驕傲就是演講者。

  • 三位得獎者 迪傑斯特拉獎:萊斯利·蘭波特、莫里斯·赫利希和邁克爾·斯科特。 而且,莫里斯收到過兩次。 萊斯利·蘭波特還獲得 圖靈獎 — 電腦科學領域最負盛名的 ACM 獎;
  • Java JIT編譯器的創建者是Cliff Click;
  • Corutin 開發者 - Roman Elizarov (埃利扎羅夫)和尼基塔·科瓦爾(恩科瓦爾)用於 Kotlin,Dmitry Vyukov 用於 Go;
  • Cassandra (Alex Petrov)、CosmosDB (Denis Rystsov)、Yandex 資料庫 (Semyon Checherinda 和 Vladislav Kuznetsov) 的貢獻者;
  • 還有許多其他名人:Martin Kleppmann (CRDT)、Heidi Howard (Paxos)、Ori Lahav (C++ 記憶體模型)、Pedro Ramalhete (無等待資料結構)、Alexey Zinoviev (ML)、Dmitry Bugaichenko (圖形分析)。

這已經是學校了:

  • 布朗大學(莫里斯·赫利希),
  • 羅徹斯特大學(麥可‧史考特),
  • 滑鐵盧大學(特雷弗布朗),
  • 南特大學(Achour Mostefaoui),
  • 內蓋夫大衛·本·古里安大學(丹尼·亨德勒),
  • 加州大學洛杉磯分校(Eli Gafni),
  • 巴黎綜合理工學院(彼得·庫茲涅佐夫),
  • 微軟研究院(萊斯利·蘭波特),
  • VMware 研究中心(Ittai Abraham)。

三位 Dijkstra 獎得主:Hydra 2019 和 SPTDC 2019 進展如何

理論與實務、科學與生產

我提醒您,SPTDC 學校是一個只有 XNUMX 人的小型活動;世界級的傑出人物聚集在那裡,討論分散式運算領域的現代問題。 Hydra 是一個並行舉行的為期兩天的分散式計算會議。 九頭蛇更注重工程,而學院則更注重科學。

Hydra 會議的目標之一是將科學和工程原理結合起來。 一方面,這是透過程式中報告的選擇來實現的:除了 Lamport、Herlihy 和 Scott,還有為 Cassandra 做出貢獻的 Alex Petrov 或來自 JetBrains 的 Roman Elizarov 的應用報告。 其中有 Martin Kleppman,他曾經創立和銷售新創公司,現在正在劍橋大學學習 CRDT。 但最酷的事情是 Hydra 和 SPTDC 並肩舉行——他們有不同的報告,但有一個共同的溝通場所。

三位 Dijkstra 獎得主:Hydra 2019 和 SPTDC 2019 進展如何

浸沒

連續五天的學校活動對參與者和主辦單位來說都是非常大的活動,工作量也很大。 並不是每個人都能活到最後幾天。 有些人同時去了九頭蛇和學校,對他們來說最後的日子是最重要的。 所有這些大驚小怪都被令人難以置信的深度沉浸所抵消。 這不僅與數量有關,還與材料的品質有關。 兩次活動的所有報告和講座都沒有計劃是介紹性的,所以無論你走到哪裡,你都會立即深入,直到最後都不放手。

當然,很大程度上取決於參與者的初步準備。 有趣的是,走廊上有兩組人獨立討論海蒂·霍華德的報告:有些人覺得這很平常,而另一些人則相反,對人生進行了深刻的思考。 有趣的是,根據計畫委員會的參與者(希望保持匿名)的說法,Hydra 的報告和學校在其活動中的講座可能資格過高。 舉個例子,如果一個PHP大三來參加PHP會議學習生活,就認為他對Zend Engine的內部了解很深就有點草率了。 在這裡,演講者並沒有給後輩填鴨式的灌輸,而是立即暗示了某種程度的知識和理解。 嗯,確實,操作分散式系統和編寫運行時核心的參與者水平非常高,這是符合邏輯的。 從與會者的反應來看,根據等級和主題選擇報告還是很容易的。

如果我們談論具體的報告,它們都有各自的優點。 從人們的言論和回饋表中可以看出,學校最酷的報告之一是 “非阻塞資料結構” Michael Scott,他簡直把所有人都撕碎了,他的評分異常異常,在 4.9 左右。

三位 Dijkstra 獎得主:Hydra 2019 和 SPTDC 2019 進展如何

元會議

早在九頭蛇和學校開始之前,魯斯蘭 精氨酸89 假設會有某種「元會議」——一場會議的會議,其他活動的所有頂級參與者都會自動被吸進去,就像被吸進黑洞一樣。 結果就這樣發生了! 例如,在學校的學生中註意到 魯斯蘭·切雷明 來自德意志銀行,著名的多執行緒專家。

三位 Dijkstra 獎得主:Hydra 2019 和 SPTDC 2019 進展如何

九頭蛇成員中也注意到了 瓦迪姆·採斯科 (暗箱)和 安德烈潘金 (阿潘金)來自 Odnoklassniki 公司。 (同時,Vadim也幫我們對Martin Kleppman做了兩次精彩的訪談—— 一份給哈布爾,另一個針對線上廣播的觀眾)。 有會員 DotNext 規劃委員會、著名演講家阿納托利·庫拉科夫和伊戈爾·拉布廷。 賈維斯特派有 德米特里·亞歷山德羅夫 и 弗拉基米爾·伊万諾夫。 通常你會在完全不同的地方看到這些人——DotNext 上的 dotnet 專家、Joker 上的 java 專家等等。 因此,他們並排坐在九頭蛇報告中,一起討論愛好者的問題。 當這種對程式語言和技術的人為劃分消失後,該學科領域的特徵就顯現出來了:動態運行時專家與其他運行時專家交流、分散式計算理論研究人員與其他研究人員激烈爭論、數據庫引擎工程師擠在白板上等等。 。

報告會上 根據C++記憶體模型 OpenJDK 開發人員坐在前排(至少我認得他們,但不認識 Pythonists,也許 Pythonists 也在場)。 事實上,希皮列夫斯基在這份報告中確實有一些東西……奧裡並沒有講述完全相同的事情,但仔細觀察可以發現相似之處。 即使在最新的C++標準中發生了這一切之後,諸如憑空取值之類的問題仍然沒有得到解決,所以你可以去看這樣一個報告,聽聽“路障另一邊”的人們是怎麼做的試圖解決這些問題,正如他們所推理的,人們可能會對找到的解決方案的方法印象深刻(Ori 有修復選項之一)。

程序委員會和社區引擎中有很多參與者。 每個人都解決了宗教間的問題,建立了橋樑,並建立了聯繫。 我盡可能地使用了這一點,例如,我們同意 Alexander Borgardt 的觀點 莫斯科 C++ 使用者群組 一起寫一篇關於 C++ 中的參與者和非同步的全面文章。

三位 Dijkstra 獎得主:Hydra 2019 和 SPTDC 2019 進展如何

照片中:列昂尼德‧塔拉拉耶夫 (Leonid Talalaev)伊塔拉爾,左)和奧列格·阿納斯塔西耶夫(萌萌噠,右),Odnoklassniki 的主要開發人員

火力討論區和愛好者

在會議上,總是有一些參與者和演講者一樣了解主題(有時甚至比演講者更了解——例如,當參與者中有某個技術核心的開發人員時)。 Hydra 有許多這樣的高水準專家參與者。 例如,在亞歷克斯彼得羅夫講述的某個時刻 關於卡桑德拉,這麼多人組成,他無法回答所有人。 某個時候,Alex 被順利推到一邊,開始被問題撕扯,但落下的旗幟卻被圈內一位知名 Rust 開發者接起 泰勒·尼利 並完美平衡負載。 當我向泰勒尋求在線採訪的幫助時,他只問:“我們什麼時候開始?”

三位 Dijkstra 獎得主:Hydra 2019 和 SPTDC 2019 進展如何

有時,討論的精神甚至滲透到報告中:尼基塔·科瓦爾組織了一場突然的問答環節,將報告分為幾個部分。

反之亦然,在用於多線程的 BOF 上,他們記得非易失性內存,他們被這個 bof 所吸引 佩德羅·拉馬爾赫特 作為首席專家,他向大家解釋了一切(總之,非揮發性記憶體在不久的將來不會對我們構成威脅)。 順便說一下,這個 bof 的主持人之一是 弗拉基米爾·西特尼科夫,他在一些瘋狂數量的會議的程序委員會中任職……現在似乎一次有五個。 在下一次關於「現實世界中的現代 CS」的討論中,他們也討論了 NVM,並且完全是自己解決這個問題的。

三位 Dijkstra 獎得主:Hydra 2019 和 SPTDC 2019 進展如何

我可以分享一個超級洞察力,即使是那些直接參與這個故事的人也可能沒有註意到。 伊萊·加夫尼(Eli Gafni)在開學第一天的晚上表演了,第二天他留下來開始惡搞蘭波特(Lamport),從表面上看,這似乎是一場遊戲,而伊萊(Eli)還不夠。 這是某種巨魔想要取出萊斯利的大腦。 事實上,事實是他們幾乎是最好的朋友,他們已經是多年的朋友了,而這只是這樣友善的玩笑。 也就是說,這個笑話起了作用——周圍的所有人都相信了它,並相信它的表面價值。

三位 Dijkstra 獎得主:Hydra 2019 和 SPTDC 2019 進展如何

另外,我想指出演講者為此付出了多少愛心和努力。 有人站在討論區直到最後一刻,幾乎長達幾個小時。 休息很久以前就結束了,報告開始,結束,下一次休息開始——然後 德米特里·維尤科夫 繼續回答問題。 一個有趣的故事也發生在我身上 - 讓 Cliff Click 感到驚訝的是,我不僅收到了關於缺乏測試的挑釁性討論的清晰合理的解釋 對於 H2O 中的某些東西,但也得到了完整的評論 新語言AA。 我從來沒有問過這個:我只是問你可以讀到什麼關於 AA 的內容(結果你可以聽 播客),相反,克里夫花了半個小時討論語言並檢查他所說的內容是否被正確理解。 奇妙。 我們需要寫一篇關於 AA 的 habrapost。 另一個不尋常的經歷是觀看 Kotlin 中的 Pull Request 審查流程。 當你走進不同的討論小組,不同的演講者,並陷入一個全新的世界時,這確實是一種神奇的感覺。 這是一個水平上的東西 Radiohead 的《那裡,那裡》.

三位 Dijkstra 獎得主:Hydra 2019 和 SPTDC 2019 進展如何

英語

Hydra 2019 是我們第一次以英語為主要語言的會議。 這既帶來了它的優勢,也帶來了挑戰。 一個明顯的優勢是,參加會議的人不僅來自俄羅斯,因此在與會者中你可以遇到來自歐洲的工程師和來自英國的科學家。 演講者帶來了他們的學生。 一般來說,重要的演講者更有動力去參加這樣的會議。 想像一下,您是一場完全俄語會議的演講者:您已經發表了報告,為討論區辯護,然後呢? 遊覽城市並參觀旅遊景點? 事實上,真正受歡迎的演講者已經看夠了世界上的一切,他們不想去看獅子和吊橋,他們很無聊。 如果所有的報告都是英文的,他們就可以一般地參加會議,玩得開心,加入討論區等等。 演講者的氣氛相當友善。

三位 Dijkstra 獎得主:Hydra 2019 和 SPTDC 2019 進展如何

明顯的缺點是並不是每個人都能輕鬆地用英語溝通。 很多人聽得懂,但說得不好。 一般來說,普通的事情可以用不同的方式解決。 例如,一些討論區域以俄語開始,但當第一個講英語的參與者出現時立即切換為英語。

我自己必須只用英語完成線上廣播的開場和閉幕,並參加一些專家的錄音訪談。 這對我來說是一個真正的挑戰,不會很快被忘記。 在某個時刻奧列格·阿納斯塔西耶夫(萌萌噠)只是告訴我在面試期間和他們坐在一起,我太慢了以至於無法理解這意味著什麼。

另一方面,人們在報告中熱烈提問也是非常愉快的。 不僅是母語人士,而且對於所有人來說,它都效果很好。 在其他會議上,經常看到人們不好意思用蹩腳的英語向觀眾提問,只能在討論區擠一些東西。 這裡完全不同。 相對而言,有的Cliff Click稍早完成了報告,之後問題就連續不斷地進行,談話進入了討論區——沒有尷尬的停頓或打斷。 Leslie Lamport 的問答環節也是如此;演講者幾乎不需要問他的問題,參與者自己想出了一切。

有各種各樣的小事很少有人注意到,但它們確實存在。 由於會議是英文的,傳單、地圖等設計更加輕盈簡潔。 無需重複語言和混亂設計。

贊助商及展覽

我們的贊助商為我們舉辦這次會議提供了許多幫助。 多虧了他們,休息期間總有事情要做。

在展位上 德意志銀行技術中心 你可以與多執行緒系統的工程師聊天,用你的頭腦解決他們的問題,贏得難忘的獎品,享受美好時光。

三位 Dijkstra 獎得主:Hydra 2019 和 SPTDC 2019 進展如何

在展位上 輪廓 我們可以談論他們自己的系統,無論是開放的還是開源的:分散式記憶體資料庫、分散式二進位日誌、微服務編排系統、遙測通用傳輸等等。 當然,還有謎題和競賽、帶有二元貓和苦難中世紀的貼紙、馬丁·克萊普曼 (Martin Kleppmann) 的書和樂高人物等禮物。

請注意,Kontur問題的分析已經 發表於 哈布雷。 分析的不錯,值得一看。

三位 Dijkstra 獎得主:Hydra 2019 和 SPTDC 2019 進展如何

有興趣的可以購買各種書籍並與同事討論。 簽名會現場擠滿了人!

三位 Dijkstra 獎得主:Hydra 2019 和 SPTDC 2019 進展如何

結果

Hydra 會議和 SPTDC 學校對於我們作為組織公司和整個社區來說都是非常重要的活動。 這是一個展望我們的未來、制定討論現代問題的統一概念框架並仔細研究有趣方向的機會。 多執行緒已經存在很長時間了,但在第一個真正的多核心處理器出現之後整整十年,這種現象才變得普遍。 我們在本週的報告中聽到的並不是轉瞬即逝的消息,而是我們在未來幾年將遵循的通往光明未來的道路。 這篇文章不會對下一個九頭蛇有任何劇透,但你可以期待最好的結果。 如果您對此類問題感興趣,您可能想查看我們的其他活動,例如硬核會議演講 小丑2019DotNext 2019 莫斯科。 我們下次會議再見!

三位 Dijkstra 獎得主:Hydra 2019 和 SPTDC 2019 進展如何

來源: www.habr.com

添加評論