X



マイクロカーネル vs モノリシックカーネル
0101Be名無しさん
垢版 |
NGNG
>>100
あーなるほど。
確かにP4 3G HTでもエンコしながら8倍で焼くとボロボロだね。
0103Be名無しさん
垢版 |
NGNG
>>98
ある。
マウスクリックしてから反応が返るまでの時間を保証できる。

藻前らのつかてるOSだとその時の機嫌で反応が遅かったりするだろが。

やっぱレベル低いじゃ
「名前を知ってる」と「中身を知ってる」は違うづら
0105Be名無しさん
垢版 |
NGNG
> マウスクリックしてから反応が返るまでの時間を保証できる。

全てのRTOSが時間保証できるわけぢゃねーよ。
一部を全部のようにいう嘘つきは、レベルの高低以前の害悪だな。
0106Be名無しさん
垢版 |
NGNG
>>105
保証できないようなのはRTOSとは言わんが何か。

Soft RTOSなら必ずしも保証できん、ならわからんでもないが
分かってんなら最初からそう書くはずだよな?
知ったかクンは幼稚園でやめとけ。
0107Be名無しさん
垢版 |
NGNG
リアルタイム性はデバイスドライバでだけ保証されてればイイヤ
と思てる椰子もいるんでないかな。
(リアルタイムLinuxの大半はそんな実装だし)
0108Be名無しさん
垢版 |
NGNG
> Soft RTOSなら必ずしも保証できん、ならわからんでもないが

Soft RTOS は RTOSではないと?
白馬非馬を使う詭弁野郎は、レベルの高低以前の害悪だな。
0110素人様のお通りだ
垢版 |
NGNG
 マイクロカーネルが遅いというのは聞くけど、BeOSってマイクロカーネルではなかった?
(どっかにそう書いてあった)あれは速かったと思うんだけど。
 それともここの人たちが言う「速い」「遅い」って体感速度は別の話なの?
 教えて偉い人!
0111偉くない人
垢版 |
NGNG
限界速度の話。

GUIやアプリまで含めてしまうと
そいつらの作りが巧いかヘタクソかで
いかようにも体感速度は変わってしまう。
NT/Win2000/XPもマイクロカーネルだが体感どうよ。
(比べるなら同じ機械でね☆)


NT4以降はGDIがカーネル内なので純粋なマイクロカーネルではないのだが(>>84-86)
0112Be名無しさん
垢版 |
NGNG
漏れは音楽製作をPC上でやってるんだが、最低1msの精度を出したかったりする。
そういうのに対応したOS欲しいな。BeOSが有力だったんだがZetaがどうなることやら
0113Be名無しさん
垢版 |
NGNG
>>112 漏れが作ってやるよ

それはそうと、音楽用途だと、1msの安定した出力が必要?
10msじゃダメ? とかそういう意味で。画面出力ならVSYNCで
十分なんだけど、音楽方面は、からきし分からん。
0116Be名無しさん
垢版 |
NGNG
たとえばMIDIのレートは31.25[kbps]。
ノートONとノートOFFを連続して送ると6バイト=48[bit]。
所要時間はざっくり言って1.5[ms]ってとこ。
とはいえn重和音を出すならn倍の時間がかかる。
単に再生機材と割り切るのなら、10msを正確に測って
UARTの送信バッファに叩き込む程度の安定性があれば、
実用上は十分ではないのかと思われ。実際、プロ用機材でも
1msできっちり反応できるデバイスは少ない。
まーこれ以上の性能競争も、アーチストの制作意欲を
掻き立てるためには大事ね。

ちなみに入力デバイスを作るなら、時に100us単位の分解能が必要。
0117Be名無しさん
垢版 |
NGNG
自分の無知を指摘されて「攻撃的」だといい、
「うんざり」だとか「頭の中をクリア」しろなどという暴言まで書き込んでおきながら、
2ちゃん以下の話だと判明したら何も言わずに逃げましたか?
0118113
垢版 |
NGNG
>>116 ふむふむ。10ms単位の安定した処理ができれば音楽再生に
関しては無問題といったわけだ。もっと大変なのかと思ったけど、
意外と大したことなさそうだ。

もっとも、その程度のことが出来ていないことが多いわけだが。

実際には、割り込みの発生からコンテキストスイッチまでの
遅延なんかも一定していなければならないかな?
0121Be名無しさん
垢版 |
NGNG
>> とはいえn重和音を出すならn倍の時間がかかる
ので、高級なMIDIコントローラは複数のMIDI OUTがある。

実際には人間は50msくらいずれないと音がずれていると
認識できんらしいから、DTMやるだけならそんなに時間精度いらんのだが
MIDIを汎用の機器制御回線として使っていると数ms精度は欲しいかもしれん。

10msくらいなら汎用OS(Linux,Win)でもなんとかなるべ。
1msだと作り方による。
1msで「毎回サンプリング」くらいになるとRTOSでないときつい。
0122121
垢版 |
NGNG
当然だけど
RTOSを使えば魔法のように時間精度が精密になる

なんてウマーな話しはあるわけないので甘い夢はモツナヨ
精度を上げやすいような機能はいろいろ備わってはいるが
0123Be名無しさん
垢版 |
NGNG
>>119
K氏の定義は通説より狭い感じがして違和感があるが、一応筋は通っているな
名無しは逝って良し
もなか氏のカキコが自分の味方だと思っているしな
0124Be名無しさん
垢版 |
NGNG
マイクロカーネルの方がいい場合って例えばどんな時?
保守性を考えなければモノリシックの方が良くない?
まぁモノリシックだと、カーネルモードで動くコードが多くなるから
セキュリティに関しては不安はあるけどさ。
0125Be名無しさん
垢版 |
NGNG
名無しの支離滅裂さは凄いな。

昔、B-FreeのMLのログをさらったら、あんなのがいぱーいで
ノイズがひどくてうんざりだった。
0126Be名無しさん
垢版 |
NGNG
age
0127Be名無しさん
垢版 |
NGNG
■■■■■■■■■■■TBS捏造報道疑惑■■■■■■■■■■■
11/2朝、TBSのサンデーモーニングで
石原都知事が『日韓併合を100%正当化するつもりはない』といった発言を
語尾が聞き取りにくく放送し、テロップで
『日韓併合100%正当化するつもりだ!』
と表記しました。

左がサンデーモーニング 右が直後の番組サンデージャポン
http://yucarimint.hp.infoseek.co.jp/ishihara/up055666.jpg

詳細を知りたい方はニュー速+
http://news5.2ch.net/newsplus/
【報道】TBS「サンデーモーニング」が、石原都知事の日韓併合発言を編集捏造?スレへ
0129Be名無しさん
垢版 |
NGNG
「性能の悪いリアルタイムOS」もあれば
「性能のいい非リアルタイムOS」もあるわけで。
その辺がわかってない厨って結構いるよね。
0131丸本
垢版 |
NGNG
厨房板に相応しいレベルの話ししかでていないわけだが
0133Be名無しさん
垢版 |
NGNG
Wikiの必死な議論好きについて…

ttp://www.tron-net.gr.jp/~takada/B-Free.old/mail-archive/mail3/all/threads.html#01394
ttp://www.tron-net.gr.jp/~takada/B-Free.old/mail-archive/mail3/all/maillist.html#01394

このへんの「Re: 周辺核のこれからの開発体制 (Re: B-Free マガジン)」
に流れが似てるな。H Suzuki氏ともう一人ぐらいのOO房が必死になって
オブジェクト指向にすれば開発が進むと主張して作者ともめた。
この後議論大好きOO房とその友達達がコミュニティ内の多数派になり
数ヵ月後にほとんど全てをしてきた作者が嫌気が差してやめる非常事態に
なった。

OO房は善意から必死になってカキコするから阿呆くさい。痴呆老人並に駄目。
無能な人達の駄目さに耐性がある人は悪い先例として目を通すの良いかと。
0134Be名無しさん
垢版 |
NGNG
>>111
LonghornでGDIもカーネルの外側に戻るみたいだね。
0135Be名無しさん
垢版 |
NGNG
>>124
> マイクロカーネルの方がいい場合って例えばどんな時?

保守性を考えるとき。
0136Be名無しさん
垢版 |
NGNG
>>133
名無しはつかえねーことばっか書いてるな。
「〜と思ってました」が多すぎ。
しかも内容がひどい。おまえ以外にそんな誤解しねーよ。
奴はあれで議論だと思っているらしい。マジ阿呆くさい。
K氏ともなか氏に教えてもらっているだけじゃん。

名無しのカキコと奴へのレスを削ると、それだけですっきりしそうだね。
0141Be名無しさん
垢版 |
NGNG
Kタンも追い詰められて必死だね。
自分の間違いを認められないってダメじゃん。
やっぱ、OS議論は遠くで眺めるに限る。
0142Be名無しさん
垢版 |
NGNG
ウソつきと正直者系も定番クイズがわんさかあるよね。
0143142
垢版 |
NGNG
誤爆しますた。スマソ
0144 ◆1haVRB54HY
垢版 |
NGNG
>>141
我が師を冒涜するとは万死に値する。謝罪しる!
0146Be名無しさん
垢版 |
NGNG
>>141
いつものことだ。
もう少し勉強した方がいいと思うんだけどねえ。
俺OSに籠るなら必要ないのかもしれないが。
0147141
垢版 |
NGNG
>>144
お前らには見えないかもしれないけど今、泣いて謝罪してます。

かなり釣れると思ったのだがあんまり釣れなくて残念賞。
0148141
垢版 |
NGNG
>>144
お前らには見えないかもしれないけど今、泣いて謝罪してます。

かなり釣れると思ったのだがあんまり釣れなくて残念賞。
0150Be名無しさん
垢版 |
NGNG
なんだ、K氏はちゃんと間違いを認めているじゃないか。
間違いを指摘できなかった奴(>>141)が偉そうにほざいているのか。
自分じゃ指摘できないもんな、遠くで見ているしかないよな(藁

そういう俺も指摘はできなかったが、
間違いが分かったらすぐに認めるK氏を認められないほど愚かじゃない。
0152Be名無しさん
垢版 |
NGNG
自分の都合のいい時だけ本物言われてもなあ・・・
俺からみたらどっちも同じだろ
0154Be名無しさん
垢版 |
NGNG
結局、図書館でホコリかぶってるような本を読んで、
「これがマイクロカーネルか!!」って感銘を受けても
今流のマイクロカーネルは、それとはだいぶ違うって事?
0155Be名無しさん
垢版 |
NGNG
>>154
まあそうかな。
LC氏の見解が一番まともって結論?こういうのは現在実装してる人の
意見に耳を傾けるのが近道。たとえばFreeBSDやNetBSDのメンテナ
とかね。*BSDがマイクロカーネルなのかは知らんが。
評論家にとっては定義がぐちょぐちょだと自分の金づるがいっぱい
できるメリットがあるので、あまりまともに受けないほうがいいわな。
実装する人とは逆。
0156Be名無しさん
垢版 |
NGNG
マイクロカーネルって要は、カーネルモジュールをユーザプロセスとして
動作させて、ユーザーアプリケーションはマイクロカーネルに対しては
システムコールで、OSサーバーに対しては共有メモリ(つまりMMU)を使ったIPCで
それらと通信するってことなんじゃないのかな。これがMachの実装形態だと
思うんだけど、他の形もあるのかな。どうなんだろ。
Lさんが散々言ってるように、肝心なことは概要じゃなくて実装の細部こそが
問題だってことでしょ。LinusもMachがパフォーマンスを上げるために、
実装があまりに複雑に成り過ぎているって指摘してるけど、Mach的なモデルが
優れていると言うのなら、そういった複雑な実装を全て見ないとダメだってことで。
0157Be名無しさん
垢版 |
NGNG
MachやL4やITRONなんかと、FreeBSDやNetBSDやLinuxやNWSOSや
OSASKは種類が違う。陸上のトラック走と、マラソン/競歩くらいジャンルの
差がある。だから前者をいじった知識が後者の全体構成にそのまます
んなり適用できるわけではない。
この国はそんなこともわからないエンジニアだらけのOS後進国という
自覚を持つように。特にいい年したおっさんは。
0159Be名無しさん
垢版 |
NGNG
むかーしむかし、王子の発言にこんなのが。

>74 名前:王子 投稿日:02/05/29 14:00
>> OSASKはモノリシックでもマイクロでもないとか言ってますが、
>> その辺を ☆王子☆ に語ってもらいましょうか。
>
>OSASKのことは存在を知っている程度でよくわかりません。
>OSASKとは切り離した形でモノリシックカーネル(以下、モノ)と
>マイクロカーネル(以下、マイクロ)について語らせてもらいます。
>これに関してはカーネル空間に含める含めないの議論が
>されてきましたが、これは本質的ではないと思います。
>要は水平アーキテクチャか垂直アーキテクチャかの違いだと思います。
>一般的な汎用OS(WinであれUNIXであれ)は、モノとマイクロの
>中間的な存在です。要はどちら側に寄っているか、ということです。
>
>垂直アーキテクチャ:
>
>【 第4層 :アプリケーション 】
>【 第3層 :サブシステム 】
>【 第2層 :カーネル 】
>【 第1層 :ハードウェア 】
>
>水平アーキテクチャ:
>
>【 第3層 :サブシステム 】【 第4層 :アプリケーション 】・・・・
>-----------------------------------------------------------------
>【 第2層 :カーネル 】
>【 第1層 :ハードウェア 】
>
>なんかうまく表現できたとは思いませんが、マイクロの場合はカーネルより
>上はすべて横並びなわけです。AS/400などは水平アーキテクチャと垂直アーキテクチャを
>意識した設計となっています。「Inside the AS/400」などをごらんください。
0160Be名無しさん
垢版 |
NGNG
>>156
しかし、名無しの意見にも一理あると思うんだよな。
正確に言うと仮想マシンとの区別をどこにつけるかってことだけど、
たとえば「参照の前に特定のテストコードを挟まなければいけない」とかの規約を
作ったアドレス参照がすべて問題ないことを示すバイナリコードを
カーネルモードで動かした場合、
これをモノリシックカーネルとするか仮想マシン上のユーザモードを利用した
マイクロカーネルと見るかに分かれてもいいんじゃないか?
で後者の立場に立ったとき、この程度のものを仮想マシンと見るかどうか考えると・・・
ってことにはならないかな。

まあ話がズレてきてはいるんだが。
0161ITRON名無しさん ◆4WD27e3i1o
垢版 |
NGNG
> マイクロカーネルって要は

Machをもってマイクロカーネルを推察するのもどうかと。
それはさておき、どんな構成だろうと、真っ当に動きゃなんでもOKと思うんだが。
マイクロカーネルとは? とか言い出すからこじれるのであって。
0162Be名無しさん
垢版 |
NGNG
>Machをもってマイクロカーネルを推察するのもどうかと
いや、だからMach的なモデル以外のものがあるなら教えてと書いてあるじゃん。
0165Be名無しさん
垢版 |
NGNG
Machでシステムコールとshmemが混じってるのは性能への妥協だろ。
純粋なマイクロカーネルならモジュール間通信は全部メッセージ。
(実現がINTかshmemかIPCかはいろいろある)
性能は当然犠牲になる。性能だけほしいならモノリシックにしとけ。

Machてそんなに人気あるのか?
0168Be名無しさん
垢版 |
NGNG
>>112
>>121
OS/2ならフツーに1msの精度が出ますが...
0169Be名無しさん
垢版 |
NGNG
>>121

>実際には人間は50msくらいずれないと音がずれていると
>認識できんらしいから、DTMやるだけならそんなに時間精度いらんのだが

1音同士のずれでは気づかないけど、パターン化された音の連なりだと
かなりシビアになるらしい。
0170Be名無しさん
垢版 |
NGNG
machよりl4を題材にした方がいいような気がする。
0172Be名無しさん
垢版 |
NGNG
リック・ラシッドですが、何か?
0173Be名無しさん
垢版 |
NGNG
>>162
Amoeba: タネンバウム
Mach: CMU
Chorus: INRIA
MOS: HUJ
V-system: Stanford
Topaz: DEC/SRC

こんなもんですか?
0175Be名無しさん
垢版 |
NGNG
てかさー、マイクロカーネルって発展途上だからモノリシックカーネルと比べるのがまちがいなような・・・

マイクロカーネルの欠点ってプロセス間通信のオーバーヘッドが大きいのが理由らしいけどさ

ハードウェアMMUみたいに、CPUプロセッサーにハードウェアIPCうわおまえらなおががうがうがy
0176Be名無しさん
垢版 |
NGNG
てかさ、すでに存在しているカーネルを設計が古いだっけ?
そういって否定するのはおかしいと思う。
生まれてきた人間にクローンは駄目だって言うみたい。
差別だと思うんだけど。
0177Be名無しさん
垢版 |
NGNG
255 名前:名無し~3.EXE 投稿日:04/07/29 (木) 20:11 ID:ESu4RNUy
>>252
>初期のOS Xの絶望的な重さは一体何だったんだろう?
単に、最適化不足だと思われる。

>OS Xの方がNT系のWindowsに似ている気がした
歴史的にカーネルが似ているのは必然と言える。
昔はUNIXの様な一枚岩カーネルが主流で、同時処理もマルチタスクによる
ものが一般的だったが、リック・ラシッドという人がマイクロカーネル/
マルチスレッドというものを開発し、Mach(マーク)というカーネルを作った。
MachカーネルはMac OSXのご先祖様に当たるNeXT StepというOSで使われた。

一方、このマイクロカーネル/マルチスレッドに強く影響を受けて開発された
OSがWindows NT3.1になる。 特にNT3.51までのNTはほぼ完璧なマイクロ
カーネルシステムで、Win32APIもマイクロカーネル上で動作する1つのサブ
システムに過ぎなかった。(他にPOSIXサブシステムなどもあった)

その後、純粋なマイクロカーネルではパフォーマンスが出ないことが問題に
なり、Win32サブシステムと画面周りがカーネルに一部統合された。これが
NT4.0。

Appleは Jobsの再来により、旧来のOSを捨て(単なるエミュレータに置き換え)
まったく別の構造を持つDarwinカーネル(MachのOpenな後継版)を持つ
Mac OSXに至ったわけだ。

故に、どちらもマルチプロセス処理よりもマルチスレッド処理に重点が置かれ
マルチスレッドを使用したアプリケーションでパフォーマンスが出るように
設計されている。 OSXとNT(Windows Xp)は異母兄弟のようなもの。
互いに模倣し合って、今がある。

ちなみにMachを開発したリック・ラシッドはMicrosoft Researchにいる。
0178Be名無しさん
垢版 |
05/02/01 23:33:51
マイクロカーネルに関してどうしてもわからない事があるのですが、
どなたか教えて下さい。

マイクロカーネルではシステムサーバによってOSの機能が実現されますよね?
そのとき、どのシステムサーバが何のサービスをしているか、
という問題を解決しなければならないと思うのですが、
そのあたりどうしているのでしょうか?
RPC使っているシステムもあるようですが…。
0181ITRON名無しさん ◆4WD27e3i1o
垢版 |
05/02/02 23:33:02
>>180
要するにサービスルックアップの仕組みはどうなっとんじゃゴルァって
話をしたいんじゃないのかしら? 違うかしら?
0183終了厨房
垢版 |
05/02/03 21:08:38
ネームサーバ

================= 糸冬 =================
0184Be名無しさん
垢版 |
05/02/09 15:14:39
サンクス>>177
そうなんだ、良く分かります多。Machがマイクロカーネルの初実装ですかね?
Mach開発者がm$に居る事までわかりましたが、Machは氏に体?
0185ITRON厨房
垢版 |
05/02/17 16:35:47
>>183

よーするに、

 URI -> IPアドレス



 サービス名 -> ポート番号

は同じような事ってこったな。
0186Be名無しさん
垢版 |
05/02/26 18:19:35
簡単に言うと Linux の方が物知り。
0187Be名無しさん
垢版 |
05/03/19 16:57:06
>僕は遅いプログラムが嫌いで、手元の速いマシンの上に、ノロノロ動いているプログラムがあって、
>コンピュータ全体の性能が落ちているのには耐えられない。
http://www.linux.or.jp/JF/JFdocs/linus-lecture/design.html (>>17のリンク一つ前)
Linusたん(;´Д`)ハァハァ
そりゃマイクロカーネルOut of 眼中なわけだわw
0188Be名無しさん
垢版 |
2005/03/21(月) 09:54:52
カーネルにウィンドウシステムをぶち込む英断が欲しいね
0189Be名無しさん
垢版 |
2005/04/02(土) 17:52:48
>>188
(゚听)イラネ

ところで窓鯖2003はIIS6の一部までカーネルモードで動かす荒技やってる・・・
http://www.atmarkit.co.jp/fwin2k/dnsvrguide/iisperf/iisperf_02.html

今広告キャンペーンでWindowsServer2003+IIS>Linux+Apacheなんてやってるけど
そんなの当然としか思えないw
セキュリティ・ホールのないIIS書ける自信はどこから来るのかと(ry

こんなことするぐらいなら
今となっては立場MS>>>Intel・AMDなんだから(IntelにはAMD64互換EM64Tにしたメリットないし)
「モード遷移軽いCPUに汁( ゚Д゚)ゴルァ!!」言ってくれた方がよっぽど(・∀・)イイ!!
0190Be名無しさん
垢版 |
2005/04/06(水) 13:40:11
近い未来に実用化されるといわれる量子コンピューターに搭載されるOSは、
マイクロカーネルだろうか、それとも、モノリシックカーネルだろうか。

その前に、量子コンピューターに僕らの言う「OS」が走るかどうかも、疑問だけどね(w
0191Be名無しさん
垢版 |
2005/04/11(月) 20:54:41
( >>96>「リアルタイムOSは速い」わけでわないぞ。 )
あらゆるところでアルゴリズムの選択基準が最大時間↓優先(だいたい平均時間↑)だもんねー
0192終了厨房
垢版 |
2005/05/25(水) 18:15:37
UNIX板かLinux板あたりに移動しない? ちゃんと相手するよ。
machスレでもいいし。
0195Be名無しさん
垢版 |
2006/02/28(火) 01:49:32
マンセー
0197Be名無しさん
垢版 |
2006/06/21(水) 02:35:22
リアルタイムとは、要求される最小時間単位と同等もしくはそれ以上の時間分解能があることを意味する。
例えば、1時間に1回だけ動けばよいシステムでは、最小単位時間が1分でも十分なリアルタイム性があるということだ。
0198Be名無しさん
垢版 |
2006/07/21(金) 19:48:28
>>184
俺 "Optimizing PowerPC Code" ってアセンブラの本持ってるんだけど、その著者は
だいぶ前からラシッドと同じ M$ Research にいて、もはや PowerPC とは関係ない研究を
している模様。
こうやって金で有能な人を幽閉して技術が外に出ないようにしているのかなと。

>>189
今更その手の常識的な話はツマンネ
Linux だって kHTTPd ってのがあるじゃん。
それに、NFS サーバとかも、今ってカーネルモードで動いてるんでしょ。
0199Be名無しさん
垢版 |
2006/07/22(土) 14:58:28
今はカーネルモードどころか専用ハードウェアで動かす時代だしなあ
0200Be名無しさん
垢版 |
2006/08/13(日) 08:08:40
>>190
つうか量子コンピュータで動くアルゴリズムを記述できる言語をまず何とかしてくれ。
0202Be名無しさん
垢版 |
2006/12/26(火) 18:13:05

0204Be名無しさん
垢版 |
2007/02/16(金) 22:09:46
Linuxでいうmoduleはマイクロカーネルじゃないんだよね?
Windowsでのdriverはマイクロカーネルに沿ったモデルになってるのかな?
VGA関係のコードとか非常に遅くなるそうなんだけど、よくwkrnなぁ。
0205Be名無しさん
垢版 |
2007/04/06(金) 04:58:02
#!/usr/local/bin/hosh
0206Be名無しさん
垢版 |
2007/04/10(火) 05:41:27
>>204
NTが純粋にマイクロカーネルだったのは3.51までだったと思った。
0207Be名無しさん
垢版 |
2007/08/25(土) 11:52:46
難しいことは良くわからんが、今のところモノシリックのlinuxが最強って事か
0210Be名無しさん
垢版 |
2008/08/15(金) 04:48:33
>>207

×モノシリック
○モノリシック

モノリスのほーであって物知りとは関係ないので注意
0211Be名無しさん
垢版 |
2008/11/11(火) 17:18:33
カーネルの機能をユーザー空間に出す意味がいまだに分からないんだけど
ユーザー空間⇔カーネル空間のコンテキストスイッチのコストが重いから?
でもカーネルと同期処理が必要なときは結局システムコール呼び出すしかないし
そもそもシステムコールのうち非同期で済むものなんて僅かだし
0212Be名無しさん
垢版 |
2008/11/11(火) 17:38:23
>>211
ユーザー空間にするとOSが安定するから。
アプリが死んでも他のアプリに影響が無いのと同じように、
ユーザー空間においておくと、そこで問題があってもカーネルに影響を与えずに
すむようになる。

パフォーマンスの話なら、カーネル空間におくよりかはパフォーマンスが劣るというのは
常識なので、みんな分かってやっている。それ以上に安定性のほうを重視しているということ。
0213Be名無しさん
垢版 |
2008/11/11(火) 18:37:32
安定なんて嘘ばっかりじゃん。サブシステムが死んだらそれで終わり。
デバッグがしやすい?嘘ばっかり。プロセス間通信が絡むアプリはデバッグ大変。
0214Be名無しさん
垢版 |
2008/11/11(火) 22:00:33
>カーネルの機能をユーザー空間に出す意味がいまだに分からないんだけど

カーネルの本当に中核の部分以外を別空間に隔離することで抽象化が容易になり、

・安全性が高まる
・設計が容易になる

そしてその代償として

>ユーザー空間⇔カーネル空間のコンテキストスイッチのコストが重いから?

このデメリットを蒙る。

最近になってようやくマイクロカーネルな商用OSに成功例が出てきた
最大の要因は、コンピュータ自体のプロセッシングパワーの増大。
ぶっちゃけるなら、ようやくマイクロカーネルで冗長化しても
何とか使えるだけの速度が手に入った、というだけの話。

マイクロカーネルの伝道者は、もっと前からソフトウェア的なチューニングで
モノリシックカーネルと遜色ない速度を実現していたとか嘘垂れ流してるけど、
言ってしまえば21世紀になってプロセッサが速くなるまで実用性なんか度外視して
理念に殉じていたのがモノリシックカーネル。

こいつらの多くはアンチMSも兼任していたりするので、
20世紀中に最も成功したマイクロカーネルの商用OSってNTだよね、
とか言うと顔真っ赤にしてモゴモゴ言い出すよw
0215Be名無しさん
垢版 |
2008/11/11(火) 22:03:06
>安定なんて嘘ばっかりじゃん。サブシステムが死んだらそれで終わり。

そのサブシステムは再起動してやれば、システム全体道連れにはならないかもしれないし。
実際メインフレーム系はそんな感じになってるよね。
まあ死んだサブシス叩いてたプロセスは救いようがないけど。

>デバッグがしやすい?嘘ばっかり。プロセス間通信が絡むアプリはデバッグ大変。

GNUのHurdがここまでグダグダな理由ってこれだよね。
理念としては優れているけど、デバッグが困難で追い込み切れない間に
世間ではLinuxが伸してしまって、結局開発リソースの調達に失敗した。
0216Be名無しさん
垢版 |
2008/11/11(火) 22:05:38
>言ってしまえば21世紀になってプロセッサが速くなるまで実用性なんか度外視して
>理念に殉じていたのがモノリシックカーネル。

言ってしまえば21世紀になってプロセッサが速くなるまで実用性なんか度外視して
理念に殉じていたのはマイクロカーネルだって… orz マア文脈デ理解シテモラエルヨネ...
0217Be名無しさん
垢版 |
2008/11/11(火) 22:30:05
メインフレームとかサーバーだとOSが死なないことに意義はあるだろうけど
せいぜい1-2本のアプリが走るだけのクライアントはアプリがコケたらそれまで
2000からXPになってエクセルが倍位死にやすくなってたまらんかったもんな
0218Be名無しさん
垢版 |
2008/11/12(水) 08:30:47
みんなカーネルとか崇高な会話してる中でエクセル(笑死)
0219Be名無しさん
垢版 |
2008/11/12(水) 12:06:37
> こいつらの多くはアンチMSも兼任していたりするので、
> 20世紀中に最も成功したマイクロカーネルの商用OSってNTだよね、
> とか言うと顔真っ赤にしてモゴモゴ言い出すよw

っすげー偏見
ただの常識じゃん
お前がつきあってるのがすげー偏った奴等ばかりなんだろうと
思わざるをえないw
0220Be名無しさん
垢版 |
2008/11/12(水) 17:51:18
開発がしやすいってのもあったはずだけど
>>213もあって結局はわかりやすいモノリシックのほうが
開発者集めやすいから大量投入できるのをLinuxが証明しちゃった
0221Be名無しさん
垢版 |
2008/11/13(木) 17:57:10
モノリシックは金にならん。
全てが一つになっているから
カーネルのライセンスに引きずられる。

技術的というより政治的な面で
最先端の技術を使うのが不可能な状態に陥っている。
0222Be名無しさん
垢版 |
2008/11/13(木) 18:01:15
>>220
> 開発者集めやすいから大量投入できるのをLinuxが証明しちゃった
証明していない。

Linuxは所詮マイナーOSでしかない。

百歩譲ってメジャーだとしても、
メジャーなOSでモノリシックで成功した例がある程度。
0223Be名無しさん
垢版 |
2008/11/13(木) 18:38:10
>>221
FUDお疲れです。

nVIDIA のドライバとかが有名ですが、プロプライエタリなドライバを提供することを
妨げるものはなにもありません。

まぁロードする時に一瞬メッセージが出るけどな。

ディストロに入れてもらえないのは差別だとか泣き言は言わないようにwwwwwwww
0224Be名無しさん
垢版 |
2008/11/14(金) 18:14:53
nVIDIA のドライバを見れば分かるようにモノリシックカーネルでは
不可能なことがあるので、外部からドライバを読み込む
マイクロカーネル構造を採用するしかないのです。

完璧なモノリシックカーネルが作れないという証明ですねw
0225Be名無しさん
垢版 |
2008/11/14(金) 19:57:08
モジュール化とマイクロカーネル構造を混同してるの? 馬鹿なの?
0227Be名無しさん
垢版 |
2008/12/23(火) 05:03:36
モノリシックカーネルでもモジュール化することで
プロプライエタリなドライバをバイナリのまま供給する道もできたけど、
ソースがユーザの手元に届かないバイナリの塊を送りつけられることに
これはこれで危機感を抱く開発者やユーザーも居るわけで…

バイナリで供給されてブラックボックス状態のドライバやファームウェアを
英語圏ではブロブ(blob:塊)と呼んだりするそうな。

0228Be名無しさん
垢版 |
2009/01/12(月) 16:50:54
でも不思議だな。
linuxなどでは、GUIサブシステムはユーザー空間のさらにユーザーのプロセスで動くのに対し、
windowsでは少なくともユーザープロセスじゃないよね?新しいのは知らないけど、カーネルスペースで動いていたはず。
この辺の混沌を考えると、一概にカーネルの種類って語れないんだな/。

もっと完全性の高い原理主義的なもので比較してみたいなー。
0229Be名無しさん
垢版 |
2009/01/13(火) 13:24:16
>>228
昔と違うからねー状況が。比較自体無意味っつーか。
対立自体ナンセンスっつーか。
0230Be名無しさん
垢版 |
2009/01/13(火) 13:58:59
マイクロよりモノシリックの方が安定する
WindowsとLinuxを見れば明らか
0232Be名無しさん
垢版 |
2009/01/13(火) 17:23:26
モノシリックだとマルチコアで効率悪い気がする。
0233Be名無しさん
垢版 |
2009/01/13(火) 18:32:57
別に1枚カーネルでも内部のスレッドはあるんだし…
具体的にはどの辺が?
0234Be名無しさん
垢版 |
2009/01/14(水) 03:01:26
いやだからおまいら、この考察自体時代遅れなんだってば・・・
0235Be名無しさん
垢版 |
2009/01/14(水) 06:24:30
>>197
つ [時報]
0236Be名無しさん
垢版 |
2009/01/14(水) 16:24:28
マイクロカーネルとか念仏唱えてればご飯食えた時代があったんだね・・・
0237Be名無しさん
垢版 |
2009/01/14(水) 21:17:16
>windowsでは少なくともユーザープロセスじゃないよね?新しいのは知らないけど、カーネルスペースで動いていたはず。

NT系でグラフィックサブシステムをシステム空間で動作させていたのは、
NT4.0、2000、XPだけだよ。

NT自体は本来的な意味でれっきとしたマイクロカーネルだし、
実際のところこれまでに商用OSとして最も成功したマイクロカーネルOSだろう。

こんなイビツなものはもはやマイクロカーネルの体をなしていない、
目先のパフォーマンスのためにマイクロカーネルの理念を曲げたものは
もはやマイクロカーネルを名乗るべきではない、みたいな事をほざく
原理主義者にクソミソに貶されたりもした訳だけど、
そいつらは不思議なことにパフォーマンスを確保するためにネットワークスタックや
ファイルシステムやサーバをカーネルモードで動作させるUNIX系の実装には
なぜか全く反応しない、というダブルスタンダードを決め込んでいたりしたから面白い。
0238Be名無しさん
垢版 |
2009/01/15(木) 13:31:23
>>237
そんな原理主義者、おまえの近所にたまたまいただけじゃねw
0239Be名無しさん
垢版 |
2009/01/15(木) 15:52:45
原理主義者はUNIXは屑だって言いつづけてたよ
0240Be名無しさん
垢版 |
2009/01/19(月) 20:37:32
無料でも普及しないOSってある意味失敗だよね。
0241Be名無しさん
垢版 |
2009/01/19(月) 20:49:19
達成目標の定義もなしに「失敗」とか決めつける奴って笑える
0242Be名無しさん
垢版 |
2009/01/19(月) 20:55:24
特定のOSを名指ししたわけでもないのに別に怒らなくても。
0243Be名無しさん
垢版 |
2009/01/20(火) 06:49:38
でもAtomとかの省電力CPUが出てきてWindowsがシリコンディスクで普通に動くようになると
BeOSとかネットサーフィン用のお手軽端末目的のOSは
ほんとにもー失敗に終わったと言わざるを得ない。
0247Be名無しさん
垢版 |
2009/06/28(日) 20:57:01
モノリシックの方が良い。

なんたって物識りックカーネルって位だから、頭よさそうだし。単結晶シリコンっぽい。
(モノじゃなくでシングルって突っ込みはナシね)
0248Be名無しさん
垢版 |
2009/08/04(火) 07:24:49
結局今はハイブリッド式?
カーネルプロセス内にモジュールの代わりにスレッドがあるかんじ。
0249Be名無しさん
垢版 |
2009/08/08(土) 10:31:46
先祖孵りしてるよね。カーネル設計者はブレてる
0250Be名無しさん
垢版 |
2009/08/08(土) 13:50:49
>>248
Dragonfly BSDはもっと評価されてもいいと思う。

あとQNXも
0251Be名無しさん
垢版 |
2009/08/08(土) 14:29:21
Dragonfly BSDを指して「(たぶん理想的なBSD on )Machだ」と言った人がいるとかいないとか
0254Be名無しさん
垢版 |
2009/11/25(水) 09:11:57
CISCとRISCが融合して外部CISC内部RISCになったように
モノリシックカーネルとマイクロカーネルも融合して外部モノリシック内部マイクロなハイブリッドカーネル化したのかな?
カーネルは1プロセスだけどカーネル内スレッドがいっぱい走ってるみたいな
0257Be名無しさん
垢版 |
2009/12/29(火) 01:28:49
沢山のPEを持った並列計算機や、マルチコア、メニ−コアのマシン、
ネットワークに分散した計算機などを透明に制御するOS、
アーキテクチャーの異なるマシンをネットで繋ぎ合わせたシステムなどは、
多分モノリシックカーネルではダメ(上手く扱えない)だろう。
0260Be名無しさん
垢版 |
2010/01/12(火) 07:16:07
今は1つのカーネルがマルチコアを制御してるけど
小型のカーネルが個々のコア毎に実行されるような実装ってありえないかな?
4コア位ならいいけど100コアとかになったらキャッシュ問題等で一括スケジューリングは難しいと思うし
むしろ100個の小さいカーネルを走らせたほうがよかったりとか・・・
0261Be名無しさん
垢版 |
2010/01/21(木) 18:58:52
物知り
0263Be名無しさん
垢版 |
2010/01/22(金) 22:28:13
CPUがマルチコアになるとカーネルってどうなるっていくんですか?
0264Be名無しさん
垢版 |
2010/01/22(金) 22:28:59
↑ すいません。どうなっていくんですか?です。
0265Be名無しさん
垢版 |
2010/01/23(土) 07:58:33
モノリシックカーネルの場合、ジャイアントロック(あるスレッドがカーネルの
一部を実行中だと、他のスレッドは止められる)をなくして、並列性を高める
ことが求められる。
マイクロカーネルは、最初からそういう風に設計しやすい、というのが
うたい文句のひとつ。
0266Be名無しさん
垢版 |
2010/01/24(日) 01:38:28
マイクロカーネルはカーネルをジャイアントロックしても
カーネル機能自体が小さい(モノリシックOSでも排他制御が必要な要素)で
ファイルシステム等の大きな機能はアプリと同じレベルで並列動作するから問題が少ないけど
モノリシックだとカーネルを再入可能にして必要部分だけロックとかしないとロック時間が長くなるだっけ?

でもその辺りはモノリシックでも結構こなれてきていて
むしろCPUキャッシュとかを意識して複数コアにどうやってスケジューリングするかとかが重要になってるっぽいよね、最近は。

個人的にはそれ以前の所(CPU間の同期周りや割り込み処理等)がよくわからんけど、
今はマルチコアが当たり前だから「使える」OSを作るためのハードルがめちゃ高くなったよね。
0267Be名無しさん
垢版 |
2010/02/04(木) 03:28:39
昔と違って、今はお互いのいいところを双方が取り入れているから、
宗教的に争う意味もなくなってきているんだよねえ。
0268Be名無しさん
垢版 |
2010/02/07(日) 07:13:23
LinuxやFreeBSDってファイルシステム等の機能がカーネル内部スレッド化されてたっけ?
マイクロカーネルのマの字も無い気がするのだけど
WindowsとMacOSはマイクロカーネルベースのハイブリッドだよね確か
0269Be名無しさん
垢版 |
2010/02/07(日) 14:23:32
Macは完全なマイクロ
いつの時代も最先端
Windoseがマイクロだったのは最初だけで今はモノシリ
いつもMacをパクって失敗ばかり(W
0274Be名無しさん
垢版 |
2010/02/20(土) 23:00:36
Mach3とMINIX3…とちらが正統マイクロカーネルの王者だろう?
モノリシックUNIXの正統王者はNetBSDです、これはゆずれません。
0275Be名無しさん
垢版 |
2010/04/11(日) 07:26:21
俺もOSを開発したい。
まずは、8ビットマシン(OSというより、DOSになるが)から始めるか……。
0280Be名無しさん
垢版 |
2010/04/17(土) 08:36:40
7年間で300レスか・・・定番ネタだったけど思いのほか白熱しなかったんだな・・・
0281Be名無しさん
垢版 |
2010/04/17(土) 11:56:51
安いもの使ってサービス提供するっていうのが最近の風潮だもんな
中身なんてどうでもいいっていうか
それで高品質なものが手に入るし
googleのデータセンタとか見ても
0282Be名無しさん
垢版 |
2010/04/20(火) 17:33:14
分散システムの個々のPCがプロセスでそれらを統括するPCがカーネルとは言えないだろうか
0283Be名無しさん
垢版 |
2010/05/03(月) 07:26:08
>>197
この手の馬鹿ソフト屋は精度と確度の違いを全く理解していないから
歯抜けの出力だしても平然としてるんだよな。
0284Be名無しさん
垢版 |
2010/05/05(水) 17:34:56
1時間に1回動けば精度はどうでもいいって話だと、
例えば59分59秒に動作してログを記録した後1時間00分01秒にもう一度動いて、
さらに次は119分59秒先…なんていうデタラメな動作でもokってことなのか

1時間おきに1回、誤差10ナノ秒以下で動作、みたいな場合の制御はどーすんだw
0285Be名無しさん
垢版 |
2010/05/15(土) 07:06:18
俺RTOS系の人は固定プライオリティの割り込み可能スケジューラーを作ればRTOSって勘違いしてるよね
0288Be名無しさん
垢版 |
2010/06/11(金) 07:51:21
なんかこう、タネンバウムもマイクロカーネルも批判されがちだけど、amiga系(aros.morphosとか)を見る限り実装によりけりなんじゃないかと思うのだが。
0289Be名無しさん
垢版 |
2010/06/11(金) 09:58:58
AmigaOSってマイクロカーネル系なの?
ちなみにマイクロカーネル考にはこんなのも有ってなるほどなと思ってたりする
ttp://d.hatena.ne.jp/oraccha/20100601/1275366559
0290Be名無しさん
垢版 |
2010/06/11(金) 17:58:32
うん。ただ、マイクロカーネルのくせに、x86向けに作ってないところが残念で仕方ない(arosを除く)。
あと、超漢字も軽いことで有名だよね。だから、実装次第なんじゃないかなと思うわけで。
マイクロカーネルはCPUの性能が上がってようやく使えるものになったみたいな意見もあるけど(それが事実かどうかはともかく)、ハードに合ったソフトを使うのは、悪いことじゃないよね。と思うのは僕だけですか。
0291Be名無しさん
垢版 |
2010/06/11(金) 20:47:44
超漢字は軽いんじゃなくて何も機能がないだけ
0292Be名無しさん
垢版 |
2010/06/11(金) 20:50:11
今の定義だと

・マイクロカーネル → プロセス毎にアドレス空間が分離して保護される

だけど本質的に「基本機能+大きなサービス」と捉えれば保護は不要なわけで
B-TRONやAmigaOSは保護にかかる大きなオーバーヘッドと無縁だったんじゃなかろうか?

メッセージやコンテクストスイッチによるオーバーヘッドばかり注目されてるけど
実はその陰で動く仮想アドレス関連もバカにならないとか・・・
0294Be名無しさん
垢版 |
2010/06/12(土) 08:49:43
リーナスとタネンバウムのも「マイクロvsモノリシック」じゃなくて「linux vs minix」みたいだし(2006年のは、まだ読んでないけど)
リーナスもマイクロじゃなくてmachの批判をしてる感じだから
なんだかんだでまともな議論はされてないんじゃないかと思う処はある
0295Be名無しさん
垢版 |
2010/06/12(土) 09:25:27
超漢字(B-right/V)はソース公開されてないから、中身がメッセージパッシングで作られてるかどうか
正直わからん。
外殻はメモリ共有して直接データをやりとりしちゃってそうな気がするんだが。
0296Be名無しさん
垢版 |
2010/06/12(土) 09:57:47
共有メモリーもIPCの一つの手法だし
「保護」さえ無視すればメモリ上にメッセージを編集してポインタを渡すのが一番速い?
ITRONは最近までメモリー保護は無かったはずだからBTRONもそんな感じじゃないかな?
MINIX1だってMMU無しの8086で動作する「マイクロカーネル(ちとアレだが)」だしね
0297Be名無しさん
垢版 |
2010/06/12(土) 10:51:43
メールボックスはポインタ渡しだけど...そういうインタフェースもなしでやっちゃってないかなとw
0298Be名無しさん
垢版 |
2010/06/12(土) 13:01:30
有名にしたのはMachとMINIXだけど
AmigaOSとかOS/9とか結構昔から実用化されてたんだね>マイクロカーネル
0299Be名無しさん
垢版 |
2010/06/12(土) 22:02:22
よく判らないんだが、GNU Hurdてのは、Mach+BSDのマイクロなんだろ。
ということは、ハイブリッドじゃないdarwinとほとんど同じなわけだ。
だったらGNUはdarwinをマイクロにして公開しちゃえば良いと思うんだが駄目なのか?
0300Be名無しさん
垢版 |
2010/06/12(土) 23:20:31
HurdがBSDというのは初耳なんだが。
ていうかGNUプロジェクトがGPLでないものは取り込まんだろ。
0301Be名無しさん
垢版 |
2010/06/12(土) 23:26:24
俺は大きな勘違いをしていたようだ。すまない。
0302Be名無しさん
垢版 |
2010/06/13(日) 15:12:15
一時期はフリーUNIXの大本命だったのにね>Hurd
蛇足だけどUNIXとしてはNetBSD
マイクロカーネルとしてはMINIX3が好き
他にはInfernoとかELATEとかQNXとか…主流になれない俺…orz
0304Be名無しさん
垢版 |
2010/06/13(日) 23:31:17
morphosのカーネルのquarkはQNXを参考にするつもりだったがL4を真似することにした。
みたいな事がwikiにあると思うんですが、L4やQNXなど(mach以外)を採用したり
参考にしてるOSってなにかありますか。ご存知でしたら教えて戴けますか。
なんだか、マイクロカーネルの人気が低いのはmachが原因な気がして、ならないのです。
0305Be名無しさん
垢版 |
2010/06/14(月) 12:07:22
たとえば分散OSで検索して出てくるのはmach以外も多くない?
0307Be名無しさん
垢版 |
2010/06/15(火) 12:52:26
ちょっとスレチだけどInfernoみたいなVM型カーネルも面白いな。
マシンパワーが有り余っている今、主にセキュリティ面のアドバンテージから流行ったりして。
0308Be名無しさん
垢版 |
2010/06/16(水) 17:05:57
カラーザウルスのOSはXTALだった
0310Be名無しさん
垢版 |
2010/09/03(金) 12:38:21
BeOSには夢が詰まっていた
0311Be名無しさん
垢版 |
2011/07/05(火) 15:38:14.65
>>302
> 一時期はフリーUNIXの大本命だったのにね>Hurd

一年前のレスにレスだが、そんな時代はない。
Mach/マイクロカーネルが充分な速度を得ることは不可能、
それがはっきりした頃に開発が始まった。
0312Be名無しさん
垢版 |
2011/07/05(火) 15:57:26.72
> Mach/マイクロカーネルが充分な速度を得ることは不可能、
> それがはっきりした

へぇー。

ということは BeOS も Mac OS X も充分な速度を得てないんですね。
勉強になりました(棒)
0313Be名無しさん
垢版 |
2011/07/06(水) 07:05:36.09
今はLinux使ってるけどHurdが出たらそっちへ行く…って人が結構居たがな
もうはるか昔の話しではあるが
0314Be名無しさん
垢版 |
2011/07/11(月) 14:59:01.39
>>312
Mac OS XのBSD部分はカーネル内にある。
Mach/BSDはマイクロカーネルじゃない。

使ったことあればバカでも知っているはず。
taskリストに出てこないので。

wikipediaより
> Mach 3.0は、Mac OS Xのカーネルにも用いられているが、
> 実装はマイクロカーネルではない。

結局Machカーネルの外にBSDサーバーを出すことが出来なかった。
これはOSF/1もNEXTSTEPもそう。
そもそもMachは3になるまでBSDを機能拡張する形の実装だった

Machの外部サーバとして実装され、今も維持されてるのはHurdだけ。
0315Be名無しさん
垢版 |
2011/07/11(月) 19:39:20.46
MAC OS-Xはそうだね
で、BeOSは?
あと組込み系ならQNXとかも有るんだけど
Machだけ持ち出してマイクロカーネルは遅くて使いものにならないと言われてもねぇ
0316Be名無しさん
垢版 |
2011/07/16(土) 19:37:55.92
BeOSはほぼ死亡状態だからなあ。
Hurdの方がまだちゃんと維持されてるんじゃない?
ユーザ環境はDebianに出来るし。
0317Be名無しさん
垢版 |
2011/07/16(土) 20:43:51.41
ああ「マイクロカーネルは遅くて使い物にならないからHurdは全く期待されていなかった」
みたいなレスからの流れで実用的な速度のマイクロカーネルとして上げただけだから>BeOS
具体的には>>311からの流れ
Machベースで完全に外部サーバー形式にしてるのはHurdだけかね?
初期のBSD on MachもNext StepもMacOS XもOSF-1もパーソナリティ−を内包してたよね?
ある意味Machの遺伝子を受け継いでパーソナリティを入れたり出したりしているのがWindowsNT系ってのが皮肉かな
0318Be名無しさん
垢版 |
2011/07/17(日) 17:22:39.21
初期はBSD on Machじゃなくて、Mach on BSDとして実装された。
version 2まで。

NTカーネルはモジューラカーネルで、Mach 3とはちょっと仕組みが違うね。
COM/OLEの枠組みで提供されているところはMachのサービスサーバに似てるけど、
コアな部分はカーネル内に動的リンクされてる。
0319Be名無しさん
垢版 |
2011/07/18(月) 01:11:55.93
そういやHurdはL4ベースのもあるみたいだけどどんなだろ?
あとタンバネウム先生の総決算MINIX3.xも悪くないと思う
0321Be名無しさん
垢版 |
2011/10/28(金) 16:59:10.96
MachもMINIXも3.0で初めて本当のマイクロカーネルになったんだな
それいぜんはマイクロカーネルじゃないし…いや、なんとなく
0322Be名無しさん
垢版 |
2011/10/30(日) 21:39:01.41
現役のメジャーどころでまともなマイクロカーネルってWindows(Vita以降?)だけ!?
MacOSはmachベースでもマイクロカーネル的には作られてないらしいし
MINIX3やDragonflyBSDはマイナーだし…
0324Be名無しさん
垢版 |
2011/11/03(木) 22:01:21.27
現役?マイクロカーネル??(今)メジャー???
0325Be名無しさん
垢版 |
2011/12/05(月) 10:14:33.72
いまや純粋なマイクロカーネルは組み込み系商用製品の一部(QNXとか)とMINIX3だけか
Mach3〜とかも聞かなくなったし当時マイクロカーネルすげーって興奮していた身としては寂しい
でも個人で細々と作るにはマイクロカーネルのほうが手軽だよね!

…と間違ってLinux板に書いてしまった…orz
0326Be名無しさん
垢版 |
2011/12/12(月) 08:40:04.37
MkLinuxってあったよな。
Machがカーネルの奴。
0327Be名無しさん
垢版 |
2011/12/12(月) 14:42:21.42
「僕にはそれが面白かったから」の邦訳にはモノシリックと書いて在ったが
0328Be名無しさん
垢版 |
2012/03/11(日) 23:40:57.53
カーネルサンダース
0329Be名無しさん
垢版 |
2012/03/12(月) 11:27:35.32
そもそもAppleには開発力がないためにOSの開発に失敗して、
他からカーネルを借りてきた。
MacOSは〜と自慢気にいう馬鹿はなんなのだ。
0330Be名無しさん
垢版 |
2012/03/12(月) 11:57:01.35
でっていう。

Darwinの何割が借り物なのか定量的に言わなきゃ、どっちも知らんがな。
0331Be名無しさん
垢版 |
2012/03/12(月) 12:25:11.88
むしろ、借り物ってのがステマだったってことはないだろうか?
Copelandは締切りに間に合わなかったけど秘密裏に開発成功していて、
でも今更どうしようかって時に、売れないのに評判だけはよかった同系の
NeXTの技術を導入したということにして汚名返上してみたとか?
0332Be名無しさん
垢版 |
2012/03/12(月) 12:55:18.23
妄想してみるなら、例えばGPL汚染が内部調査で発覚して、
結合しているブラックボックスは公開するわけにはいかなかったので、
密かにロンダリングしてたというのはどうだろう?
従来の延長路線でAPIを整理しつつ、linuxの名前を利用し汚染部分を公開して
その外部GPLコードの内製置き換えをテストさせていたとかは考えられないだろうか?
0333Be名無しさん
垢版 |
2012/03/12(月) 13:29:06.20
NSってプレフィックスが付いてるものはNeXTSTEP由来と思えばいいんじゃねーの?
Mac信者というかジョブズ信者にとってはOS XとNeXTSTEPはおんなじようなもののようだし。
0337Be名無しさん
垢版 |
2012/03/12(月) 15:28:51.48
mach2.5同士が合致しないと言われて、mach3がおんなじようなものと言われる不思議。
0338Be名無しさん
垢版 |
2012/03/12(月) 15:33:14.27
Darwinってmach3系だっけ?
NextStep由来なら2.5系じゃないの?
0339Be名無しさん
垢版 |
2012/03/12(月) 17:07:03.15
最初の奴だけ2.5で、その後何故か3になってるんだっけ?
マイクロカーネルでもないのに何の意味があったんだろう?
0340Be名無しさん
垢版 |
2012/03/12(月) 21:16:46.74
人とゴリラの遺伝子は98.25%合致するらしいから、誰かが1.75%をでっち上げれば
ゴリラをandroid化できるな。
0341Be名無しさん
垢版 |
2012/03/18(日) 21:47:06.77
Hurdっていつでるの?
あと、なんでマイクロカーネルにGnuはこだわるの?
0342Be名無しさん
垢版 |
2012/03/18(日) 22:15:53.80
Hurdはもうあるんじゃない
これ以上のものはもうでてこないんじゃない
GNUはマイクロカーネルにこだわっていないんじゃない
すでにLinuxを我が物顔で「GNU/Linux」と呼べとか行ってるし
0343Be名無しさん
垢版 |
2012/03/20(火) 09:07:45.92
マイクロカーネルにこだわってたというより、当時はフリーな選択肢がそれしかなかったんじゃないの?
machはOSF陣営が採用していたわけで、UNIXとしての実績があった。
3でマイクロカーネル化してOSコアのmach部分とライセンスが必要な部分が分離できていた。
というわけで後者の代替を作ろうと考えたんじゃない?

でもBSDが、いやよく考えてみたら気がついたらこれ殆ど原型とどめてなくね?
ってことでフリーでいいよとNet/2を出して、いやそれおらんだってことで裁判沙汰になって
FreeBSDなんか書き直しする羽目になったけど、それでもHurdより先にリリースできて、
その少し前に現れたlinuxに人が集まって、その間にUNIXの冷戦構造も崩壊して、
情報ハイウエイやら、PCはdosからwindowsの時代になるわで、大事な数年を逸して、
一体なにもたもたやってんのさ?って事になったんじゃないんだろうか?
0344Be名無しさん
垢版 |
2012/03/20(火) 10:02:37.13
ライセンスに縛られないUNIXとしては(訴訟期間はあれど)BSDがとっくに良いものをリリースしていたのに
それでもGPLにこだわって「GPLのカーネル」を欲するのがGNUたるゆえんかな
Gnu is Not UnixはUNIXに代わるフリーなシステムを作る事ではなくUNIXに代わるGPLのシステムを作る事だったと
0345Be名無しさん
垢版 |
2012/03/20(火) 17:47:37.31
>>344
いや、Net/2はLinux 0.01と同じ年で、その前年からHurdは開発始まってたらしいよ。
しかしブートできるまでに3年も掛かって、その頃にはSoundBlasterで
CD-ROMが普及していたので、リリースした時点であっという間に広まった。
逆に言えばライセンス問題があるとCDプレスに二の足を踏むわけで、
破棄だけは避けようと譲歩したんじゃないんだろうか?
まあ4.4BSD Liteベースで完全解決できた訳だけど、その隙にlinuxが入り込めた。
せめてLite移行完了までにHurdが形になっていれば、真打ち登場と言えたんだろうけど、
mklinuxとか、linuxにさえ抜かれちゃう始末だし。

mach3はGPLではないので(HurdもGNU Machの機能は使っていないんだっけ?)
GPL以外に代替があるなら完成度の低いものをわざわざ選択する意味はないよね。
0346Be名無しさん
垢版 |
2012/03/20(火) 20:28:31.80
しかしBSD on muchって何度も復活するよね
初代much(これは不完全だが) > Hurd? > dragonfly BSD
でも普及には至らないんだよなぁ
一応、NextとOSF/1は実用か?
0347Be名無しさん
垢版 |
2012/03/20(火) 22:48:47.92
っていうか、ttp://www.rtmach.org/intro-j.html
こんな面白そうなものがあったのに誰も紹介しないんだもん。

存在知らないから独自OSに走って車輪付けるところで消耗して結局エターナる
OS開発者も居たんじゃないだろうか?と、androidの作りとか見て思った。
0348Be名無しさん
垢版 |
2012/03/20(火) 23:37:11.61
10年位前から知ってるし
独自OS作る奴は作ることを楽しんでいるんだから既存のOSはあまり関係ないだろう
逆に既存OSより良いもの(実用的な物)が欲しい奴は見込みの有りそうなプロジェクトにコミットしてるんじゃない?
0349Be名無しさん
垢版 |
2012/03/21(水) 00:29:02.80
>>348
>10年位前から知ってるし
それをどうやって証明するのさ?
消息不明の作者逹にアンケートでもした?

>独自OS作る奴は作ることを楽しんでいるんだから既存のOSはあまり関係ないだろう
そういう思い込みで教えてもらえなかった連中も多いんじゃないの?
誰でも知っているような事を意外と知らなくて遠回りしたなんて話も後で結構聞くんだよな。
まあ困ってる事をきちんと言わない見栄っぱりの自業自得だけど。
0350Be名無しさん
垢版 |
2012/03/21(水) 06:50:45.20
>>10年位前から知ってるし
>それをどうやって証明するのさ?
>消息不明の作者逹にアンケートでもした?

10年は嘘だった
このページで知ったから5〜6年前だ
http://www.bekkoame.ne.jp/ha/kuwaya/unchiku.html
各作者が知ってるかどうかは知らんし、そういう文章にはなってないはずだが?


>>独自OS作る奴は作ることを楽しんでいるんだから既存のOSはあまり関係ないだろう
>そういう思い込みで教えてもらえなかった連中も多いんじゃないの?

なら俺OS系のWikiとかに書きこんでみたら?
その考えのほうが思い込みだってわかると思うよ
0351Be名無しさん
垢版 |
2012/03/21(水) 08:50:16.01
何が思い込みなんだ?
俺OS(だと思い込んでるの)にわざわざ別のOSの事言う奴はアンチだけってことだろ。
顰蹙を買うのは嫌なので(悪)名を売りたいのでなければ黙っていた筈。
「あまり関係ないだろう」と書かれていて、そう思っている人が居るのは事実で、
そういう人は指摘してくれないだろうから、後は2chでも見るしかないんじゃないか?
0352Be名無しさん
垢版 |
2012/03/21(水) 09:18:26.90
既存の有無というのは、モチベーションの面で関係大アリじゃないかな?
無いのでオレが作りたいと思う奴は、有ると知ったらやめたくなる。
有るので真似すれば作れると思う奴は、無いと知ったら逃亡する。
0353Be名無しさん
垢版 |
2012/03/21(水) 10:31:35.11
アジア人は全体を見て行動し、西洋人はリーダーを見て行動するらしい。
これってマイクロカーネルとモノリシックカーネルの考えそのものじゃないだろうか?

でも実際の区分はぶっちゃけ、ランプの魔神を大衆の願いを叶えてくれる仏のようなお上と考えるか
市民の下で働く一騎当千の公僕と考えるかという違いの話になってるんだよね。

結局、文民統制にハードウェアによるカーストを利用するかどうかで、
性悪説なら緊箍児が必要だし、性善説なら不要って話に矮小化されちゃってる。
0354Be名無しさん
垢版 |
2012/05/05(土) 17:30:16.00
タンデンバウムって菩提樹だっけ。
0355Be名無しさん
垢版 |
2012/11/10(土) 00:29:27.85
カーネルサンダース
0356Be名無しさん
垢版 |
2012/11/10(土) 07:53:51.30
ドライバーに対してはスタックマシンとして振る舞うVMスタブが一番堅牢。
VMのサーフェス側のサービスレベルをどの高さに設計するかだけの話。

と言うのも、どうしてもソフトウェアカーネルを設置したいのであれば、あれこれ調整された機能の調製を求める内にモノリシックに行き着くのは当然であるから。

しかし、そもそもソフトウェアカーネルなんぞハードウェアの仕様を覚えられない難読症児の戯言だとする者はマイクロカーネル乃至マイクロコードを指向する様になる。

最速は常にハードウェア、以上。
0357Be名無しさん
垢版 |
2013/03/18(月) 11:05:54.41
amiga osはマイクロカーネルだったのか
「マイクロカーネル風」って表現もあるし、メモリ保護なし・直接関数コールとかスゲーけど別にいいよね
あとMacOS9の下にマイクロカーネルがあったのも知らんかった
0358Be名無しさん
垢版 |
2013/04/07(日) 20:56:05.43
マイクロカーネルもバズワードで明確な定義が無いのだから風も何もない。
0359Be名無しさん
垢版 |
2013/04/07(日) 21:53:15.73
基本的には「プロセス/ファイルシステムやデバイス・ドライバー等の大きな機能を除いた基本機能のみ」のカーネルって事だけど
・基本機能とは?(タスクスケジューラーやメモリアロケータも含まない!とか仮想アドレス+メモリ保護も必要!)
辺りの解釈が不明確というか各人で分かれてる感じ
スケジューラーとメモリアロケータは含まないけどメモリ保護は必須みたいな意見も見た気がするし・・・
0360Be名無しさん
垢版 |
2013/04/08(月) 11:33:46.81
メッセージパッシング機能とディスパッチャが最低限でしょ。
0361Be名無しさん
垢版 |
2013/04/08(月) 11:52:03.75
メッセージパッシングの方式(amigaは関数テーブル呼び出しだそうで)をどう定義するか
他の機能(スケジューラーやメモリ管理)がのっているものはマイクロカーネルじゃない!と原理主義に走るか(ゆるくし過ぎるとなんでもかんでもマイクロカーネルと言えるようになるし)
線引は難しいですよね
0363Be名無しさん
垢版 |
2013/09/28(土) 14:09:02.83
CISC RISC
と一緒で完璧にどちらかに分類できる実装なんか今時存在しない
0364Be名無しさん
垢版 |
2014/05/26(月) 21:07:08.62
質問です

マイクロカーネルについて勉強中です
マイクロカーネルはプロセス間通信を使用してサービスを受けると理解しました。
これはアプリがシステムコールを呼んだ際、自分のコンテキストは待ち状態になり
サーバーで待ち状態だったプロセスが解除されてコンテキストがバトンタッチ(?)するという感じでしょうか?

もしそうならば、たとえばサーバーのプロセス(スレッド)が1つしかない場合、複数アプリから同時にサービスコールが呼ばれると
1つだけ処理されて、残りは待たされるのでしょうか?

あいまいな質問ですみません。
0365Be名無しさん
垢版 |
2014/05/28(水) 11:13:08.20
YES
物理ディスクのアクセス等は(キャッシュ等は除き)そもそも並列動作できないから普通に待ち行列行き
OS機能全体を1つのスレッド(プロセス)で処理するような実装なら誰かがシステムコールを実行中は他は待たされる
たいていはサービス毎に処理スレッド(プロセス)を走らせるから競合しなければ並列動作する(ディスクIOとコンソール出力とか…)
0366364
垢版 |
2014/05/28(水) 19:39:59.67
>>365
よくわかりますた
ありがとう!
0367Be名無しさん
垢版 |
2014/10/16(木) 11:33:06.28
マイクロカーネルばんざーい!
マイクロカーネルとして良いのはなんだろう
L4? QNX? MINIX? OSE?
OSの話題が無くてつまらん

モノリシックはNetBSD最高
0368Be名無しさん
垢版 |
2014/10/17(金) 17:36:01.72
最新の Minix は マイクロカーネル + NetBSD だし
0369Be名無しさん
垢版 |
2014/10/17(金) 18:13:14.98
はい…
それはそれとして本家NetBSDの移植性を高めた設計も好き
0370Be名無しさん
垢版 |
2015/10/23(金) 21:41:29.92
一時期モノリシックカーネルの方が正義みたいな扱いだったけど
またここに来てマイクロカーネルの方に勢いが出てきたつーか研究が盛んだね
次スレ立てるときはハイブリッドカーネルも入れてくれ
0371Be名無しさん
垢版 |
2015/10/28(水) 17:40:11.90
そうなん?
…次スレって何年先になるんだよ…
0372Be名無しさん
垢版 |
2016/01/14(木) 03:09:04.74
最近ワンボードPCを買ったからとりあえずseL4で遊ぼうと思う。
0373Be名無しさん
垢版 |
2017/03/06(月) 11:52:26.07
「モノシリック」は「モノシリアン(mono-syrian)のような」という意味であり、
十二世紀半ばに西欧にて発生した。
「モノシリアン」とは第2回以降の十字軍遠征を阻む、シリア(聖書でアラムの地とされる、
聖地エルサレムを含む西アジアの地中海に面する一帯の地域)の回教徒達(Syrian)の
結束したさまを指す十字軍内部で用いられていた隠語であり、十字軍衰退とともに
一般人への回教文化の流入とともに広がった。
現在、「モノシリック」は一つに統一され強固にまとまったさまを指す言葉として
用いられている。

例えばモノシリック・カーネルとは一枚岩のような丈夫なカーネルということである。
0374Be名無しさん
垢版 |
2017/03/12(日) 15:52:02.64
Linuxは事実上マイクロカーネルであり
マイクロカーネル VS モノリシックカーネルの結論は
やっぱりマイクロカーネルの方が良いという結論になっている。
小さいうちだけだよ。すぐに管理不能になる
0375Be名無しさん
垢版 |
2017/05/17(水) 01:52:10.42
同じ規模でも10人で開発するのと100人で開発するのとでは違うだろうな。
0376Be名無しさん
垢版 |
2017/05/22(月) 19:54:09.71
そこそこ純粋なマイクロカーネルで生きてるのってQNXとMINIX3.x位?
Windows10とかは山盛りのDLLやサービスの下にあるカーネルはマイクロカーネルだったりするのか?
UNIX系はDragonflyBSDみたいな変わり種以外はモノリシックだよね
Mac OSXは…わからん
0377Be名無しさん
垢版 |
2017/05/27(土) 16:36:47.95
>>373
一つに固まってると力をかけるとすぐ折れるんじゃなかったっけ?
0378Be名無しさん
垢版 |
2017/12/30(土) 22:52:31.53
誰でも簡単にネットで稼げる方法など
参考までに、
⇒ 『半藤のブブイウイウレレ』 というサイトで見ることができます。

グーグル検索⇒『半藤のブブイウイウレレ』

BUGPUR0KQR
0379Be名無しさん
垢版 |
2018/02/09(金) 07:18:11.35
☆ 私たち日本人の、日本国憲法を改正しましょう。現在、
衆議員と参議院の両院で、改憲議員が3分の2を超えております。
『憲法改正国民投票法』、でググってみてください。国会の発議は
すでに可能です。平和は勝ち取るものです。お願い致します。☆☆
0381Be名無しさん
垢版 |
2021/09/02(木) 15:00:35.93
2021年現在マイクロカーネルの事を語るならL4をまず調べよう
俺は最近L4の仕様書を読み始めたばかりだけどな
0382Be名無しさん
垢版 |
2021/09/30(木) 20:01:57.33
このスレ年レベルで読む人も書く人も一桁がいいとこっぽいから俺の遊び場にしてもいいよな
>>376
IntelCPUのファームウェアに入っているという話のMINIX3よりも多く世の中に出回っているのはOKL4
一種の組み込み用ハイパーバイザだけどL4系のマイクロカーネル。これはクアルコムの通信用ICの
ファームウェア等に使われている。iOSやandroidスマホに使われているという話
年間数億台以上のレベルで使われている
>>374
「Linuxはマイクロカーネルとモノリシックカーネルの良いとこ取り」みたいなドキュメントが結構見られた時期
もあったが、それは1990年頃までの古い認識、前世紀の遺物
現在主流のマイクロカーネルでは極小原則、あるいは最小原理と呼ばれる原則に則りカーネルモード(CPUの
特権モード)で動く実際のコードサイズを可能な限り小さくする方向で実装される
L4系のマイクロカーネル実装の一つseL4(カナ書きするとエス・イー・エル・フォーと発音するとドキュメントに
書いてある)のホワイトペーパーによれば
Linuxのカーネルモードで実行されるコードサイズは2000万行、に対してseL4は1万行とされている
ここまでカーネル特権で動くコードを小さくする理由は2つ
1つは性能面の問題を解決するため
Mach等の初期のマイクロカーネルを採用したOSの性能に問題があった理由はサブルーチンコールに比べて
メッセージパッシングが遅いことだった
GHz級のクロックで動くCPUのサブルーチンコールに必要な時間は数nS程度に対してメッセージパッシングでは
平均的に数μSと1000倍程度の差があった。この時間がかかる最大の理由はプロセスAからプロセスBに通信を
行う過程でA→(カーネル)→Bとカーネルに制御を渡す必要があり、この時にキャッシュがフラッシュされてしまう
ことだった
L4開発者のリートケはメッセージパッシングを行うカーネルコードをCPUのL1キャッシュに収まる(さらに余裕がある)
程度に極小化することでこの問題が解決できることを示し、L4では数十CPUクロック程度でのメッセージパッシング
実現した
もう一つの理由はまたあとで
0383Be名無しさん
垢版 |
2021/09/30(木) 22:55:06.10
マイクロカーネルのカーネルを小さくする(Linux比 1/1000)理由その2
安全性の点から特権モードで動くコードは最小にすべきだという思想から小さくする
2000年以降のマイクロカーネルの研究ではこちらの方がメインになっている
多くのマイクロカーネルOSではデバイスドライバはユーザ権限で動作する
従来のネットワークドライバがカーネル特権モードで動くOSの場合、そのドライバにセキュリティホールがあって外部から突くことができるとするとカーネル全体を停止させたり、最悪の場合は外部から特権を取得できてしまう
ほぼ全てのデバイスドライバがユーザモードで動くマイクロカーネルではこのような問題は起きない。例えデバイスドライバに問題があって、突くことができるセキュリティホールがあったとしてもシステム全体の特権を取得することはできない
また「発見されていない潜在的なプログラミング上の欠陥」の問題もある。2000万行のカーネル特権で動くコードを持つLinuxでは10000箇所程度の潜在的な問題があると考えられ時々セキュリティアドバイザリーとして報告される(たまにroot権限の取得が可能なものもある)
これに対して1/2000のコードサイズのseL4では存在するとしても数カ所でありroot権限の取得可能なものが存在する可能性は低い
さらにseL4の場合はマイクロカーネル全体の形式的検証が行われており問題が存在する可能性はさらに低い
0384Be名無しさん
垢版 |
2021/09/30(木) 23:10:38.72
MacOS は原始的なマイクロカーネルOSだったMach2.5のコードを元にメッセージパッシングを行っている部分をサブルーチンコールに書き直してモノリシックカーネルにするというL4以降のマイクロカーネルとは逆方向の開発を行った物である
メッセージパッシングが遅いのが性能上の問題なのでメッセージパッシングをなくしてしまえば良いという発想である
これはマイクロカーネルの持つ利点を捨て去っているわけでMacOS10.0が開発された1990年代後半の商業用システムとしては仕方ないものだったと考えられる(当初のL4はインテルx86専用でアセンブリ言語でコーディングされている部分もあった)
もしCPUに依存しないAPIを導入したL4Ka::Pistachioの開発以降にMacOS 10.0のプロジェクトが開始されていれば違った物になっていたかもしれない
0385Be名無しさん
垢版 |
2021/10/01(金) 00:56:40.96
ヨッヘン・リートケによるマイクロカーネルの設計方針あるいはマイクロカーネルの定義は明確である
--wikipediaからの引用--
ある概念をマイクロカーネル内で実現することが許されるのは、それをカーネルの外に移した場合、すなわち競合する実装が可能となることでシステム必須の機能が妨げられる場合だけである

この考え方に基づいてL4マイクロカーネルはわずかな基本的機構を提供する
・アドレス空間(抽象化されたページテーブルとメモリ保護の提供)
・スレッドとスケジューリング(抽象化された実行と一時的な保護の提供)
・プロセス間通信(分離された領域間の制御された通信)
---
つまりカーネルモードで実装する以外に選択肢がない物以外はカーネルに入れてはならない、という事
0386Be名無しさん
垢版 |
2021/10/01(金) 01:45:59.36
>>384
訂正
×Mach2.5
○Mach3.0

Mach2.5はモノリシックOSだった Mach3.0はデバイスドライバをカーネル内に実装したfatなマイクロカーネル
Mach3.0を2.5と同じモノリシックに書き換えたのがDarwinでMacOS Xのコア
0387Be名無しさん
垢版 |
2021/11/02(火) 15:34:43.92
ここまでのまとめ
〜1990年代
OSカーネルの肥大、複雑化の反省からマイクロカーネルの概念が発生する
OSの機能を部分的にカーネルの外にユーザープロセスとして実装する試み
OSとしての機能はこの方法でも果たすことはできることが確認される

1987 MINIX1.0
1989 Mach3.0

主張:OSの開発、保守のためには小さな部分に分かれていた方が都合がいい
反論1:分割した部分間の通信にはコストがかかり性能が低下する
反論2:一つのカーネルであっても開発方針としてモジュール化はできる。開発の容易さは変わらない

1990年頃の結論:マイクロカーネルを採用する明確な利点はない
0388Be名無しさん
垢版 |
2021/11/02(火) 15:35:04.80
2000年前後
ドイツに天才プログラマのヨッヘン・リートケが現れる
「マイクロカーネルの実装が遅い(=カーネルと各モジュール間の通信が遅い)のは通信によるプロセス切り替えでCPUキャッシュを使い切ってしまうのが原因である」
 ↓
だったらマイクロカーネルのサイズをCPUキャッシュに収まる程度の16kByte未満に押さえてしまい、メッセージの通信も高速に行える形だけに限定してしまえばいい
 ↓
OSの機能のほとんどをマイクロカーネルの外に実装したL4が作られる
デバイスドライバやファイルシステムもカーネルの外に実装される
性能の問題は解決した

2001年 ヨッヘン・リートケ没 惜しい人を亡くした
0389Be名無しさん
垢版 |
2021/11/02(火) 15:36:32.93
2000年代以降
事実:マイクロカーネルを採用しても性能は落ちない
疑問:わざわざマイクロカーネルの形でOSを構成する利点って何?

仮説1:カーネルに不具合があると不正な方法でカーネル特権を取られてしまう可能性がある。だから特権で動くカーネルはできるだけ小さい方がいい。小さければ小さいほど不具合が残っている可能性は低くなる

仮説2:デバイスやネットワーク等が原因でOSがクラッシュした場合、マイクロカーネルの外でのクラッシュであればカーネル自体は再起動せずに単一のユーザプログラムの処理だけで回復できる可能性は高い。安全性の高いOSが作れるかもしれない

このあたりが現在の研究課題


2020年代現在組み込み用ハイパーバイザとしてマイクロカーネルは広く利用されている
0390Be名無しさん
垢版 |
2021/11/02(火) 15:59:08.06
タネンバウムとリーナスの論争なんてのは完全に1990年代の話だし、MacOS Xがマイクロカーネル実装だったMach3.0をわざわざモノリシックに書き直して作られたのは2000年頃の話でそのころのL4はCPUのアーキテクチャにゴリゴリ依存して最適化していた段階だった

だからそのあたりの話って今のマイクロカーネル技術からすれば本当の昔話
今となっては論点自体が存在しないようなお話
レスを投稿する


ニューススポーツなんでも実況