タスクはスレッドをひとつだけもつものとして定義し
スレッドに対してタスクスイッチをすれば良い。
漏れ的にはソフトスイッチに１００ペソだな。
読んだよ。もっとわかりやすく書こう。
OSってのはアプリに仮想マシンを提供している。
エミュレータもアプリに仮想マシンを提供している
違いは「I/O」と呼ぶか「API」と呼ぶか。
ワンクッション置くかどうかという違いは大した違いではない。
直接実機のI/O叩くエミュもOSの上に存在する「OS」も存在したはずだ。
チェックなどを行うがそれをソフト的に処理するにはオーバーヘッドが
大きすぎるのではないだろうか。
IA32プロセッサのチェック機構は4段のリング構造を前提としている
のでかならずしもすべてのチェックは必要ないと思います。
VMWare。
まぁ、VMWareがOSだとは誰も思ってないと思うが。
「JavaのようなOS」=「Javaのような可搬性のあるOS」
のような気がしてきた。
激しくスレ違いでスマソ
どっちなんだ？
ん?言語のほうじゃねーか?
少なくとも俺は言語の方だと読んだ。
何にしろ本人が言いたかったのは
「高級言語レベルでの移植性の高いOS」的なものだと思うが。
そんなオブジェクトコードのようなOS、という意味で
JavaのようなOSと言ったわけか？
まぁ、なんにしろ１８の日本語能力は最悪なことだけは確かだ。
わけか？と聞かれても困るがな。正確には>10に聞いてくれ。
まあなんにしろ>40の意志疎通力が最悪なことだけは確かだ。
ハァ？(ﾟДﾟ)
ソフトによるマルチタスクの実現派の方が
多いですね。実際、TSSディスクリプタの切り替えで
ハード的にマルチタスクの実現をやっているカーネルは
私も知りません。ただ、OSA○Kではハード的にやってる
という話を聞いたことがあります。実際のところはわかり
ませんが・・・。
私の調べた限りですが、ハード的にマルチタスクを実現する
方法を取るとプリエンプティブなカーネルは実装が難しそう（無理かも）です。
したがって、ハード的なマルチタスクでモノリシックカーネル
を実現するのはバッドな組み合わせな気がします。
（理由はカーネルからCPUが帰ってくる時間を保証できないから）
特定のプロセッサアーキテクチャにしかないような機能は極力使わないのは常識。
以上。
ここでひとつ面白いエミュレータの形を紹介したいと思います。
既に良くご存知かと思いますが、OSA○Kは（広義）OSレベルで
エミュに対応しようとしています。
具体的な形はまだ見えてきませんが注目です。
ここでシステムを階層化して考えたいと思います。
【 第５層 ：アプリケーション 】
【 第４層 ：ライブラリ 】
【 第３層 ：サブシステム 】
【 第２層 ：カーネル 】
【 第１層 ：ハードウェア 】
通常、OSとは２，３，４層のことを言います。
なお世界的OSメーカのM$社では５層も含むようです。
モノリシックカーネルの場合は２，３層、
マイクロカーネルの場合は２層を通常は指します。
エミュレータとは５層で１層を実現するソフトウェアです。
したがってOSではありません。
> 特定のプロセッサアーキテクチャにしかないような機能は極力使わないのは常識。
最近のOS開発の流行は移植性をカーネルより上の層に求めます。
カーネル自体の移植性を考慮して設計されたカーネルとしてMachが
あげられます。複雑なIPCプロトコルによる遅いメッセージ通信機構、
Mach以降に登場するマイクロカーネルはCPUアーキテクチャに依存する
ものがほとんどです。これらを総称して第２世代マイクロカーネルと
呼びます。つまりMachは第１世代というわけです。
QNXとかそういう発想で作られているよね。
ttp://www.os-omicron.org/~takano/doc/context.html ソフトウェア・コンテキスト・スイッチングが早いというのも
あやしいなぁ。Pen4でもそうだけど今後のCPUってさ、大容量の
キャッシュ搭載して、でもってデコード済みのコードをキャッシュ
するようになるから、・・・・・
んーん、私的にはハードウェア・コンテキスト・スイッチングに１００リラだよ。
--------------------------------------------
TSSの制限：
・104バイトのメモリを一度にロード，アンロードする必要があり，遅い。
・プロセスのカーネルスタックとタスク状態が，カーネルアドレス空間に存在しない。
・各プロセスのスタックが，アクティブ時に同じ仮想アドレス空間に存在する。
・ネスト可能な配置の複数プロセスからなるスレッド群を構築できない。
・プロセス終了時に，終了しようとしているコンテクストでアドレス空間を復元できない。
104バイトというのは32bitTSSのサイズですね。
32bit * 26 = 104byte
> ・プロセスのカーネルスタックとタスク状態が，カーネルアドレス空間に存在しない。
セグメントモデルからくるものでしょう。これについては良く分かりません。
> ・各プロセスのスタックが，アクティブ時に同じ仮想アドレス空間に存在する。
これも上と同じでセグメントモデルからくるものかと思います。
> ・ネスト可能な配置の複数プロセスからなるスレッド群を構築できない。
IA32プロセッサが提供するTSSを使ったタスクはリカーシブではありません。
よってネストができません。この辺はTSSディスクリプタのBフラグの働きを調べて
みてください。
> ・プロセス終了時に，終了しようとしているコンテクストでアドレス空間を復元できない。
これは良くわかりません。
カーネル設計においてアーキテクチャに依存しない情報というのは
たくさんあるのですが、アーキテクチャに依存する情報というのは
あまりありません。私はx86アーキテクチャは今後も長く使われると
考えています。現にintelの設計者は今後最低でも10年、開発が継続
されるとインタビューで答えています。
IA64があまり注目を浴びないのはIA32から移行にかかるコストが膨大
だからだといわれています。それにエンドユーザにとってみれば
CPUの命令体系などはどうでもいいことです。移行に膨大なコストを
費やすことなど望んでいません。今、社会のインフラにITがどんどん
導入されています。x86の命令体系は今後も末永く使われるでしょう。
そこで、x86に依存するカーネルの設計について情報をあつめようと
思いました。散らばっていた情報をひとつにまとめることでOS開発者に
役に立てるようにしたいと思います。
何か知っている情報などありましたら書き込んでください。
また、有用な情報が記載されたHPやMLのURLを教えてください。
まとめることで、競争が減りますよ。
レベルの低い競争は減るでしょうね。
よりハイレベルな競争になると思いますよ。
まぁ、ここで集めようと思っているのは
実装面の情報ですから。OS開発者の方には
それより上のフレームで競争してほしいものです。
いや、実装できることはかなり重要。
コンピュータの世界に限っては、実装できる人は、理論もできる。
理論ができても、実装できるとは限らない。
大学研究者は、実装する実力が無いから、理論しかできない場合
多し。
はっきり言って、理論にまとめる時間が無駄だから説明しないだけ。
大学研究者は、勘違い多し。
「俺はできる」みたいなアピールを言葉巧みにしても無駄です。
できるなら、実装結果を出すべきです。
第一、実装する方が簡単なら、理論を作る片手間で実装できる
はず。
それができないのは、実装の方が実際は難しいから。
実装するのは、机上で考える以上に実力が必要です。
逆に、実装する際、機上の理論が分かってないのにできるはず
は無いです。 理屈がわからずに、ジェット機が作れる
わけがないのです。ジェット機が実際に飛んでだ時点で、
設計者の実力は実証されるのです。
一目瞭然です。
自分の実力の無さを隠すために、実装が簡単であり、
大学での理論研究の方が難しいと流布するのはやめるべきです。
そんなことしてるから、日本のソフト力が弱くなるんです。
本当の実力者をちゃんと当用してないんです。
激しく同意！！！まったくそのたうり
アメリカの大学院生ほうがレベルがはるかに高い。
まったく恥ずかしいかぎりだよ。
ん？もしかして同業者（大学研究者）？
>60
禿同！
お前も大学研究者ですか？
そう。中にはまともな研究者もいるんだけどね、
ほとんどがダメね。研究費使ってデカイマシン買って
よろこんだり、研究会という名目で海外旅行したりと、
ハァ・・・。そのくせ国の調査員会とかに名を連ねてる
から性質が悪い。
あぁ、愚痴っちゃったよ、スレ違いでスマソ。
その辺を ☆王子☆ に語ってもらいましょうか。
では、よろしく＞ ☆王子☆
なんか変な構造だね。
本当に学ぼうと思ったら、大学にいるのは時間の無駄かも知れ
ない。論文とかには追われるし。あと、ポストを得るためだけ
の事柄に時間がつぶれるし。
俺は数学科出身だが、1年のとき先生にこう言われたよ。
修士に行くと就職難しいぞ。
博士に行くとホームレスになるしかないな。
日本は応用ばかり目がいって基礎は評価されない世界なのよ。
なるほど。
まあ、なんでもよければ就職口はあるだろうけど、
OS 研究そのものとか、数学そのもので食っていくのは
大変でしょうね。
私も同感で大学の教員にソフトウェアのアイデア、実装、特許など
取られ身包みはがされた経験があります。
後ろから鉄砲の引き金を引くようなマネをされるとさすがに辛かった
ですね。その教員はテレビに新聞、雑誌にと、大活躍。
私の名前は一切、出ませんでした。それが原因で大学を中退。
今は親元でぶらぶらしています:-)
> その辺を ☆王子☆ に語ってもらいましょうか。
OSASKのことは存在を知っている程度でよくわかりません。
OSASKとは切り離した形でモノリシックカーネル（以下、モノ）と
マイクロカーネル（以下、マイクロ）について語らせてもらいます。
これに関してはカーネル空間に含める含めないの議論が
されてきましたが、これは本質的ではないと思います。
要は水平アーキテクチャか垂直アーキテクチャかの違いだと思います。
一般的な汎用OS（WinであれUNIXであれ）は、モノとマイクロの
中間的な存在です。要はどちら側に寄っているか、ということです。
垂直アーキテクチャ：
【 第４層 ：アプリケーション 】
【 第３層 ：サブシステム 】
【 第２層 ：カーネル 】
【 第１層 ：ハードウェア 】
水平アーキテクチャ：
【 第３層 ：サブシステム 】【 第４層 ：アプリケーション 】・・・・
-----------------------------------------------------------------
【 第２層 ：カーネル 】
【 第１層 ：ハードウェア 】
なんかうまく表現できたとは思いませんが、マイクロの場合はカーネルより
上はすべて横並びなわけです。AS/400などは水平アーキテクチャと垂直アーキテクチャを
意識した設計となっています。「Inside the AS/400」などをごらんください。
よくあることです。
ttp://www.hitachi.co.jp/Prod/comp/soft1/hmpp/mppg0001.htm TRON系
ttp://www.ertl.ics.tut.ac.jp/TOPPERS/ OSの資料
ttp://bw-www.ie.u-ryukyu.ac.jp/~kono/os/ ttp://csr200.ipc.miyakyo-u.ac.jp/users/c8958/os/ その他（？):
ttp://bizit.nikkeibp.co.jp/it/linux/opensource/contents/contents.html 激しく同意。
漏れはコンピュータで言語学をやりたかったけど
くそつまらん雑用にうんざりして大学をやめた。
今はフリーターだがほされたらホームレス決定。
人生の敗北者ﾊｹｰｿ
OS板にいるってことは、どうせRubyとか使ってたんだろ（激藁嘲笑
ハァ？わけがわからんな。
大学まともに続けているようなやつに大物はいない。
大学まともに続けているようなやつは大物になれない。
ちなみに↑これ、どっかの会社のCEOの発言ね。
俺じゃないって。
別人だ。
>取られ身包みはがされた経験があります。
アイデアは提供してもされた方が得するだけ。（言い損。）
とっておきの物なら絶対他人どころか身内にも話してはだめ。
本当にやるなら自分でやらなきゃね。（独立を思考中の者より。）
達悪>unko！
押菌>FAQ U
達悪>U 大！
押菌>∫Ηinё！
達悪>κΙ┗┗ U！
押菌>μηκο！
達悪>μηκο！
μηκοじゃなくてομηκοだろ！
東京ではομανκοって言うが。
ギリシア語の正書法では鼻濁音をガンマで表記します。
→ ομαγκο
（ ＾＾ ）＜ ぬるぽ（＾＾）
と ） | |
Ｙ /ノ 人
/ ） < >__Λ∩
＿/し' ／／. Ｖ' Ａ `）/
（＿フ彡 / ←
ﾋﾟｭ.ｰ ( ＾＾ ） ＜これからも僕を応援して下さいね（＾＾）。
＝〔~∪￣￣〕
＝ ◎――◎ 山崎渉
__∧＿∧_
|（ ＾＾ ）| ＜寝るぽ（＾＾）
|＼⌒⌒⌒＼
＼ |⌒⌒⌒~| 山崎渉
~￣￣￣￣
ﾋﾟｭ.ｰ （ ・３・） ( ＾＾ ） ＜これからも僕たちを応援して下さいね（＾＾）。
＝〔~∪￣￣￣∪￣￣〕
＝ ◎――――――◎ 山崎渉&ぼるじょあ
│ ＾ ＾ │＜これからも僕を応援して下さいね（＾＾）。
⊂| |つ
（＿）（＿） 山崎パン
こんな所にうんこしてスレを汚すな！
Σ（； *´Д｀）
⊂⊂ ＼
( (⌒_＿）
（_（＿） ω
謝罪と賠償します…
Σ<； #｀Д´>
⊂⊂ ＼
( (⌒_＿）
（_（＿） ω
キモー
恥ずかしくないの？
ﾋﾟｻﾞ？？？ﾃﾗﾜﾛｽｗｗｗｗｗ
ｵﾒｰみたいなやつは食欲抑制剤でも飲めば？輸入品のさ。
日本じゃ全然効かねー詐欺ﾚｯｸｽしか処方してくんねーだろ
ttp://http://urara.cart.fc2.com 他にもこのｻｲﾄ武器や独立支援とか盗撮機とか美容とか色々欧米のもの
輸入してるみたいでﾚｱﾓﾉが多いか重宝してるが。まぁどーでもいいが。
お前ﾃﾗﾔﾊﾞｽｗｗｗｗｗｗｗｗｗｗ孤独氏けてーい
ttp://news21.2ch.net/test/read.cgi/news2/1172478893/l50 東京都の人は、ぜひ読んでみてください。
現在、朝鮮総連や民団その他の反日団体が、総がかりで浅野を応援しています。
浅野が知事になれば、たぶん東京は終了します。
x86カーネルおじさん
参考までに、
⇒ 『半藤のブブイウイウレレ』 というサイトで見ることができます。
グーグル検索⇒『半藤のブブイウイウレレ』
GCCBF94S2B
