2009/5/8-9 3rd sensor overlay workshop 考察:構造化オーバレイの一貫性保証考察:構造化オ バレイの 貫性保証 を例~Skip Graph を例に~ 吉 幹吉田 幹 BBR, PIAX Inc. & 阪大 Agenda 事例:Skip Graphにおける一貫性保証 基本アルゴリズム基本アルゴリズム 分散させない排他制御 迂回処理と修復処理迂回処理と修復処理 構造化オーバレイの一貫性保証について考察して みるみる 技術トピック ロック不要の排他制御 Windows Azure 再考(クラウド事例) クリプキ構造を使ったシステム検証 2 事例 Ski G h における 貫性保証事例:Skip Graph における一貫性保証 基本アルゴリズム 分散させない排他制御分散させない排他制御 迂回処理と修復処理 Skip List ノードはkey順に並ぶ レベル0の