ヒドラヘッド19個。 プログラムの概要

会議は11月12日とXNUMX日にサンクトペテルブルクで開催される ハイドラ、並列および分散システムの開発に特化しています。 Hydra のトリックは、クールな科学者 (通常は海外の科学会議でしか見られない) と有名な現役エンジニアを科学と実践が交わる XNUMX つの大きなプログラムに結び付けることです。

Hydra は、ここ数年で最も重要なカンファレンスの XNUMX つです。 それに先立って、非常に真剣な準備、講演者の選択、報告が行われました。 先週はこれについて ハブロのインタビューが出た JUG.ruグループのディレクター、アレクセイ・フェドロフ氏と（23デレボ).

我々 すでに言った 分散システム理論の創始者であるレスリー ランポート、モーリス ハーリヒー、マイケル スコットという XNUMX 人の重要な参加者について話します。 今度はプログラム全体について詳しく説明します。

動機

プログラミングに携わっている場合は、何らかの形でマルチスレッドと分散コンピューティングを扱っていることになります。 関連分野の専門家はそれらと直接協力しますが、暗黙のうちに、分散はあらゆる場所から私たちに注目しています。どのマルチコア コンピューターや分散サービスにも、並列計算を実行するものが存在します。

アプリケーション プログラミングのさまざまな側面をカバーするカンファレンスが多数あります。 その反対側には、膨大な量の複雑な理論を講義形式で明らかにする専門の科学学校があります。 たとえば、サンクトペテルブルクのヒドラと並行して、 SPTDC学校. ヒドラ会議では、私たちは過酷な実践、科学、そしてそれらの交差点ですべてを結集しようとしました。

考えてみてください。私たちは、私たちが研究している科学と工学の分野の創始者に直接会うことができる素晴らしい時代に生きています。 物理学者はニュートンにもアインシュタインにも会わないでしょう - 列車は出発しました。 しかし、私たちの隣には、分散システム理論の基礎を築き、人気のあるプログラミング言語を発明し、これらすべてを初めて実用的なプロトタイプで具体化した人々が今も生きています。 これらの人々は途中で仕事を辞めたわけではなく、現在世界的に有名な大学や企業で差し迫った課題に取り組んでおり、今日の最大の知識と経験の源となっています。

その一方で、彼らに会う機会は通常、純粋に理論的なものにとどまります。ロチェスター大学の公開イベントを常に監視し、その後すぐに米国に行き、マイケル・スコットの講義を受けるために戻ってくることができる人はほとんどいません。 ヒドラのメンバー全員を訪ねると、膨大な時間の無駄を除けば、少額の費用がかかるでしょう (興味深いクエストのように思えますが)。

一方で、現在、分散システムにおける差し迫った問題に取り組んでいるトップエンジニアがたくさんおり、彼らは間違いなく伝えたいことがたくさんあります。 しかし、ここに問題があります - 彼らは 働くそして彼らの時間は貴重です。 はい、あなたが Microsoft、Google、または JetBrains の従業員であれば、社内イベントで有名な講演者の一人に会う可能性は急激に高まりますが、一般的には、いいえ、これが毎日起こるわけではありません。

このようにして、ヒドラ会議は、私たちのほとんどが自分たちだけでは実行できない重要な任務を達成します。それは、あなたのアイデアや交流があなたの人生を変える可能性のある人々を一度に一か所に集めます。 誰もが分散システムや複雑な基本的なものを必要としているわけではないことは認めます。 PHP で CRUD をプログラミングすれば、一生幸せであり続けることができます。 しかし、それを必要としている人には、これがチャンスです。

ハブレでのヒドラ会議の最初の発表からかなり長い時間が経過しました。 この間に多くの作業が行われ、現在ではほぼすべてのレポートのリストが完成しました。 遅いシングルスレッド アルゴリズムはなく、純粋な分散ハードコアだけです。 一般的な言葉で終えて、今私たちが手にしているものを見てみましょう。

基調講演

基調講演はカンファレンスの一日の始まりと終わりです。 通常、開会基調講演の目的は、カンファレンスの全体的な精神と方向性を設定することです。 閉会の基調講演では、これまでとは一線を画し、カンファレンス中に獲得した知識とスキルをどのように活用して生きていくかについて説明します。 始まりと終わり: 最もよく記憶され、一般に重要性が増したもの。

クリフクリック H2O 分散 K/V アルゴリズム

Cliff は Java 界のレジェンドです。 90 年代後半、博士論文として彼は次のタイトルの論文を書きました。 「分析の組み合わせ、最適化の組み合わせ」、これはしばらくして HotSpot JVM Server Compiler の基礎となりました。 XNUMX 年後、彼はすでに Sun Microsystems で JVM に取り組んでおり、JIT には存在する権利があることを全世界に示しました。 Java が最も賢明で最速の最適化を備えた最も高速な最新ランタイムの XNUMX つであることに関するこの全文は、Cliff Click から提供されました。 当初は、静的コンパイラーがアクセスできるものであれば、jit する必要さえないと考えられていました。 Cliff とチームの働きのおかげで、すべての新しい言語はデフォルトで JIT コンパイルの考えに基づいて作成され始めました。 もちろん、これは一人の仕事ではありませんでしたが、クリフはその中で非常に重要な役割を果たしました。

冒頭の基調講演で、クリフは彼のもう一つの取り組みについて語ります。 H20、産業アプリケーション向けの分散型でスケーラブルな機械学習のためのインメモリ プラットフォームです。 より正確には、その内部のキーと値のペアの分散ストレージについてです。 これは、多くの興味深いプロパティを備えた非常に高速なストレージです (正確なリストは次のとおりです)。 説明)、ビッグ データ ストリーミングの数学で同様のソリューションを使用できるようになります。

クリフが与えるもう一つの報告は - Azul ハードウェア トランザクション メモリ エクスペリエンス。 彼の伝記のもう一つの部分 - XNUMX年 アズールで働くそこで彼は、JIT コンパイラー、ランタイム、スレッド モデル、エラー処理、スタック処理、ハードウェア割り込み、クラス読み込みなど、Azul ハードウェアとテクノロジ スタックの多くのことを更新および改善しました。アイデア。

最も興味深い部分は、大企業向けのハードウェア、つまり Java を実行するスーパーコンピュータを作成したときに始まりました。 これはかなり革新的なもので、特別な要件を持つ Java に特化して調整されました。低一時停止ガベージ コレクションのための読み取りメモリ バリア、境界チェックのある配列、仮想呼び出しなどです。最も優れたテクノロジの 1 つは、ハードウェア トランザクション メモリです。 864 コアのいずれかの LXNUMX 全体がトランザクション書き込みに参加できます。これは、Java でロックを操作する場合に特に重要です (実際のメモリの競合がない限り、同期されたブロックは並行して動作できます)。 しかし、その美しいアイデアは厳しい現実によって打ち砕かれました。そしてこの講演で、クリフは、HTM と STM がマルチスレッド コンピューティングの実際のニーズにあまり適していない理由を説明します。

マイケル・スコット - 二重データ構造

マイケル・スコット - ロチェスター大学のコンピューターサイエンス教授、運命が彼とつながった もう34歳、そして自宅のウィスコンシン大学マディソン校ではXNUMX年間学部長を務めました。 彼は、並列および分散プログラミングと言語設計について研究し、学生に教えています。

教科書のおかげで世界中がマイケルを知っています 「プログラミング言語のプラグマティクス」、最新版は比較的最近、2015 年に出版されました。 彼の仕事 「共有メモリマルチプロセッサでのスケーラブルな同期のためのアルゴリズム」 受け取った ディクストラ賞 分散コンピューティングの分野で最も有名なものの XNUMX つとして、 公然と嘘をつく ロチェスター大学のオンライン図書館にあります。 また、彼はまさに Michael-Scott アルゴリズムの作者として知られているかもしれません。 「シンプル、高速、実用的なノンブロッキングおよびブロッキング同時キュー アルゴリズム」.

Java の世界に関しては、これは特殊なケースです。彼は Doug Lea とともに、Java ライブラリが動作するノンブロッキング アルゴリズムと同期キューを開発しました。 これはまさに「二重データ構造」基調講演の内容です。Java SE 6 でのこれらの構造の導入により、パフォーマンスが 10 倍向上しました。 java.util.concurrent.ThreadPoolExecutor。 これらの「二重データ構造」が何であるかについて事前に知りたい場合は、それに関する情報があります。 関連作業.

モーリス・ハーリヒー - ブロックチェーンと分散コンピューティングの未来

モーリス・ハーリヒー - ダイクストラ賞をXNUMX回受賞。 XNUMXつ目は作業用です 「待ち時間なしの同期」 (ブラウン大学)、そして XNUMX つ目は、より最近のものです - 「トランザクション メモリ: ロックフリー データ構造のアーキテクチャ サポート」 (バージニア工科大学)。 ダイクストラ賞は、少なくとも XNUMX 年間にわたって重要性と影響が目に見えて現れている研究を表彰するもので、モーリスは明らかにこの分野で最も有名な専門家の XNUMX 人です。 彼は現在ブラウン大学の教授として働いており、段落に及ぶ業績リストを持っています。

この締めくくりの基調講演では、モーリス氏が分散コンピューティングの古典の観点からブロックチェーン分散システムの理論と実践、そしてそれが多くの関連問題をどのように単純化するかについて話します。 これはカンファレンスのテーマのみを取り上げたレポートです。マイニングの誇大宣伝に関するものではなく、さまざまなタスクに関連して私たちの知識がどのように驚くほど効果的かつ適切に使用できるかについてのものです。

2017 年 XNUMX 月、モーリスさんは SPTDC の学校に通うためにすでにロシアを訪れ、JUG.ru のミートアップに参加しており、その録画は YouTube で見ることができます。

メインプログラム

次に、プログラムに含まれるレポートの概要を説明します。 レポートの一部はここで詳細に説明され、その他はより簡単に説明されます。 長い説明は主に英語のレポートで、科学論文やウィキペディアの用語などへのリンクが必要でした。 完全なリストが利用可能です カンファレンスのウェブサイトで見る。 ウェブサイト上のリストは更新され、追加されます。

レスリー・ランポート - Q＆A

Leslie Lamport は、分散コンピューティングにおける独創的な著作の著者です。 "ラテックス" 「Lamport TeX」の略です。 1979 年にこの概念を最初に導入したのは彼でした。 逐次一貫性、そして彼の記事 「マルチプロセス プログラムを正しく実行するマルチプロセッサ コンピュータの作り方」 ダイクストラ賞を受賞。

これは、プログラムの形式の点で最も珍しい部分であり、レポートですらなく、質疑応答です。 聴衆のかなりの部分が「ランポートの理論」に基づいたあらゆる種類の作品、彼自身の論文やレポートにすでに精通している（または精通する可能性がある）場合、利用可能なすべての時間を直接コミュニケーションに費やすことがより重要です。

アイデアはシンプルです。YouTube で XNUMX つのレポートを視聴します。 「プログラミングは単なるコーディング以上のものでなければならない」 и 「プログラムを書いていない場合は、プログラミング言語を使用しないでください」 少なくとも XNUMX つの質問を用意すると、レスリーが答えます。

すでに公開されている XNUMX つのビデオのうちの XNUMX つ目は、 ハブロ記事になりました。 ビデオを見る時間が XNUMX 時間もない場合は、テキスト形式ですべてをすぐに読むことができます。

注: YouTube には他にもレスリー ランポートのビデオがたくさんあります。 たとえば、素晴らしいものがあります TLA+コース。 このコース全体のオフライン バージョンは、次の場所から入手できます。 著者のホームページそして、モバイルデバイスで簡単に視聴できるように、それを YouTube にアップロードしました。

マルティン・クレップマン - 分散コラボレーションのためのユーザーデバイス間でのデータの同期

Martin Kleppmann は、ケンブリッジ大学の研究者で、CRDT とアルゴリズムの形式的検証に取り組んでいます。 マーティンの本 「データ集約型アプリケーションの設計」は 2017 年に出版され、非常に成功したことが証明され、データ ストレージと処理の分野でベストセラー リストにランクインしました。 マイクロソフト社 CTO のケビン・スコット氏は、 かつて言いました: 「この本はソフトウェア エンジニアにとって必需品です。 これは、開発者がインフラストラクチャとデータ システムをより賢く設計および実装できるよう、理論と実践を組み合わせた貴重なリソースです。」 Kafka の作成者であり、Confluent の CTO である Jay Kreps も同様のことを述べています。

学術研究に移る前、マーティンは産業界で働き、成功を収めた XNUMX つの新興企業を共同設立しました。

• Rapportive は、電子メールから連絡先のソーシャル プロフィールを表示することに特化しており、LinkedIn が 2012 年に買収しました。
• Go Test It は、さまざまなブラウザで Web サイトを自動的にテストするサービスで、RedGate が 2009 年に買収しました。

一般に、Martin は基調講演ほど有名ではありませんが、すでに分散コンピューティングの発展と業界にある程度の貢献を果たしています。

この講演では、マーティンは学術研究に近いトピックについて話します。 Google ドキュメントや同様のドキュメント共同編集機能では、「共同編集」とは複製タスクを指します。各ユーザーは共有ドキュメントの独自のレプリカを持ち、それを変更し、すべての変更がネットワークを介して残りのユーザーに送信されます。参加者。 オフラインでドキュメントを変更すると、他の参加者との関係でドキュメントに一時的な不整合が生じ、再同期には競合処理が必要になります。 まさにそれが彼らの存在目的です 競合のないレプリケートされたデータ型 (CRDT) は実際、かなり新しいものであり、その本質は 2011 年にのみ策定されました。 この講演では、CRDT の世界でそれ以来何が起こったのか、最新の進歩とは何か、ローカルファーストのアプリケーション全般を作成するアプローチとオープンソース ライブラリの使用について説明します。 自動マージ 特に。

来週、ハブレに関するマーティンのロングインタビューを掲載する予定ですが、興味深いものになるでしょう。

ペドロ・ラマルヘテ - 待機なしのデータ構造と待機なしのトランザクション

Pedro は Cisco で働いており、過去 XNUMX 年ほどにわたって、同期メカニズム、ロックフリーおよびウェイトフリーのデータ構造、およびこのトピックに関して想像できるすべてのものを含む並列アルゴリズムを開発してきました。 彼の現在の研究とエンジニアリングの関心は、正確でスケーラブルでフォールトトレラントなアプリケーションを可能にするユニバーサル構造、ソフトウェア トランザクション メモリ、永続メモリ、および同様のテクノロジに焦点を当てています。 彼は狭い範囲で広く知られているブログの著者でもあります 同時実行フリーク.

現在、ほとんどのマルチスレッド アプリケーションは、アクター間のメッセージ キューの使用から、キー/値ストアのインデックス付きデータ構造に至るまで、並列データ構造上で実行されます。 これらは Java JDK で長年にわたって正常に動作しており、徐々に C++ にも追加されています。

並列データ構造を実装する最も簡単な方法は、メソッドがミューテックスによって保護されるシーケンシャル (シングルスレッド) 実装です。 これは、どの XNUMX 月でもアクセスできますが、スケーリングとパフォーマンスに明らかな問題があります。 同時に、ロックフリーおよびウェイトフリーのデータ構造は、エラーへの対処が優れているだけでなく、パフォーマンス プロファイルも優れています。ただし、その開発には深い専門知識と特定のアプリケーションへの適応が必要です。 コードを XNUMX 行間違えるだけで、すべてが壊れてしまいます。

専門家でなくてもこのようなデータ構造を設計および実装できるようにするにはどうすればよいでしょうか? シーケンシャル アルゴリズムは、次のいずれかを使用してスレッド セーフにすることができることが知られています。 ユニバーサルデザイン、またはトランザクションメモリ。 まず、この問題を解決するための障壁を下げることができます。 ただし、どちらのソリューションも通常は非効率的な実装になります。 Pedro は、これらの設計をどのようにして効率化することができたのか、またそれらをアルゴリズムにどのように使用できるのかについて話します。

ハイジ・ハワード - 分散型コンセンサスを解放する

ハイディ・ハワードは、マーティンと同様、ケンブリッジ大学の分散システム研究者です。 彼女の専門分野は、一貫性、耐障害性、パフォーマンス、分散型コンセンサスです。 彼女は、Paxos アルゴリズムを一般化したことで最もよく知られています。 柔軟なパクソス.

それを思い出して パクシ は、レスリー ランポートの研究に基づく、信頼性の低いコンピューターのネットワークにおけるコンセンサスの問題を解決するためのプロトコル ファミリです。 したがって、私たちの講演者の中には、他の講演者が最初に提案した問題に取り組んでいる人もいます。これは素晴らしいことです。

アドレス指定、リーダーの選出、ブロック、または調整について、複数のホスト間で合意を見つける能力は、最新の分散システムにおける基本的な問題です。 Paxos は現在、コンセンサス問題を解決するための主な方法であり、さまざまな実際のニーズに合わせてアルゴリズムを拡張および最適化するために、Paxos を中心とした多くの研究が行われています。

この講演では、Paxos の理論的基礎を再検討し、元の要件を緩和し、アルゴリズムを一般化します。 Paxos は本質的に、膨大な範囲のコンセンサス アプローチの中の XNUMX つの選択肢にすぎず、スペクトル上の他の点も優れた分散システムを構築するのに非常に役立つことがわかります。

アレックス・ペトロフ — 一時的なレプリケーションと安価なクォーラムでストレージ コストを削減

Alex はデータベースとストレージ システムのスペシャリストであり、私たちにとってさらに重要なことに、 カサンドラ。 彼は現在、オライリーと協力して書籍『Database Internals』を執筆中です。

を備えたシステムの場合 最終的な一貫性 (ロシア語で「究極の一貫性」)、ノードがクラッシュしたりネットワークが分裂した後は、一貫性を犠牲にしてリクエストの実行を続けるか、リクエストの実行を拒否して可用性を犠牲にするかというジレンマを解決する必要があります。 このようなシステムでは、クォーラム、ノードのサブセットの重複、および少なくとも XNUMX つのノードに最新の値が含まれていることを保証することが、優れたエッジ ソリューションとなる可能性があります。 障害が発生したり、一部のノードへの接続が失われた場合でも、最新の値で応答しながら生き残ることができます。

ただし、何事にも代償はつきものです。 クォーラム レプリケーション スキームはストレージ コストの増加を意味します。問題が発生したときに使用できる十分なコピーを確保するために、冗長データを複数のノードに一度に保存する必要があります。 すべてのデータをすべてのレプリカに保存する必要はないことがわかりました。 一部のノードにのみデータを保存し、障害処理シナリオに特別なノード (一時レプリカ) を使用すると、ストレージの負荷を軽減できます。

レポートの過程で検討します 証人のレプリカ、で使用されるレプリケーション スキーム スパナ и メガストア、そしてこの概念を Apache Cassandra に実装すると、 一時的なレプリケーションと安価なクォーラム.

ドミトリー・ヴュコフ - ゴルーチンが公開される

Dmitry は Google の開発者で、C/C++ と Go (Address/Memory/ThreadSanitizer) の動的テスト、および Linux カーネル用の同様のツールに取り組んでいます。 スケーラブルな goroutine スケジューラー、ネットワーク ポーラー、並列ガベージ コレクターとして Go に貢献しました。 彼はマルチスレッドの専門家であり、XNUMX 個の新しいノンブロッキング アルゴリズムの作成者であり、 黒帯 インテル。

次に、レポート自体について少し説明します。 Go 言語は、ゴルーチン (ライト スレッド) およびチャネル (FIFO キュー) の形式でマルチスレッドをネイティブ サポートしています。 これらのメカニズムにより、ユーザーは最新のマルチスレッド アプリケーションを非常に簡単かつ楽しく作成できるようになり、まるで魔法のように見えます。 私たちが理解しているように、ここには魔法はありません。 この講演では、Dmitry が Go スケジューラの複雑さを掘り下げ、この「魔法」を実装する秘密を示します。 まず、スケジューラの主要コンポーネントの概要を説明し、それがどのように機能するかを説明します。 次に、駐車/駐車解除戦略やブロック システム コールの処理などの個別の側面を詳しく見ていきます。 最後に、Dmitry がスケジューラーの改善の可能性について少し話します。

ドミトリー・ブガイチェンコ - 確率的スケッチなどによる分散グラフ分析の高速化

ドミトリーは、大学や科学コミュニティとのつながりを失うことなく、ほぼ 9 年間アウトソーシングで働きました。 オドノクラスニキにおけるビッグデータ分析は、彼にとって、理論的トレーニングと科学的基礎を実際の需要の高い製品の開発と組み合わせるユニークな機会となりました。

分散グラフ分析は、これまでも、そして今も難しい作業です。隣接する頂点の接続に関する情報を取得する必要がある場合、多くの場合、データをマシン間で転送する必要があり、これが実行時間の増加とネットワーク インフラストラクチャへの負荷の増加につながります。 この講演では、確率的なデータ構造や、ソーシャル ネットワークにおける友人関係グラフの対称性などの事実を使用して、大幅な処理速度を実現する方法を説明します。 これらすべてを、Apache Spark のコード例で説明します。

デニス・リストツォフ - 一時的なレプリケーションと安価なクォーラムでストレージ コストを削減

デニス - 開発者 コスモスDB、一貫性モデル、コンセンサスアルゴリズム、分散トランザクションをチェックする専門家です。 彼は現在 Microsoft で働いており、その前は Amazon と Yandex で分散システムの開発に携わっていました。

この講演では、過去数年間に発明された分散トランザクション プロトコルについて見ていきます。分散トランザクション プロトコルは、条件付き更新 (比較と設定) をサポートするデータ ストア上でクライアント側に実装できます。 肝心なのは、人生は 2 フェーズ コミットで終わるわけではなく、トランザクションはアプリケーション レベルであらゆるデータベースに追加できますが、異なるプロトコル (XNUMXPC、パーコレーター、RAMP) には異なるトレードオフがあり、私たちには与えられないということです。無料で。

アレクセイ・ジノヴィエフ - すべての ML アルゴリズムが分散天国に到達できるわけではありません

アレクセイ (ザレスワフ) は、他のカンファレンスで長年講演者およびプログラム委員会のメンバーを務めています。 EPAM Systems でトレーナーを務めており、2012 年から Hadoop/Spark やその他のビッグデータに精通しています。

この講演では、Alexey が、Apache Spark ML、Apache Mahout、Apache Flink ML を使用した経験、および Apache Ignite ML を作成した経験に基づいて、分散モードでの実行に古典的な機械学習アルゴリズムを適応させる際の問題について話します。 Alexey は、これらのフレームワークでの分散 ML アルゴリズムの実装についても話します。

最後に、Yandex データベースに関する Yandex からのレポートが XNUMX つあります。

ウラジスラフ・クズネツォフ - Yandex データベース - 耐障害性を確保する方法

Vladislav は、分散プラットフォーム グループの Yandex の開発者です。 Yandex Database は、水平スケーラブルで地理的に分散されたフォールトトレラントな DBMS であり、一貫性を失うことなくディスク、サーバー、ラック、データセンターの障害に耐えることができます。 耐障害性を確保するために、分散型コンセンサスを達成するための独自のアルゴリズムと、レポートで詳しく説明されている多くの技術的ソリューションが使用されています。 このレポートは、DBMS 開発者と DBMS に基づくアプリケーション ソリューションの開発者の両方にとって興味深いものとなるでしょう。

セミョン・チェチェリンダ - YDBの分散トランザクション

Semyon は、Yandex の分散プラットフォーム グループの開発者で、YDB インストールのマルチテナント使用の可能性に取り組んでいます。

Yandex データベースは OLTP クエリ用に設計されており、トランザクション システムの ACID 要件に準拠しています。 このレポートでは、YDB トランザクション システムの基礎となるトランザクション スケジューリング アルゴリズムについて考察します。 どのエンティティがトランザクションに参加するのか、誰がトランザクションにグローバルな順序を割り当てるのか、トランザクションの原子性、信頼性、および厳格なレベルの分離がどのように達成されるかを見てみましょう。 一般的な問題を例として、XNUMX フェーズ コミットと確定的トランザクションを使用したトランザクションの実装を見てみましょう。 それらの違いについて話し合いましょう。

次は何ですか？

カンファレンスのプログラムには引き続き新しいレポートが満載です。 特に、私たちはからの報告を期待しています。 ニキータ・コヴァル (ンドコヴァル) JetBrains および オレグ・アナスタシエフ (マスターマインド）Odnoklassniki社から。 Nikita は Kotlin チームでコルーチンのアルゴリズムに取り組んでおり、Oleg は Odnoklassniki プラットフォームで高負荷システム用のアーキテクチャとソリューションを開発しています。 さらに、条件付きの空き枠があと 1 つあり、プログラム委員会は現在その候補者と協力しています。

ヒドラ会議は11月12日とXNUMX日にサンクトペテルブルクで開催される。 チケットは入手可能です 公式サイトで購入する。 最近何らかの理由でサンクトペテルブルクに行けない場合は、オンラインチケットの入手可能状況にご注意ください。

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

出所： habr.com