它 莱斯利·兰波特 - 分布式计算基础著作的作者，你也可以通过单词中的字母 La 来认识他 LaTeX - “Lamport TeX”。 早在 1979 年，他就首次提出了这一概念 , 和他的文章 获得了 Dijkstra 奖（更准确地说，2000 年该奖项的旧称：“PODC 影响力论文奖”）。 有关于他 ，在那里你可以获得一些更有趣的链接。 如果您对解决 happens-before 或 (BFT)，他们需要明白 Lamport 是这一切的幕后黑手。
他很快就会来到我们关于分布式计算的新会议 - Hydra，该会议将于 11 月 12 日至 XNUMX 日在圣彼得堡举行。 让我们看看它是什么动物。
Hydra 2019
像多线程这样的话题是我们会议上最热门的话题，一直都是。 这个大厅里刚刚空无一人，但随后一个人出现在舞台上，谈论内存模型、happens-before 或多线程垃圾收集和 - 砰！ - 已经有不到一千人占据了所有可用空间坐下来仔细聆听。 这种成功的本质是什么？ 也许是因为我们手头都拥有某种能够组织分布式计算的硬件？ 或者是我们下意识地理解我们无法加载它的真实价值？ 有一个真实的故事，一位圣彼得堡的量子（即金融量化分析师和开发人员），最终得到了一个计算集群在他的手中，其全部的力量只能由他一个人使用。 如果您必须以比现在大很多倍的能力执行任务，您会怎么做？
由于这种流行，性能和高效计算的主题往往会在整个会议计划中传播。 两天的报告中，有多少是关于绩效的——三分之一，三分之二？ 在某些地方，存在限制这种增长的人为限制：除了性能之外，还必须为新的 Web 框架、某种开发运营或建筑航天学留出空间。 不，表演，你不会把我们整个吃掉的！
或者你可以走相反的路，放弃并诚实地召开一个完全关于分布式计算的会议，而且只关于它们。 在这里，九头蛇。
让我们诚实地承认，今天所有的计算都是这样或那样分布的。 无论是多核机器、计算集群，还是大规模的分布式服务，处处都有许多进程在并行进行独立的计算，相互同步。 它在理论上如何运作以及在实践中如何运作将是 Hydra 的重点。
会议日程
该程序目前正在开发中。 它应该包括分布式系统理论的创始人和在生产中与他们一起工作的工程师的报告。
例如，我们已经知道微软研究院的 Leslie Lamport 和布朗大学的 Maurice Herlihy 的参与。
莫里斯·赫利希 - 一位非常著名和受人尊敬的计算机科学教授，还有一个关于他的故事 ，您可以在其中查看链接和作品。 在那里你可以注意到多达两个 Dijkstra 奖，第一个是关于 ，第二个，最近的 - . 顺便说一句，这些链接甚至不指向 SciHub，而是指向布朗大学和弗吉尼亚理工大学，您可以打开阅读。
Maurice 将主持一个名为“分布式计算视角下的区块链”的主题演讲。 有兴趣的可以看看圣彼得堡JUG莫里斯报告的录音。 评估他传达主题的清晰度和可理解性。
名为“双重数据结构”的第二个主题演讲将阅读 迈克尔·斯科特 来自罗彻斯特大学。 你猜怎么着——他也有自己的 . 在威斯康星州的家乡，他以在威斯康星大学麦迪逊分校担任院长而闻名，在世界范围内，他与 Doug Lea 一起开发了 Java 库运行的非阻塞算法和同步队列. 他在 Herlihy 三年后获得 Dijkstra 奖，以表彰他的工作“共享内存多处理器上的可伸缩同步算法”（正如预期的那样， 在罗切斯特大学的在线图书馆）。
距离XNUMX月中旬还有很多时间。 在我们完善计划并临近 XNUMX 月时，我们将向您介绍其他演讲者及其主题。
一般来说，问题出现了 - 为什么我们在夏天制作九头蛇？ 毕竟现在是淡季，节假日。 问题是演讲者中有大学教授，其他时间对他们来说都很忙。 我们无法选择其他日期。
讨论区
在其他会议上，碰巧发言者阅读了必要的内容并立即离开。 参与者甚至没有时间去寻找它 - 毕竟，下一份报告几乎没有间隙就开始了。 这很伤人，尤其是当像 Lamport、Herlihy 和 Scott 这样的重要人物在场时，你实际上去参加会议只是为了见到他们并谈论一些事情。
我们已经解决了这个问题。 报告结束后，演讲者立即进入一个专门的讨论区，该讨论区至少配备了一块带记号笔的白板，您有很多时间。 正式地，演讲者承诺至少在报告间隙期间会在场。 实际上，这些讨论区 可以 连续拉伸数小时（取决于演讲者的意愿和耐力）。
至于兰波特，如果我没理解错的话，他是想让尽可能多的人相信 - 这是一件好事。 (). 也许这将是工程师学习新的和有用的东西的好机会。 Leslie 提供了这个选项——任何有兴趣的人都可以观看他过去的讲座并提出问题。 也就是说，可以说不是主题演讲，而是专门的问答环节，然后是另一个讨论区。 我用谷歌搜索了一下，发现了一个很棒的 （官方称 ) 和一个小时的讲座 与微软教职工峰会。
如果您认为所有这些人都是从维基百科和书籍封面上刻在花岗岩上的名字，那么是时候与他们现场见面了！ 聊天并提出科学文章页面不会回答的问题，但他们的作者会很乐意联系。
征稿启事
众所周知，许多现在正在阅读这篇文章的人并不反对自己讲述一些足够有趣的事情。 从工程学的角度，从科学的角度，从任何一个角度。 分布式计算是一个非常广泛和深入的话题，每个人都有一席之地。
如果你想和兰波特并肩作战，那完全有可能。 要成为演讲者，你需要 ，仔细阅读那里的所有内容并按照说明进行操作。
冷静点，只要你连接到进程，你就会得到帮助。 计划委员会有足够的资源来帮助完成报告本身、其本质和设计。 协调员将帮助您处理组织问题等。
特别注意带日期的图片。 七月对参与者来说是一个相当遥远的日期，演讲者需要立即开始行动。
学校
会议将与SPTDC学校在同一地点举行，所以对于所有购买学校门票的人来说，会议门票 - 享有20％的折扣.
- 提供广泛的分布式系统实践和理论课程的学校，由相关领域公认的专家教授。
学校将以英语授课，以下是所涵盖的主题列表：
- 并发数据结构：正确性和效率；
- 非易失性存储器的算法；
- 分布式可计算性；
- 分布式机器学习；
- 状态机复制和 Paxos；
- 拜占庭容错；
- 区块链的算法基础。
以下发言人将发言：
- 莱斯利·兰波特（微软）；
- Maurice Herlihy（布朗大学）；
- 迈克尔·斯科特（罗彻斯特大学）；
- Dan Alistarh（IST 奥地利）；
- 特雷弗·布朗（滑铁卢大学）；
- Eli Gafni（加州大学洛杉矶分校）；
- 丹尼亨德勒（本古里安大学）；
- Achour Mostefaoui（南特大学）。
与以前学校的报告可以在YouTube上免费查看：
下一步
会议日程仍在制定中。 在 Habré 或社交网络上关注新闻（, , ).
如果您真的相信这次会议（或者想利用特价起拍价，正如他们所说的“早起的鸟儿”）——您可以访问该网站并 .
九头蛇见！
来源： habr.com