hayakawaによる
2009年05月08日 16時28分の掲載
このタイミングで、Linus氏との討論を行ったらおもしろそう部門より。
このタイミングで、Linus氏との討論を行ったらおもしろそう部門より。
pinbou 曰く、
オペレーティング・システム設計の権威であるAndrew S. Tanenbaum教授が、MINIXの新バージョンであるMINIX3の開発を着実に進めているそうだ。
MINIX1と2は教育用途が主な目的だったが、3では組み込み用途のようなリソースが限られた環境での実用途も視野に入れている。最近のInfoQの記事(MINIX 3 Promises to Be More Secure Than Windows or Linux)によれば、European Research Councilから今後5年で250万ユーロ(約3.3億円)の資金を引き出したらしい。教授は、WindowsにしろLinuxにしろ特にデバイスドライバの扱いに関して設計上の問題を抱えており、この点で(例によって)マイクロカーネルのMINIX3のほうがよりセキュアで安定性の高いOSになると主張している。
Tanenbaum教授というと、近年ではアメリカの国政選挙について精度の高い予測を行うElectoral-vote.comの(当初は覆面の)主催者として話題となったが、相変わらず本業のオペレーティング・システム開発にも情熱を燃やし続けているようだ。
モノシリックなものより分散型のほうが有利な例 (スコア:5, 興味深い)
タネンバウム教授の言ってることも分からないでもないんだけどね。
「モノシリックなカーネルはカーネル内部を食い破られたらアウト、危ないんだぜ」っていうことだから。
例えばメールサーバなんかを見てみると分かるけど、昔ながらの単一ソフトウェアで動く
多機能なメールサーバ、sendmailを動かすのってユーザにとってはホント大変だった。
設計のマズさもあるんだろうけど、処理が複雑で、設定もそれに合わせたように複雑で、
ぶっちゃけ常人には理解できない世界。あれをきっちり設定できるってのは、もはや特殊技能だよね。
ところがこれに対し、DJBの作った分散処理のqmailが出現したことで
「機能分割して分散処理する方法も使える、よりセキュアに設計できる」ということが周知の事実となって、
後のpostfixなんかの開発へとつながっていく。現在はこっちの分散型のほうが主流だよね。
メールの処理に関してはこういう具合で結局分散型のほうが有利だったわけだ。
OSをマイクロカーネルで設計することに関してはLinus自身も
将来、128ビットのアドレス 空間が自由に使えるような時代が来ればmicro kernelの方が有利 [ox.ac.uk]と考えていたわけで、
先を見据えてみれば、教授の方向性が間違ってるかというと、そうでもないんだな。
余談になるけど、だいたいMINIXが沈んだのはマイクロカーネルだったからじゃないんだわ。
I/Oまわりが"ある特定の状況におけるマルチスレッディングの欠如" [wikipedia.org]って奴のせいで
遅かったんだよ。MINIXは教育用だからって、オンボロなＰＣでも動かせるようにって配慮しすぎなの。
>Minixを使っている際、単一スレッドのファイルシステムが非常に苦痛だと感じています。（猛烈に遅い）
>フロッピーディスクからファイルを読み込んでいる間も何か行ないたいと思うことがよくあります。
>大きなCプログラムやLispをコンパイルして待っている間、rogueで遊んでいたいのです。
>プログラムをコンパイルしている間にエディタの1つのバッファでファイルを眺めていたいのです。
こういうユーザからの要望があっても教授は無視してた。そりゃ嫌われるわ。
コメントを書く
Re:モノシリックなものより分散型のほうが有利な例 (スコア:2, 参考になる)
物知りじゃなくてモノリシック [wikipedia.org]です
コメントを書く
親コメント
Re:モノシリックなものより分散型のほうが有利な例 (スコア:2)
えええっ、そんなバカな（汗
ご近所のみなさんに "物知りだね" と言われることを目指して勉学に勤しむことは "苦しい" ことであることを "物知りっ苦" と言うかもしれないし、言わないかもしれない。 [wdic.org]
> "モノリシック" [wdic.org]を間違えて憶えた人もこう言う。
あちゃー、素で間違えてました… (今までずっと気付かなかったという、嘘みたいな本当の話)
コメントを書く
親コメント
Re:モノシリックなものより分散型のほうが有利な例 (スコア:3, おもしろおかしい)
ケブンッリジ効果が働いたせいか、素で「モノリシック」と読めてしまってスルーしていたのは私だけではないと思います。
コメントを書く
親コメント
Re:モノシリックなものより分散型のほうが有利な例 (スコア:2, 参考になる)
モノリスから連想すれば間違わずに済みます。
＃太陽の昇る方向をバカボンの歌(の逆)で確認していた
コメントを書く
親コメント
Re:モノシリックなものより分散型のほうが有利な例 (スコア:2, 興味深い)
まあそれでも，メッセージパッシングの部分が律速になっていて大幅な効果は出ていなかったと思う．
マイクロカーネルでメッセージが遅いのは致命的だからねぇ．
# 教育用として配慮し過ぎだったというのは，首の骨が折れるほど頷けるのでID
from もなか
コメントを書く
親コメント
ハゲが作ったOSなんか普及しねーよ(暴言) (スコア:4, おもしろおかしい)
CP/Mのゲイリー・キルドール
http://en.wikipedia.org/wiki/Gary_Kildall [wikipedia.org]
MS-DOSの基となったQDOSのTim Paterson
http://www.1000bit.net/storia/perso/tim_paterson_e.asp [1000bit.net]
…しまった、デヴィッド・カトラーは禿げてた。
http://en.wikipedia.org/wiki/Dave_Cutler [wikipedia.org]
# 駄目じゃん＞俺
リチャード・ラシッドが入ったから持ち直したんだって事にしとこう。
http://www.microsoft.com/presspass/exec/rick/default.aspx [microsoft.com]
コメントを書く
マイクロカーネル原理主義（笑） (スコア:3, 興味深い)
かつて「誰がLinuxを書いたか」の馬鹿騒ぎの件 [rim.or.jp]でもちゃっかりマイクロカーネルの優位性を主張してたけど、久々に名前を見かけたと思ったら相変わらず同じ言説の繰り返しでﾜﾛﾀ。もうRMSと同じで様式美の境地に到達してるな。
コメントを書く
Re:マイクロカーネル原理主義（笑） (スコア:2, 興味深い)
確かにLinuxはOSとしては無難な設計というか、面白みはないのは確か。学生（OSの専門家とは言いにくい）の学習用OSが巨大化したものだしね。
マイクロカーネルは理想的にはいいのかもしれないけど、色々（パフォーマンスとか）で問題が多い。WindowsやMac OS Xもマイクロカーネルと言っても色々カーネルに取り込んでしまっているので原理主義者には面白くないだろう。
コメントを書く
親コメント
それで (スコア:3, おもしろおかしい)
コメントを書く
Re:それで (スコア:3, おもしろおかしい)
Theo様と口喧嘩を始めるのは色んな意味でヤバい [theos.com]と思います。
コメントを書く
親コメント
ＡＳＣＩＩ出版 (スコア:2)
コメントを書く
多分 (スコア:2, 参考になる)
MINIXオペレーティングシステム というタイトルの本でしょ。
あれは、IBM PC/ATおよびその互換機のソースがついてきます。（紙ベースですが）
で、そのソースを元にPC98対応にしたのが、5インチディスクがついてる本では？
ちなみに、今もその本、持ってます＾＾；
コメントを書く
親コメント
Re:忍耐強い方ですね（尊敬） (スコア:2)
「甘いπの思い出」なんて書かれていて、πがタネンバウム教授の家で飼われていたウサギの名前だとか、
翻訳者が知ってる可能性は少ないでしょうけどねぇ。(自分の手元にもASCII訳があります…256倍本も…)
コメントを書く
親コメント
面白そうですね。でも… (スコア:2)
いずれにせよプロジェクトの成功はどれだけプログラマの協力を得られるか、でしょうね。Tanenbaum対Linus論争 [oreilly.co.jp]で評判落としましたからねぇ。
コメントを書く
Re:面白そうですね。でも… (スコア:5, おもしろおかしい)
setup guideを見てみると
packman とのコマンドが。
おお、ゲームが最初から入っているのか、ちょっと遊んでみようと試しました。
packman
リストがずらりと。パッケージマネージャーでした...
ネット経由でダウンロードしてパッケージを取ってこれるので、
慣れれば、普通に使えそう。
コメントを書く
親コメント
その意気や良し (スコア:2, 参考になる)
こういう人がいないと、技術は進みませんから。
品評は、出来上がりを見ましょう。
面白いものを頼みまっせ。
コメントを書く
デジャブ？ (スコア:1)
HURDとかPlan9とかも似たようなことを言っていたような…
コメントを書く
競う相手 (スコア:1)
Secure Than Windows or Linux って言ったって、今時
・Networking with TCP/IP
・Over 650 UNIX programs
・Full multiuser and multiprogramming
とかを特徴に挙げなければならないシステムが、あんだけ普及して実用に供されている Windows や Linux とまともに競るわけない、と思います。
組み込み機器を想定するなら、相手は TRON じゃなかろうか。でも TRON 相手にマルチユーザーとかってどんだけ意味があるのか . . .
組み込み OS も巨大化して行くことを想定してるのかな？
コメントを書く
Re:競う相手 (スコア:4, 興味深い)
TanenbaumのReliable OSに関するページ [cs.vu.nl]の最後にある"What Am I Trying to Prove?"という部分を読むとMINIX 3で彼が何を指向しているのかが分かります。彼は別に既存のOSと競争しようとしているわけではなく、世の中に存在するOSの信頼性が高まることを目標にしているわけです。だからこそ「PCからリセットボタンが無くなることが最終目標だ」と言っているわけです。
コメントを書く
親コメント
Re:競う相手の最たるアレ（-1:フレームのもと） (スコア:2)
NeXTSTEPは？
コメントを書く
親コメント
見方によっては (スコア:1, すばらしい洞察)
コメントを書く
Re:見方によっては (スコア:3, おもしろおかしい)
コメントを書く
親コメント
オペレーティング・システム設計の権威？ (スコア:1, すばらしい洞察)
コメントを書く
バージョン番号の進み方が (スコア:1)
遊んでいたのが確か1.5だったから、10年でメジャー番号が一つ増える勘定だなw
コメントを書く
Re:本当かどうか知りませんが (スコア:4, 参考になる)
NT 3.51以降についてはTanenbaum [cs.vu.nl]自身が
と言っているように、少なくとも彼の定義ではマイクロカーネルとは呼べません。ちなみに、NT 3.1 [cs.vu.nl]については
とあるように、中途半端にマイクロカーネルを目指したが失敗だったと言っています。
コメントを書く
親コメント
いえいえ (スコア:2, おもしろおかしい)
# 違いない。
コメントを書く
親コメント