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 成员将很乐意与您讨论未来的会议主题。

九头蛇见！

来源： habr.com