Loading article…
xv6の起動、および「ls" 指示 | |||||
| 開発者 | マサチューセッツ工科大学 | ||||
|---|---|---|---|---|---|
| 書かれた | Cとアセンブリ | ||||
| OSファミリー | Unixライク | ||||
| ソースモデル | オープンソース | ||||
| 最新リリース |
| ||||
| 利用可能 | 英語 | ||||
| プラットフォーム | マルチプロセッサ Intel x86およびRISC-V | ||||
| カーネルタイプ | モノリシック | ||||
| デフォルトの ユーザーインターフェース | コマンドラインインターフェース | ||||
| ライセンス | MITライセンス | ||||
| 公式サイト | pdos.csail.mit.edu/6.828/xv6 | ||||
xv6 は、マルチプロセッサx86およびRISC-Vシステム向けにANSI Cで第 6 版 Unixを現代的に再実装したものです。2006 年にMITのオペレーティングシステムエンジニアリングコースで教育目的で作成されました。[1]
目的
MIT のオペレーティングシステムエンジニアリングコースでは、以前はオリジナルのV6ソースコードを使用していました。PDP -11マシンは広く普及しておらず、オリジナルのオペレーティングシステムは時代遅れの ANSI C 以前の言語で書かれていたため、xv6 は現代的な代替として作成されました。Linux や BSD とは異なり、 xv6は1 学期でカバーできるほどシンプルですが、それでもUnixの重要な概念と構成が含まれています。[1]
自己文書化
xv6 のMakefileの特徴の 1 つは、ソース コード リスト全体を読み取り可能な形式でPDF として生成するオプションがあることです。全体の印刷物は、相互参照を含めてわずか 99 ページです。 [2]これは、Lions' Commentary on UNIX 6th Edition, with Source Codeで同様の形式で公開された オリジナルのV6ソース コードを彷彿とさせます。
教育目的での使用
xv6 は、次のような多くの大学のオペレーティング システム コースで使用されています。
- アドルフォ・イバニェス大学
- アンデス大学(コロンビア)
- ベングリオン大学[3]
- ビンガムトン大学
- ボストンカレッジ
- セントラルスペレック
- コロンビア大学[4]
- グラーム・イシャク・カーン研究所[5]
- フェデリコ サンタ マリア工科大学
- ジョージ・ワシントン大学[6]
- ナイル大学[7]
- ジョージア工科大学[8]
- IIIT アラハバード
- IIT ブバネーシュワルと PEC チャンディーガル
- IITボンベイ[9]
- IITデリー
- IITマドラス
- IIIT デリー
- IIIT バンガロール
- IIIT ハイデラバード
- イラン科学技術大学[10]
- ジョンズ・ホプキンス大学[11]
- カールスルーエ工科大学[12]
- リンネ大学[13]
- ミルウォーキー工科大学
- モティラル・ネルー国立工科大学アラハバード校
- 国立台湾大学[14]
- コルドバ国立大学[15]
- リオ・クアルト国立大学[16]
- ニューヨーク大学
- ノースイースタン大学[17]
- ノースウェスタン大学[18]
- ポートランド州立大学[19]
- ラトガース大学[20]
- スロバキア工科大学ブラティスラバ校[21]
- サザンアドベンティスト大学[22]
- ストーニーブルック大学[23]
- テクニオン – イスラエル工科大学[24]
- テレコム・シュドパリ[25]
- 清華大学[26]
- ミナスジェライス連邦大学[27]
- ダブリン大学[28]
- ベオグラード大学電気工学部[29]
- カリフォルニア大学アーバイン校
- カリフォルニア大学リバーサイド校[30]
- ハイデラバード大学
- イリノイ大学シカゴ校[31]
- リーズ大学[32]
- モデナ・レッジョ・エミリア大学[33]
- オタゴ大学[34]
- パレルモ大学[35]
- ピッツバーグ大学[36]
- ストラスブール大学[37]
- サウスフロリダ大学[38]
- テヘラン大学[39]
- ユタ大学[40] [41]
- バージニア大学[42]
- ウィスコンシン大学マディソン校[43]
- カッセル大学
- イェール大学[44]
参照
参考文献
- ^ ab 「Xv6、シンプルな Unix 風の教育用オペレーティング システム」 。2014年 9 月 22 日閲覧。Xv6
は 2006 年夏に開発された教育用オペレーティング システムです。
- ^ 「xv6 ソースリスト」(pdf) 。2018年1月10日閲覧。
- ^ 「オペレーティングシステム – 2012/春 – メイン」。2012年3月26日閲覧。
- ^ 「COMS W4118: オペレーティングシステム I、2013 年秋」。2013 年 9 月 9 日閲覧。
- ^ 「オペレーティングシステム、2022年秋」 。 2022年12月9日閲覧。
- ^ 「CSCI 3411 – オペレーティングシステム、2018年秋」 。 2018年9月27日閲覧。
- ^ 「ECEN427 - オペレーティングシステム、2023年秋」。2023年9月27日閲覧。
- ^ 「一般情報 — CS-3210、2017年秋学期 1 ドキュメント」。cs3210.cc.gatech.edu 。2019年6月21日閲覧。
- ^ 「オペレーティングシステムに関する講義ノート」www.cse.iitb.ac.in . 2020年9月28日閲覧。
- ^ “イストOS”. os-course.github.io 。2020年11月14日に取得。
- ^ 「600.318/418: オペレーティングシステム」。2015年11月7日閲覧。
- ^ “Basispraktikum Betriebssystementwicklung、ST 2024” . 2024 年 11 月 13 日に取得。
- ^ 「1DV201: オペレーティングシステム」 。 2013年3月14日閲覧。
- ^ 「課程大綱」.
- ^ 「SistOp14: オペレーティングシステム」 。 2015年8月6日閲覧。
- ^ 「オペレーティングシステム」。2015年8月6日閲覧。
- ^ 「CS 3650: コンピュータシステム、2014年秋」。2014年12月9日閲覧。
- ^ 「EECS 343: オペレーティングシステム、2016-17年秋」 。 2018年11月11日閲覧。
- ^ 「CS 333 オペレーティングシステム入門」。2018年4月10日閲覧。
- ^ 「01:198:416: オペレーティング システム設計」 。2010年 2 月 5 日閲覧。
- ^ “オペラシステム”. UIM (スロバキア語) 。2019年10月28日に取得。
- ^ 「サザンアドベンティスト大学コンピューティング学部」。2017年12月10日閲覧。
- ^ 「CSE 306 -- コース情報」。2021年4月14日閲覧。
- ^ 「094210 コンピュータ組織とオペレーティングシステム、2020年春」 。 2020年5月14日閲覧。
- ^ 「CSC 4508 - オペレーティングシステム」 。 2024年6月26日閲覧。
- ^ 「FrontPage – OS Teaching Wiki」。2010年3月18日閲覧。
- ^ "DCC605: システマス オペラシオナイ" . 2015 年 11 月 16 日に取得。
- ^ 「COMP20180 オペレーティングシステム入門」 。 2023年4月4日閲覧。
- ^ 「Operativni sistemi 2 - Projektni zadatak」(セルビア語)。 2020年9月22日のオリジナルからアーカイブ。2021年11月20日閲覧。
学生は、操作システム xv6 を使用して、さまざまなプロジェクトに参加しています。
- ^ 「CS 202: 高度なオペレーティングシステム」。2017年12月2日閲覧。
- ^ 「CS385 – オペレーティング システムの概念と設計」 。2015年 3 月 18 日閲覧。
- ^ 「モジュールとプログラムカタログ」。webprod3.leeds.ac.uk 。2020年10月14日閲覧。
- ^ “Progettazione di Sistemi Operativi” . 2017年10月9日に取得。
- ^ 「COSC440: 高度なオペレーティングシステム」。2015年7月14日閲覧。
- ^ “システミ・オペラティヴィ” . 2015 年 10 月 18 日に取得。
- ^ 「CS 1550 オペレーティングシステム入門 (COE 1550) - 2020 年秋」。people.cs.pitt.edu 。2020年 9 月 28 日閲覧。
- ^ 「搾取のシステムの概念」.
- ^ 「COP6611 オペレーティング システム - 2023 年秋」。
- ^ 「Dr. Mehdi Kargahi が指導するオペレーティング システム」。
- ^ 「CS 6460: オペレーティングシステム」。2014年1月20日閲覧。
- ^ 「Embedded in Academia : Xv6」。2014年4月8日閲覧。
- ^ 「CS4414: XV6 の紹介」。2022年2月27日閲覧。
- ^ 「CS-537: オペレーティングシステム入門」。2011年11月4日閲覧。
- ^ 「CS422/522: オペレーティング システム、2010 年春 — 概要」。2010 年 2 月 5 日閲覧。
外部リンク
- 6.1810: オペレーティングシステムエンジニアリング
RISC-V:
- xv6 ソースコード
- xv6 ブック ソース コード
- xv6: シンプルな Unix ライクな教育用オペレーティング システム、xv6 ブック rev4。
x86 (メンテナンスされていない):
- xv6 ソースコード
- xv6 ブック ソース コード
- xv6: シンプルな Unix ライクな教育用オペレーティング システム、xv6 ブック rev11。
- xv6 ソースコード rev11 の印刷可能なバージョン。
