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. Det er skrevet af Andrew S. Tanenbaum og blev brugt som eksempler i hans bog: Operating Systems: Design and Implementation fra 1987. Bogen blev senere brugt af Linus Torvalds som inspiration, da han skrev den første linuxkerne.
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 -, 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."[1]
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.[2]
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.[3][4] Det blev opdaget af det russiske selskab Positive Technologies (Dmitry Sklyarov), at Intel ME firmware version 11 anvender Minix 3.[5][6][7]
Se også[redigér | rediger kildetekst]
Referencer[redigér | rediger kildetekst]
- ^ 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. |
|