🥇クレムリンの塔はヒドラの腕の中に：モスクワで開催される並列および分散コンピューティングに関するカンファレンス Hydra 2020

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

一般的に、このような会議はこれまで一度も開催されたことがなく、今回再び開催されることになります。 再び英語でのレポート並列コンピューティングと分散コンピューティングについて話すのにこれよりよい言語はないからです。 夏には10月11日とXNUMX日にもなぜなら、講演者はケンブリッジ大学、ロチェスター大学、サンクトペテルブルク大学などで研究や教育を行う時間があり、他の時期は講演を行う時間がないからです。

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

すぐにテーブルの上に、ビザンチン将軍のシャツを上にしてトランプのデッキを並べましょう。新しいヒドラのプログラムがより詳細で多様なものになることを望んでいます。前回は爪で引っ掻きましたが、今度はもっと広く深く掘ります。 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

分散システム:
* 分散コンピューティング
* 分散機械学習/ディープラーニング
* ステートマシンの複製とコンセンサス
* フォールトトレランスとレジリエンス
* テストと検証
* ハードウェアの問題
* ブロックチェーンとビザンチンフォールトトレランス
* 分散データベース、NewSQL
* 分散ストリーム処理
* スケジューリングアルゴリズムと実装
* クラスター管理システム
*セキュリティ
* パフォーマンス分析、デバッグ、最適化
* ピアツーピア、ゴシッププロトコル
* モノのインターネット

これらすべてを 1 つの会議プログラムで伝えるにはどうすればよいでしょうか?これは、新しい分散ストレージエンジンで操作の線形化可能性をテストするよりも簡単ではありません。ジェプセンですが、努力してみます。

すでにプログラムに参加している人は次のとおりです:

シンディ・スリダラン （シンディ・スリダラン）はサンフランシスコを拠点とする分散システム開発者であり、短い本の著者でもある。分散システムの可観測性（取る無料の電子コピー）と人気ブログ、冠詞が1つだけある場合、「2019 年の技術トークのベスト「数日の休暇を節約しながら、幸せな気分にさせてくれます。Hydra 2020で、シンディがその方法を教えます。分散システムをテストするたとえ状態を保存していたとしても。

マイケル・スコット （マイケル・スコット）は、ロチェスター大学の作成者としてすべての Java 開発者に知られています。ノンブロッキングアルゴリズムと同期キュー Java 標準ライブラリから。もちろん、ダイクストラ賞は「共有メモリ型マルチプロセッサにおけるスケーラブルな同期アルゴリズム» 所有するウィキペディアのページ。昨年、マイケルは（あなたの意見では）ヒドラに関する最高の講演をしました。二重データ構造、そして今彼はホーダープロジェクト и 共有メモリによる安全な作業並列プロセスに利用できます。

ハイディ・ハワード （ハイディ・ハワード）— 研究者のケンブリッジ大学分散合意アルゴリズムを開発したことで知られる柔軟なパクソス、そして柔軟なPaxosの一般化に取り組むとともに、ファストパクソス。昨年、ハイジはそれがどのように機能し、どのように構成されているかを説明した。 Paxos アルゴリズムファミリー（最高のレポートの1つ）、そして今、パクソス愛好家とラフト支持者 — そして、どのアルゴリズムが優れているかについて意見を共有します。

マーティン・クレップマン （マーティン・クレップマン）は、ケンブリッジ大学の研究者としておそらくもっとよく知られており、分散システムに関する非常に明快でユニークな本を書いた元ビッグデータシステム開発者である。データ集約型アプリケーションの設計「昨年マーティン結果を共有した彼の研究CRDT、そして彼が今私たちに何を語るのか - 私たちは後ほど発表します.

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

非同期のアナウンスに従ってください。カンファレンスでは約 3 ダースのレポートが発表される予定です。残りについてはすぐにお知らせします。もちろん、会議にはディスカッションエリアも設けられ、そこでは 1 人以上のスピーカーが質問を投げかけ、全体的な合意に達するまでテストされます。