Microsoft PowerPoint - yos-sensor-overlay-090508.ppt [互換モード]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の
