Software-update: Minix 3.3.0

Minix is een besturingssysteem dat is bedacht door Andrew Tanenbaum, hoogleraar informatica aan de Vrije Universiteit in Amsterdam. Ooit diende het als inspiratiebron voor Linus Torvalds' geesteskind Linux. Versies 1.x en 2.x van Minix waren vooral bedoeld als studiemateriaal, maar sinds versie 3.x is het de bedoeling een besturingssysteem aan te bieden voor productieomgevingen waarin het gebruik van resources beperkt moet blijven en waarin betrouwbaarheid belangrijk is, zoals de BeagleBoards en embeded systems in het algemeen. Alle drivers en applicaties werken in user-modus. Hierdoor kan een drivercrash normaal gesproken niet tot gevolg hebben dat het hele systeem wordt platgelegd. Versie 3.3.0 van Minix is uitgekomen en de belangrijkste veranderingen die daarin zijn aangebracht, zijn hieronder op een rijtje gezet.

The new version, MINIX 3.3.0, has a number of key features:

• The system is based on a tiny (12,700 lines of code) microkernel
• The microkernel handles interrupts and message passing and is the only code running in kernel mode.
• The rest of the operating system runs as a collection of isolated, protected, user-mode processes
• Each device driver is a separate user-mode process isolated by the MMU hardware
• If a driver crashes, the system automatically restarts it, with running applications not even noticing
• This means that MINIX 3.3.0 is self-healing
• Userland is largely compatible with NetBSD and runs thousands of NetBSD packages
• By combining an innovative self-healing research OS with NetBSD userland, we got the best of both worlds
• Both the clang/LLVM and gcc compilers are available, as well as perl, python, etc.
• MINIX 3.3.0 is available for both the x86 and ARM Cortex A8 architectures, making it ideal for embedded systems
• Tools for cross compiling MINIX 3 for the ARM on Linux are provided
• Ports are available now for the BeagleBoard XM, BeagleBone white, and BeagleBone black
• Extensive documentation is available in the MINIX 3 wiki
• The code has been improved over MINIX 3.2.1 in hundreds of ways, leading to a cleaner and more reliable system
• Other features are listed here.

Versienummer	3.3.0
Releasestatus	Final
Besturingssystemen	UNIX
Website	Minix
Download	http://bit.ly/minix330
Bestandsgrootte	287,60MB
Licentietype	Voorwaarden (GNU/BSD/etc.)

Reacties (13)

[P_Tingen]

Uit de tekst:

Zo wordt met het oog veiligheid benadrukt dat er minder dan vierduizend regels code in kernel-modus draaien

En uit de lijst met key features:

The system is based on a tiny (12,700 lines of code) microkernel

Bijt dit elkaar of snap ik het niet?

[sebvieira]

Ter vergelijking; de Linux kernel bestaat uit meer dan 15 miljoen regels code. Een kernel van iets minder dan 13k is dan inderdaad wat ze noemen 'tiny'

Bron (uit 2012, dus waarschijnlijk nu al veel meer) : http://royal.pingdom.com/.../04/linux-kernel.0011.jpg

[Reactie gewijzigd door sebvieira op 25 juli 2024 07:42]

[Jogai]

En zowieso klopt die zin ook taalkundig niet.

[Noxious Inc.]

<taalkunde>
Zowieso = Sowieso
</taalkunde>

@P_Tingen; ogenschijnlijk is de tekst al aangepast.
Het kan zijn dat men twee verschillende processen bedoeld maar dit niet zozeer gespecificeerd heeft in het verhaal, in verband met de complexiteit van de coding...

[BartDG]

Je bent niet de enige. Ik dacht net hetzelfde toen ik het las.

[ReneX]

12700 regels code in de microkernel waarvan er minder dan 4000 in kernel-modus draaien (weet niet of dat zo is, maar zo las ik het). De rest draait dus in user-mode.

[beerse]

Er zit een klein verschil tussen 'kernel' en 'micro-kernel'. Voor zover ik het ooit heb begrepen is het een getrapt systeem. Eerst de micro-kernel met de essentiële drivers voor essentiële hardware (cpu, geheugen en omstreken). Daar omheen de praktische kernel met de drivers voor de rest van de hardware en dergelijke.

Maar dan, 4000 voor de kernel en 12700 voor de micro kernel... Corrigeer mij als ik het mis heb, maar de kernel met 4000 regels kan modules laden voor drivers en de 12700 is niet uitbreidbaar.

[Jermak]

iets voor op een raspberry,

[RoestVrijStaal]

Helaas is er (nog) geen port voor de RaspBerry Pi, wel voor de BeagleBoards.

Zie http://wiki.minix3.org/DevelopersGuide/MinixOnARM en http://www.minix3.org/download/index.html

[WimTenBrink]

Ah, Minix... Dat brengt weer oude herinneringen naar boven. Ik heb er in een ver verleden wel mee gewerkt. In die tijd bestond Duitsland nog uit twee delen en was Berlijn nog verdeeld door een muur. En de USSR was toen nog steeds onze "vijand" in de koude oorlog. Toch mooi om te zien dat zo'n stukje antiek vandaag de dag nog steeds wordt gebruikt... :-)

[beerse]

Uit de tijd dat een SunOS of HP-UX workstation gigantische performance had, bijgestaan door een verwarmend energie verbruik. Nu ruimschoots ingehaald door RaspberryPi en consorten.

Minix draaide ik ooit van floppies op een xt-pc. Toch eens zien of het op een RaspberryPi aan de praat te krijgen is.

[Harry_Sack]

ouderwets spartaans. Net nu ik mijn Sco OpenServer 1.0 cd terugvond

[beerse]

mmm... Zijn de passwords nog steeds 'geheim' en 'wachtwoord'? Dat was het in de versies die ik ooit gebruikt heb wel.