九头蛇拥抱克里姆林宫塔：九头蛇2020并行和分布式计算会议

去年在圣彼得堡举行了第一次有关并行和分布式系统的Hydra会议。发言的制造戴克斯特拉奖及图灵奖获得者（张国荣Lampport，莫里斯Herlichi和迈克尔·斯科特），编译器的创造者和编程语言（C ++，围棋，爪哇，科特林），分布式数据库开发人员（卡桑德拉，CosmosDB，Yandex的数据库），以及算法和数据结构（CRDT，Paxos，免等待数据结构）的创建者和研究人员。通常，您已经可以在这里休假，最小化IDE窗口，打开包含最好的 Hydra 2019 报告的YouTube播放列表-并让任务计划程序稍等一下。

总的来说，从来没有这样的会议，现在它将再次发生。再次使用英文报告，因为没有更好的语言来谈论并行和分布式计算。同样在夏天，7月6日至9日，因为演讲者有时间在例如剑桥，罗切斯特和圣彼得堡的大学学习和授课，一年中的其他时间都不适合他们。

新的Hydra程序更加复杂，去年的英雄们也有了新的演讲者，并从三个房间的平行铁杆参与者之间分配了热情。




立即在桌子上放上一副扑克牌，上面放着拜占庭将军的衬衫-我们希望新Hydra的程序更加详细和多样化。上次我们用指甲抓挠时，现在我们将更深入地进行挖掘。以下是与去年不同的Hydra 2020主题： 如何在一个会议的计划中谈论所有这些？这当然不比使用Jepsen在新的闪亮分布式存储中测试操作的线性化容易，但是我们将尝试。 这是该程序中已经存在的程序：Cindy Sridharan是总部位于旧金山的分布式系统开发人员，着有《分布式系统可观察性》小书（获得免费电子版）和颇受欢迎的博客的作者。

  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






，只有文章“ Tech Talks的2019年最佳 ”可以节省几天的时间，但让他们感到高兴。在Hydra 2020上，Cindy将讨论如何测试分布式系统（即使它们存储状态）。

迈克尔·斯科特（Michael Scott）是罗切斯特大学（University of Rochester）的研究员，所有Java开发人员都将其称为标准Java库中非阻塞算法和同步队列的创建者。当然，凭借“ 共享内存多处理器上的可伸缩同步算法 ”获得了Dijkstra奖，并且获得了自己的Wikipedia页面。去年，迈克尔（Michael）在九头蛇（Hydra）取得了最佳（根据您的估计）的报告双重数据结构，现在他将讨论Hodor项目以及可用于并行进程的共享内存的安全工作。

海蒂·霍华德是一个研究员在剑桥大学，创建知名灵活的Paxos分布式共识算法，以及推广灵活的Paxos和快速的Paxos。去年，海蒂（Heidi）谈论了Paxos算法家族的安排和工作方式（最好的报告之一），现在她将尝试在Paxos爱好者和Raft支持者之间一路走来 -并分享她对哪种算法更好的看法。

马丁·克莱普曼（ Martin Kleppmann）甚至可能是剑桥大学的知名研究人员，并且过去是大数据处理器，他写了一本关于分布式系统的令人惊讶的，易理解的，因此独特的书，称为《设计数据密集型应用》。去年，马丁分享了他的CRDT研究结果以及他现在将要谈论的内容-我们将在稍后宣布。

尼基塔·科瓦尔（Nikita Koval）（Nikita Koval）是Kotlin团队的协程开发人员，ITMO多线程编程课程的老师，以及Hydra会议程序委员会的成员（是的，本文涉及的人）。去年，Nikita谈到了使用Lin-Check在JVM平台上测试多线程数据结构，而在Hydra 2020上，他将讨论 SegmentQueueSynchronizer-一种由Iris框架验证的抽象，用于Coq证明者对同步原语进行编程。

遵循我们的异步公告：会议上总共将有大约三打报告，我们将很快讨论其余的报告。当然，会议上仍然会有讨论区，需要在一个或多个流中测试发言者的问题，直到达成共识为止。


如果幸运的话，马丁·克莱普曼（Martin Kleppmann）将为您签名。

是的，与Hydra 2020会议（即7月6日至9日）同时举行的还有SPTDC 2020，这是分布式计算理论和实践的第三届暑期班。在会议上，您会发现很难在会议上引起轰动的感觉，因此我们将在另一篇文章中讨论学校。

现在怎么办？首先，关注Habré和社交网络上的新闻（Facebook，Vkontakte，Twitter）

其次，如果你已经感到一种不可抗拒的愿望出席会议-学习网站，有你已经可以买到车票。

第三，在评论中不要错过与Hydra 2020会议计划委员会聊天的机会。PC成员将很高兴与您讨论即将举行的会议的主题。

在九头蛇见我！