2010-08-15から1日間の記事一覧

SPIN(Promela)によるpgpool-IIのモデル検証

冬頃、SPINでPostgreSQLのレプリケーションツールのひとつであるpgpool-IIをモデル検証していたのを思い出したので、一部公開する。 replication-strictモードの挙動 手始めにv2.0で廃止されたreplication-strictモードの挙動をspinで調べてみる。