Tháp Kremlin trong vòng tay của Hydra: hội nghị về điện toán song song và phân tán Hydra 2020 tại Moscow

Năm ngoái ở St. Petersburg đã có hội nghị Hydra đầu tiên, dành riêng cho các hệ thống song song và phân tán. Các nhà đoạt giải đã thuyết trình Giải Dijkstra и Giải thưởng Turing (Leslie Lamport, Maurice Herlihy и Micheal Scott), người tạo ra trình biên dịch và ngôn ngữ lập trình (C++, Go, Java, Kotlin), nhà phát triển cơ sở dữ liệu phân tán (Cassandra, CosmosDB, Yandex Database), cũng như người tạo và nhà nghiên cứu thuật toán và cấu trúc dữ liệu (CRDT, Paxos, chờ đã -cấu trúc dữ liệu miễn phí). Nói chung, tại thời điểm này, bạn đã có thể đi nghỉ, thu nhỏ cửa sổ IDE, mở danh sách phát trên YouTube bằng những báo cáo tốt nhất Hydra 2019 - và để người lên lịch tác vụ chờ một chút.

Nói chung, một hội nghị như vậy chưa bao giờ diễn ra và bây giờ nó sẽ diễn ra lần nữa. Một lần nữa với các báo cáo bằng tiếng Anh, bởi vì không có ngôn ngữ nào tốt hơn để nói về tính toán song song và phân tán. Một lần nữa vào mùa hè, ngày 10 và 11 tháng XNUMX, bởi vì các diễn giả có thời gian nghiên cứu và giảng dạy, chẳng hạn như tại các trường đại học Cambridge, Rochester và St. Petersburg, và những thời điểm khác trong năm không dành cho họ.

Tuy nhiên, lần này Hydra sẽ được tổ chức ở Moscow, nơi hầu hết những người tham gia hội nghị đã đến vào năm ngoái để nghe báo cáo về sự đồng thuận phân tán và bộ nhớ giao dịch. Hydra mới có một chương trình phức tạp hơn, các diễn giả mới cùng với các anh hùng của năm ngoái, cũng như cảm giác phấn khích vốn đã quen thuộc của những người chơi hạng nặng song song được phân bổ giữa những người tham gia trong ba hội trường.

Tháp Kremlin trong vòng tay của Hydra: hội nghị về điện toán song song và phân tán Hydra 2020 tại Moscow


Hãy đặt ngay một bộ bài lên bàn với các tướng Byzantine ngửa mặt - chúng tôi muốn chương trình của Hydra mới chi tiết và đa dạng hơn. Lần trước chúng ta cào bằng móng tay, bây giờ hãy đào rộng hơn và sâu hơn nhé. Dưới đây là các chủ đề của Hydra 2020 có sự khác biệt so với năm ngoái:

  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

Làm thế nào để nói về tất cả những điều này trong chương trình của một hội nghị? Chắc chắn không đơn giản hơn việc kiểm tra tính tuyến tính của các hoạt động trên một cửa hàng phân phối mới bằng cách sử dụng Jepsen, nhưng chúng tôi sẽ cố gắng.

Đây là những người đã tham gia chương trình:

Tháp Kremlin trong vòng tay của Hydra: hội nghị về điện toán song song và phân tán Hydra 2020 tại MoscowCindy Sridharan (Cindy Sridharan) - nhà phát triển hệ thống phân tán đến từ San Francisco, tác giả một cuốn sách ngắn Khả năng quan sát hệ thống phân tán (cầm lấy bản sao điện tử miễn phí) và phổ biến blog, nơi chỉ có một bài viết “Hay nhất năm 2019 trong Tech Talks"có thể giúp bạn thoát khỏi vài ngày nghỉ phép nhưng vẫn khiến bạn hạnh phúc. Tại Hydra 2020, Cindy sẽ cho bạn biết cách thử nghiệm hệ thống phân tán, ngay cả khi họ lưu trữ trạng thái.


Tháp Kremlin trong vòng tay của Hydra: hội nghị về điện toán song song và phân tán Hydra 2020 tại MoscowMicheal Scott (Michael Scott) - nhà nghiên cứu đến từ Đại học Rochester, được tất cả các nhà phát triển Java biết đến với tư cách là người tạo ra thuật toán không chặn và hàng đợi đồng bộ từ Thư viện chuẩn Java. Tất nhiên, với Giải thưởng Dijkstra cho “Các thuật toán để đồng bộ hóa có thể mở rộng trên bộ đa xử lý bộ nhớ dùng chung"và sở hữu trang Wikipedia. Năm ngoái, Michael đã đưa ra báo cáo tốt nhất (theo bạn) về Hydra trên cấu trúc dữ liệu kép, và bây giờ anh ấy sẽ nói về dự án Hodor и làm việc an toàn với bộ nhớ dùng chung, có sẵn cho các quá trình song song.


Tháp Kremlin trong vòng tay của Hydra: hội nghị về điện toán song song và phân tán Hydra 2020 tại MoscowHeidi Howard (Heidi Howard) - nhà nghiên cứu của Đại học Cambridge, được biết đến với việc tạo ra thuật toán đồng thuận phân tán Paxo linh hoạt, cũng như nỗ lực tổng quát hóa Paxos linh hoạt và Paxos nhanh. Năm ngoái, Heidi đã kể về cách hoạt động và hoạt động Nhóm thuật toán Paxos (một trong những báo cáo hay nhất), và bây giờ tôi sẽ cố gắng bước đi trên lớp băng mỏng giữa Những người yêu thích Paxos và những người ủng hộ Raft - và chia sẻ ý kiến ​​​​của mình về thuật toán nào tốt hơn.


Tháp Kremlin trong vòng tay của Hydra: hội nghị về điện toán song song và phân tán Hydra 2020 tại MoscowMartin Kleppmann (Martin Kleppmann) có lẽ là một nhà nghiên cứu thậm chí còn nổi tiếng hơn từ Đại học Cambridge, đồng thời là nhà phát triển trước đây của hệ thống dữ liệu lớn, người đã viết một cuốn sách rõ ràng và do đó độc đáo về hệ thống phân tán "Thiết kế các ứng dụng chuyên sâu về dữ liệu" Năm ngoái Martin chia sẻ kết quả về nghiên cứu CRDT của họ và những gì chúng tôi sẽ cho bạn biết bây giờ chúng tôi sẽ thông báo sau.


Tháp Kremlin trong vòng tay của Hydra: hội nghị về điện toán song song và phân tán Hydra 2020 tại MoscowNikita Koval (Nikita Koval) là nhà phát triển coroutine trong nhóm Kotlin, giáo viên khóa học về lập trình đa luồng tại ITMO và là thành viên ủy ban chương trình của hội nghị Hydra (vâng, chính là người mà bài viết này đề cập đến). Năm ngoái Nikita đã nói về việc thử nghiệm cấu trúc dữ liệu đa luồng trên nền tảng JVM bằng cách sử dụng Lin-Check, và tại Hydra 2020 anh ấy sẽ nói về SegmentQueueSynchronizer - được xác minh bằng cách sử dụng Khung mống mắt cho câu tục ngữ Coq sự trừu tượng hóa cho các nguyên thủy đồng bộ hóa lập trình.


Hãy theo dõi các thông báo không đồng bộ của chúng tôi: tổng cộng sẽ có khoảng ba chục báo cáo tại hội nghị, chúng tôi sẽ sớm thông báo cho bạn về phần còn lại. Ngoài ra, tất nhiên, tại hội nghị sẽ có các khu vực thảo luận, nơi cần kiểm tra các diễn giả bằng các câu hỏi trong một hoặc một số chủ đề cho đến khi đạt được sự đồng thuận chung.

Tháp Kremlin trong vòng tay của Hydra: hội nghị về điện toán song song và phân tán Hydra 2020 tại Moscow
Và nếu bạn may mắn, Martin Kleppmann sẽ ký vào cuốn sách của bạn.

Có, trước hội nghị Hydra 2020, cụ thể là ngày 6-9 tháng XNUMX, sẽ có SPTDC 2020 — trường hè thứ ba về lý thuyết và thực hành điện toán phân tán. Nó sẽ mang lại cho bạn những cảm giác khó có được tại một hội nghị, vì vậy chúng ta sẽ nói về Trường học trong một bài riêng.

Gì bây giờ? Đầu tiên, theo dõi tin tức trên Habré và mạng xã hội (Facebook, Vkontakte, Twitter).

Thứ hai, nếu bạn đã cảm thấy mong muốn không thể cưỡng lại được tham dự hội nghị, khám phá trang web, bạn đã có thể mua vé.

Thứ ba, đừng bỏ lỡ cơ hội trò chuyện với ban chương trình hội nghị Hydra 2020 trong phần bình luận. Các thành viên PC sẽ vui lòng nói chuyện với bạn về các chủ đề hội nghị trong tương lai.

Hẹn gặp lại bạn tại Hydra!

Nguồn: www.habr.com

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