理论是当你什么都知道但什么都不管用的时候。
实践是一切正常但没有人知道为什么。
分布式系统， 理论与实践相结合：
没有任何效果，没有人知道为什么。
为了证明题词中的笑话绝对是胡说八道，我们第三次举办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学校不是会议，因为分布式系统和并行计算的会议是 Hydra 2020. 最近在 Habré 上有一个帖子 审查其方案. 去年，SPTDC 和 Hydra 在同一地点同时举行。 今年他们的日期没有重叠，所以他们不会互相竞争你的时间和注意力。
有用的提示：查看 Hydra 会议计划并考虑在放学后也参加会议。 这将是美好的一周。
怎么去学校？
- 在日历中记下 6 年 9 月 2020 日至 11 月 XNUMX 日的日期（或者最好在 XNUMX 月 XNUMX 日之前放学后去参加 Hydra 会议）。
- 振作精神，做好准备。
- 选择门票 去上学。
来源： habr.com