这是莱斯利·兰普波特 （ Leslie Lampport） -分布式计算基础工作的作者，您也可以通过单词La TeX-“ Lamport TeX”中的字母La来认识他。 这是他在1979年首次引入一致一致性的概念，他的文章“如何使多处理器计算机正确执行多进程程序”获得了Dijkstra奖（更准确地说，在2000年，该奖项以旧方式被称为：“ PODC有影响力论文奖” ”）。 维基百科上有一篇关于他的文章 ，您可以在其中找到一些更有趣的链接。 如果您对解决先发制人的问题或拜占庭将军 （BFT）的问题感到高​​兴，那么您应该了解Lamport是这一切的背后原因。

他还将参加7月11日至12日在圣彼得堡举行的关于分布式计算的新会议Hydra。 让我们看看这是哪种野兽。

九头蛇2019

在我们的会议上，诸如多线程之类的话题是最受欢迎的，它们一直都是这样。 它只是在这个房间里空无一人，但是这里有个男人出现在舞台上，谈论内存模型，发生在多线程之前或多线程的垃圾收集以及-繁荣！ -已经有不到一千人占用所有可用空间来坐下并认真聆听。 成功的本质是什么？ 也许事实上，我们所有人手中都有可以组织分布式计算的某种硬件？ 还是我们下意识地了解我们无法按其真正价值进行装载？ 有一个圣彼得堡量子的真实故事（即金融量化分析师和开发人员），他手中有一个计算集群，只有他一个人才能使用的全部功能。 如果您有能力完成比现在大很多倍的任务，该怎么办？

由于这种流行，性能和高效计算的主题趋向于遍及整个会议程序。 在为期两天的演讲中，有多少次可以进行表演-三分之一，三分之二？ 在某些地方，人为的限制了这种增长的局限性：除了性能之外，还必须有一个新的Web框架，某种开发或建筑航天的场所。 没有表现，就不会吃掉我们所有人！

或者，您可以采取相反的方式，放弃并诚实地召开一个会议，该会议将完全与分布式计算有关，而仅与分布式计算有关。 她在这里，九头蛇。

老实说，今天所有的计算都是以某​​种方式分布的。 无论是多核计算机，计算集群还是大规模分布式服务，到处都有许多进程同时执行独立的计算并彼此同步。 九头蛇将致力于理论的安排和实践。

会议程序

该方案目前正在组建中。 它应包括分布式系统理论的创建者和与他们合作开发产品的工程师的报告。

例如，现在已知Microsoft Research的Leslie Lamport和Brown University的Maurice Herlihy参与其中。

Maurice Herlichi是一位非常著名且受人尊敬的计算机科学教授，关于他，他还有一个Wikipedia页面 ，您可以在其中浏览链接和工作。 在这里，您可以看到多达两个Dijkstra的奖项，第一个奖项是用于无等待同步工作 ，第二个是最近的事务性事务：无锁数据结构的架构支持 。 顺便说一句，链接甚至都无法链接到SciHub，但是可以链接到布朗大学和弗吉尼亚理工大学，您可以打开并阅读。

莫里斯（Maurice）将举行主题演讲“从分布式计算的角度看区块链”。 如果有兴趣，您可以查看圣彼得堡水罐的莫里斯报告的录音。 评估他传达主题的清晰程度。

罗切斯特大学的迈克尔·斯科特将宣读第二个主题演讲，题为“双重数据结构”。 猜猜怎么着-他也有他自己的Wikipedia页面 。 在威斯康星州，他以在威斯康星州麦迪逊大学（University of Wisconsin-Madison University）的院长工作而闻名，在世界范围内，他是与Doug Lea一起开发那些运行Java库的非阻塞算法和同步队列的人。 他在Herliha三年后因其“共享内存多处理器上的可伸缩同步算法”而获得了Dijkstra奖（理应如此， 该算法已在罗切斯特大学的在线图书馆中公开 ）。

距七月中旬还有很多时间。 随着计划的阐明和7月的临近，我们将讨论其他发言人及其主题。

总的来说，问题来了-为什么我们在夏天做Hydra？ 毕竟，这是一个死季节，假期。 问题在于讲者中有大学老师，而其他时间都是从他们那里抽走的。 我们根本无法选择其他日期。

讨论区

在其他会议上，碰巧的是，演讲者阅读了需要的内容并立即离开。 参与者甚至没有时间去寻找他-毕竟，没有间隙，下一份报告开始了。 这是非常痛苦的，尤其是如果有兰珀特，赫利基和斯科特等重要人物出席，并且您通常参加会议只是为了与他们见面并讨论一些东西。

我们已经解决了这个问题。 报告结束后，演讲者立即进入一个特别讨论区，该讨论区至少装有带标记的白板，您的时间裕度很大。 正式地，演讲者保证至少在两次报告之间的整个时间都在那里。 实际上，这些讨论区可能会持续几个小时（取决于发言人的意愿和耐力）。

至于兰珀特，如果我理解正确的话，他想让尽可能多的人相信TLA +是一件好事。 （ 有关TLA +的维基百科文章 ）。 也许这将是工程师学习新的有用东西的好机会。 莱斯利（Leslie）提供此选项-任何有兴趣的人都可以查看他过去的演讲并提出问题。 也就是说，除了主题演讲外，可能会有专门的问答环节，然后是讨论区。 我在Google上搜索了一下，发现了一个很棒的TLA +课程 （ 由YouTube播放列表正式复制），以及与Microsoft Faculty Summit进行了一个小时的讲座“ Thinking Above the Code” 。

如果您认为所有这些人都是Wikipedia花岗岩和书籍封面上的花岗岩铸模名称，那么是时候与他们见面了！ 交流并提问科学文章的页面无法回答的问题，但他们的作者将很乐意与他们联系。

征集论文

众所周知，许多正在阅读本文的人并不反对讲足够有趣的东西。 从工程学角度，从科学角度-从任何角度来看。 分布式计算是一个非常广泛而深入的主题，每个人都有足够的空间。

如果要在Lamport旁边表演，这是完全可能的。 要成为演讲者，您需要点击链接 ，仔细阅读链接并按照说明进行操作。

保持冷静，一旦您加入该过程，他们就会为您提供帮助。 计划委员会有能力帮助报告本身，报告的实质和设计。 协调员将帮助处理组织问题等。

特别注意带日期的图片。 对于参与者来说，7月是一个相当遥远的日期，演讲者需要立即开始行动。

学校SPTDC

会议将与SPTDC学校在同一地点举行，因此，对于购买学校门票的每个人，都可以购买会议门票- 享有20％的折扣 。

分布式计算实践和理论暑期学校（SPTDC）是一所学校，提供有关分布式系统的实践和理论方面的广泛课程，由相关领域的知名专家教授。

该学校将以英语进行，因此涵盖的主题列表如下所示：

• 并发数据结构：正确性和效率；
• 非易失性存储器算法；
• 分布式可计算性
• 分布式机器学习；
• 状态机复制和Paxos；
• 拜占庭容错;
• 区块链的算法基础。

以下发言人将发言：

• 莱斯利·兰伯特（Leslie Lamport）（微软）；
• Maurice Herlihy（布朗大学）；
• 迈克尔·斯科特（罗切斯特大学）；
• 丹·阿里斯塔（Dan Alistarh）（IST奥地利）；
• Trevor Brown（滑铁卢大学）；
• Eli Gafni（UCLA）；
• 丹尼·亨德勒（本·古里安大学）；
• Achour Mostefaoui（南特大学）。

您可以在YouTube上免费观看以前的学校报告的播放列表 ：

后续步骤

会议程序仍在形成中。 在Habré或社交网络（ fb ， vk ， twitter ）上关注新闻。

如果您真的相信会议（或者想使用特别的起步价，如他们所说的“早起的鸟儿”），则可以访问网站并购买门票 。

在九头蛇见我！