Xv6
![]() Startup xv6, yang kemudian diikuti dengan perintah "ls" | |||||
Perusahaan / pengembang | MIT | ||||
---|---|---|---|---|---|
Diprogram dalam | C dan rakitan | ||||
Keluarga | Mirip Unix | ||||
Model sumber | Sumber terbuka | ||||
Rilis stabil terkini |
| ||||
Ketersediaan bahasa | Inggris | ||||
Dukungan platform | multiprosesor Intel x86 dan RISC-V | ||||
Kernel type | Monolitik | ||||
Antarmuka bawaan | Antarmuka baris perintah | ||||
Lisensi | Lisensi MIT | ||||
Situs web resmi | pdos |
xv6 adalah implementasi ulang Unix V6 dalam ANSI C untuk sistem multiprosesor x86 dan RISC-V. xv6 dibuat pada tahun 2006 untuk tujuan pedagogis dalam mata kuliah Rekayasa Sistem Operasi di MIT.[1][2]
Tujuan
Mata kuliah Rekayasa Sistem Operasi di MIT mulanya menggunakan kode sumber V6 orisinal. xv6 dibuat sebagai pengganti modern V6 karena mesin PDP-11 tidak tersedia secara luas dan sistem operasi orisinal saat itu ditulis dalam pra-ANSI C yang arkais. Tidak seperti Linux ataupun BSD, xv6 cukup untuk mengisi pembelajaran selama satu semester, namun tetap memuat konsep dan perkakas penting Unix.[1]
Swadokumentasi
Salah satu fitur Makefile pada xv6 adalah pilihan untuk menghasilkan PDF yang berisikan seluruh kode sumber dalam format yang mudah dibaca. Seluruh hasil cetaknya hanya berjumlah 99 halaman, termasuk referensi silang.[3] Hal ini mengingatkan pada kode sumber V6 orisinal yang diterbitkan dalam bentuk serupa seperti dalam buku Lions' Commentary on UNIX 6th Edition, with Source Code.
Penggunaan dalam dunia pendidikan
xv6 telah digunakan dalam mata kuliah sistem operasi di banyak universitas seperti di Universitas Leeds,[4] Universitas Stony Brook,[5] Universitas Northwestern,[6] Universitas George Washington,[7] Universitas Northeastern,[8] Universitas Yale,[9] Universitas Pittsburgh,[10] Universitas Columbia,[11] Universitas Ben-Gurion Negev,[12] Universitas Johns Hopkins,[13] Universitas Negeri Portland,[14] Universitas Tsinghua,[15] Universitas Southern Adventist,[16] Universitas Wisconsin–Madison,[17] Universitas Binghamton, Universitas Utah,[18][19] Universitas California, Irvine, Universitas California, Riverside,[20] Institut Teknologi Georgia,[21] IIIT Hyderabad, IIIT Delhi, IIIT Bangalore, IIIT Allahabad, MNNIT Allahabad, IIT Bombay,[22] IIT Delhi, IIT Madras, IIT Bhubaneswar dan PEC Chandigarh di India, Universitas Linnaeus[23] di Swedia, Universitas Otago[24] di Selandia Baru, Universitas Nasional Córdoba,[25] Universitas Nasional Río Cuarto,[26] di Argentina, Universitas Teknik Federico Santa María di Chili, Universitas Palermo[27] Universitas Illinois Chicago,[28] Universitas Rutgers,[29] Università degli Studi di Modena e Reggio Emilia[30] di Italia, Universitas Sains dan Teknologi Iran,[31] dan Universitas Tehran[32] di Iran, Universitas Teknologi Slovakia di Bratislava[33] di Slovakia, Universitas Federal Minas Gerais[34] di Brasil, dan Technion – Institut Teknologi Israel.[35]
Referensi
- ^ a b "Xv6, a simple Unix-like teaching operating system". Diakses tanggal 2014-09-22.
Xv6 is a teaching operating system developed in the summer of 2006
- ^ Nelson, Luke; Sigurbjarnarson, Helgi; Zhang, Kaiyuan; Johnson, Dylan; Bornholt, James; Torlak, Emina; Wang, Xi (2017). "Hyperkernel: Push-Button Verification of an OS Kernel". Proceedings of the 26th Symposium on Operating Systems Principles. SOSP '17. Shanghai, China: Association for Computing Machinery: 252. doi:10.1145/3132747.3132748. ISBN 978-1-4503-5085-3.
- ^ "xv6 source listing" (pdf). Diakses tanggal 2018-01-10.
- ^ "Module and Programme Catalogue". webprod3.leeds.ac.uk. Diakses tanggal 2020-10-14.
- ^ "CSE 306 -- Course Information". Diakses tanggal 2021-04-14.
- ^ "EECS 343: Operating System, Fall 2016–17". Diarsipkan dari versi asli tanggal 2018-10-24. Diakses tanggal 2018-11-11.
- ^ "CSCI 3411 – Operating Systems, Fall 2018". Diakses tanggal 2018-09-27.
- ^ "CS 3650: Computer Systems, Fall 2014". Diakses tanggal 2014-12-09.
- ^ "CS422/522: Operating Systems, Spring 2010 — Overview". Diarsipkan dari versi asli tanggal 2012-07-23. Diakses tanggal 2010-02-05.
- ^ "CS 1550 Introduction to Operating Systems (COE 1550) -Fall 2020". people.cs.pitt.edu. Diakses tanggal 2020-09-28.
- ^ "COMS W4118: Operating Systems I, Fall 2013". Diakses tanggal 2013-09-09.
- ^ "Operating Systems – 2012/Spring – Main". Diakses tanggal 2012-03-26.
- ^ "600.318/418: Operating Systems". Diarsipkan dari versi asli tanggal 2015-11-04. Diakses tanggal 2015-11-07.
- ^ "CS 333 Introduction to Operating Systems". Diakses tanggal 2018-04-10. [pranala nonaktif permanen]
- ^ "FrontPage – OS Teaching Wiki". Diarsipkan dari versi asli tanggal 2012-03-04. Diakses tanggal 2010-03-18.
- ^ "School of Computing at Southern Adventist University". Diakses tanggal 2017-12-10. [pranala nonaktif permanen]
- ^ "CS-537: Introduction to Operating Systems". Diakses tanggal 2011-11-04.
- ^ "CS 6460: Operating Systems". Diakses tanggal 2014-01-20.
- ^ "Embedded in Academia : Xv6". Diakses tanggal 2014-04-08.
- ^ "CS 202: Advanced Operating System". Diakses tanggal 2017-12-02.
- ^ "General Information — CS-3210, Fall 2017 1 documentation". cs3210.cc.gatech.edu. Diakses tanggal 2019-06-21.
- ^ "Lecture Notes on Operating Systems". www.cse.iitb.ac.in. Diakses tanggal 2020-09-28.
- ^ "1DV201: Operating system". Diakses tanggal 2013-03-14.
- ^ "COSC440: Advanced Operating system". Diakses tanggal 2015-07-14.
- ^ "SistOp14: Operating Systems". Diakses tanggal 2015-08-06.
- ^ "Operating Systems". Diakses tanggal 2015-08-06. [pranala nonaktif permanen]
- ^ "Sistemi Operativi". Diakses tanggal 2015-10-18.
- ^ "CS385 – Operating Systems Concepts and Design". Diarsipkan dari versi asli tanggal 2021-09-21. Diakses tanggal 2015-03-18.
- ^ "01:198:416: Operating Systems Design". Diarsipkan dari versi asli tanggal 2012-09-11. Diakses tanggal 2010-02-05.
- ^ "Progettazione di Sistemi Operativi". Diakses tanggal 2017-10-09.
- ^ "iust os". os-course.github.io. Diakses tanggal 2020-11-14.
- ^ "Operating Systems instructed by Dr. Mehdi Kargahi". [pranala nonaktif permanen]
- ^ "Operačné systémy". UIM. Diakses tanggal 2019-10-28.
- ^ "DCC605: Sistemas Operacionais". Diakses tanggal 2015-11-16.
- ^ "094210 Computer Organization and Operating System, Spring 2020". Diakses tanggal 2020-05-14.
Pranala luar
- Operating Systems Engineering (6.828)
x86 (tidak dikembangkan):
- Kode sumber xv6
- Kode sumber buku xv6
- xv6: a simple, Unix-like teaching operating system, buku xv6 rev11.
- Versi cetak dari kode sumber xv6, rev11.
RISC-V:
- Kode sumber xv6
- Kode sumber buku xv6
- xv6: a simple, Unix-like teaching operating system, buku xv6 rev2.
- l
- b
- s
- Istilah alternatif untuk perangkat lunak bebas
- Perbandingan perangkat lunak sumber terbuka dan sumber tertutup
- Perbandingan fasilitas hos kode sumber
- Perangkat lunak bebas
- Direktori proyek perangkat lunak bebas
- Gratis versus libre
- Dukungan jangka panjang
- Perangkat lunak sumber terbuka
- Pengembangan perangkat lunak sumber terbuka
- Garis besar
perangkat lunak
- Audio
- Bioinformatika
- Kodek
- Kolaborasi
- Manajemen konfigurasi
- Pemacu peranti
- Grafik
- Nirkabel
- Geofisika
- Kesehatan
- Matematika
- Sistem operasi
- Bahasa pemrograman
- Perutean
- Statistik
- Televisi
- Permainan video
- Aplikasi web
- Sistem manajemen konten
- Perdagangan elektronik
- Pengolah kata
- Apl Android
- Apl iOS
- Komersial
- Bermerek dagang
- Semula proprietary
- Semula open-source
- Gerakan perangkat lunak bebas
- Sejarah
- Gerakan perangkat lunak sumber terbuka
- Organisasi
- Acara
Tipe dan standar |
|
---|
- Manajemen hak digital
- Keamanan perangkat tegar
- Pembatasan perangkat keras
- Penyebaran lisensi
- Penjenamaan ulang perangkat lunak Mozilla
- Pemacu peranti proprietary
- Perangkat tegar proprietary
- Perangkat lunak proprietary
- Kontroversi SCO/Linux
- Secure boot
- Paten perangkat lunak
- Keamanan perangkat lunak
- Trusted Computing
- Penggarpuan
- GNU Manifesto
- Microsoft Open Specification Promise
- Model inti terbuka
- Perangkat keras sumber terbuka
- Shared Source Initiative
- Perangkat lunak tersedia sumber
- The Cathedral and the Bazaar
- Revolution OS
Portal
Kategori
Buku