Ba người đoạt giải Dijkstra: Hydra 2019 và SPTDC 2019 đã diễn ra như thế nào

Ba người đoạt giải Dijkstra: Hydra 2019 và SPTDC 2019 đã diễn ra như thế nào

Gần đây nhất, từ ngày 8 đến 12/XNUMX, hai sự kiện quan trọng đã diễn ra đồng thời - hội nghị vật khó trừ tuyệt và trường học SPTDC. Trong bài đăng này, tôi muốn nêu bật một số tính năng mà chúng tôi đã nhận thấy trong hội nghị.

Niềm tự hào lớn nhất của Hydra và Trường chính là các diễn giả.

  • Ba người đoạt giải Giải Dijkstra: Leslie Lamport, Maurice Herlihy và Michael Scott. Hơn nữa, Maurice đã nhận được nó hai lần. Leslie Lamport cũng nhận được Giải thưởng Turing — giải thưởng ACM danh giá nhất về khoa học máy tính;
  • Người tạo ra trình biên dịch Java JIT là Cliff Click;
  • Nhà phát triển Corutin - Roman Elizarov (elizarov) và Nikita Koval (ndkoval) cho Kotlin và Dmitry Vyukov cho cờ vây;
  • Những người đóng góp cho Cassandra (Alex Petrov), CosmosDB (Denis Rystsov), Cơ sở dữ liệu Yandex (Semyon Checherinda và Vladislav Kuznetsov);
  • Và nhiều người nổi tiếng khác: Martin Kleppmann (CRDT), Heidi Howard (Paxos), Ori Lahav (mô hình bộ nhớ C++), Pedro Ramalhete (cấu trúc dữ liệu chờ đợi), Alexey Zinoviev (ML), Dmitry Bugaichenko (phân tích đồ thị).

Và đây đã là Trường học:

  • Đại học Brown (Maurice Herlihy),
  • Đại học Rochester (Michael Scott),
  • Đại học Waterloo (Trevor Brown),
  • Đại học Nantes (Achour Mostefaoui),
  • Đại học David Ben-Gurion của Negev (Danny Hendler),
  • Đại học California tại Los Angeles (Eli Gafni),
  • Viện bách khoa Paris (Petr Kuznetsov),
  • Nghiên cứu của Microsoft (Leslie Lamport),
  • Nghiên cứu VMware (Ittai Abraham).

Ba người đoạt giải Dijkstra: Hydra 2019 và SPTDC 2019 đã diễn ra như thế nào

Lý thuyết và thực hành, khoa học và sản xuất

Hãy để tôi nhắc bạn rằng Trường SPTDC là một sự kiện nhỏ dành cho một trăm rưỡi người; những ngôi sao sáng đẳng cấp thế giới tập trung ở đó và nói về các vấn đề hiện đại trong lĩnh vực điện toán phân tán. Hydra là một hội nghị về điện toán phân tán kéo dài hai ngày được tổ chức song song. Hydra tập trung vào kỹ thuật hơn, trong khi Trường học tập trung vào khoa học hơn.

Một trong những mục tiêu của hội nghị Hydra là kết hợp các nguyên tắc khoa học và kỹ thuật. Một mặt, điều này đạt được nhờ việc lựa chọn các báo cáo trong chương trình: cùng với Lamport, Herlihy và Scott, còn có nhiều báo cáo mang tính ứng dụng hơn của Alex Petrov, người đóng góp cho Cassandra, hoặc Roman Elizarov từ JetBrains. Có Martin Kleppman, người từng xây dựng và bán các công ty khởi nghiệp và hiện đang theo học CRDT tại Đại học Cambridge. Nhưng điều thú vị là Hydra và SPTDC được đặt cạnh nhau - họ có các báo cáo khác nhau, nhưng có chung một điểm giao tiếp.

Ba người đoạt giải Dijkstra: Hydra 2019 và SPTDC 2019 đã diễn ra như thế nào

Ngâm mình

Năm ngày liên tiếp của School là một sự kiện rất lớn và rất nhiều khối lượng công việc đối với cả người tham gia và ban tổ chức. Không phải ai cũng có thể sống sót đến những ngày cuối cùng. Có những người đến Hydra và School cùng lúc, và đối với họ những ngày cuối cùng hóa ra lại là những ngày sôi động nhất. Tất cả sự ồn ào này được bù đắp bằng sự đắm chìm vô cùng sâu sắc. Điều này không chỉ do khối lượng mà còn do chất lượng của vật liệu. Tất cả các báo cáo và bài giảng ở cả hai sự kiện đều không nhằm mục đích giới thiệu, vì vậy dù đi đến đâu, bạn cũng ngay lập tức lặn sâu và xa, và không thể buông bỏ cho đến phút cuối cùng.

Tất nhiên, phụ thuộc rất nhiều vào sự chuẩn bị ban đầu của người tham gia. Có một khoảnh khắc buồn cười khi hai nhóm người trong hành lang đang độc lập thảo luận về báo cáo của Heidi Howard: đối với một số người, điều đó có vẻ hoàn toàn bình thường, trong khi những người khác thì ngược lại, lại đang suy nghĩ sâu sắc về cuộc sống. Điều thú vị là theo những người tham gia ủy ban chương trình (những người muốn giấu tên), các báo cáo của Hydra và các bài giảng của Trường tại các sự kiện của họ có thể bị đánh giá quá cao. Ví dụ, nếu một sinh viên PHP mới đến tham dự một hội nghị PHP để tìm hiểu cuộc sống, sẽ hơi hấp tấp khi cho rằng anh ta có kiến ​​thức sâu về các phần bên trong của Zend Engine. Ở đây, người nói không hề đút thìa cho đàn em mà hàm ý ngay một mức độ hiểu biết, hiểu biết nhất định. Thực sự, mức độ người tham gia vận hành hệ thống phân tán và viết hạt nhân thời gian chạy là rất cao, điều này là hợp lý. Đánh giá theo phản ứng của những người tham gia, việc chọn một báo cáo dựa trên cấp độ và chủ đề là khá dễ dàng.

Nếu chúng ta nói về các báo cáo cụ thể, thì tất cả chúng đều tốt theo cách riêng của chúng. Đánh giá theo những gì mọi người nói và những gì có thể thấy từ biểu mẫu phản hồi, một trong những báo cáo thú vị nhất tại Trường là "Cấu trúc dữ liệu không chặn" Michael Scott, anh ta vừa xé nát mọi người, anh ta có điểm đánh giá bất thường khoảng 4.9.

Ba người đoạt giải Dijkstra: Hydra 2019 và SPTDC 2019 đã diễn ra như thế nào

Siêu hội nghị

Rất lâu trước khi bắt đầu Hydra và Trường học, Ruslan ARG89 giả định rằng sẽ có một loại “siêu hội nghị” nào đó - một hội nghị của các hội nghị, trong đó tất cả những người tham gia hàng đầu của các sự kiện khác sẽ tự động bị hút vào đó, như thể rơi vào một lỗ đen. Và điều đó đã xảy ra! Ví dụ, trong số các sinh viên của trường, người ta nhận thấy Ruslan Cheremin từ DeutscheBank, một chuyên gia nổi tiếng về đa luồng.

Ba người đoạt giải Dijkstra: Hydra 2019 và SPTDC 2019 đã diễn ra như thế nào

Và trong số các thành viên Hydra đã được chú ý Vadim Tsesko (trẻ sơ sinh) Và Andrey Pangin (apangin) từ công ty Odnoklassniki. (Đồng thời, Vadim cũng giúp chúng tôi thực hiện hai cuộc phỏng vấn xuất sắc với Martin Kleppman - một cho Habrvà cái còn lại dành cho người xem chương trình phát sóng trực tuyến). Đã có thành viên Ủy ban chương trình DotNext, diễn giả nổi tiếng Anatoly Kulakov và Igor Labutin. Trong số người Javist có Dmitry Alexandrov и Vladimir Ivanov. Thông thường, bạn thấy những người này ở những nơi hoàn toàn khác nhau - những người theo chủ nghĩa dotnet trên DotNext, những người theo chủ nghĩa java trên Joker, v.v. Và thế là họ ngồi cạnh nhau xem các báo cáo của Hydra và cùng nhau thảo luận các vấn đề về buff. Khi sự phân chia hơi mang tính nhân tạo này theo ngôn ngữ lập trình và công nghệ biến mất, các tính năng của lĩnh vực chủ đề sẽ xuất hiện: các chuyên gia thời gian chạy động giao tiếp với những người thực thi khác, các nhà nghiên cứu lý thuyết điện toán phân tán tranh luận sôi nổi với các nhà nghiên cứu khác, các kỹ sư công cụ cơ sở dữ liệu tập trung vào bảng trắng, v.v. .

Tại báo cáo theo mô hình bộ nhớ C++ các nhà phát triển OpenJDK đang ngồi ở hàng ghế đầu (ít nhất là tôi biết họ bằng mắt, nhưng không phải những người theo chủ nghĩa Python, có thể những người theo chủ nghĩa Python cũng ở đó). Trên thực tế, có điều gì đó rất giống Shipilevsky trong báo cáo này... Ori không kể chính xác điều tương tự, nhưng nếu xem xét kỹ có thể phát hiện ra những điểm tương đồng. Ngay cả sau mọi điều xảy ra trong các tiêu chuẩn C++ mới nhất, các vấn đề như giá trị ngoài luồng vẫn chưa được khắc phục và vì vậy bạn có thể truy cập báo cáo đó và lắng nghe mọi người “ở phía bên kia rào chắn” đang như thế nào cố gắng khắc phục những vấn đề này, Theo lý do của họ, người ta có thể bị ấn tượng bởi các cách tiếp cận giải pháp được tìm thấy (Ori có một trong các tùy chọn khắc phục).

Có rất nhiều người tham gia vào ủy ban chương trình và động cơ cộng đồng. Mọi người đều giải quyết các vấn đề liên tôn của mình, xây dựng những cây cầu và có được những kết nối. Tôi đã sử dụng điều này bất cứ khi nào có thể, và ví dụ như chúng tôi đã đồng ý với Alexander Borgardt từ Nhóm người dùng C++ Moscow cùng nhau viết một bài báo đầy đủ về các tác nhân và tính bất đồng bộ trong C++.

Ba người đoạt giải Dijkstra: Hydra 2019 và SPTDC 2019 đã diễn ra như thế nào

Trong ảnh: Leonid Talalaev (ltalal, trái) và Oleg Anastasyev (m0nstermind, phải), các nhà phát triển hàng đầu tại Odnoklassniki

Khu vực thảo luận và buff lửa

Tại các hội nghị luôn có những người tham gia hiểu rõ chủ đề cũng như các diễn giả (và đôi khi còn giỏi hơn cả các diễn giả - ví dụ: khi một nhà phát triển cốt lõi của một số công nghệ nằm trong số những người tham gia). Có rất nhiều người tham gia có chuyên môn cao về Hydra. Ví dụ, tại một thời điểm nào đó xung quanh Alex Petrov kể về Cassandra, nhiều người hình thành đến nỗi anh không thể trả lời hết được. Có lúc, Alex bị đẩy sang một bên một cách nhẹ nhàng và bắt đầu bị giằng xé bởi những câu hỏi, nhưng lá cờ rơi đã được một nhà phát triển Rust nổi tiếng trong giới nhặt lại Tyler Neely và cân bằng tải một cách hoàn hảo. Khi tôi nhờ Tyler giúp đỡ trong cuộc phỏng vấn trực tuyến, tất cả những gì anh ấy hỏi là “Khi nào chúng ta bắt đầu?”

Ba người đoạt giải Dijkstra: Hydra 2019 và SPTDC 2019 đã diễn ra như thế nào

Có lúc, tinh thần thảo luận thậm chí còn lan sang cả các báo cáo: Nikita Koval tổ chức một buổi hỏi đáp bất ngờ, chia báo cáo thành nhiều phần.

Và ngược lại, trên BOF dành cho đa luồng, họ nhớ về bộ nhớ bất biến, họ bị cuốn hút vào bof này Pedro Ramalhete với tư cách là chuyên gia trưởng, và anh ấy đã giải thích mọi thứ cho mọi người (tóm lại, trí nhớ bất biến không phải là mối đe dọa đối với chúng ta trong tương lai gần). Nhân tiện, một trong những người dẫn chương trình này là Vladimir Sitnikov, người phục vụ trong ủy ban chương trình của một số hội nghị điên rồ... hiện tại có vẻ như là năm hội nghị cùng một lúc. Ở phần buff tiếp theo về “CS hiện đại trong thế giới thực”, họ cũng thảo luận về NVM và hoàn toàn tự mình đi đến vấn đề này.

Ba người đoạt giải Dijkstra: Hydra 2019 và SPTDC 2019 đã diễn ra như thế nào

Tôi có thể chia sẻ một siêu hiểu biết mà ngay cả những người trực tiếp tham gia vào câu chuyện cũng có thể không nhận thấy. Eli Gafni biểu diễn vào buổi tối ngày đầu tiên đến Trường, ngày hôm sau anh ấy ở lại và bắt đầu troll Lamport, và nhìn từ bên ngoài có vẻ như đây là một trò chơi và Eli không đủ năng lực. Rằng đây là một loại troll nào đó đã lên kế hoạch lấy não của Leslie. Trên thực tế, thực tế là họ gần như là bạn thân, họ đã là bạn trong nhiều năm và đây chỉ là một trò đùa thân thiện như vậy. Nghĩa là, trò đùa đã có tác dụng - tất cả những người xung quanh đều yêu mến nó, coi đó là giá trị bề ngoài.

Ba người đoạt giải Dijkstra: Hydra 2019 và SPTDC 2019 đã diễn ra như thế nào

Riêng biệt, tôi muốn lưu ý rằng các diễn giả đã dành bao nhiêu tâm huyết và công sức cho việc này. Có người đứng ở khu vực thảo luận đến phút cuối cùng, gần như hàng giờ đồng hồ. Giờ nghỉ đã kết thúc từ lâu, báo cáo bắt đầu, kết thúc, giờ nghỉ tiếp theo bắt đầu - và Dmitry Vyukov tiếp tục trả lời các câu hỏi. Một câu chuyện thú vị cũng đã xảy ra với tôi - khi khiến Cliff Click bất ngờ, tôi không chỉ nhận được lời giải thích rõ ràng và hợp lý về cuộc thảo luận đầy khiêu khích về việc thiếu các bài kiểm tra đối với một số chất trong H2O, nhưng cũng có một bài đánh giá đầy đủ về nó ngôn ngữ mới AA. Tôi chưa bao giờ hỏi điều này: Tôi chỉ hỏi bạn có thể đọc gì về AA (hóa ra bạn có thể nghe tệp âm thanh), và thay vào đó, Cliff dành nửa giờ để nói về ngôn ngữ và kiểm tra xem những gì anh ấy nói có được hiểu chính xác hay không. Tuyệt vời. Chúng ta cần viết một bài habrapost về AA. Một trải nghiệm bất thường khác là xem quy trình xem xét yêu cầu kéo trong Kotlin. Đó thực sự là một cảm giác kỳ diệu khi bạn bước vào các nhóm thảo luận khác nhau, những diễn giả khác nhau và bước vào một thế giới hoàn toàn mới. Đây là một cái gì đó ở cấp độ "Ở đó, ở đó" của Radiohead.

Ba người đoạt giải Dijkstra: Hydra 2019 và SPTDC 2019 đã diễn ra như thế nào

Tiếng Anh

Hydra 2019 là hội nghị đầu tiên của chúng tôi có ngôn ngữ chính là tiếng Anh. Điều này mang lại cả lợi ích và thách thức của nó. Một lợi thế rõ ràng là mọi người không chỉ đến tham dự hội nghị từ Nga mà trong số những người tham gia, bạn có thể gặp các kỹ sư đến từ Châu Âu và các nhà khoa học đến từ Anh. Các diễn giả mang theo sinh viên của họ. Nhìn chung, các diễn giả quan trọng có thêm động lực để đi dự một hội nghị như vậy. Hãy tưởng tượng rằng bạn là diễn giả tại một hội nghị hoàn toàn bằng tiếng Nga: bạn đã đưa ra báo cáo của mình, bảo vệ khu vực thảo luận, và sau đó thì sao? Đi du lịch quanh thành phố và xem các điểm du lịch? Trên thực tế, những diễn giả thực sự nổi tiếng đã nhìn thấy đủ mọi thứ trên thế giới, họ không muốn đi xem sư tử và cầu kéo, họ cảm thấy nhàm chán. Nếu tất cả các báo cáo đều bằng tiếng Anh, họ có thể tham gia hội nghị một cách chung chung, vui vẻ, tham gia các khu vực thảo luận, v.v. Bầu không khí khá thân thiện với các diễn giả.

Ba người đoạt giải Dijkstra: Hydra 2019 và SPTDC 2019 đã diễn ra như thế nào

Nhược điểm rõ ràng là không phải ai cũng cảm thấy thoải mái khi giao tiếp bằng tiếng Anh. Nhiều người hiểu rõ nhưng nói kém. Nói chung, những điều bình thường đã được giải quyết theo những cách khác nhau. Ví dụ: một số khu vực thảo luận bắt đầu bằng tiếng Nga nhưng ngay lập tức chuyển sang tiếng Anh khi người tham gia nói tiếng Anh đầu tiên xuất hiện.

Bản thân tôi đã phải thực hiện phần mở đầu và kết thúc của chương trình phát sóng trực tuyến độc quyền bằng tiếng Anh và tham gia một số cuộc phỏng vấn trực tiếp với các chuyên gia. Và đây thực sự là một thử thách đối với tôi mà tôi sẽ không thể quên sớm được. Tại một thời điểm nào đó Oleg Anastasyev (m0nstermind) chỉ bảo tôi ngồi yên cùng họ trong suốt cuộc phỏng vấn, và tôi quá chậm để hiểu điều đó có nghĩa là gì.

Mặt khác, thật thú vị khi mọi người đặt câu hỏi một cách sôi nổi tại các báo cáo. Không chỉ người bản ngữ mà tất cả mọi người nói chung đều hoạt động tốt. Tại các hội nghị khác, người ta thường thấy mọi người ngại ngùng khi đặt câu hỏi cho khán giả bằng tiếng Anh không chuẩn và chỉ có thể moi ra điều gì đó trong khu vực thảo luận. Ở đây hoàn toàn khác. Nói một cách tương đối, một số Cliff Click đã hoàn thành báo cáo của mình sớm hơn một chút và sau đó các câu hỏi theo trình tự liên tục, cuộc trò chuyện chuyển sang khu vực thảo luận - không có những khoảng dừng hoặc gián đoạn khó xử. Điều tương tự cũng áp dụng cho phần hỏi đáp của Leslie Lamport; người dẫn chương trình thực tế không cần phải đặt câu hỏi, những người tham gia đã nghĩ ra mọi thứ.

Có đủ thứ nhỏ nhặt mà ít người để ý nhưng chúng tồn tại. Do hội nghị sử dụng tiếng Anh nên việc thiết kế những thứ như tờ rơi và bản đồ sẽ nhẹ nhàng và ngắn gọn hơn. Không cần phải sao chép ngôn ngữ và làm lộn xộn thiết kế.

Nhà tài trợ và triển lãm

Các nhà tài trợ đã giúp đỡ chúng tôi rất nhiều trong việc tổ chức hội nghị. Nhờ họ mà luôn có việc gì đó để làm trong giờ nghỉ.

Tại gian hàng Trung tâm công nghệ Deutsche Bank bạn có thể trò chuyện với các kỹ sư của hệ thống đa luồng, giải quyết vấn đề của họ một cách dễ dàng, giành được những giải thưởng đáng nhớ và chỉ cần có khoảng thời gian vui vẻ.

Ba người đoạt giải Dijkstra: Hydra 2019 và SPTDC 2019 đã diễn ra như thế nào

Tại gian hàng Viền chúng ta có thể nói về các hệ thống của riêng họ, cả nguồn mở và nguồn mở: cơ sở dữ liệu phân tán trong bộ nhớ, nhật ký nhị phân phân tán, hệ thống điều phối vi dịch vụ, phương tiện truyền tải phổ biến cho phép đo từ xa, v.v. Và tất nhiên, các câu đố và cuộc thi, nhãn dán có hình con mèo nhị phân và Thời Trung Cổ Đau khổ, những món quà như sách của Martin Kleppmann và các nhân vật LEGO.

Xin lưu ý rằng việc phân tích các bài toán Kontur đã được đăng trên Habré. Phân tích hay, đáng xem.

Ba người đoạt giải Dijkstra: Hydra 2019 và SPTDC 2019 đã diễn ra như thế nào

Những ai muốn có thể mua tất cả các loại sách và thảo luận với đồng nghiệp. Cả một đám đông tụ tập để tham gia buổi ký tặng!

Ba người đoạt giải Dijkstra: Hydra 2019 và SPTDC 2019 đã diễn ra như thế nào

Kết quả

Hội nghị Hydra và Trường SPTDC là những sự kiện rất quan trọng đối với chúng tôi với tư cách là công ty tổ chức và đối với toàn bộ cộng đồng. Đây là cơ hội để nhìn vào tương lai của chúng ta, phát triển một khuôn khổ khái niệm thống nhất để thảo luận các vấn đề hiện đại và xem xét kỹ hơn những hướng đi thú vị. Đa luồng đã xuất hiện từ rất lâu, nhưng phải mất cả thập kỷ sau khi bộ xử lý đa lõi thực sự đầu tiên xuất hiện thì hiện tượng này mới trở nên phổ biến. Những gì chúng ta nghe được trong các báo cáo tuần này không phải là những tin tức thoáng qua mà là con đường dẫn đến một tương lai tươi sáng mà chúng ta sẽ đi theo trong những năm tới. Sẽ không có bất kỳ tiết lộ nào về Hydra tiếp theo trong bài đăng này, nhưng bạn có thể hy vọng điều tốt nhất. Nếu quan tâm đến những vấn đề như thế này, bạn có thể muốn xem các sự kiện khác của chúng tôi, chẳng hạn như các buổi tọa đàm chuyên đề tại hội nghị Joker 2019 hoặc DotNext 2019 Moscow. Hẹn gặp lại các bạn ở những hội thảo tiếp theo!

Ba người đoạt giải Dijkstra: Hydra 2019 và SPTDC 2019 đã diễn ra như thế nào

Nguồn: www.habr.com

Thêm một lời nhận xét