明確な蚀語で分散システムの法埋たたはデヌタ凊理を枡す方法

䜜業がコンピュヌタヌテクノロゞヌに関連しおいない堎合は、おそらくコンピュヌタヌたたはクラりドにデヌタがどのように保存されるかに぀いお長い間考えなかったでしょう。 私は、ハヌドドラむブやメモリチップの物理的なメカニズムに぀いおではなく、同時にあなたが考えるよりも耇雑で理解しやすいものに぀いお話しおいる。



たずえば、䞀般的なテキストファむル、銀行口座、マルチプレむダヌゲヌムの䞖界など、倚くの人が読んですぐに線集したいデヌタがある堎合、ドキュメントの内容ず䞀般的な合意に達し、誰も他の人を䞊曞きしないようにする方法仕事 これは分散システムにおけるコンセンサス問題であり、これに察凊するために、叀代ギリシャの矊、独裁者、架空の島々に぀いお話さなければなりたせん。







「他の島は䜕ですか」



この問題を解決するために䜿甚された最も重芁な方法の1぀に関する元の科孊論文は、誰もいないにもかかわらず、叀代ギリシャのパク゜ス島パク゜スの架空の議䌚が郚分的に法埋を通過した方法に぀いおの長い議論の圢で曞かれおいたこずが刀明したした議員のうち、圌がい぀議䌚に出頭するかを確実に蚀うこずは䞍可胜でした。 これは、グルヌプの䞀郚がい぀たでも利甚できない堎合に、ファむルに䜕を曞き蟌むかに぀いお、人々のグルヌプがどのように同意できるかを瀺す優れた隠phorです。 元の蚘事は、これたでに公開された最もおもしろい真面目な科孊蚘事の1぀であり、私が今たで芋た耇雑なアルゎリズムの最良の説明の1぀です。 このメタファヌは、分散システムにおけるコンセンサス問題の䞀郚を説明するのに芋事に機胜し、ファむルシステムに぀いお話すよりもはるかに興味深いので、この蚘事で䜿甚したす。



この比phorが非垞にうたく機胜する理由は、ファむルず法埋の䞡方のケヌスで、倚くの人が倉曎したい、倚くの人が読みたいが、誰もこのプロセスにすべおを費やしたくないデヌタがあるこずですあなたの時間。 ファむルを読むこずがディスクからデヌタを受信できる速床によっお制限されるのず同じように、䞀連の法埋で本を同時に読むこずは、䞀床に本を芋るこずができる人の数によっお制限されたす。 同時録音では、党員が互いの決定を䞊曞きしないこずに同意する必芁がありたすが、それを行うための長い議論はありたせん。 䞖界の誰もが本を亀互に䜿甚するずいう事実に加えお、この問題をどのように解決できたすか



ファむルシステムずデヌタベヌス操䜜に぀いお話す代わりに、珟実ずの偶然の䞀臎がランダムで、居䜏者が法什ず法埋の発行に取り぀かれおいる停゚ヌゲ海の島に移りたしょう。 法埋が必芁なずきに誰でも法埋を読めるようにするだけです。 いく぀かの曲がりくねった物語を蟿る方法がありたす。そしお、私たちが終わる頃には、IT専門家が盎面しおいる圢で、分散コンセンサスの問題に気付くでしょう。 矊を陀きたす。



ちなみに、この物語の原因ずなったものを陀いお、倚くの島があり、その名前は完党に発明されおいたすが、それに぀いおは埌で詳しく説明したす。



ダドカリずメキシコ料理







Pseudemoxos島での最も単玔なケヌスから話を始めたす。 ここには、自分の䜿甚のために法埋ず法什を曞いおいる䞀人の隠者が䜏んでいたす。 最初は、ノヌトブックず鉛筆ずいう非垞にシンプルでわかりやすい方法を䜿甚したした。 法埋を远加したり、法埋を倉曎したり、必芁に応じお法埋を再線成したり、新しいものを奜きな堎所で消去しお曞き留めるこずができたした実際、これが90幎代の終わりたでコンピュヌタヌのディスクが機胜する方法でした。



この方法は、消去するずほ぀れすぎた玙を陀いお、非垞にうたく機胜しおいるように芋えたした。 しかし、ある日、怪しげなブリトヌの箱が陞に投げられたずき、隠者はそのような決定の恐ろしい欠陥を実珟したした。 法埋に倉曎を加える-テキストを消去しお䜕かを曞き始めるず、隠者は私たちが䞁寧に「職堎での緊急事態」ず呌ぶこずを経隓したした。 倚少みすがらしい隠者が自分のコヌドに戻ったずき、圌は自分が曞く぀もりだったこずを忘れただけでなく、本の真ん䞭の空きスペヌスが叀い法埋でも新しい法埋でも満たされおいないこずに気づきたした、そしお急いで曞かれた萜曞きは読むこずができたせん



メタファヌは、コンピュヌタヌたたはプログラムがクラッシュしたずきに䜕が起こるかを説明したす-ディスク䞊のデヌタは絶望的に歪む可胜性がありたす。 隠者のより深刻な倱敗は、曞かれた蚀葉を傷぀けるだけでなく、ペヌゞ党䜓にかなり䞍快で䞀定のマヌクを残す可胜性がある磁気ヘッドのブロックの損傷などのむベントず比范するこずができたす。



これらの問題は、ロギングを䜿甚しお解決されたす。 スキヌムは、人々が䌚蚈垳簿たたは実隓宀芳察日蚘を぀けるように、䜕も消去しないこずです。 珟圚、私たちの隠者は曞類の束を保持しおおり、法埋を倉曎したいずき、圌は日蚘に新しい゚ントリを远加したす。



6月4日10:32-食品安党法に远加無期限に海にいたブリトヌの摂取は犁止されおいたす。



各線集は、挿入、倉曎、削陀のいずれであっおも、ログの最埌にペンで曞き蟌たれたす。 隠者は蚘録を消去するこずはないため、緊急事態から保護されおいたす。 最悪の堎合、䞍完党で砎損したログ゚ントリが存圚するか、単に曞き蟌み詊行の倱敗の痕跡がありたすが、これは単に無芖できたす。 ゞャヌナルには、すべおの倉曎を蚘録するずいう远加の利点がありたす。 法埋が1幎前にどのように芋えるかを芋るために、私たちの隠者は単に雑誌を読んで、その日に止たるこずができたす。



雑誌の明らかな欠陥の1぀は、ノヌトよりも読むのが難しいずいうこずです。 食品安党法の珟圚のバヌゞョンを知るには、雑誌の最初から始め、最埌たで読んで、すべおの倉曎を远跡する必芁がありたす。 雑誌のボリュヌムが時間ずずもに増加するに぀れお、プロセスはたすたす面倒になりたす。



物事を簡玠化するために、隠者は空のディレクトリのスタックを保持したす。 雑誌が倧きくなりすぎるず、䞀連の法埋を䜜成するのに時間がかかりたす。最初から最埌たで雑誌を読み、法埋党䜓を最新の状態に定匏化し、この状態を法埋のコレクションに曞き蟌みたす。 法埋のコヌドの衚玙に、圌は次のように曞いおいたす。「これは[そのような日付]の法埋の状態です。」 法埋をさらに䜿甚するには、法埋のコヌドず法埋の収集日以降に行われた倉曎のゞャヌナルを読むこずだけが必芁です。 この日付よりも叀いログは、セットの前に倉曎履歎が必芁な堎合、たたは単に砎棄する堎合に保存できたす。



私たちの隠者が新しい法埋を開発するのに忙しすぎお、定期的に䞀連の法埋を䜜るこずができない堎合は、店員぀たり、最初ず䞊行しお実行されおいる2番目のコンピュヌタヌプログラムを呌び出すこずができたす。 曞蚘官は、合意された時間たで雑誌を読み、法埋のコヌドを曞き、圌が新しいコレクションを䜿い始めるこずができるように圌が終わったこずを隠者に知らせたす。 圌の仕事を遂行するために筆蚘者に䜕も蚀う必芁はないので、隠者は黙っお圌の仕事を続けるこずができたす。



この方法にはさらに利点がありたす。 私たちの隠者は圌の知恵で広く知られるようになりたしたたずえば、海で提䟛されるメキシコ料理を拒吊するこずに関する圌の教蚓。倚くの人々は圌の法埋を読みたいかもしれたせん。 これらの読者が特定の日付から法埋のコヌドに満足しおいる限り、賢人を邪魔するこずなく、自分でコピヌを䜜成しお自由に読むこずができたす。 法埋の最新版を必芁ずする人だけが盎接圌に連絡するべきです。



パヌ゜ナルコンピュヌタヌでの雑誌の䜿甚は1990幎代埌半に始たり、2000幎代半ばに普及したした。お䜿いのコンピュヌタヌはおそらくゞャヌナリングを䜿甚しおいるでしょう。



フォタス島のカオス







Psevdomoxos島の近くには、Fotasの倧きな島がありたす。 この島は人口があたり倚くありたせんが、すべおの䜏民が生掻を管理するための統合された法埋システムが必芁であるこずに同意するのに十分な人々がいたす。 それにもかかわらず、Fotasicaの居䜏者は和解できない独立性で知られおいたす。圌らは他の居䜏者たたはグルヌプが圌らを支配するこずを蚱可しおいないため、Fotasの居䜏者は法埋を通過させる暩限を有するず刀断したした。 これを行うには、日付、時刻、および名前を蚘茉した玙に法埋を曞き、メッセンゞャヌをフォタス図曞通に送りたす。そこで、曞蚘官は法埋ゞャヌナルに远加したす。



これは、倚くの人が最初にファむルに䜕が含たれるかに぀いおコンセンサスを䜜らずに、単䞀のファむルぞの倉曎を同時に保存しようずするこずを意味したす。



䜕かがうたくいかないかもしれないいく぀かのケヌスを芋るために、我々は島の海岞の1぀に䜏んでいお儀匏の犠牲の玔粋さを非垞に心配しおいるAgniyaで物語を始めたす。 圌女は法埋を玹介したす



6月1日正午-矊の販売に関する法埋32.1.2が次のように修正されたす。死の痛みの䞋では、コヌトが完党に癜ではない矊を販売たたは賌入するこずは犁じられおいたす。 眲名、Agnia。



島の反察偎で、販売が困難な黒矊を䜕匹か持っおいるバゞルは、圌自身の法埋を曞いおいたす。



6月1日正午-矊の販売に関する法埋32.1.2が次のように修正されたす。コヌトの色が原因で、矊の売買を拒吊するこずはできたせん。 眲名、バゞル。



少し埌に、店員は同じタむムスタンプを持぀2぀の新しい法埋を発芋したす。 圌は䜕をすべきですか バゞルがガラテアに黒矊を売るために町にやっお来お、圌女が非癜矊の賌入を拒吊するず、圌らは法兞を読みに行きたす。 法埋のどのバヌゞョンを䜿甚すべきですか そしお、曞蚘官が次の法埋のコヌドを収集しようずするずどうなりたすか 2人が同じファむルの同じ郚分に異なるデヌタを同時に曞き蟌もうずするず、結果はたったく同じになりたす。



よりデリケヌトな問題を説明するために、Agniaが法埋の読み取り/倉曎/曞き蟌み操䜜を実行したいず考えおいるこずを想像しおください。圌女は珟圚の法埋を芋お、倉曎を加えるこずを決定し、それを曞き留めたす。 しかし、圌女がこれをしおいる間、バゞルは法埋に矛盟を持ち蟌みたす。 たずえば、1000にAgniaは法埋を読みたす



セクション32.1.3。 ダギを売る人は、図曞通の䞀般基金に1コむンに盞圓する皎金を支払わなければなりたせん。



圌女は熟考し、1002に次のメッセヌゞを曞き蟌みたす。



6月1日10:02-法32.1.3では、「1コむンに等しい」を「2コむンに等しい」に倉曎する必芁がありたす。 眲名、Agnia。



残念ながら、ダギ皎を嫌うバゞルは10:01に次のように曞いおいたす。



6月1日10:01-法32.1.3が「2月䞭旬-オリヌブの日」に眮き換えられたした。 それであなたは行き​​たす。 眲名、バゞル。



私たちの曞蚘官は、法埋を調和させお敎理しようずしおいたすが、非垞に混乱しおいたす。圌がアグニダからメッセヌゞを受け取ったずき、法埋32.1.3はすでにナショナルオリヌブデヌを蚭定しおいたす。 圌は䜕をすべきですか バゞルが「図曞通の䞀般基金に支払う」を「バゞルに支払う」に眮き換えたず想像しおください。



同じ法埋のコヌドを線集するずきに耇数の著者が競合する堎合、同様の状況が発生したす。 倚くの゜リュヌションがあり、それぞれに長所ず短所がありたす。 これらの゜リュヌションは、2぀の䞻なタむプのモデルに分類できたす。 1぀のタむプは「究極の䞀貫性」たたは「最終的な䞀貫性」で、蚘録を管理するいく぀かのルヌルにより、党員が互いに䌚話するこずなく同時に蚘録できたす。 このモデルにより、しばらくの間、新しい曎新がない堎合に、デヌタレプリカのすべおのコピヌの䞀貫性が確保されたす。 このアプロヌチのコストは、珟時点では誰も法埋の正確な状態を知るこずができず、誰もがそれが最近䜕であるかしか知るこずができないずいうこずです。 別のモデルは「厳栌な䞀貫性」であり、あらゆる皮類の蚘録が可胜であり、誰もが法埋の珟圚の状態を知るこずができたすが、各蚘録に぀いお合意に達するコストがかかりたす。



䞡方のタむプのモデルが圹立ちたす。 時々、暙準が少し時代遅れになる情報がありたす。 たずえば、Fotasの䜏民が幎次フォトアルバムを䜜成するずき。 圌らはお互いに写真を亀換し、最新の写真を持っおいる必芁はないので、より単玔な「最埌の䞀貫性」が良いでしょう。 䞀方、「厳栌な䞀貫性」は、コストにもかかわらず、これらの法埋にずっおより有甚です。 これはコンピュヌタヌにも圓おはたりたす。たずえば、Googleにアップロヌドした画像は「長期的に䞀貫性」でシステムに保存され、衚瀺暩を決定するアクセス制埡リストは厳密な䞀貫性を䜿甚しお保存されたす



フォタス島に戻りたす。



最埌に、すべおが理にかなっおいたす







最初の問題を簡単に解決できたした。同じタむムスタンプを持぀矛盟する法埋で、タむブレヌクルヌルを远加するだけで、マヌクが同じになるこずはありたせん。 たずえば、䜜者の名前をアルファベット順にラベルに远加しお、レヌスの堎合、Agniaからの倉曎が垞にバゞルの前に行われるようにするこずができたす。 たたは、名前が䞀臎する堎合、各居䜏者に䞀意の番号を割り圓おるこずができたす。 タむムスタンプが䞀臎しなくなった埌、混乱はありたせん。 ガラテアが町に入り、バゞルの法則が唯䞀のものです。



このような盞互曞き換えが問題になる堎合は、たず誰が䜕かを曞くこずができるかに぀いお合意するこずで回避できたす。 たずえば、1週間でAgniaは偶数の法埋のみを線集できたすが、Bazilは奇劙で、来週はその逆です。 コンピュヌタヌでは、2人の䜜成者がたったく同じファむルを曞き蟌もうずしないようにファむルスペヌスが分割されるこずがよくありたす。たずえば、新しくアップロヌドされた各写真に䞀意の名前を自動的に割り圓おるこずができたす。



2番目の問題を解決するために、その存圚の可胜性を砎壊したす。修正を犁止するためにゞャヌナル化のルヌルを倉曎し、完党な眮換、远加、たたは削陀のみを蚱可したす。 これは、ゞャヌナルの文蚀がその解釈に぀いお法埋の珟圚の状態に䟝存できないこずを意味したす。 アグニアは法埋で圌女の法埋を曞かなければなりたせん



6月1日10:02-法32.1.3は、「ダギを売る人はすべお、䞊院に2コむンに盞圓する皎金を支払わなければならない」に眮き換えられたす。 アグニア。



圌女の蚘録には埌のタむムスタンプがあったため、圌女の法埋のバヌゞョンはバゞルのバヌゞョンを簡単に砎りたした。



このような法埋を曞くシステムには、スピヌドずシンプルさずいう利点がありたす。誰もが他の人ず盞談するこずなく、い぀でも法埋を曞くこずができたす。 しかし、法埋を䜿甚するこずは驚くほど難しい䜜業になり぀぀ありたす。 ダギの販売に察する珟圚の皎率を知りたい堎合は、図曞通に行き、法埋32.1.3を読むように䟝頌したす。 10:05に到着するず、法埋のコヌドず倉曎のゞャヌナルを読みたす。 法埋では、「ダギを売る人は誰でも䞊院に1コむンに盞圓する皎金を払わなければならない」



おわかりのように、アグニアは10:02に法埋を倉曎したしたが、圌女のメッセンゞャヌはただ到着しおいたせん 状況を少し簡単にするために、メッセンゞャヌはラむブラリに登録できたす。メッセンゞャヌが各居䜏者から到着するず、メッセヌゞを配信した埌、ボヌドにメモを曞き、フォトメッセンゞャヌからのすべおのメッセヌゞがそのようなずきに配信されたこずを瀺したす。 次に、蚪問者は掲瀺板を芋お、Agniaからの最埌のメッセヌゞが午前9時に、Vasilyからの倕方7にあったこずを確認できたす。 少なくずも今読んでいる法埋は、前倜の7時から正確であり、ボヌド䞊に衚瀺される最も早い時間であり、この時間の前に曞かれたすべおの倉曎は到着するはずです。 この時間は「最䜎氎準点」ず呌ばれたす



もちろん、特定の垂民があたり察立しおいない堎合、圌からの曎新はたれであり、誰もが質問をするでしょう。「倉曎はただ図曞通に届いおいないのですか、それずも単にないのですか」曎新があるかどうかに関係なく、ボヌドは関連性を維持したす。



フォタスの䜏民は創造的な人々であるため、メッセンゞャヌのこの絶え間ない流れは、そうでなければ人生を簡玠化できるこずをすぐに認識したした。 図曞通に退屈な旅行をする代わりに、圌らは単に法ず倉曎ゞャヌナルのコヌドの圌ら自身のコピヌを保぀こずができたす。 珟圚、圌らのメッセンゞャヌは毎回、ゞャヌナルのすべおの最新の倉曎ず、ボヌドにあった日付のコピヌを取り戻したす。 圌らはコピヌを曎新し、それらを参照する堎合がありたす。



しかし、フォタスの人口が増加するに぀れお、図曞通に駆け蟌む䜿者の動きが問題になりたした。 雑誌や金庫をコピヌする筆蚘者にずっお、山矊皎の倉曎に関する法埋を単玔に可決する䜜業は、ひどくゆっくりず解決され始めたした。 幞いなこずに、写真コミュニティは自分たちの問題をすでに解決しおいるこずに気付きたした。法埋の独自のコピヌを持っおいるので、䞭倮図曞通はもう必芁ありたせん



代わりに、いく぀かのブランチラむブラリが開かれたした。 メッセンゞャヌは最も近いブランチでアップデヌトを配信および受信できたすが、他のメッセンゞャヌはブランチラむブラリの各ペア間を移動しお、すべおのアップデヌトのコピヌを送信したす。 その結果、「ツリヌのようなマップ」が構築されたした。各ブランチを互いに接続し、各䜏民をブランチで接続する構造です。 曎新はマップに衚瀺されおいるルヌトに沿っおのみ配信されたすが、各垂民たたは支郚は別の垂民たたは図曞通に関連付けられおいるため、最終的に、居䜏者によるすべおの倉曎はFotasのすべおのナヌザヌが利甚できたす。 最終的には誰もが同じゞャヌナルを手にするこずになり 、法埋のコヌドは最終的に合意されるでしょう



このアプロヌチには倚くの利点がありたす。 たずえば、危険な有料道路に沿っお移動する必芁がある堎合は、島の䞭心郚から東郚の山々ぞの唯䞀の道であり、この方法で行く必芁があるのは1人のメッセンゞャヌだけです。 西から東ぞ、たたはその逆に曎新を配信し、道路の反察偎にあるブランチブランチは、島の残りの郚分に情報を配信したす。

この段階では、個々の居䜏者ず図曞通の支郚の間に倧きな違いはもはやないこずに泚意するこずができたす。誰もがコピヌを持ち、適切なルヌトに沿っお䜿者を送り続ける限り、誰もが単にそれを曞くだけで法埋を倉曎できたす独自のゞャヌナルずシステムを介した情報の普及



この方法は非垞に効果的ですが、3぀の倧きな欠点がありたす。



第䞀に、法埋の珟状に぀いお誰も確実に知るこずができたせん。 自分の日蚘に曞いた擬䌌モク゜スの隠者ずは異なり、Fotasの居䜏者は、倉曎を行った埌、将来この法埋を読んだ人がこの倉曎を芋るずいう保蚌はなくなりたした。 遠い将来にこれを読む人だけがこの倉化を芋るでしょう。 これは、「読み取り埌曞き蟌みチェック」なしの䞀貫性の欠劂ず呌ばれたす



第二に、 read-modify-writeを実行するこずはできたせん。 2人の写真居䜏者が同じ法埋を倉曎しようずするず、結果は予枬できたせん。 この問題を回避するために、フォトフェロヌは、自分がこの法埋を倉曎しようずしおいる唯䞀の人物であり、倉曎を行う前に最新バヌゞョンの法埋を読んでいるこずを確認する方法を芋぀ける必芁がありたす。



第䞉に、この方法はネットワヌク障害に察しお脆匱です。居䜏者の䞀人の遠隔地に通じる道路が岩の厩壊によっお遮断されおいるず想像しおください。 圌は倖の䞖界から曎新を受け取るこずはできず、圌の最埌のメッセヌゞ以降、い぀でもすべおの曎新があるず誰も想定できたせん。 たた、それ以来、圌は䜕も送信しおいないず誰も想定できたせん。 残りは、居䜏者が岩に぀いお知らず、圌自身の日蚘に曞き続けお、決しお来ないメッセンゞャヌを埅っおいるこずを瀺唆したす。 したがっお、システム党䜓が停止し、誰も「最䜎氎準点」を抌し進めず、唯䞀の方法が倱われるため、誰も新しい法埋のコヌドを䜜成できたせん。



コンピュヌタの実践では、このような問題は珟実的で深刻です。 1぀のノヌドコンピュヌタヌたたは堎合によっおはデヌタセンタヌがシャットダりンするたびに、゚ンゞニアはすぐに状況を評䟡し、ノヌドを埩元および再接続できるかどうかを刀断する必芁がありたす。 そうでない堎合、他のサヌバヌはセットを圢成できず、それらのログは増え続け、読者に問題を匕き起こしたす。 この堎合、孀立したラむタヌはたすたす非同期になりたす。 問題をすぐに解決できない堎合、分離されたノヌドは完党に切断されるこずがよくありたす;接続したい人をルヌティングするために他の方法が䜿甚されたす-倚くの堎合、倖郚ネットワヌクが非垞に遅くなりたす。 ただし、残りのノヌドは埅機し続けたす。 問題がすぐに解決されないこずが明らかになった堎合、唯䞀の可胜性がありたす倱われたノヌドをネットワヌクから完党に削陀し、他のノヌドにそれらのノヌドがもはや存圚しないふりをしお、それらからの曎新がないこずを䌝えるこず。 ノヌドは開発されたすが、隔離されたノヌドが実行するレコヌドは、他の方法でコピヌされおメむンネットワヌクに転送されない限り、氞久に倱われたす。



Fotasのお客様ず厳栌な䞀貫性



したがっお、䞊で芋たのは、Fotansのように玠早く曞きたいが、䜕かの最新バヌゞョンを読むこずにあたり興味がない、独立した島民にずっおは合理的な解決策です。 しかし、これが単に受け入れられない状況ではどうなりたすか 法埋は実際に良い䟋です-10:00に犯眪を犯した堎合、それに察する法埋が9:00たたは11:00に可決されたかどうかは非垞に重芁です。 珟圚圢の法埋に関する重芁な知識。



Fotasが合法的なビゞネスを展開し始めたずき、問題はさらに倧きくなりたした。 ご芧のずおり、フォタスは倚くのはるかに小さな島に囲たれおいたす。各島には独自の産業があり、したがっお独自の法埋が必芁です。 小さな島であるため、フォタスのような筆蚘者ずメッセンゞャヌのシステムを維持するためのリ゜ヌスがありたせん。 圌らはスクラむブやメッセンゞャヌを蚓緎するこずは決しおできたせんでした。 したがっお、これらの小さな島々は長幎にわたっお最も単玔な解決策を䜿甚し続けたした。各島には擬䌌゚モキ゜スタむルの雑誌を備えた独自の隠者があり、法埋を読んだり修正したい人は誰でも隠者ずのコミュニケヌションのために䞊んでいたす。 この方法は、特に仙人が病気になったり、接波によっお流されたりした堎合、遅くお効果がありたせん。 しかし、Fotasのようなリ゜ヌスを持っおいなかったので、圌らは自分の道を進んだだけでした。



Fotaschanは、機䌚を感じお、圌らの法兞を隣人ぞのサヌビスLaaSずしお提䟛したした。 クラむアントの島々は、法のFotasコヌドの䞀郚ずしお法什を読んだり曞いたりするこずができた各島は誰も曞けない独自の章を受け取った。



最初は、隣人は喜んでいた圌らはもはや隠者ず話すために䞊ぶ必芁はありたせんでした。 フォタスぞの旅行時間を考慮に入れおも、プロセスははるかに高速になりたした。 実際、Fotasaneはネットワヌクの䞀郚ずなったさたざたな島に倧䜿通を䜜成するこずにより、移動時間を短瞮するように働きたした。 たた、はるかに信頌性が高かった。 接波がいく぀かの島を砎壊し、Fotasに深刻な被害を䞎えたずき、各写真居䜏者は法兞党䜓のコピヌを持ち、システムは簡単に埩元されたした。 Fotasは非垞に倚くの島に近いため、島はメッセヌゞを転送するための信頌できる方法ずしおFotasシステムを䜿甚し始めたした。



しかし、先ほどお話しした2぀の問題はより明確になりたした。 たずえば、パラフォむタス島クラむアントの島の1぀では、アンドロスのワむン䌚瀟が泚文を远跡するためにフォタスボヌルトを䜿甚したした。 アンドロスは、地元の政治家の結婚匏のために100アンフォラのワむンの泚文を受け、泚文曞に蚘入したした。 翌日、圌のリモヌトの埓業員の1人が泚文曞をチェックしたしたが、メッセンゞャヌはこの時間たでに蚘​​録を届けるこずができず、嵐のために別の枯でブロックされたした。 埓業員は泚文を知らず、ワむンは結婚匏の日前に準備ができおいたせんでした



シラノス島の状況は良くありたせんでした。 read-modify-writeの問題を解決するために、䞀床に1人しか法埋を倉曎できず、月曜日には偶数番号の法埋を担圓するBavkidaを任呜し、残りはGalenを任呜したした。 火曜日-その逆など。 しかし、ガレンは非垞に短気で、機䌚が珟れ次第、火曜日の真倜䞭に偶数法を正確に倉曎したした。 残念ながら、バブキダは昚倜11時58分に同じ法埋を倉曎し、圌女の倉曎はただガレンに届けられおいたせんでした。 ガレンは法埋を制定し、バりキダの䜜品をうっかり曞き盎した。



近隣の島々のいく぀かは非垞に満足しおいたした。 たずえば、EpifoitasはFotasのリポゞトリを䜿甚しおロヌカルの詩をアヌカむブしたした。詩がアヌカむブされるずすぐに、それは決しお倉わりたせんでしたが、新しい詩は再読されお、加えられたした。圌らにずっお、Fotasシステムは信頌性が高く安䟡でした。しかし、党䜓ずしお、Fotasシステムの欠陥が明らかになった島は十分にありたした。



パク゜ス議䌚







, (Paxos). , . , , , « Paxos». ( )



, , , , . «The Part-Time Parliament» . , , . . , !



, . --, . , , , .



: , , , - . , : , , , - . , , . , , ​​ , .







Paxos : , , , . - , , , , , : «! - !» , , . , - , , . , , , , .



: , , ; --, , , . « », « , , , , , , ».



, . , , . , . , . , .



Paxos : «Read-latest», , «read-recent», . «read-recent» Paxos, . . (, , , , , , , ).



, Paxos - , .



:







, . , , , . , .



, , , . ( , , , ). Paxos , . . , , , . , , , , , , , , .



, . , , , , . , , . - , , , . , , , .



, - , , . - , , . , . - , , .



. , . : « ?» , — , . , , : « ». , . , , .



, , , — , . , , Paxos . Paxos , , ( ).



. ( , ), . , , , , - .



, . — . , . , , , . , , . , . , , . , . « » « ». , , .



— . , , 7:1. !



, , . - , , . . . , , Paxos ( ) . , , , .



. , . , , - , Paxos. , , , , . , , . , , -, , , .



Chubby, .



最埌に





, Yonatan Zunger, Distinguished Engineer on Privacy at Google



, . : , , , , , ?



, :



* ( ), , . , , , .



* ( ), ( ) , , . , , , , . , , , ( ), .



* ( , , «Paxos»). . , , .



* ( ) — , , - - . , , , .



これらのシステムの最倧の利点は、クラむアントの芳点からは、方法ではなく、提䟛する保蚌が異なるこずです。今、私はあなたを去りたす。架空の島に぀いおの面癜い物語のチェヌンをさたよいたしたが、あなたが孊んだのは子䟛向けのコンピュヌタヌサむ゚ンスではありたせん。これは、ITプロフェッショナルが毎日盎面しおいる珟実です。したがっお、あなた自身がITスペシャリストでなく、専門家になるこずを蚈画しおいない堎合でも、珟圚のコンピュヌタヌコンピュヌティングがどのように組織されおいるかをよりよく理解しおいただければ幞いです。



All Articles