分散システムについて語らせてくれ

↓↓↓↓訂正あります。↓↓↓↓ 2018/07/02に株式会社エフコード社内で行われた勉強会のスライドです。 訂正版(随時更新中): https://docs.google.com/presentation/d/15HOMfAbtdWwO48njcB8IdkN3kVAMu3wsmZo0O3S-f_4/edit?usp=sharing 専門家による資料・専門家向けの資料ではありません。自分自身で学習し、論文・文献等を読解してまとめた内容となります。間違い等あるかもしれませんが、あれば是非コメント頂ければと思います。 【訂正事項】 スライド16: 誤：たった一つのプロセスが故障しただけでも有限時間で合意できない 正：たった一つのプロセスが故障しうるだけでも有限時間で合意できない スライド20: 誤: 重要: あるschedule σ1, σ2 がdisjoint (nodeが被ってない) なら

[tengo1985]

見たことあると思ったら例の人だった。いまだにこの分野の日本語で読める教科書はタネンバウムの分散システムだけなのかな？ Lamportが神で、振り返るとRaftがこの十年の世界を変えた

[circled]

「すみません、素人質問で恐縮なのですが、アクティブユーザの数の方が分散システムの数よりも低いのに、こんなインフラいるんですか？」

[kompiro]

なんでslideshareなんだろうって思ったら2017年のスライドだった

[HHR]

再アップロード？

[wataken44]

いい話

[Ampelix]

2017

[REV]

マルチメディア演算の分散処理は理解できるが、『CPU１が口座から支出して残高ゼロになったとき、CPU２がちょっと前の残高を見て引き出し処理を始めてたらどうすんだ？』とマルチコアCPUの実現すら理解を超えている。

[kagehiens]

何となく難しいっぽいなー、という認識で不必要に近づかないようにしているが、どう難しいのか、を具体的に書いてくれている資料。2017年以降どう変わったのかまた知りたい。

[kota2009]

分散システムの解けない問題は、ノードが動作を止めた場合と、ノードからの応答が遅い場合の区別ができないこと。無限再送＆無限待ちすればシステムパフォーマンスが激悪になる。

[nakanohiromi]

もう少しハードウェアやマイクロアーキテクチャについての知見がついてから読みたい記事

[ttop]

2017年

[yuuten]

FLP不可能性。興味深い。信頼性如何に担保するか

[shodai]

読んだ記憶あるなと思ったらやっぱり古い記事だった。再掲なのかな？

[yabu_kyu]

2017