[ruby-dev:12627] Re: new API of _id2ref [Re: finalizer problem]

咳といいます。

> 新たに Identifier or ObjectIdentifier or OID と言う組込みクラスを導入し.
> 
>   obj.id -> Identifier
>   Identifier.get_obj/_id2ref -> obj
> 
> にしたらどうでしょう? IdentifierクラスはWeakRefと同様にfinalizerを用いて
> objがGCされたかどうかチェックするようにします. こうするメリット

すごーい。簡単に実装できるものなんですか? 

OIDオブジェクトを誰かが持っていて、オブジェクトがGCされるとすると
そのOIDを持つオブジェクトは生成されることはないということですよね。



一昨日、石塚さんのメールを見た後考えていたのですが、
もしかして同じOIDが生成されることがない、と保証できればよいのでは
ないでしょうか ? ファイナライザは用いないでも済むような気がします。

現obj.id って巧妙に考えられた数値ですよね。それとオブジェクトの
連番(?)を導入して各オブジェクトにそれを持たせます。連番は大きくなる
値でオブジェクトが生成されるたびにインクリメントするようにします。

んでOID は 現obj.id と 連番 のペアとして、id2refでは現obj.idで見に
行くんだけど連番がマッチしないと obj を返さないで RefError にしてしまう。
というものです。

# って素人考えですね。すみません。


> 1. 現行では obj.idがintなので, それがidなのかintなのか区別がつかない. 
> よく, 引数としてidまたはobjectを渡せるように作るのですが, その時気になる
> のが本当にidなのかintなのか区別がつかないことですね.
> 
> 2. 現idがintegerを返すので, かってに足し算引き算して, _id2refできてしま
>    すのですが, それができなくなります.

これってバグなどで偶然足し算引き算してしまうことがあることを防ぐため??


> 3. API上も現行とほとんど変りません(except kind_of?). でも, Symbolの時も
>    同じことがありましたので...
> 
> 4. OID === NIC+time(or cunter)+addr にすれば, ネットワーク上も一意になる.
>    これからは分散処理の時代です.   


安全にするために OIDは Marshal.dump/load 不可能になるのでしょうか ?
外部のプロセスからくるようなOIDは存在できるのでしょうか ?