xv6

sistem operasi

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]

xv6
Xv6 LS Command Output.png
Startup xv6, yang kemudian diikuti dengan perintah "ls"
Perusahaan / pengembangMIT
Diprogram dalamC dan rakitan
KeluargaMirip Unix
Model sumberSumber terbuka
Rilis stabil terkini
x86 (EOL):rev11 / 2 September 2018; 4 tahun lalu (2018-09-02)
RISC-V:rev2 / 6 September 2021; 16 bulan lalu (2021-09-06)
Ketersediaan bahasaInggris
Dukungan platformmultiprosesor Intel x86 dan RISC-V
Kernel typeMonolitik
Antarmuka bawaanAntarmuka baris perintah
LisensiLisensi MIT
Situs web resmipdos.csail.mit.edu/6.828/xv6

TujuanSunting

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]

SwadokumentasiSunting

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 pendidikanSunting

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]

ReferensiSunting

  1. ^ 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 
  2. ^ 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. 
  3. ^ "xv6 source listing" (pdf). Diakses tanggal 2018-01-10. 
  4. ^ "Module and Programme Catalogue". webprod3.leeds.ac.uk. Diakses tanggal 2020-10-14. 
  5. ^ "CSE 306 -- Course Information". Diakses tanggal 2021-04-14. 
  6. ^ "EECS 343: Operating System, Fall 2016–17". Diarsipkan dari versi asli tanggal 2018-10-24. Diakses tanggal 2018-11-11. 
  7. ^ "CSCI 3411 – Operating Systems, Fall 2018". Diakses tanggal 2018-09-27. 
  8. ^ "CS 3650: Computer Systems, Fall 2014". Diakses tanggal 2014-12-09. 
  9. ^ "CS422/522: Operating Systems, Spring 2010 — Overview". Diakses tanggal 2010-02-05. 
  10. ^ "CS 1550 Introduction to Operating Systems (COE 1550) -Fall 2020". people.cs.pitt.edu. Diakses tanggal 2020-09-28. 
  11. ^ "COMS W4118: Operating Systems I, Fall 2013". Diakses tanggal 2013-09-09. 
  12. ^ "Operating Systems – 2012/Spring – Main". Diakses tanggal 2012-03-26. 
  13. ^ "600.318/418: Operating Systems". Diarsipkan dari versi asli tanggal 2015-11-04. Diakses tanggal 2015-11-07. 
  14. ^ "CS 333 Introduction to Operating Systems". Diakses tanggal 2018-04-10. [pranala nonaktif permanen]
  15. ^ "FrontPage – OS Teaching Wiki". Diarsipkan dari versi asli tanggal 2012-03-04. Diakses tanggal 2010-03-18. 
  16. ^ "School of Computing at Southern Adventist University". Diakses tanggal 2017-12-10. [pranala nonaktif permanen]
  17. ^ "CS-537: Introduction to Operating Systems". Diakses tanggal 2011-11-04. 
  18. ^ "CS 6460: Operating Systems". Diakses tanggal 2014-01-20. 
  19. ^ "Embedded in Academia : Xv6". Diakses tanggal 2014-04-08. 
  20. ^ "CS 202: Advanced Operating System". Diakses tanggal 2017-12-02. 
  21. ^ "General Information — CS-3210, Fall 2017 1 documentation". cs3210.cc.gatech.edu. Diakses tanggal 2019-06-21. 
  22. ^ "Lecture Notes on Operating Systems". www.cse.iitb.ac.in. Diakses tanggal 2020-09-28. 
  23. ^ "1DV201: Operating system". Diakses tanggal 2013-03-14. 
  24. ^ "COSC440: Advanced Operating system". Diakses tanggal 2015-07-14. 
  25. ^ "SistOp14: Operating Systems". Diakses tanggal 2015-08-06. 
  26. ^ "Operating Systems". Diakses tanggal 2015-08-06. [pranala nonaktif permanen]
  27. ^ "Sistemi Operativi". Diakses tanggal 2015-10-18. 
  28. ^ "CS385 – Operating Systems Concepts and Design". Diakses tanggal 2015-03-18. 
  29. ^ "01:198:416: Operating Systems Design". Diarsipkan dari versi asli tanggal 2012-09-11. Diakses tanggal 2010-02-05. 
  30. ^ "Progettazione di Sistemi Operativi". Diakses tanggal 2017-10-09. 
  31. ^ "iust os". os-course.github.io. Diakses tanggal 2020-11-14. 
  32. ^ "Operating Systems instructed by Dr. Mehdi Kargahi". [pranala nonaktif permanen]
  33. ^ "Operačné systémy". UIM. Diakses tanggal 2019-10-28. 
  34. ^ "DCC605: Sistemas Operacionais". Diakses tanggal 2015-11-16. 
  35. ^ "094210 Computer Organization and Operating System, Spring 2020". Diakses tanggal 2020-05-14. 

Pranala luarSunting

x86 (tidak dikembangkan):

RISC-V: