[ruby-list:14035] Re: Thread GC (Re: Re: timer)

In message <[e-mail]>
[e-mail] writes:

> つまり、両者は従属関係である、ということをはっきりさせたいなー
> などと思ったのでふ。
> 手続きに限ればそもそも「失せる」と「止まる」を区別する事自体
> 無意味なんで、一般的にそれらに区別が有る事を忘れちゃってるかなと。

そもそも手続きが「存在する」という概念からして不明だったり (^^; なんて
いうか，「溝があります．これは単に溝です．水がながれて来ました．水がな
がれている状態を『川』といっておきましょう．水が全て流れきってしまいま
した．でも已然として溝はあります．」っていう感じ．

# 溝 == 静的なプログラム構造，水 == スレッド．ただしここでは本来の
# thread of control であり特に ruby の Thread オブジェクトを意味しない．
# このたとえだと関数定義を説明できないんだけど，まあいいや．


Ruby 的な Thread オブジェクトのインスタンスについては間違いなく存在す
る/しない，動いている/止まっているが定義できますが，「失せる時には止
まっていなければならない」と「止まったら失せなければならない」では全然
意味が違いますしね．

どうせ Thread は特殊なオブジェクトなのだから，「オブジェクトは疑似変数
self により自己の参照を保持している」っていうのと「いかなる Thread オ
ブジェクトにも参照されていないオブジェクトは GC の対象になる」っていう
のとをモデルに加えてやると，現在の挙動は矛盾なく説明できる，かな?


> いや、言いたかったのは「オブジェクトは」外部から干渉できるぞ、って
> だけの当たり前のことです。
> オブジェクトの個々のメソッドは(手続きなので)出来ないのは無論です。
> 
> 手続きは「存在するイコール走ってる」ですが…よって存在「中」に
> 外界からいじることが出来ないのですが、
> オブジェクトは当然「存在してるからって走ってるとは限らない」ので
> 走らせる(振る舞い(?)させる)かどうかの選択肢が(外界に？)あります。

そんな事いったら一所懸命「プロセス間通信」とか「並行システムの意味論」
とかを研究している人がかわいそうです．そこまで考えなくても普通のサーバ
は「外界からの要求を受け取って作業を行い返事を返」しますし．


> だって、俺のwwwサイトにも書いたけど、手続き型(笑)サーバプログラムを
> 「設定を変えるために」停止させないとならん、そのためには
> それが「使われていない」休日でないとならん(よって休日出勤(笑))
> ってのも、何か間違えてると思いません？

それは，「サーバの設計が間違えている」のです．とか (^^;

# inetd.conf かきかえて kill -HUP とか．


> こーゆーのも、オブジェクト化しちまえば、その「ある側面」が
> 活きることによって、俺が(笑)楽になるんでねーかなーと。

サーバプログラムは常にオブジェクトとみなす事ができます．メッセージを受
け取って，返事を返す．内部の状態は隠蔽されている．オブジェクト以外の何
者でもない (^^;


> > # 実は上のだと「Object-Based」であって「Object-Oriented」ではない，と
> > # する人もいますが（っていうか既に定説ですが），わたしはその立場を取ら
> > # ないので (^^;
> 
> 型に対して深く考える(笑)のが必須なんでしたっけ？＞Oriented

「早わかりオブジェクト指向」なんていう OOPSLA '88 だかなんだかでの講演
の翻訳あたりでも出ていますが，要するに「継承がないと Object-Orientd と
はいわない」っていう「定義」です．

いかにも「分類する必要があるんで名前を分けた」っていうだけの感じなので，
あんまり気にしない事にしています．だって全然本質的じゃないじゃない....


> アリオッチってなんでしたっけ…どっかで聞いた記憶が…

「剣の騎士」です．

# と，ちょっと外してみる．

-- 
柳川和久 @ 東大阪市 . 大阪府                                 April 24, 1999
「こんな事もあろうかと，少し前に宿屋でパクっておいたのよ!」
「....こ，こんなことって，あのなあ....」