それ レスリー・ランポート 彼は分散コンピューティングにおける独創的な著作の著者であり、単語の La という文字でも彼を知っているかもしれません。 LaTeX - 「ランポート TeX」。 1979 年にこの概念を最初に導入したのは彼でした。 逐次一貫性、そして彼の記事 「マルチプロセス プログラムを正しく実行するマルチプロセッサ コンピュータの作り方」 ダイクストラ賞を受賞しました（より正確には、2000 年にはこの賞は古い呼び方で「PODC 影響力のある論文賞」と呼ばれていました）。 彼のことがある ウィキペディアの記事ここでは、さらに興味深いリンクを入手できます。 ハプニング・ビフォーまたはハプニング・ビフォーの問題を解決することに興奮している場合は、 ビザンチンの将軍の問題 (BFT) なら、ランポートがすべての背後にあることを理解する必要があります。

彼はまた、11 月 12 ～ XNUMX 日にサンクトペテルブルクで開催される分散コンピューティングに関する新しいカンファレンス、Hydra にも間もなく出席する予定です。 これはどんな動物なのか見てみましょう。

ヒドラ2019

マルチスレッドなどのトピックは、これまでも私たちのカンファレンスで最も人気のあるトピックの XNUMX つでした。 たった今、この部屋には誰もいなくなっていましたが、その後、メモリ モデル、ハプスビフォアまたはマルチスレッド ガベージ コレクションについて話している人がステージに現れ、そして、ドーン！ — すでに約 XNUMX 人の人々が、座って注意深く耳を傾けるために利用可能なスペースをすべて占めています。 この成功の本質は何でしょうか？ おそらくそれは、私たち全員が分散コンピューティングを組織できる何らかのハードウェアを手元に持っているからでしょうか? それとも、私たちはそれを適切にロードすることができないことを無意識のうちに理解しているのでしょうか？ あるサンクトペテルブルクのクオンツ (つまり、金融定量アナリスト兼開発者) の実話があります。彼は、自分だけがその全能力を使用できるコンピューティング クラスターを所有していることに気づきました。 もしあなたが今よりも何倍も大きなタスクを実行できる能力を持っていたらどうしますか?

このような人気のため、生産性と効率的なコンピューティングの話題はカンファレンスの議題全体に広がる傾向があります。 パフォーマンスに関する XNUMX 日間のレポートのうち、XNUMX 分の XNUMX、XNUMX 分の XNUMX を何回作成できるでしょうか。 場所によっては、この成長を制限する人為的な制限があります。パフォーマンスに加えて、ある種の DevOps や建築宇宙飛行のための、新しい Web フレームワークの余地がまだ残されている必要があります。 いいえ、パフォーマンス、あなたは私たち全員を丸ごと食べることはできません!

あるいは、逆に、あきらめて、正直に分散コンピューティングだけをテーマにしたカンファレンスを開催することもできます。 そしてこちらがヒドラです。

今日、すべての計算が何らかの方法で分散されていることを正直に認めましょう。 マルチコア マシン、コンピューティング クラスター、または大規模な分散サービスのいずれであっても、独立した計算を並行して実行し、相互に同期する多くのプロセスがどこにでも存在します。 Hydra では、これが理論的にどのように機能するか、そして実際にどのように機能するかについて説明します。

会議プログラム

このプログラムは現在、形成段階にあります。 これには、分散システムの理論の創始者と、本番環境で分散システムに協力しているエンジニアからのレポートが含まれている必要があります。

たとえば、Microsoft Research の Leslie Lamport 氏や Brown University の Maurice Herlihy 氏の参加はすでに知られています。

モーリス・ハーリヒー - 非常に有名で尊敬されているコンピューターサイエンスの教授であり、彼に関する情報もあります。 ウィキペディアのページ、リンクや作品を閲覧することができます。 ここでは、XNUMX つのダイクストラ賞が確認できます。最初の賞は、次の作品に対するものです。 「待ち時間なしの同期」、そして XNUMX つ目は、より最近のものです - 「トランザクション メモリ: ロックフリー データ構造のアーキテクチャ サポート」。 ちなみに、リンクはSciHubにさえつながっていないが、ブラウン大学やバージニア工科大学へは開いて読むことができる。

モーリスは「分散コンピューティングの観点から見たブロックチェーン」と題した基調講演を開催する予定です。 ご興味がございましたら、サンクトペテルブルク JUG からのモーリスのレポートの録画をご覧ください。 彼がトピックをどれだけ明確かつ理解しやすく伝えているかを評価します。

「二重データ構造」と呼ばれる XNUMX 番目の基調講演では、次のようになります。 マイケル・スコット ロチェスター大学出身。 そして何と思いますか - 彼は自分のものも持っています ウィキペディアのページ。 ウィスコンシン州の彼は、ウィスコンシン大学マディソン校の学部長としての仕事で知られていますが、世界では、Doug Lea とともに、Java ライブラリの基盤となるノンブロッキング アルゴリズムと同期キューを開発した人物です。仕事。 彼は Herlihy の XNUMX 年後、「共有メモリ マルチプロセッサ上のスケーラブルな同期のためのアルゴリズム」という業績でダイクストラ賞を受賞しました (予想通り、 彼女は公然と嘘をつく ロチェスター大学のオンライン図書館にあります）。

XNUMX月中旬まではまだ時間がある。 残りの講演者とそのトピックについては、プログラムを改良し、XNUMX 月に近づくにつれてお知らせします。

一般に、なぜ夏にヒドラを行うのかという疑問が生じます。 結局のところ、今はオフシーズン、休日です。 問題は、講演者の中には大学の先生もいらっしゃるので、それ以外の時間は忙しいということです。 他の日付を選択することはできませんでした。

ディスカッションエリア

他の会議では、講演者が必要なことを読んですぐに席を外してしまうことがよくあります。 参加者にはそれを探す暇すらなく、結局、ほぼインターバルなしで次のレポートが始まります。 これは、特にランポート、ハーリー、スコットのような重要人物が出席しており、実際に彼らに会って何かについて話し合うためだけにカンファレンスに行く場合には、非常に苦痛です。

私たちはこの問題を解決しました。 報告の直後に、講演者は少なくともマーカー付きのホワイトボードが備えられた特別なディスカッション エリアに移動します。かなりの時間があります。 正式には、講演者は少なくともプレゼンテーション間の休憩時間中はずっとそこにいることを約束します。 実際には、これらの議論領域は、 缶 何時間もストレッチを続けます（話者の欲求と忍耐力に応じて）。

ランポートに関しては、私の理解が正しければ、彼はできるだけ多くの人に次のことを納得させたいと考えているようだ。 TLA + - これは良いことです。 (ウィキペディアの TLA+ に関する記事）。 おそらく、これはエンジニアにとって新しくて役立つことを学ぶ良い機会になるでしょう。 レスリーはこのオプションを提供しています。興味のある人は彼の過去の講義を視聴し、質問をすることができます。 つまり、基調講演の代わりに専門的な Q&A セッションがあり、その後ディスカッション ゾーンも設けられる可能性があります。 いくつかグーグルしてみたところ、素晴らしいものを見つけました。 TLA+コース (正式な吹き替え YouTube のプレイリスト）とXNUMX時間の講義 「規範を超えて考える」 マイクロソフト ファカルティ サミットより。

これらすべての人々を、ウィキペディアや本の表紙で花崗岩に鋳造された名前として認識した場合は、直接会ってみましょう。 チャットしたり、科学論文のページでは答えられないような質問をしたりできますが、著者は喜んで連絡します。

論文募集

今この記事を読んでいる人の多くが、非常に興味深いことを話したいと思っていないことは周知の事実です。 工学的な観点から、科学的な観点から、あらゆる観点から。 分散コンピューティングは非常に幅広く奥深いトピックであり、誰もが参加できる余地があります。

ランポートと一緒に競争したいのであれば、それは十分に可能です。 スピーカーになるために必要なのは リンクをたどる、そこにあるすべてを注意深く読み、指示に従ってください。

プロセスに参加するとすぐにサポートしてくれるので、ご安心ください。 プログラム委員会は、報告書自体、その本質、デザインを支援するのに十分な能力を持っています。 コーディネーターが組織上の課題などの解決をお手伝いします。

日付の入った写真に特に注意してください。 参加者にとって XNUMX 月はかなり遠い日付ですが、講演者は今すぐ行動を開始する必要があります。

SPTDCスクール

カンファレンスは SPTDC 学校と同じ敷地で開催されるため、学校へのチケットを購入した全員にカンファレンスのチケットがプレゼントされます。 20％割引あり.

分散コンピューティングの実践と理論に関するサマースクール (SPTDC) は、関連分野の著名な専門家によって教えられる、分散システムの実践的および理論的側面に関する幅広いコースを提供する学校です。

この学校は英語で行われるため、取り上げられるトピックのリストは次のようになります。

• 同時データ構造: 正確性と効率性。
• 不揮発性メモリのアルゴリズム。
• 分散された計算能力。
• 分散型機械学習。
• ステートマシンのレプリケーションと Paxos。
• ビザンチンフォールトトレランス。
• ブロックチェーンのアルゴリズムの基礎。

以下の講演者が講演します。

• レスリー・ランポート (マイクロソフト);
• モーリス・ハーリヒー (ブラウン大学);
• マイケル・スコット (ロチェスター大学);
• ダン・アリスター (IST オーストリア);
• トレバー・ブラウン (ウォータールー大学);
• イーライ・ガフニ (UCLA);
• ダニー・ヘンドラー (ベングリオン大学);
• アクール・モステファウイ (ナント大学)。

プレイリスト 以前の学校のレポートは YouTube で自由に視聴できます。

次のステップ

カンファレンスのプログラムはまだ作成中です。 Habré またはソーシャル ネットワークでニュースをフォローしてください (fb, vk, さえずり).

このカンファレンスを本当に信じている場合 (または、「早割」と呼ばれる特別参加価格を利用したい場合)、Web サイトにアクセスして、 チケットを購入する.

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

出所： habr.com