三位 Dijkstra 奖获得者:Hydra 2019 和 SPTDC 2019 进展如何

三位 Dijkstra 奖获得者:Hydra 2019 和 SPTDC 2019 进展如何

最近,8月12日至XNUMX日,两件重大事件同时发生——会议 水润 和学校 斯普顿发展中心。 在这篇文章中,我想重点介绍我们在会议期间注意到的几个特点。

Hydra 和学校最大的骄傲就是演讲者。

  • 三位获奖者 迪杰斯特拉奖:莱斯利·兰波特、莫里斯·赫利希和迈克尔·斯科特。 而且,莫里斯收到过两次。 莱斯利·兰波特还获得 图灵奖 — 计算机科学领域最负盛名的 ACM 奖;
  • Java JIT编译器的创建者是Cliff Click;
  • Corutin 开发者 - Roman Elizarov (埃利扎罗夫)和尼基塔·科瓦尔(恩科瓦尔) 对于 Kotlin,Dmitry Vyukov 对于 Go;
  • Cassandra (Alex Petrov)、CosmosDB (Denis Rystsov)、Yandex 数据库 (Semyon Checherinda 和 Vladislav Kuznetsov) 的贡献者;
  • 还有许多其他名人:Martin Kleppmann (CRDT)、Heidi Howard (Paxos)、Ori Lahav (C++ 内存模型)、Pedro Ramalhete (无等待数据结构)、Alexey Zinoviev (ML)、Dmitry Bugaichenko (图形分析)。

这已经是学校了:

  • 布朗大学(莫里斯·赫利希),
  • 罗切斯特大学(迈克尔·斯科特),
  • 滑铁卢大学(特雷弗·布朗),
  • 南特大学(Achour Mostefaoui),
  • 内盖夫大卫·本·古里安大学(丹尼·亨德勒),
  • 加州大学洛杉矶分校(Eli Gafni),
  • 巴黎综合理工学院(彼得·库兹涅佐夫),
  • 微软研究院(莱斯利·兰波特),
  • VMware 研究中心(Ittai Abraham)。

三位 Dijkstra 奖获得者:Hydra 2019 和 SPTDC 2019 进展如何

理论与实践、科学与生产

我提醒您,SPTDC 学校是一个只有 XNUMX 人的小型活动;世界级的杰出人物聚集在那里,讨论分布式计算领域的现代问题。 Hydra 是一个并行举行的为期两天的分布式计算会议。 九头蛇更注重工程,而学院则更注重科学。

Hydra 会议的目标之一是将科学和工程原理结合起来。 一方面,这是通过程序中报告的选择来实现的:除了 Lamport、Herlihy 和 Scott,还有为 Cassandra 做出贡献的 Alex Petrov 或来自 JetBrains 的 Roman Elizarov 的应用报告。 其中有 Martin Kleppman,他曾经创建和销售初创公司,现在正在剑桥大学学习 CRDT。 但最酷的事情是 Hydra 和 SPTDC 并肩举行——他们有不同的报告,但有一个共同的沟通场所。

三位 Dijkstra 奖获得者:Hydra 2019 和 SPTDC 2019 进展如何

浸没

连续五天的学校活动对于参与者和组织者来说都是一次非常大的活动,工作量也很大。 并不是每个人都能活到最后几天。 有些人同时去了九头蛇和学校,对他们来说最后的日子是最重要的。 所有这些大惊小怪都被令人难以置信的深度沉浸所抵消。 这不仅与数量有关,还与材料的质量有关。 两次活动的所有报告和讲座都没有计划是介绍性的,所以无论你走到哪里,你都会立即深入,直到最后都不放手。

当然,很大程度上取决于参与者的初步准备。 有趣的是,走廊里有两组人独立讨论海蒂·霍华德的报告:有些人觉得这很平常,而另一些人则相反,对人生进行了深刻的思考。 有趣的是,根据项目委员会的参与者(希望保持匿名)的说法,Hydra 的报告和学校在其活动中的讲座可能资格过高。 举个例子,如果一个PHP大三的人来参加PHP会议学习生活,就认为他对Zend Engine的内部了解很深就有点草率了。 在这里,演讲者并没有给后辈填鸭式的灌输,而是立即暗示了一定程度的知识和理解。 嗯,确实,操作分布式系统和编写运行时内核的参与者水平非常高,这是符合逻辑的。 从与会者的反应来看,根据级别和主题选择报告还是很容易的。

如果我们谈论具体的报告,它们都有各自的优点。 从人们的言论和反馈表中可以看出,学校最酷的报告之一是 “非阻塞数据结构” Michael Scott,他简直把所有人都撕碎了,他的评分异常异常,在 4.9 左右。

三位 Dijkstra 奖获得者:Hydra 2019 和 SPTDC 2019 进展如何

元会议

早在九头蛇和学校开始之前,鲁斯兰 ARG89 假设会有某种“元会议”——一场会议的会议,其他活动的所有顶级参与者都会自动被吸进去,就像被吸进黑洞一样。 结果就这样发生了! 例如,在学校的学生中注意到 鲁斯兰·切雷明 来自德意志银行,著名的多线程专家。

三位 Dijkstra 奖获得者:Hydra 2019 和 SPTDC 2019 进展如何

九头蛇成员中也注意到了 瓦迪姆·采斯科 (梦魇)和 安德烈·潘金 (阿潘金)来自 Odnoklassniki 公司。 (同时,Vadim还帮我们对Martin Kleppman做了两次精彩的采访—— 一份给哈布尔,另一个针对在线广播的观众)。 有会员 DotNext 计划委员会、著名演讲家阿纳托利·库拉科夫和伊戈尔·拉布廷。 贾维斯特派有 德米特里·亚历山德罗夫 и 弗拉基米尔·伊万诺夫。 通常你会在完全不同的地方看到这些人——DotNext 上的 dotnet 专家、Joker 上的 java 专家等等。 因此,他们并排坐在九头蛇报告中,一起讨论爱好者的问题。 当这种对编程语言和技术的人为划分消失后,该学科领域的特征就显现出来了:动态运行时专家与其他运行时专家交流、分布式计算理论研究人员与其他研究人员激烈争论、数据库引擎工程师挤在白板上等等。 。

报告会上 根据C++内存模型 OpenJDK 开发人员坐在前排(至少我认得他们,但不认识 Pythonists,也许 Pythonists 也在场)。 事实上,希皮列夫斯基在这份报告中确实有一些东西……奥里并没有讲述完全相同的事情,但仔细观察可以发现相似之处。 即使在最新的C++标准中发生了这一切之后,诸如凭空取值之类的问题仍然没有得到解决,所以你可以去看这样一个报告,听听“路障另一边”的人们是怎么做的试图解决这些问题,正如他们所推理的,人们可能会对找到的解决方案的方法印象深刻(Ori 有修复选项之一)。

程序委员会和社区引擎中有很多参与者。 每个人都解决了宗教间的问题,建立了桥梁,并建立了联系。 我尽可能地使用了这一点,例如,我们同意 Alexander Borgardt 的观点 莫斯科 C++ 用户组 一起写一篇关于 C++ 中的参与者和异步的全面文章。

三位 Dijkstra 奖获得者:Hydra 2019 和 SPTDC 2019 进展如何

照片中:列昂尼德·塔拉拉耶夫 (Leonid Talalaev)伊塔拉尔,左)和奥列格·阿纳斯塔西耶夫(萌萌哒,右),Odnoklassniki 的主要开发人员

火力讨论区和爱好者

在会议上,总是有一些参与者和演讲者一样了解主题(有时甚至比演讲者更了解——例如,当参与者中有某项技术核心的开发人员时)。 Hydra 有很多这样的高水平专家参与者。 例如,在亚历克斯·彼得罗夫讲述的某个时刻 关于卡桑德拉,这么多人组成,他无法回答所有人。 某个时候,Alex 被顺利推到一边,开始被问题撕扯,但落下的旗帜却被圈内一位知名 Rust 开发者接起 泰勒尼利 并完美平衡负载。 当我向泰勒寻求在线采访的帮助时,他只问:“我们什么时候开始?”

三位 Dijkstra 奖获得者:Hydra 2019 和 SPTDC 2019 进展如何

有时,讨论的精神甚至渗透到报告中:尼基塔·科瓦尔组织了一场突然的问答环节,将报告分为几个部分。

反之亦然,在用于多线程的 BOF 上,他们记得非易失性内存,他们被这个 bof 所吸引 佩德罗·拉马尔赫特 作为首席专家,他向大家解释了一切(总之,非易失性存储器在不久的将来不会对我们构成威胁)。 顺便说一下,这个 bof 的主持人之一是 弗拉基米尔·西特尼科夫,他在一些疯狂数量的会议的程序委员会中任职……现在似乎一次有五个。 在下一次关于“现实世界中的现代 CS”的讨论中,他们还讨论了 NVM,并且完全是自己解决这个问题的。

三位 Dijkstra 奖获得者:Hydra 2019 和 SPTDC 2019 进展如何

我可以分享一个超级洞察力,即使是那些直接参与这个故事的人也可能没有注意到。 伊莱·加夫尼(Eli Gafni)在学校第一天晚上表演了,第二天他留下来开始恶搞兰波特(Lamport),从外面看,这似乎是一场游戏,而伊莱(Eli)还不够。 这是某种巨魔想要取出莱斯利的大脑。 事实上,事实是他们几乎是最好的朋友,他们已经是多年的朋友了,而这只是这样友好的玩笑。 也就是说,这个笑话起了作用——周围的所有人都相信了它,并相信它的表面价值。

三位 Dijkstra 奖获得者:Hydra 2019 和 SPTDC 2019 进展如何

另外,我想指出演讲者为此付出了多少爱心和努力。 有人站在讨论区直到最后一刻,几乎长达几个小时。 休息很久以前就结束了,报告开始,结束,下一次休息开始——然后 德米特里·维尤科夫 继续回答问题。 一个有趣的故事也发生在我身上 - 让 Cliff Click 感到惊讶的是,我不仅收到了关于缺乏测试的挑衅性讨论的清晰合理的解释 对于 H2O 中的某些东西,但也得到了完整的评论 新语言AA。 我从来没有问过这个:我只是问你可以读到什么关于 AA 的内容(结果你可以听 播客),相反,克里夫花了半个小时讨论语言并检查他所说的内容是否被正确理解。 奇妙。 我们需要写一篇关于 AA 的 habrapost。 另一个不寻常的经历是观看 Kotlin 中的 Pull Request 审查流程。 当你走进不同的讨论组,不同的演讲者,并陷入一个全新的世界时,这确实是一种神奇的感觉。 这是一个水平上的东西 Radiohead 的《那里,那里》.

三位 Dijkstra 奖获得者:Hydra 2019 和 SPTDC 2019 进展如何

英语

Hydra 2019 是我们第一次以英语为主要语言的会议。 这既带来了它的优势,也带来了挑战。 一个明显的优势是,参加会议的人不仅来自俄罗斯,因此在与会者中你可以遇到来自欧洲的工程师和来自英国的科学家。 演讲者带来了他们的学生。 一般来说,重要的演讲者更有动力去参加这样的会议。 想象一下,您是一场完全俄语会议的演讲者:您已经发表了报告,为讨论区辩护,然后呢? 游览城市并参观旅游景点? 事实上,真正受欢迎的演讲者已经看够了世界上的一切,他们不想去看狮子和吊桥,他们很无聊。 如果所有的报告都是英文的,他们就可以一般地参加会议,玩得开心,加入讨论区等等。 演讲者的气氛相当友好。

三位 Dijkstra 奖获得者:Hydra 2019 和 SPTDC 2019 进展如何

明显的缺点是并不是每个人都能轻松地用英语交流。 很多人听得懂,但说得不好。 一般来说,普通的事情可以用不同的方式解决。 例如,一些讨论区域以俄语开始,但当第一个讲英语的参与者出现时立即切换为英语。

我本人必须只用英语完成在线广播的开场和闭幕,并参加一些专家的记录采访。 这对我来说是一个真正的挑战,不会很快被忘记。 在某个时刻奥列格·阿纳斯塔西耶夫(萌萌哒)只是告诉我在面试期间和他们坐在一起,我太慢了以至于无法理解这意味着什么。

另一方面,人们在报告中热烈提问也是非常令人愉快的。 不仅是母语人士,而且对于所有人来说,它都效果很好。 在其他会议上,经常看到人们不好意思用蹩脚的英语向观众提问,只能在讨论区挤一些东西。 这里完全不同。 相对而言,有的Cliff Click稍早完成了报告,之后问题就连续不断地进行,谈话进入了讨论区——没有尴尬的停顿或打断。 Leslie Lamport 的问答环节也是如此;演讲者几乎不需要问他的问题,参与者自己想出了一切。

有各种各样的小事很少有人注意到,但它们确实存在。 由于会议是英文的,传单、地图等设计更加轻盈简洁。 无需重复语言和混乱设计。

赞助商及展览

我们的赞助商为我们举办这次会议提供了很多帮助。 多亏了他们,休息期间总有事情可做。

在看台上 德意志银行技术中心 你可以与多线程系统的工程师聊天,用你的头脑解决他们的问题,赢得难忘的奖品,享受美好时光。

三位 Dijkstra 奖获得者:Hydra 2019 和 SPTDC 2019 进展如何

在看台上 轮廓 我们可以谈论他们自己的系统,无论是开放的还是开源的:分布式内存数据库、分布式二进制日志、微服务编排系统、遥测通用传输等等。 当然,还有谜题和竞赛、带有二元猫和苦难中世纪的贴纸、马丁·克莱普曼 (Martin Kleppmann) 的书和乐高人物等礼物。

请注意,Kontur问题的分析已经 发表于 哈布雷。 分析的不错,值得一看。

三位 Dijkstra 奖获得者:Hydra 2019 和 SPTDC 2019 进展如何

有兴趣的可以购买各种书籍并与同事讨论。 签名会现场挤满了人!

三位 Dijkstra 奖获得者:Hydra 2019 和 SPTDC 2019 进展如何

结果

Hydra 会议和 SPTDC 学校对于我们作为组织公司和整个社区来说都是非常重要的活动。 这是一个展望我们的未来、制定讨论现代问题的统一概念框架并仔细研究有趣方向的机会。 多线程已经存在很长时间了,但在第一个真正的多核处理器出现之后整整十年,这种现象才变得普遍。 我们在本周的报告中听到的并不是转瞬即逝的消息,而是我们在未来几年将遵循的通往光明未来的道路。 这篇文章不会对下一个九头蛇有任何剧透,但你可以期待最好的结果。 如果您对此类问题感兴趣,您可能想查看我们的其他活动,例如硬核会议演讲 小丑2019 или DotNext 2019 莫斯科。 我们下次会议再见!

三位 Dijkstra 奖获得者:Hydra 2019 和 SPTDC 2019 进展如何

来源: habr.com

添加评论