イタリアのPostgreSQL Users Groupからのメッセージ。JPUGのあるメンバー向けメッセージですが、複数のMLにすでに流れているので、勝手に転載。 I want to express our deepest sympathy for the recents events in Japan. We hope that your families and l…

名前しか知らなかったjavaPathFinderを数時間いじってみた。 ダウンロード、セットアップ JavaPathFinderから最新版をダウンロード。解凍すれば問題なく動作する。 できること Javaのバイトコードを読み込んで、デッドロックや競合状態の有無などを検査する…

2005年ころ、PostgreSQL+QueryCacheという実験をやっていたことをふと思い出す。今みてもソースが汚い。ソースよりも「インスパイヤライセンス」を書きたくて作った側面も否定できず。

実際に使われている800行規模のCプログラムに対してCBMCを使ってみる。 ここでは拙作mcbというmemcachedのベンチマークプログラムを俎上にのせる。このプログラムのバージョン1.0rc2はここで指摘されているように、初歩的なミスを含んでいる稚拙なものであっ…