C-007
分散ストレージにおけるパリティに基づいたデータ保護方式のデータ一貫性検証方法

◎江原寛人・山本貴大・圷　弘明・揚妻匡邦（日立）

分散ストレージは，サーバ障害や電源障害が発生した場合でもデータを失わないように，データをサーバ間で冗長化し，保護する．データを冗長化するにあたり，障害が起きてもデータ不整合が起きないようにする必要がある．データ保護方式として，複数のサーバに格納したデータ同士で冗長符号を生成し，別サーバに格納するパリティ方式がある．本稿では，分散ストレージにおけるデータ一貫性の要件を定義し，分散ストレージにおいてパリティに基づきデータを冗長化しながら読み書きする処理をモデル言語Promelaを用いてモデル化した．更に，複数サーバで並列に読み書き処理を実行中の状態で障害が起きても要件を満たすことを検証した．