它 萊斯利·蘭波特 - 分佈式計算基礎著作的作者，你也可以通過單詞中的字母 La 來認識他 LaTeX - “Lamport TeX”。 早在 1979 年，他就首次提出了這一概念 , 和他的文章 獲得了 Dijkstra 獎（更準確地說，2000 年該獎項的舊稱：“PODC 影響力論文獎”）。 有關於他 ，在那裡你可以獲得一些更有趣的鏈接。 如果您對解決 happens-before 或 (BFT)，他們需要明白 Lamport 是這一切的幕後黑手。
他很快就會來到我們關於分佈式計算的新會議 - Hydra，該會議將於 11 月 12 日至 XNUMX 日在聖彼得堡舉行。 讓我們看看它是什麼動物。
九頭蛇2019
像多線程這樣的話題是我們會議上最熱門的話題，一直都是。 這個大廳剛剛空無一人，但隨後台上出現了一個人，他在談論內存模型、happens-before 或多線程垃圾收集，然後——砰！ - 已經有不到一千人佔據了所有可用空間坐下來仔細聆聽。 這種成功的本質是什麼？ 也許是因為我們手頭都擁有某種能夠組織分佈式計算的硬件？ 或者是我們下意識地理解我們無法加載它的真實價值？ 有一個真實的故事，一個聖彼得堡的量子（也就是金融量化分析師和開發者），他最終得到了一個計算集群在他的手中，其全部的力量只能由他一個人使用。 如果您必須以比現在大很多倍的能力執行任務，您會怎麼做？
由於這種流行，性能和高效計算的主題往往會在整個會議計劃中傳播。 兩天的報告中，有多少是關於績效的——三分之一，三分之二？ 在某些地方，存在限制這種增長的人為限制：除了性能之外，還必須為新的 Web 框架、某種開發運營或建築航天學留出空間。 不，表演，你不會把我們整個吃掉的！
或者你可以走相反的路，放棄並誠實地召開一個完全關於分佈式計算的會議，而且只關於它們。 在這裡，九頭蛇。
讓我們誠實地承認，今天所有的計算都是這樣或那樣分佈的。 無論是多核機器、計算集群，還是大規模的分佈式服務，處處都有許多進程在並行進行獨立的計算，相互同步。 它在理論上如何運作以及在實踐中如何運作將是 Hydra 的重點。
會議日程
該程序目前正在開發中。 它應該包括分佈式系統理論的創始人和在生產中與他們一起工作的工程師的報告。
例如，我們已經知道微軟研究院的 Leslie Lamport 和布朗大學的 Maurice Herlihy 的參與。
莫里斯·赫利希 - 一位非常著名和受人尊敬的計算機科學教授，還有一個關於他的故事 ，您可以在其中查看鏈接和作品。 在那裡你可以注意到多達兩個 Dijkstra 獎，第一個是關於 ，第二個，最近的 - . 順便說一句，這些鏈接甚至不指向 SciHub，而是指向布朗大學和弗吉尼亞理工大學，您可以打開閱讀。
Maurice 將主持一個名為“分佈式計算視角下的區塊鏈”的主題演講。 有興趣的可以看看聖彼得堡JUG莫里斯報告的錄音。 評估他傳達主題的清晰度和可理解性。
名為“雙重數據結構”的第二個主題演講將閱讀 邁克爾·斯科特 來自羅徹斯特大學。 你猜怎麼著——他也有自己的 . 在威斯康星州的家鄉，他以在威斯康星大學麥迪遜分校擔任院長而聞名，在世界範圍內，他與 Doug Lea 一起開發了 Java 庫運行的非阻塞算法和同步隊列. 他在 Herlihy 三年後獲得 Dijkstra 獎，以表彰他的工作“共享內存多處理器上的可伸縮同步算法”（正如預期的那樣， 在羅切斯特大學的在線圖書館）。
距離XNUMX月中旬還有很多時間。 隨著節目的完善和臨近 XNUMX 月，我們將介紹其他演講者及其主題。
一般來說，問題出現了 - 為什麼我們在夏天製作九頭蛇？ 畢竟現在是淡季，節假日。 問題是演講者中有大學教授，其他時間對他們來說都很忙。 我們無法選擇其他日期。
討論區
在其他會議上，碰巧發言者閱讀了必要的內容並立即離開。 參與者甚至沒有時間去尋找它 - 畢竟，下一份報告幾乎沒有間隙就開始了。 這很傷人，尤其是當像 Lamport、Herlihy 和 Scott 這樣的重要人物在場時，你實際上去參加會議只是為了見到他們並談論一些事情。
我們已經解決了這個問題。 報告結束後，演講者立即進入一個專門的討論區，至少配備了一塊帶記號筆的白板，你有很多時間。 正式地，演講者承諾至少在報告間隙期間會在場。 實際上，這些討論區 可以 連續拉伸數小時（取決於演講者的意願和耐力）。
至於蘭波特，如果我沒理解錯的話，他是想讓盡可能多的人相信 - 這是一件好事。 (). 也許這將是工程師學習新的和有用的東西的好機會。 Leslie 提供了這個選項——任何有興趣的人都可以觀看他過去的講座並提出問題。 也就是說，可以說不是主題演講，而是專門的問答環節，然後是另一個討論區。 我用谷歌搜索了一下，發現了一個很棒的 （官方稱 ) 和一個小時的講座 與微軟教職工峰會。
如果您認為所有這些人都是從維基百科和書籍封面上刻在花崗岩上的名字，那麼是時候與他們現場見面了！ 聊天並提出科學文章頁面不會回答的問題，但他們的作者會很樂意聯繫。
徵稿啟事
眾所周知，許多現在正在閱讀這篇文章的人並不反對自己講述一些足夠有趣的事情。 從工程學的角度，從科學的角度，從任何一個角度。 分佈式計算是一個非常廣泛和深入的話題，每個人都有一席之地。
如果你想和蘭波特並肩作戰，那完全有可能。 要成為演講者，你需要 ，仔細閱讀那裡的所有內容並按照說明進行操作。
冷靜點，只要你連接到流程，你就會得到幫助。 計劃委員會有足夠的資源來幫助完成報告本身、其本質和設計。 協調員將幫助您處理組織問題等。
特別注意帶日期的圖片。 七月對參與者來說是一個相當遙遠的日期，演講者需要立即開始行動。
學校
會議將與SPTDC學校在同一地點舉行，所以對於所有購買學校門票的人來說，會議門票 - 有20％的折扣.
- 提供廣泛的分佈式系統實踐和理論課程的學校，由相關領域公認的專家教授。
學校將以英語授課，以下是所涵蓋的主題列表：
- 並發數據結構：正確性和效率；
- 非易失性存儲器的算法；
- 分佈式可計算性；
- 分佈式機器學習；
- 狀態機複製和 Paxos；
- 拜占庭容錯；
- 區塊鏈的算法基礎。
以下發言人將發言：
- 萊斯利·蘭波特（微軟）；
- Maurice Herlihy（布朗大學）；
- 邁克爾·斯科特（羅徹斯特大學）；
- Dan Alistarh（IST 奧地利）；
- 特雷弗·布朗（滑鐵盧大學）；
- Eli Gafni（加州大學洛杉磯分校）；
- 丹尼亨德勒（本古里安大學）；
- Achour Mostefaoui（南特大學）。
與以前學校的報告可以在YouTube上免費查看：
下一步
會議日程仍在製定中。 在 Habré 或社交網絡上關注新聞（, , ).
如果您真的相信這次會議（或者想利用特價起拍價，正如他們所說的“早起的鳥兒”）-您可以訪問該網站並 .
九頭蛇見！
來源： www.habr.com