Bonanza Feliz 中途半端解析ブログ

全国のファン待望のあのBonanza Felizがついに公開！というわけで私も一ユーザとして早速DLしてみました。余の辞書に完全などという文字はどこにもありませんが、まあざっと目を通してみて気のついたことをつらつら書いてみます。

まずはソースを見る前に浪速ともあれ、ということで自己対戦。1手10秒でFelizがv4.1.3に29-15で勝ち越します。暗算勝率検定器によると有意かそうでないかぎりぎりくらい？でもまあ将棋界においては「７戦して４勝した方が強い」という定理が証明されているので、Felizの方が強くなってる、と判断します。

それでは差分を見てみましょう。bashだと

for xxx in *.[ch] ; do
echo "#### $xxx" >> $OUT
diff $BNZ413DIR/$xxx . >> $OUT
done

みたいなスクリプトを実行して出力を印刷します。ざっと見て変更の多いところは
1. 合議関連
2. genchk, mate3
3. hash
4. history
あたり。このうち1.合議は、クラスタ並列派の私としては興味ないし使わないので丸ごとスルー。2.は、あまりちゃんと見てないんですがどうやらLS3600氏ブログでやってた三手詰とか中合いとかあの辺の話らしい。保木さんも「ボナに入れます」とかコメントしてるし、Felizの謝辞にも入ってるのでたぶんそうなんでしょう。この辺も私が個人的にあまり興味ある部分でないので、自分じゃ読まないけど強くなってることを信じて採用決定です。というわけで3.hashと4.historyを読んでみます。

またまたhash_storeを読みだしますが、…あれ？何か変わってる…v4ではpreferに書くときに旧preferの内容をalwaysにコピーしてたんですが（以前の記事 参照）、Felizではやってないですね。う、う～ん…いいのかな？これだとたとえば同じ深さのデータを何回か書くとき、preferのみ、又はalwaysのみ使うことになり、実質1wayに近い動作になるような気がするんですが。ルートに近い深さでいったんpreferにストアしたらその後ずっと居座り続けるし。うーん私の第一感だとv4方式の方がよさそうに思えるんですが。でもやっぱ、自己対戦したらこっちの方が強かった、なのかな。…なんて言ってるなら自分でやれよ、ということで、hash.cをFeliz版と旧v4ベースbonasse版で自己対戦してみましたが、ほぼ互角ですね。なので今は、若干疑問はあるながらもとりあえずFeliz版hash.cのままにしてます。
hash_probeの方もいろいろ変わってますが、変更のポイントがいまいちわかりませんでした。どうでもいい重箱の隅ですけど、l.357はntrans_exactですよね。

次history。私は去年のGPW行ってませんが、棋理の佐藤さんの論文の方式なんでしょうかね。

- βカット／α更新の回数そのものでなく、使用回数に対する比率をみる
- その比率によって、オーダリングだけでなくリダクションの深さも制御する

ということのようです。GPWの後あちこちのブログ等でこの関連の話があって、私もその辺読んではいましたがいまいち何言ってんのか具体的にわかってなかったんですが、やっとわかった気がします。これは言われてみるとたしかにナイスアイデアですね。さすが論文賞。v4->Felizでボナ単体が強くなった要因の八割方はこれではないかな、と思います。

さて、以上を読んで。とりあえずv4->bonasseの変更とかぶるところはなさそうなので、Felizベースにv4->bonasse相当の変更を適用する、というのをやってみました。けっこう量ありそうなので１、２週間くらいかかるかなー、と最初思ったんですが、diff -cとpatchを駆使したら１日でできてしまいました。5/16-19に流していた felizze980x[16]cがそれです。いちおうFelizより(v4ベース)bonasseより強くなってるのでまあおｋ。

1cは激指とほぼR同じになりました。大会のあたりでは激指が明らかにR的に優位に立ってましたが、今回でほぼ並んだと言ってよさそうです。８コアは私はマシン持ってないし激指も最近出てませんが、８コアどうしでもたぶん追いついてるでしょう。

また、稲庭対策を復活させてまして、１度だけですが当たりました。勝利。ひょっとしてボナンザブラザーズの中で対稲庭初勝利？１度だけではありますが、対稲庭だとほぼワンパターンなので、今後もたぶん勝てるんじゃないかと思います。

その後もう１点高速化ネタを考えついたので入れまして、これが5/21-22バージョン。これも自己対戦で入れる前より強くなってます。これは並列化のときのみ効く変更で、1コア時は影響ありません。この変更でSSEのsfence命令を使ってるため、SSE必須になりました。Pentium IIIより前のCPUでは動かなくなりましたのであしからず。またIntelアーキ以外への移植にも注意が必要です。まあたとえばSPARCならstbar命令みたいな、相当する命令がだいたいありますんでそう困らないはずですが。

話がそれますが、前に会社のSPARCマシンでこっそりボナンザを動かしてみたことあるんですが^^; 動かなかったです。動く動かないの確認だけで、原因調査はしてませんが。今年の対清水さん戦はT2KでOpteronだからいいですが、来年ペタコン使うとかなったらSPARCですよね。いいのかな？ちょっといじれば動くようになるんですかね。

そういうわけで、Felizベース版の現状ソースをここに置きます。ざっと動かしてはみたつもりですが、ちゃんと検証したわけではないので、問題等ありましたらお知らせください。