2006-05-25から1日間の記事一覧

Java : double型とスレッドセーフ

Javaで、double型の演算は、アトミックでないので、volatileを付けましょうという話があるのですが、それって、代入の話なんだ、と、上の件に関連して思った。

Concurrent Clean : CleanJ : ABCマシン : Real型とB-Stack

B-Stack上でReal型を取り扱う際に、スタックのインデックスがずれる現象が起こっていて、悩んでいたのだけれど、原因がわかりました。 CleanのRealはDoubleなのですが、これがB-Stack上では2セル分に相当するんですね。考えてみればあたりまえなのだけど、…

Concurrent Clean : CleanJ : snapshot更新

http://www.geocities.jp/lethevert/softwares/clean/customize.html プリティプリンタの修正、Real型演算、ガード、コマンドラインオプションを追加。 コマンドラインオプションでは、パッケージとインポートの指定ができるように。 ということで、ファイル…