Minix
| MINIX | |
|---|---|
| Del af Unix-lignende-familien | |
 MINIX 3.1.2a | |
| Udvikler | Andrew S. Tanenbaum |
| Seneste udgave | 3.3 (15. september 2014) |
| Brugergrænseflade | Kommandolinje-interface |
| Kernetype | Mikrokerne |
| Kildekodetilgængelighed | Open source |
| Licens | BSD-licensen |
| Websted | Hjemmeside |
MINIX er et frit og open source styresystem, som bygger på mikrokerne-arkitekturen. Minix er skrevet af Andrew S. Tanenbaum.
Minix blev brugt som eksempler i hans bog: Operating Systems: Design and Implementation fra 1987.[1] Bogen blev senere brugt af Linus Torvalds som inspiration, da han skrev den første linux-kerne. Senere bogudgaver skrevet af flere forfattere om Minix er blevet udgivet: Operating Systems Design and Implementation 3rd Edition, 2006[2] og Modern Operating Systems, Global Edition, 5. udgave 2023.[3]
Minix 3
[redigér | rediger kildetekst]
Minix 3 blev offentligt annonceret den 24. oktober 2005 af Tanenbaum under hans keynote-tale ved Association for Computing Machinery (ACM) Symposium on Operating Systems Principles (SOSP). Selvom Minix 3 stadig anvendes som et undervisningseksempel i den tredje udgave af Tanenbaum's bog fra 2006 - samskrevet med Albert S. Woodhull[2] -, er Minix 3 et stort redesign med formålet at være - citat: "usable as a serious system on resource-limited and embedded computers and for applications requiring high reliability."[4]
Minix 3 understøtter IA-32 (Intel Architecture, 32-bit; i386) og ARM-arkitektur systemer - og understøtter POSIX, hvilket gør at mange Linux-kompatible programmer kan porteres til Minix 3. Kernens C-kildekode i Minix 3.3 fylder kun 4000 linjer.[5]
Minix 3 understøtter mange programmeringssprog, inklusiv C, C++, FORTRAN, Modula-2, Pascal, Perl, Python og Tcl.
Alle Intel chipsets post-2015 kører internt MINIX 3 som software/firmware i Intel Management Engine.[6][7] Det blev opdaget af det russiske selskab Positive Technologies (Dmitry Sklyarov), at Intel ME firmware version 11 anvender Minix 3.[8][9][10]
Se også
[redigér | rediger kildetekst]Referencer
[redigér | rediger kildetekst]- ^ Operating Systems: Design and Implementation, Andrew Tanenbaum, 1987. Bl.a. ISBN 9780136374060
- ^ a b Operating Systems Design and Implementation 3rd Edition, Andrew Tanenbaum og Albert S. Woodhull, 2006. Bl.a. ISBN 9780131429383
- ^ Modern Operating Systems, Global Edition, Andrew Tanenbaum og Herbert Bos, 5. udgave 2023. Bl.a. ISBN 9781292459660
- ^ Herder, J. N.; Bos, H.; Gras, B.; Homburg, P.; Tanenbaum, A. S. (2006). "Minix 3". ACM SIGOPS Operating Systems Review. 40 (3): 80. doi:10.1145/1151374.1151391. S2CID 30216714.
- ^ wiki.minix3.org: reliability Citat: "...In contrast, MINIX 3 has about 4000 lines of executable kernel code. We believe this code can eventually be made fairly close to bug free...", backup
- ^ "Positive Technologies research". blog.ptsecurity.com. Arkiveret fra originalen 28. august 2017. Hentet 2017-09-06.
- ^ Minix: Intel's hidden in-chip operating system
- ^ "Positive Technologies Blog: Disabling Intel ME 11 via undocumented mode". Arkiveret fra originalen 28. august 2017. Hentet 2017-08-30.
- ^ Intel ME: The Way of the Static Analysis, Troopers 2017
- ^ Positive Technologies Blog:The Way of the Static Analysis
 | Spire Denne artikel relateret til styresystemer er en spire som bør udbygges. Du er velkommen til at hjælpe Wikipedia ved at udvide den. |