«前の日記(2006-05-21) 最新 次の日記(2006-05-23)» 編集

Matzにっき

迷惑メール対策なら Dr.WEB
『Dr.WEB メールデーモン』、MTA 用迷惑メール対策製品です!


2006-05-22 [長年日記]

_ 新時代の宗教

えーと、オープンソース時代の宗教について。

いや、宗教が人間の内面を扱うものである以上、 その運営が時代を反映するのはある意味当然なんだけど、 ここまであけすけに「オープンソース」を取り込んでくる宗教があるとは、 新興宗教の世界は奥が深い。

一昔前ならこういうのは日本から出てきそうな気がしてたんだけど、 「オウム」以降は宗教はもっぱら評判悪いからねえ。 「宗教である」というだけで「カルト呼ばわり」されちゃうし。

_ Javaの理論と実践:ノンブロッキング・アルゴリズムの紹介

Java 5.0に追加されたcompare-and-setによってノンブロッキングデータ構造を実現する話。

compare-and-setが標準的に手に入るってのはいいなあ。 これってポータブルには実装できないものの代表格だものなあ。

という話をしていたら、(会社説明会の面接で松江にきていた)おごちゃんに、 ある程度ポータブルなものならあるはずだよ、とか聞かされる。 だが、彼はそれ以上のポインターを持っていなかった。 検索しても引っかかないんだよなあ。

これがあれば、Rubyもスレッドセーフにできるかもしれないのに。

情報希望。

本日のツッコミ(全12件) [ツッコミを入れる]
_ とおりすがり (2006-05-25 17:55)

> 「宗教である」というだけで「カルト呼ばわり」されちゃうし。<br>確かにこれは過剰な反応かもしれない。でも歴史的に見ても、メジャーな宗教だって人殺しはしている訳で。<br>例えばキリスト教は十字軍という名のもとで人殺しをやったんですよね。

_ まつもと (2006-05-25 18:07)

別に「これ」とおっしゃることを想定しての発言ではなかったのですが、おっしゃる通り、たいていの宗教は過去にいろいろなこと(現代なら「狂信的」と呼ばれちゃうだろう出来事)を経験してます。<br>だからといって、「宗教は全部カルト」のような接し方をされるのはいかがなものか、とは思います。

_ まつもと (2006-05-25 18:13)

また、もめるのは嫌なので明言しておくと、以上のカルト論は、私の個人的な経験で以前に「宗教はすべてカルト」と言われたことに対しての発言です。<br>最近、この「にっき」のコメント欄やruby-listで私の宗教を「カルト」と呼ばれたことは残念ですが、本人たちが「宗教とは本質的にカルトである」と思っているのでなければ(そして実際そう思ってはいらっしゃらないようです)、今回の発言の対象ではありません。

_ 名のるほどでは... (2006-05-25 22:29)

"lock free" "wait free" "block free"で検索すると色々出てくるように思いますが、また違ったタイプの情報をお探しでしょうか。

_ 7743 (2006-05-25 22:48)

test-and-set というIBM System360の同じ意味の命令に関して、割込み禁止命令を使わないで実装する方法が、大昔のOSの教科書には載っていたはずです。<br>これがないとスレッドセーフにできないようなRubyの実装を持つOSはあるんでしょうか???

_ まつもと (2006-05-26 07:40)

私が検索した範囲では「compare-and-set」(CAS)をどう使ってlock freeにするかというページしか見つかりませんでした。移植性のあるCASの実装とかどこかにありましたか? > 「名乗るほどでは」さん<br><br>「大昔のOSの教科書」ですか。調べてみます。>7743さん<br>これがないとスレッドセーフにできないわけではありませんが、グローバルロックを使わないですめば、スレッドの効率が高められるかもしれないと期待しています。

_ 革命の日々 (2006-05-26 08:10)

っ glibc のソース<br><br>ごめんなさいごめんなさい<br>ライセンスを考えるとNetBSDのlibcのほうがよいか?

_ AC (2006-05-26 13:08)

カルトの定義を「判断の根本が、事実と倫理ではなく、フィクションや特定人物・組織の言説に基づいている」とすれば、「宗教とは本質的にカルト」でしょう。まつもとさん自身、「あらゆる宗教は程度を越えればカルト的でしょう。」と仰っていて、その点の認識はおありだと思うのですが。もちろん程度問題であり、純粋性・一貫性は保てませんが、社会や事実に迎合して変説を重ねる事で害毒を薄めて、メリットの方を相対的に大きくする事は可能でしょう。<br>その点でオープンソース宗教というのは、「特定人物・組織の言説に基づいている」の部分が大いに緩和される期待は持てますね。

_ 名のるほどでは... (2006-05-26 14:16)

>移植性のあるCASの実装<br>なるほどそういくことでしたか。わたしもCレベルでの実装は知りません。他の同期プリミティブを使用してエミュレーションするのは見たことありますが実用的ではないですね。<br>>割込み禁止命令を使わないで実装する方法が、大昔のOSの教科書には載っていたはずです。 <br>これは私も興味ありますね。ただ大昔とのことなのでSMPは意識していない実装なのではないかと予想しています。シングルプロセッサならはread-modify-writeの途中で割り込みの入らない命令を使って可能と思われます、いずれにしてもマシンのハードや機械語には依存してしまいしそうな気がします。少々調べてみることにいたしましょう。

_ まつもと (2006-05-26 16:02)

ACさんへ。<br>そのようなカルトの定義はあまり聞いたことがないのですが、どこか特定の分野では一般的な定義なのでしょうか。<br>そのような定義を採用した場合、ACさんのおっしゃる「宗教とは本質的にカルト」という論にさほど反論はありませんが(でも、倫理は論理でしょうね)、しかし、一般的でない定義を用いた議論がどれだけ有効かはかなり疑問です。少なくとも私はその定義には同意しませんし。

_ kmori (2006-05-28 09:06)

ハードウェアのロック機構が何もないときに使える方法としては、DekkerやLamportのアルゴリズムがあります。<br>http://en.wikipedia.org/wiki/Dekker's_algorithm<br>http://en.wikipedia.org/wiki/Lamport%27s_bakery_algorithm

_ 通りすがり (2006-06-17 06:13)

役に立つかわかりませんが、<br>http://www.audiomulch.com/~rossb/code/lockfree/<br>http://del.icio.us/tag/lock-free

お名前:
E-mail:
コメント:
[]

«前の日記(2006-05-21) 最新 次の日記(2006-05-23)» 編集

RSS feed meter for http://www.rubyist.net/~matz/ track feed Matzにっき Creative Commons License This work is licensed under a Creative Commons License.