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

けいじゅ＠日本ラショナルソフトウェアです.

In [ruby-dev :12627 ] the message: "[ruby-dev:12627] Re: new API of _
id2ref [Re: finalizer problem] ", on Mar/22 23:58(JST) Masatoshi SEKI
writes:

>咳といいます。

>> 新たに Identifier or ObjectIdentifier or OID と言う組込みクラスを導入し.
>> 
>>   obj.id -> Identifier
>>   Identifier.get_obj/_id2ref -> obj
>> 
>> にしたらどうでしょう? IdentifierクラスはWeakRefと同様にfinalizerを用いて
>> objがGCされたかどうかチェックするようにします. こうするメリット
>
>すごーい。簡単に実装できるものなんですか? 
>
>OIDオブジェクトを誰かが持っていて、オブジェクトがGCされるとすると
>そのOIDを持つオブジェクトは生成されることはないということですよね。

うーん. あまり簡単ではないんだなと思いました.

NIC+timer(counter)+addrで一意なオブジェクトになると思いましたが... 逆が
必ずしも真ではない. つまり,

  obj.id

が毎回異なっていたら意味がないですよね.... WeakRefにID_MAPってありますが,
そういうものを導入して(keyは今のid), 

    ID_MAP[obj.internal_id]= OID.internal_id

ID_MAPに登録されていたら, そのinternal_idから_id2refしてOIDを取り出すよ
うにすれば良いかな... そうすれば,

  obj <-> OID

は1対1になりますね. OIDがGCされない限り. OIDがGCされたら, そのOIDはどこ
にもないので別のOIDが生成されても問題ないでしょう.

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

>現obj.id って巧妙に考えられた数値ですよね。それとオブジェクトの
>連番(?)を導入して各オブジェクトにそれを持たせます。連番は大きくなる
>値でオブジェクトが生成されるたびにインクリメントするようにします。
>
>んでOID は 現obj.id と 連番 のペアとして、id2refでは現obj.idで見に
>行くんだけど連番がマッチしないと obj を返さないで RefError にしてしまう。
>というものです。
>
># って素人考えですね。すみません。

いや. 正しいと思うんですが, 松本氏はこれ以上objectに余分な値を持たしたく
ないと思います(^^;;;

>> 2. 現idがintegerを返すので, かってに足し算引き算して, _id2refできてしま
>>    すのですが, それができなくなります.
>
>これってバグなどで偶然足し算引き算してしまうことがあることを防ぐため??

いや, 文字列とかBignumを使ってメモリ中に変なオブジェクトとかクラスを作成
して, 不正なコードを実行されるのを防ぐためです. 

>> 4. OID === NIC+time(or cunter)+addr にすれば, ネットワーク上も一意になる.
>>    これからは分散処理の時代です.   

そういえばもうひとつありました.

5. obj.idは再利用される可能性があるがOIDはない.

>安全にするために OIDは Marshal.dump/load 不可能になるのでしょうか ?

うーん. これって, 次の文を気にしているんだと思いますが:

>外部のプロセスからくるようなOIDは存在できるのでしょうか ?

これだけのためならどうにかなるかと思います. 上記の実装で, ID_REV_MAPに登
録されていたらOKにすればよいと思います. つまり, メモリ中にその参照先が存
在するってことですね.

Marshal.dump/loadで説明すると, 両方ともOK. でも, loadしたOIDから
get_objをした段階で, もし参照先が存在しなければエラーが起る.

うーん. ここまで考えると identifierはNIC+conter+addrはまずそうですね...
NIC+PID+time+counter+addr かな... 

とここまできて, 関さんの案を再度考えたのですが.

>現obj.id って巧妙に考えられた数値ですよね。それとオブジェクトの
>連番(?)を導入して各オブジェクトにそれを持たせます。連番は大きくなる
>値でオブジェクトが生成されるたびにインクリメントするようにします。
>
>んでOID は 現obj.id と 連番 のペアとして、id2refでは現obj.idで見に
>行くんだけど連番がマッチしないと obj を返さないで RefError にしてしまう。
>というものです。

これですね. これをちょっと変えて(だいぶですが...)

obj.idした段階でOIDを生成する度に連番(counter)をincする

  OID = NIC+PID+counter+adder

で, objの方にはcounterを持たせる. で, やはりfinalizerは必要ですが,
こうすればID_MAPなどは必要ないかなと...

# 眠いので, 間違っているかも(^^;;;

__
..............................石塚 圭樹＠日本ラショナルソフトウェア...
----------------------------------->> e-mail: [e-mail] <<---