理論是當你什麼都知道但什麼都不管用的時候。
實踐是一切正常但沒有人知道為什麼。
分佈式系統， 理論與實踐相結合：
沒有任何效果，沒有人知道為什麼。
為了證明題詞中的笑話絕對是胡說八道，我們第三次舉辦SPTDC（分佈式計算實踐與理論學院）。 關於學校的歷史，其聯合創始人 Petr Kuznetsov 和 Vitaly Aksyonov，以及 JUG Ru Group 在 SPTDC 組織中的參與，我們已經 告訴 在哈布爾。 所以，今天是關於2020年的學校，關於講座和講師，還有關於學校和會議的區別。
SPTDC 學校將於 6 年 9 月 2020 日至 XNUMX 日在莫斯科舉行。
所有講座將以英語進行。 講座主題：持久並發計算、分佈式系統的密碼學工具、驗證共識協議的形式化方法、大規模系統中的一致性、分佈式機器學習。
講師和講座
尼爾沙維特 (Nir Shavit) 是麻省理工學院和特拉維夫大學的教授，一本好書的合著者 多處理器程式設計的藝術， 所有者 迪傑斯特拉獎 用於開發和實施 軟件事務內存 （STM）和 哥德爾獎 表彰他在代數拓撲在共享內存計算仿真中的應用，該公司的聯合創始人 神經魔術，它為傳統 CPU 創建快速機器學習算法，當然，還有自己的 維基百科頁面 瀟灑而撩人的攝影。 Nir 已經在 2017 年參加了我們的學校，在那裡他對阻塞技術進行了詳盡的回顧（第1部分, 第2部分). Nir 今年會講什麼，我們還不知道，但我們希望能聽到來自科學前沿的消息。
邁克爾·斯科特 （Michael Scott）是一名研究人員 羅徹斯特大學，被所有 Java 開發人員稱為 非阻塞算法和同步隊列 來自 Java 標準庫。 當然，憑藉 Dijkstra 的設計獎 共享內存計算的同步算法 並擁有 維基百科頁面. 去年Michael在我們學校做了一個關於非阻塞數據結構的講座（第1部分, 第2部分). 今年他 會說 關於編程使用 非易失性存儲器 (NVM)，與“常規”隨機存取存儲器 (DRAM) 相比，它降低了程序複雜性和內存開銷。
伊迪凱達爾 (Idit Keidar) - Technion 教授和所有者 赫希指數 大約 40（非常非常多） 兩百篇科學文章 在分佈式計算、多線程和容錯領域。 Eidit 第一次參加我們學校，她在那裡 演講 關於分佈式數據倉庫工作的基本方面：分佈式內存模擬、共識開發和配置變更。
羅德里戈·羅德里格斯 (Rodrigo Rodrigues) - Técnico 教授，實驗室成員 INESC編號 和作者 研究工作 在分佈式系統領域。 今年在我們學校羅德里戈 會說 關於分佈式數據倉庫中的一致性和隔離性，還將分析使用 CAP定理 幾種一致性和隔離模型在實踐中的可行性。
陳清 (Jing Chen) 美國紐約州立大學石溪分校教授，作者 研究工作 在區塊鏈領域和領先的科學家 Algorand — 一家公司和一個區塊鏈平台，使用完全基於 證明的證明. 今年在我們學校，Chen 將談論 Algorand 區塊鏈以及實現其有趣特性的方法：對網絡計算資源的要求不高，無法拆分交易歷史，以及在將其添加到區塊鏈後保證交易處理結束。
克里斯蒂安·卡申 (Christian Cachin) 是伯爾尼大學的教授，數據保護領域研究小組的組長，“可靠且安全的分散式程式設計簡介”, 區塊鏈平台開發商 超重織物 （關於她甚至是 發表在哈布雷) 和作者 研究工作 在分佈式系統的密碼學和安全領域。 今年在我們學校基督教 演講 關於分佈式計算的加密工具的四個部分：對稱和非對稱加密，以及關於 共享密鑰密碼學, 偽隨機數和 可驗證的隨機數生成.
馬爾科武科利奇 （Marko Vukolic）是 IBM Research 的研究員，作者 工作 在區塊鍊和 Hyperledger Fabric 的開發者中。 我們還不知道今年 Marco 會在我們學校講什麼，但我們希望了解他在區塊鏈領域的最新進展：研究 性能下降 在最多 100 台機器的集群上分佈式共識協議，廣播 和平協議 與全球秩序和 拜占庭容錯 或無區塊鏈 流鏈最小化事務處理時間。
普拉薩德賈揚蒂 (Prasad Jayanti) 是達特茅斯學院的教授，部分名校 常春藤聯盟, 和作者 研究工作 在多線程算法領域。 今年在我們學校 Prasad 演講 關於線程同步和實現各種選項的算法 互斥體：在非易失性存儲器模型中具有中斷或恢復功能，並具有單獨的讀寫操作。
阿列克謝·戈茨曼 （Alexey Gotsman）是 IMDEA 的教授和作家 研究工作 在算法的程序驗證領域。 我們還不知道今年 Alexey 將在我們學校講什麼，但我們期待著軟件驗證和分佈式系統交叉的話題。
為什麼這是一所學校而不是一個會議？
首先，講師以學術形式發言，並閱讀每個大型講座的兩對： “一個半小時——休息一下——再一個半小時。” 大學畢業多年，習慣了長達一個小時的會議演講和 10 分鐘的 YouTube 視頻，這可能很棘手。 一個好的講師會讓這三個小時都變得有趣，但每個人都要為自己大腦的可塑性負責。
有用的提示：練習學校講座的錄像 2017年 和 2019年. 再見，工作 - 你好，拜占庭將軍。
其次，講師重科研，講基礎 分佈式系統和並行計算，以及科學前沿的新聞。 如果您的目標是快速編寫代碼並在第二天放學後將其部署到生產環境中，這也可能很困難。
有用的提示：在以下位置查找學校講師的研究論文 Google Scholar и arXiv.org. 如果您喜歡閱讀科學論文，那麼您也會喜歡這所學校。
第三，SPTDC 2020學校不是會議，因為分佈式系統和並行計算的會議是 九頭蛇2020. 最近在 Habré 上有一個帖子 審查其方案. 去年，SPTDC 和 Hydra 在同一地點同時舉行。 今年他們的日期沒有重疊，所以他們不會互相競爭你的時間和注意力。
有用的提示：查看 Hydra 會議計劃並考慮在放學後也參加會議。 這將是美好的一周。
怎麼去學校？
- 在日曆中記下 6 年 9 月 2020 日至 11 月 XNUMX 日的日期（或者最好在 XNUMX 月 XNUMX 日之前放學後去參加 Hydra 會議）。
- 振作精神，做好準備。
- 選擇門票 去上學。
來源： www.habr.com