Hydra の腕の中のクレムリンの塔: モスクワでの並列分散コンピューティング Hydra 2020 に関するカンファレンス

昨年サンクトペテルブルクで 最初のヒドラ会議並列および分散システム専用。 受賞者によるプレゼンテーションが行われました ディクストラ賞 и チューリング賞 (レスリー・ランポート, モーリス・ハーリヒー и マイケル・スコット）、コンパイラおよびプログラミング言語（C++、Go、Java、Kotlin）の作成者、分散データベース（Cassandra、CosmosDB、Yandex Database）の開発者、アルゴリズムおよびデータ構造（CRDT、Paxos、wait）の作成者および研究者-自由なデータ構造)。 一般に、この時点ですでに休暇を取得し、IDE ウィンドウを最小化し、次のコマンドで YouTube プレイリストを開くことができます。 最高のレポート Hydra 2019 - タスク スケジューラを少し待ちます。

一般に、このような会議はこれまで一度も開催されたことがありませんが、今回再び開催されることになります。 再び英語でのレポートなぜなら、並列分散コンピューティングについて語るのにこれ以上適した言語はないからです。 再び夏、10月11日とXNUMX日なぜなら、講演者には、たとえばケンブリッジ大学、ロチェスター大学、セントピーターズバーグ大学などで研究したり教えたりする時間があり、他の時期はそうではないからです。

しかし、今回のヒドラはモスクワで開催されます。、カンファレンス参加者のほとんどは昨年から参加し、分散コンセンサスとトランザクション メモリに関するレポートを聞いていました。 新しい Hydra では、より複雑なプログラム、昨年のヒーローに加えて新しいスピーカー、そして XNUMX つのホールで並行して行われたハードコアから参加者に分配されるすでにおなじみの喜びの感覚があります。

すぐに、ビザンチンの将軍のシャツを着たトランプをテーブルに並べましょう。新しいヒドラのプログラムをより詳細で多様なものにしたいと考えています。 前回は爪で引っ掻きましたが、今回はさらに広く深く掘り下げていきます。 Hydra 2020 のテーマと昨年との違いは次のとおりです。

  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


XNUMX つの会議のプログラムでこれらすべてについてどのように伝えるのでしょうか? 確かに、ピカピカの新しい分散ストアで操作の線形化可能性をテストすることよりも簡単ではありません。 ジェプセンしかし、試してみます。

番組の出演者は次のとおりです。

シンディ・スリダラン (Cindy Sridharan) はサンフランシスコ出身の分散システム開発者で、短い本の著者です。 分散システムの可観測性 （取った 無料の電子コピー）そして人気があります ブログ、記事は XNUMX つだけです。Tech Talks の 2019 年のベスト賞「数日間の休暇は取れますが、満足して帰ることができます。 Hydra 2020 では、Cindy がその方法を説明します。 分散システムをテストする状態を保存しているにもかかわらず。


マイケル・スコット (マイケル・スコット) - 研究者 ロチェスター大学の作成者としてすべての Java 開発者に知られています。 ノンブロッキングアルゴリズムと同期キュー Java標準ライブラリから。 もちろん、『ディクストラ賞』も受賞。共有メモリマルチプロセッサでのスケーラブルな同期のためのアルゴリズム» そして自分自身 ウィキペディアのページ。 昨年、マイケルはヒドラに（あなたによると）最高のレポートを提供しました。 二重データ構造そして今話します ホーダープロジェクト и 共有メモリを使用した安全な作業並列プロセスで使用できます。


ハイジ・ハワード (ハイジ・ハワード) 研究者 の ケンブリッジ大学、分散型コンセンサスアルゴリズムを作成したことで知られています。 柔軟なパクソス、Flexible Paxos の一般化にも取り組んでいます。 ファストパクソス。 昨年、ハイジはそれがどのように機能するのか、そしてどのように行われるのかを語った Paxos ファミリーのアルゴリズム （最高のレポートの一つ）そして今、彼は米国と米国の間で薄氷の上を歩もうとするだろう パクソスの愛好家とラフトのサポーター — どのアルゴリズムが優れているかについて意見を共有してください。


マーティン・クレップマン (Martin Kleppmann) は、おそらくケンブリッジ大学の研究者として最もよく知られており、元ビッグ データ システム開発者であり、分散システムに関する驚くほど明確でユニークな本を執筆しました。」データ集約型アプリケーションの設計」。 昨年のマーティン 結果を共有しました 彼らのCRDT研究の結果、そしてこれから何が分かるのか - 私たちは 後で発表します.


ニキータ・コヴァル (Nikita Koval) は Kotlin チームのコルーチンの開発者であり、ITMO のマルチスレッド プログラミングに関するコースの講師であり、Hydra カンファレンス (はい、この記事のテーマです) のプログラム委員会のメンバーでもあります。 昨年、ニキータは、次を使用して JVM プラットフォーム上でマルチスレッド データ構造をテストすることについて話しました。 リンチェックそして、Hydra 2020 では、 教えてくれる SegmentQueueSynchronizer について - を使用して検証 アイリスフレームワーク のために プローバー・コック 同期プリミティブをプログラミングするための抽象化。


私たちの非同期発表に従ってください。カンファレンスでは約 XNUMX 件のレポートが予定されており、残りについては間もなくお知らせします。 また、当然のことながら、カンファレンスにはディスカッション ゾーンがあり、そこでは一般的な合意に達するまで、XNUMX つまたは複数のストリームで講演者に質問をテストする必要があります。

運が良ければ、マルティン・クレップマンが本にサインをしてくれるでしょう。

はい、Hydra 2020 カンファレンスの前、つまり 6 月 9 日から XNUMX 日まで、 SPTDC 2020 — 分散コンピューティングの理論と実践に関する XNUMX 回目のサマースクール。 カンファレンスでは得られにくい感覚がそこにあるので、スクールについては別の記事でお話します。

今は何ですか？ まず、ハブレやソーシャル ネットワークでニュースをフォローしてください (Facebook, VKontakte, Twitter).

第二に、カンファレンスに参加したいという抑えがたい欲求をすでに感じている場合は、サイトを調べてください。 チケットを購入する.

第三に、コメント欄で Hydra 2020 カンファレンス プログラム委員会とチャットする機会をお見逃しなく。 PC のメンバーは、今後のカンファレンスのトピックについて喜んでお話しします。

ヒドラでお会いしましょう！

出所： habr.com