[B! os] syohexのブックマーク

CPU実験で自作CPUにUNIXライクOS (xv6) を移植した話 - 豆腐の豆腐和え

今年のCPU実験では、有志からなる我らがX班が、おそらくCPU実験史上初である自作CPUへのOS (xv6) 移植に成功しました。コア係とコンパイラ係の面々がそれぞれまとめ記事を書いていたので、OS係から見たOS移植のまとめも書こうかなと思います。こんなことしてましたってことが伝わればいいなと思います。この記事を読む後輩やらなんやらがいたら、ぜひ僕らがやったようなことはさっさとクリアしちゃって、さらにさらに面白いことをする踏み台にしていってほしいですね。どなたが読んでもある程度概要が伝わるよう、まずCPU実験とは何かということをさらっと書いた後、実際にxv6を移植するにあたってやったことをまとめたいと思います。 CPU実験とは CPU実験は僕の学科（理学部情報科学科）で3年冬に行われる、半年間にわたる学科名物演習です。最初の週で4～5人程度の班に分けられた後、それぞれの班でオリジナル

syohex 2015/03/25

os

リンク

MITの講義資料から学ぶオペレーティングシステム基礎勉強会

MITの 6.828: Operating System Engineering という授業の講義資料を読み解きながら、OSへの理解を深めようという会です。この授業では、UNIXv6を参考にx86アーキテクチャ上でgccを使って新たに実装したxv6というOSを用いてOSとハードウェアの基礎を教えています。このOSや授業資料についてのまとまった日本語資料というようなものは世の中に存在していないので、日本語で資料をまとめてOS学習の敷居を下げようというのが最終的な目標です（が、取り敢えずは読んだり動かしてみようというスタンスで挑んでいます）。今のところ、大学内の細々とした勉強会として行っていますが、そのうち外部でやりたいなと思ってます。2010年版本家サイトマップトップ概要スケジュール／講義資料リストツールチェイン・QEMUのインストール方法xv6参考資料関連する授業

syohex 2011/06/22

os
xv6

リンク

JavaScriptでVM作って「30日でできる！OS自作入門」をやってみた (2日目) - yukobaのブログ

カーネル／VM Advent Calendar の40日目です。ごめんなさい1日遅れ。他の方のも面白いですよ！左のリンクからどうぞ。私、JavaScriptでVM(仮装機械)を色々作ってきましたが、いつも、言語処理系のVMばかりで、VMwareのような、マシン自体のVMはやったことがなかったので、トライしてみました。選んだテーマは、川合秀実さんの5年前の名著、「30日でできる! OS自作入門」。これ、凄くいい本ですね！読んでみてびっくりしました。かなりお勧めです。英訳は出ていないと思いますが、英訳を出すに値する本だと思います。でも、川合さんのOSASKは終了（中断？）しちゃっているみたいですね。 30日でできる! OS自作入門作者: 川合秀実出版社/メーカー: 毎日コミュニケーションズ発売日: 2006/03/01メディア: 単行本購入: 36人クリック: 735回この商品を含むブ

syohex 2011/01/17

リンク

Microsoft、タイプセーフOS「Verve」を鋭意開発中 | エンタープライズ | マイコミジャーナル

Microsoft Research is dedicated to conducting both basic and applied research in computer science and software engineering. Microsoft ResearchでOSの研究開発に取り組んでいるChris Hawbl itzel氏が、現在取り組んでいるOS「Verve」についてVerve: A Type Safe Operating Systemでインタビューに答える形でアイディアや概要を紹介している。Verveの論文は2010年3月末ごろの作成されたものがSafe to the Last Instruction: Automated Verification of a Type-Safe Operating System (PDF)として公開されている。「Verve」