July Tech Festa 2018 で使用したスライドです。二相コミットを例として、分散アルゴリズムの検証にモデル検査を使用する手法について解説しています。また、代表的なモデル検査ツールである SPIN、TLA+、P について、同じシステムを各ツールで記述してみることでその特定の違いについて学びま…
分散システム、本当に「正しく」開発できますか？ #JTF2018 / July Tech Festa 2018
July Tech Festa 2018 で使用したスライドです。二相コミットを例として、分散アルゴリズムの検証にモデル検査を使用する手法について解説しています。また、代表的なモデル検査ツールである SPIN、TLA+、P について、同じシステムを各ツールで記述してみることでその特定の違いについて学びま…
2014 09-23 Mechanism of Gossip protocol
Sep 24, 2014Download as pptx, pdf7 likes3,421 viewsAI-enhanced description The document discusses the gossip protocol, which is a simple, masterless communication protocol inspired by gossip in social networks. It describes how gossip protocols work by having nodes randomly share information with other nodes to propagate data throughout the entire network. They are useful for building reliable dis
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
分散システムについて語らせてくれ
普通の人でもわかる Paxos
Consulはなめらかか？
