SPIN(Promela)によるpgpool-IIのモデル検証 - interdb’s blog
冬頃、SPINでPostgreSQLのレプリケーションツールのひとつであるpgpool-IIをモデル検証していたのを思い出したので、一部公開する。 replication-strictモードの挙動 手始めにv2.0で廃止されたreplication-strictモードの挙動をspinで調べてみる。 $ cat pgpool-v2.0-strict.pml /* * pgpool-II:replication-strictモードのモデル検証 * * Copyright (C) 2010 suzuki hironobu _@_ interdb.jp */ #define STRICT #define SERIALIZABLE /* * lock */ mtype {LOCKED, UNLOCKED}; mtype master_mutex = UNLOCKED; mtype slave_mut
PostgreSQL on Amazon EC2の可能性
4. 背景 既存のWebサービスをAmazon EC2へ移 行するにあたり、以下の条件をもとに検 証作業を行いました pgpool-IIの運用ノウハウを生かしたい アプリケーション側に接続先DBの自動切り替 え機能がない 6. 構成図(Amazon EC2) PostgreSQLサーバー1号機 Webサーバー1号機 ロードバランサ pgpool-IIサーバー Webサーバー2号機 PostreSQLサーバー2号機 監視サーバー ※注意 各サーバーはAmazon EC2上のUS-WESTリージョンで稼働 pgpool-IIサーバーAMI 各サーバーはグローバルIPとローカルIPの両方が割り当たっています Webサーバー以下の通信はローカルIPを使用して通信します 上記構成はあくまで論理的なものであり、各サーバーがインターネットに接続されています
100% on Amazon Web Services: Soocial.com | Amazon Web Services
AWS News Blog 100% on Amazon Web Services: Soocial.com I’m Simone Brunozzi, technology evangelist for Amazon Web Services in Europe. This period of the year I decided to dedicate some time to better understand how our customers use AWS, therefore I spent some online time with Stefan Fountain and the nice guys at Soocial.com, a “one address book solution to contact management”, and I would like to
PostgreSQLでフェイルオーバーを試してみる - 技術メモ的なモノと気になるモノ
PostgreSQLで主系と待機系の２つのDBをつくる必要が近々あるので、フェイルオーバーの環境をつくってテストしてみた。 テストしたツールは以下の通り CentOS5 PostgreSQL8.3.4 pgpool2 2.1 Ruby-1.8.7 p72 Rails2.1.1 ruby-pg-0.7.9.2008.01.28 テスト環境としては以下を想定。本当はWebサーバーが複数台あるはずだけどここは１台に簡略化しておく（コネクション数周りの確認は後日）。またデータ同期はここでは無視するので図ではSlony-Iがあるけど実際には動かしてない。 主系がダウンしたときは、以下の用に切り替えてくれることを期待してテストしてみる。 各サーバーに割り当てたアドレスは以下の通り。 まずはpgpool側の設定をつくる。pgpoolには幾つかのモードがあるのだけれど（http://pgpool.proj
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
pgpool-IIとSlony-IでCakePHP