毎度おなじみ、流浪のPostgreSQL本が２０１２年１１月１６日に出版されます。 今回の書名は「PostgreSQL全機能バイブル」。６年ぶり、バージョン9.2対応。 内部構造は１００ページ、図７０枚。内容的には前著の1024倍以上グレードアップしています。関連情報…

調べものがあってPostgreSQLのwikiをみたのですが、日本語wikiにのみ、不思議な記述があります。http://ja.wikipedia.org/wiki/PostgreSQL 市場シェア 世界的な利用状況を見ると、2004年の時点では商用DBを含めると第6位、 オープンソースDBに限定すると MyS…

いつの間にかCBMCがオープンソースになっていた。 http://www.cprover.org/cbmc/svnでversion4.1のソースをダウンロードできる。 svn co http://www.cprover.org/svn/cbmc/releases/cbmc-4.1 これらを書いたころはver2.4のみソースが公開され、Currentの3.9…

sr_sync02.htmlに、より詳細な動作機構や新規に追加された関数、ツールの紹介がある。 sr_sync03.htmlに、障害対応に関する解説がある。解説資料としては、 http://lets.postgresql.jp/documents/technical/replication/1 が詳しい。 (2012.10.30追記)以下の…

同期レプリケーションでの障害対応について、具体例を使って説明する。 なお、分量が多いのでここでは一部のみ公開。全体はこちら (2012.10.30追記)最新情報は書籍にまとめたので、参照のこと。 マスタ:スレーブ = 1:1の場合 マスタ障害:スレーブが1台の場合…

今さら、同期レプリケーションについて。ここでは機構のみ。新機能など含む全文はこちら (2012.10.30追記)正式な文書は以下の書籍にまとめたので参照のこと。 また、http://www.interdb.jp/techinfo/postgresql/internal-11.html に原稿のサンプルをアップし…