SPTDC 2020 - 分散コンピューティングの実践と理論に関する XNUMX 番目の学校

理論とは、すべてを知っているが、何も機能しないことです。
練習とは、すべてがうまくいくが、その理由が誰にもわからないときです。
分散システムでは、 理論と実践が組み合わされています。
何も機能せず、その理由は誰にもわかりません。

エピグラフのジョークがまったくの愚かであることを証明するために、私たちは SPTDC (分散コンピューティングの実践と理論に関するスクール) を XNUMX 回目開催します。 私たちはすでに、学校の歴史、共同創設者のピョートル・クズネツォフとヴィタリー・アクショーノフ、そしてSPTDCの組織化におけるJUG Ruグループの参加について説明しました。 言った ハブレで。 そこで今日は2020年のスクールについて、講演会や講師について、またスクールとカンファレンスの違いについてお話します。

SPTDCスクールは6年9月2020日からXNUMX月XNUMX日までモスクワで開催されます。

講義はすべて英語で行われます。 講義の主なトピック: 永続的同時コンピューティング、分散システム用の暗号化ツール、コンセンサス プロトコルを検証するための形式的手法、大規模システムにおける一貫性、分散機械学習。

この写真の登場人物がどの階級の軍人であるか、すぐにわかりましたか? 君が愛おしい。

講師と講演会

ニル・シャビット (ニル・シャビット) - MIT およびテルアビブ大学の教授、素晴らしい本の共著者 マルチプロセッサ プログラミングの技術、 所有者 ディクストラ賞 開発と実装のために ソフトウェアトランザクションメモリ (STM) と ゲーデル賞 代数トポロジーを共有メモリ コンピューティングのモデリングに適用した功績により、同社の共同創設者 神経魔法、通常の CPU 用の高速機械学習アルゴリズムを作成し、もちろん独自の ウィキペディアのページ 爽やかで色っぽい写真とともに。 Nir は 2017 年にすでに私たちの学校に参加しており、ブロック技術の包括的な概要を説明しました (パート1, パート2）。 今年ニルが何を話すかはまだわかりませんが、科学の最前線からのニュースを期待しています。


マイケル・スコット (マイケル・スコット) - 研究者 ロチェスター大学の作成者としてすべての Java 開発者に知られています。 ノンブロッキングアルゴリズムと同期キュー Java 標準ライブラリから。 もちろん開発に対するダイクストラ賞も受賞 共有メモリコンピューティングの同期アルゴリズム そして自分自身の ウィキペディアのページ。 昨年、マイケルは私たちの学校でノンブロッキング データ構造について講義を行いました (パート1, パート2）。 今年彼は 教えてくれる を使用したプログラミングについて 不揮発性メモリ (NVM) により、「通常の」ランダム アクセス メモリ (DRAM) と比較してプログラムの複雑さとメモリのオーバーヘッドが軽減されます。


ゴーズ・ケイダール (Idit Keidar) - テクニオン大学教授兼オーナー ハーシュ指数 約40（これは非常にかなりの量です） XNUMXの科学論文 分散コンピューティング、マルチスレッド、フォールト トレランスの分野で。 イディットは初めて私たちの学校に参加しました。 講義をします 分散データ ストレージの運用の基本的な側面 (分散メモリ エミュレーション、コンセンサス開発、構成変更) について説明します。


ロドリゴ・ロドリゲス (ロドリゴ・ロドリゲス) - テクニコ大学教授、研究室メンバー INESC-ID と著者 研究活動 分散システムの分野で。 今年、私たちの学校ではロドリゴが 教えてくれる 分散データ ストアの一貫性と分離について、また、次を使用して分析します。 CAP定理 一貫性と分離のいくつかのモデルの実践における実現可能性。


チェン・ジン (ジン・チェン) - ニューヨーク州立大学ストーニーブルック校教授、作家 研究活動 ブロックチェーン分野の第一人者であり、 アルゴリズム - 完全に基づいたコンセンサスアルゴリズムを使用する企業およびブロックチェーンプラットフォーム ステークの証拠。 今年、私たちの学校で、チェンはアルゴランド ブロックチェーンと、その興味深い特性を実現する方法について話します。ネットワーク コンピューティング リソースへの要求が低いこと、トランザクション履歴の分割が不可能であること、ブロックチェーンに追加された後のトランザクション処理の完了を保証することです。


クリスチャン・カシン (クリスチャン・カチン) はベルン大学の教授であり、データ保護分野の研究グループを率いており、「」という本の共著者です。信頼性が高く安全な分散プログラミングの概要「ブロックチェーンプラットフォーム開発者」 ハイパージーガーファブリック (彼女についての話もありました) ハブレに投稿する）と著者 研究活動 分散システムにおける暗号化とセキュリティの分野。 今年、私たちの学校のクリスチャンでは 講義をします 分散コンピューティング用の暗号化ツールに関する XNUMX 部構成のシリーズ: 対称暗号化と非対称暗号化、および 共有キー暗号化、擬似乱数、および 検証可能な乱数の生成.


マルコ・ヴコリッチ (マルコ・ヴコリッチ) - IBM Researchの研究者、著者 仕事の ブロックチェーンの分野およびHyperledger Fabricの開発者。 今年マルコが私たちの学校で何を話すかはまだわかりませんが、ブロックチェーンの分野における彼の最新の開発について学べることを願っています：研究 パフォーマンスの低下 最大 100 台のマシンのクラスター上の分散型コンセンサス プロトコル、ブロードキャスト ミールプロトコル 世界的な秩序と ビザンチンフォールトトレランス またはブロックレスブロックチェーン ストリームチェーン、トランザクション処理時間を最小限に抑えます。


プラサド・ジャヤンティ （プラサド・ジャヤンティ）はダートマス大学の教授であり、エリートの一人です アイビーリーグと著者 研究活動 マルチスレッドアルゴリズムの分野で。 今年、私たちの学校プラサドでは 講義をします スレッド同期とさまざまなオプションを実装するためのアルゴリズムについて ミューテックス: 不揮発性メモリ モデルの割り込みまたは復元機能、および個別の読み取りおよび書き込み操作を備えています。


アレクセイ・ゴッツマン (Alexey Gotsman) - IMDEA 教授、著者 研究活動 アルゴリズムのソフトウェア検証の分野。 今年、アレクセイが私たちの学校で何を講義するかはまだわかりませんが、ソフトウェア検証と分散システムの交差点に関するトピックを期待しています。

なぜここはカンファレンスではなく学校なのでしょうか？

まず、講師はアカデミック形式で話し、大規模な講義はそれぞれ XNUMX 組のペアで行われます。 「10時間半、休憩、さらにXNUMX時間半。」 大学を卒業してから何年も経ち、XNUMX 時間の学会プレゼンテーションや XNUMX 分の YouTube 動画を視聴する習慣があると、これは難しい場合があります。 優れた講師は XNUMX 時間全体を面白くしてくれるでしょうが、自分の脳の可塑性に対しては誰もが責任を負います。

役立つアドバイス: 学校の講義を録画したビデオで練習してください。 2017年 と 2019年。 さようなら仕事 - こんにちは、ビザンチンの将軍。

第二に、講師は科学研究に焦点を当て、基本原則について話します。 分散システムや並列コンピューティング、最先端の科学のニュースなど。 何かをすばやくプログラムして、翌日の放課後に実稼働環境にデプロイすることが目標である場合、これも難しい場合があります。

役立つヒント: 学校の講師による研究論文を探してください。 Google Scholarの и arXiv.org。 科学論文を読むのが好きなら、学校も好きになるでしょう。

第三に、SPTDC 2020 はカンファレンスではありません。分散システムと並列コンピューティングに関するカンファレンスは、 ヒドラ2020. 最近、Habré に関する投稿がありました。 彼女のプログラムの概要。 昨年、SPTDC と Hydra は同じ会場で同時に開催されました。 今年は日程が重ならないため、時間や注目を奪い合うことはありません。

役立つヒント: Hydra カンファレンス プログラムを確認し、放課後に別のカンファレンスに参加することを検討してください。 良い一週間になりそうです。

学校へ行くにはどうすればいいですか？

• 6 年 9 月 2020 日から 11 月 XNUMX 日までの日付をカレンダーに書き留めてください (できれば、放課後にヒドラ カンファレンスに参加できるように XNUMX 月 XNUMX 日にするのも良いでしょう)。
• 気を取り直して、準備をしましょう。
• チケットを選ぶ そして学校に行きます。

出所： habr.com