Hydra 懷抱中的克里姆林宮：2020 年莫斯科並行和分佈式計算 Hydra 會議

去年在聖彼得堡有 第一次九頭蛇會議，專用於平行和分散式系統。 獲獎者發表演講 迪傑斯特拉獎 и 圖靈獎 (萊斯利·蘭波特, 莫里斯·赫利希 и 邁克爾·斯科特）、編譯器和程式語言（C++、Go、Java、Kotlin）的創建者、分散式資料庫（Cassandra、CosmosDB、Yandex Database）的開發者，以及演算法和資料結構（CRDT、Paxos、等等）的創建者和研究者-自由資料結構）。 一般來說，此時您已經可以休假了，最小化 IDE 窗口，在 YouTube 上開啟播放列表 最好的報告 Hydra 2019 - 讓任務排程器等一下。

總的來說，這樣的會議從來沒有發生過，現在又會發生。 再次附有英文報告，因為沒有更好的語言來談論平行和分散式計算。 又是夏天，10月11日和XNUMX日，因為演講者有時間進行研究和教學，例如在劍橋大學、羅徹斯特大學和聖彼得堡大學，而一年中的其他時間不適合他們。

不過，這次Hydra將在莫斯科舉行，去年大多數與會者來這裡是為了聆聽關於分散式共識和事務性記憶體的報告。 新的 Hydra 具有更複雜的節目、新的揚聲器以及去年的英雄，以及分佈在三個大廳的參與者之間已經熟悉的並行硬核的興奮感。

讓我們立即在桌子上放一副牌，拜占庭將軍面朝上——我們希望新九頭蛇的計劃更加詳細和多樣化。 上次我們用指甲刮過，現在讓我們挖得更廣、更深。 以下是 Hydra 2020 主題，與去年相比有所不同：

  Parallel systems:
* Algorithms & data structures
* Memory models
* Compilers, runtime
* Memory reclamation
* Testing & verification
* Hardware issues
* Non-volatile memory
* Transactional memory
* Scheduling algorithms & implementations
* Heterogeneous computing: CPU, GPU, FPGA, etc.
* Performance analysis, debugging, & optimization

  Distributed systems:
* Distributed computing
* Distributed machine learning/deep learning
* State machine replication & consensus
* Fault tolerance & resilience
* Testing & verification
* Hardware issues
* Blockchain & Byzantine fault tolerance
* Distributed databases, NewSQL
* Distributed stream processing
* Scheduling algorithms & implementations
* Cluster management systems
* Security
* Performance analysis, debugging, & optimization
* Peer-to-peer, gossip protocols
* Internet of things


如何在一次會議的議程中談論這一切？ 這當然不比使用以下方法在閃亮的新分散式儲存上測試操作的線性化簡單 傑普森，但我們會嘗試。

以下是已經加入該計劃的人員：

辛迪·斯里達蘭 (Cindy Sridharan) - 來自舊金山的分散式系統開發人員，一本小書的作者 分散式系統可觀測性 （拿 免費電子版）和流行 博客文章，其中只有一篇文章“2019 年最佳技術講座「可以讓你少幾天休息，但讓你開心。 在 Hydra 2020 上，Cindy 將告訴您如何 測試分散式系統，即使它們儲存狀態。


邁克爾·斯科特 （邁克爾·斯科特）- 研究員 羅切斯特大學，被所有 Java 開發人員稱為 非阻塞算法和同步隊列 來自 Java 標準函式庫。 當然，憑藉“迪傑斯特拉獎”共享記憶體多處理器上的可擴展同步演算法「並擁有 維基百科頁面。 去年，邁克爾（根據你的說法）給出了關於九頭蛇的最佳報告 雙資料結構，現在他要談 阿多計劃 и 使用共享記憶體安全工作，可用於並行進程。


海蒂·霍華德 （海蒂·霍華德）- 研究員 的 劍橋大學，以創建分散式共識演算法而聞名 靈活的Paxos，以及推廣靈活的 Paxos 和 快速 Paxos。 去年，海蒂講述了它的運作原理和作用 Paxos 演算法家族 （最好的報告之一），現在我將嘗試如履薄冰 Paxos 愛好者和 Raft 支持者 ——並分享他對哪種演算法較好的看法。


馬丁·克萊普曼 （Martin Kleppmann）可能是劍橋大學一位更為著名的研究人員，也是一位前大數據系統開發人員，他寫了一本關於分佈式系統的令人驚訝的清晰且獨特的書“設計數據密集型應用程式」 去年馬丁 分享結果 他們的 CRDT 研究，以及我們現在要告訴您的內容 我們稍後會宣布.


尼基塔·科瓦爾 Nikita Koval (Nikita Koval) 是 Kotlin 團隊的協程開發人員、ITMO 多執行緒程式設計課程的老師以及 Hydra 會議程序委員會的成員（是的，就是本文所討論的）。 去年 Nikita 談到了使用 JVM 平台測試多執行緒資料結構 林檢查，在 Hydra 2020 上他 會說 關於 SegmentQueueSynchronizer - 使用驗證 虹膜框架 為 證明者 Coq 程式同步原語的抽象化。


請關注我們的非同步公告：會議上總共大約有三打報告，剩下的我們會盡快告訴您。 當然，會議上也會有討論區，需要透過一個或多個主題來測試發言者，直到達成普遍共識。

如果幸運的話，馬丁·克萊普曼會在你的書上簽名。

是的，在 Hydra 2020 會議之前，即 6 月 9 日至 XNUMX 日，將會有 2020年上海交通運輸發展大會 — 第三屆分散式運算理論與實踐暑期學校。 它會給你在會議上很難獲得的感覺，所以我們將在單獨的帖子中談論學校。

現在怎麼辦？ 首先，請關注 Habré 和社交網路上的新聞（Facebook, VKontakte等, Twitter).

其次，如果您已經有不可抗拒的願望參加會議，請瀏覽該網站，您已經可以 購票.

第三，不要錯過在評論中與 Hydra 2020 會議程序委員會聊天的機會。 PC 成員將很樂意與您討論未來的會議主題。

九頭蛇見！

來源： www.habr.com