これは、分散コンピューティングの基本作業の著者であるレスリーランプポートです。LaTeXのLaという文字で彼を知ることもできます-「Lamport TeX」。 1979年に一貫性の一貫性の概念を紹介したのはこれが初めてであり、彼の記事「マルチプロセスプログラムを正しく実行するマルチプロセッサコンピュータの作成方法」はダイクストラ賞を受賞しました"）。 ウィキペディアには彼に関する記事があり、さらに興味深いリンクを入手できます。 ビハインドビーンティンの問題やビザンチン将軍 （BFT）の問題を解決することに熱心であれば、Lamportがすべての背後にあることを理解する必要があります。

彼はまた、7月11〜12日にサンクトペテルブルクで開催される分散コンピューティングに関する新しい会議-Hydraにも参加します。 これがどんな獣なのか見てみましょう。

ヒドラ2019

マルチスレッドのようなスレッドは、私たちの会議で最も人気のあるもののいくつかであり、常にそのようなものでした。 この部屋はただ捨てられただけでしたが、ここでは、メモリモデル、発生前またはマルチスレッドのガベージコレクション、およびブームについて話している男性がステージに登場します。 -すでに1000人未満の人々が、座って注意深く耳を傾けるために利用可能なスペースをすべて占有しています。 この成功の本質は何ですか？ 多分私たち全員が分散コンピューティングを整理できる何らかの種類のハードウェアを手にしているという事実でしょうか？ それとも、それを本当の価値でロードできないことを無意識に理解しているのですか？ サンクトペテルブルクの量子（つまり、金融の定量分析と開発者）の実話があり、その手にはコンピューティングクラスターがあり、彼だけがフルパワーを使用できます。 そして、あなたが今よりも何倍も大きな仕事を達成する力を持っていたらどうしますか？

このような人気により、生産性と効率的なコンピューティングのトピックには、会議プログラム全体に広がるという特性があります。 2日間のプレゼンテーションのうち、パフォーマンスについて作成できるのは3分の2、3分の2ですか？ いくつかの場所では、この成長を制限する人為的な制限があります。パフォーマンスに加えて、ある種のdevoopまたは建築天文学のための新しいWebフレームワークのための場所がまだある必要があります。 パフォーマンスはありません、あなたは私たち全員を食べません！

または、反対の方向に進んで、あきらめて、完全に分散コンピューティングに関する会議だけを行う会議を正直に行うことができます。 そして、ここに彼女はハイドラです。

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

会議プログラム

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

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

Maurice Herlichiは、非常に有名で尊敬されているコンピューターサイエンスの教授です。彼については、リンクや作品を確認できるウィキペディアのページもあります。 ダイクストラ賞を2つまで見ることができます。1つ目は待機なしの同期作業 、2つ目は最新のトランザクションメモリ：ロックフリーデータ構造のアーキテクチャサポートです 。 ちなみに、リンクはSciHubにはつながりませんが、Brown UniversityとVirginia Tech Universityにアクセスすると、開いて読むことができます。

モーリスは、「分散コンピューティングの観点からのブロックチェーン」と呼ばれる基調講演を開催しようとしています。 興味があれば、サンクトペテルブルクJUGからのモーリスのレポートの記録をご覧ください。 彼がトピックをどれほど明確かつ明確に伝えているかを評価します。

「デュアルデータ構造」というタイトルの2番目の基調講演は、ロチェスター大学のマイケルスコットによって読み上げられます。 そして、彼が自分のウィキペディアのページも持っていると思います 。 ウィスコンシン州で、彼はウィスコンシン大学マディソン大学の学部長として知られています。彼は世界で、Doug Leaと一緒にJavaライブラリを実行するノンブロッキングアルゴリズムと同期キューを開発しました。 Herlihaの3年後にダイクストラ賞を受賞したのは、「共有メモリマルチプロセッサでのスケーラブルな同期のアルゴリズム」という作品（ロチェスター大学のオンラインライブラリで公開されているはずです）でした。

7月中旬まではまだ時間があります。 プログラムを改良し、7月に近づくにつれて、残りのスピーカーとそのトピックについて話します。

一般的に、疑問が生じます-なぜ夏にヒドラをするのですか？ 結局のところ、これはデッドシーズン、休日です。 問題は、スピーカーの中に大学の教師がいることであり、それ以外の時間は彼らから取られるということです。 他の日付を選択できませんでした。

ディスカッションエリア

他の会議では、スピーカーが必要なものを読み、すぐに去ることが起こります。 参加者には彼を探す時間すらありません。結局、次のレポートが始まります。 これは、特にランポート、ヘルリーチ、スコットなどの重要な人々が出席している場合は非常に苦痛であり、通常は会議に出席して話し合うだけです。

この問題を解決しました。 彼の報告の直後に、スピーカーは少なくともマーカー付きのホワイトボードを備えた特別な議論エリアに行き、あなたにはかなり大きな時間的余裕があります。 正式には、講演者は少なくとも報告の合間にその場にいることを約束します。 実際には、これらのディスカッションゾーンは何時間も延々と続く可能性があります （スピーカーの要望と忍耐力に応じて）。

ランポートについては、私が正しく理解できれば、できるだけ多くの人々にTLA +が良いことだと納得させたいと思っています。 （ TLA +に関するウィキペディアの記事 ）。 おそらく、これはエンジニアにとって何か新しい有用なことを学ぶ良い機会になるでしょう。 レスリーはこのオプションを提供しています-興味のある人は誰でも過去の講義を見て質問をすることができます。 つまり、基調講演の代わりに、特化したQ＆Aセッションがあり、その後ディスカッションゾーンがあります。 私は少しグーグルで検索し、優れたTLA +コース （公式にはYouTubeプレイリストと同じ）と、Microsoftファカルティサミットによる1時間の講義「Thinking Above the Code」を見つけました。

あなたがこれらすべての人々を、ウィキペディアの花崗岩と本の表紙に描かれた名前だと思ったら、彼らに会う時間です！ 科学記事のページには答えられないが、著者は喜んで連絡することを伝え、質問をする。

論文募集

現在、自分で記事を読んでいる人の多くが、何か面白いことを言うことに嫌悪感を抱いていないことは秘密ではありません。 工学的観点から、科学的観点から-すべてから。 分散コンピューティングは非常に広範で深いトピックであり、すべての人に余裕があります。

ランポートの隣でプレイしたい場合、それは可能です。 スピーカーになるには、リンクをたどり、そこにあるすべてを注意深く読み、指示に従ってそれを行う必要があります。

落ち着いてください、あなたがプロセスに参加するとすぐに、彼らはあなたを助けます。 プログラム委員会は、報告書自体、その本質および設計を支援する能力を備えています。 コーディネーターは、組織の問題などに対処するのに役立ちます。

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

学校のSPTDC

会議はSPTDC学校と同じサイトで開催されるため、学校へのチケットを購入するすべての人は、会議チケットを20％割引で購入できます。

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

学校は英語で行われますので、これはカバーされているトピックのリストがどのように見えるかです：

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

次のスピーカーが話します：

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

YouTubeの過去の学校レポートでプレイリストを自由に見ることができます：

次のステップ

会議プログラムはまだ形成されています。 Habréまたはソーシャルネットワーク（ fb 、 vk 、 twitter ）でニュースをフォローしてください。

カンファレンスを本当に信じている場合（または、「アーリーバード」と呼ばれる特別な開始価格を使用する場合）、Webサイトにアクセスしてチケットを購入できます。

Hydraで会いましょう！