L’European Research Council ha sovvenzionato l’Universit\u00e0 olandese Vrije Universiteit per il proseguimento degli studi su Minix, un sistema operativo sicuro; la somma stanziata \u00e8 di 2,5 milioni di euro e la ricerca sar\u00e0 guidata da Andrew S. Tanenbaum, in collaborazione con altri tre ricercatori e due programmatori.<\/p>\n
Il sistema sar\u00e0 UNIX-like e dovr\u00e0 essere intrinsecamente pi\u00f9 stabile e pi\u00f9 sicuro (come gi\u00e0 lo \u00e8) degli attuali Windows e Linux. Tanenbaum ha un’esperienza pi\u00f9 che trentennale nel campo dell’informatica e i suoi libri sono spesso usati come testi di riferimento; \u00e8 famoso anche come autore di MINIX, i cui concetti hanno avuto molta influenza su Linus Torvalds (l’ideatore di Linux) anche se in seguito per Linux \u00e8 stato adottato un diverso approccio.<\/p>\n
Questi due personaggi hanno dato vita a un lungo dibattito ed hanno assunto toni anche molto accesi, sulle architetture di kernel monolitico o microkernel. Naturalmente, nella sua proposta di progetto, Tanenbaum sostiene la seconda alternativa come lo dimostra anche il suo ultimo nato Minix 3. Esso, come anche per i predecessori Minix, fa ben sperare in quanto \u00e8 uno dei pi\u00f9 stabili (insieme a BSD) e snelli sistemi operativi circolanti al momento.
\nIn sostanza Tanenbaum ritiene che l’inaffidabilit\u00e0 e l’insicurezza derivino principalmente dai device driver perch\u00e9 essi girano con gli stessi privilegi del kernel.
\nIl software (i driver) scritti da persone diverse infatti, con competenze diverse e che tuttavia possono accedere in maniera indiscriminata all’I\/O e alle risorse critiche, \u00e8 il primo responsabile dei crash di sistema.
\nSecondo alcuni studi esisterebbe addirittura un numero di bachi (imprecisioni o errori nel codice) compreso fra 1 e 20 ogni 1000 linee di codice scritto.
\nInoltre nel software, sempre secondo Tanenbaum, il punto cruciale \u00e8 il Principle Of Least Authority (POLA), cio\u00e8 i componenti devono essere suddivisi in modo che un baco in un componente non si propaghi in tutti gli altri, un principio questo, palesemente violato dai pi\u00f9 comuni sistemi operativi in circolazione.<\/p>\n
Ma cosa \u00e8 in realt\u00e0 MINIX 3?
\nMINIX 3 \u00e8 un progetto nato per creare un sistema operativo nuovo, altamente affidabile, e in grado di correggersi da solo. L’idea alla sua base \u00e8 di creare un sistema fatto di piccoli moduli con interfacce ben definite per far s\u00ec che il sistema controlli continuamente il proprio comportamento, in modo che se un modulo non funziona correttamente, il sistema pu\u00f2 agire automaticamente, per esempio facendo ripartire solamente il modulo che \u00e8 andato in errore.
\nE’ un sistema operativo open source progettato per essere flessibile e sicuro. E’ basato su vecchie versioni di MINIX, ma ne \u00e8 differente in molti punti. MINIX 1 e 2 erano visti principlamente come strumenti didattici; MINIX 3 raggiunge ottimi risultati di usabilit\u00e0 anche su sistemi a scarse prestazioni o su macchine per applicazioni che richiedono alta affidabilit\u00e0.
\nQuesto sistema operativo \u00e8 estremamente piccolo e la parte che gira in “kernel mode” conta meno di 4000 linee di codice eseguibile. Le parte che girano in “user mode” sono divise in piccoli moduli ben isolati tra loro. Nello specifico, ciascuna periferica gira come un processo a parte e a s\u00e9 stante, cos\u00ec che un bug di un driver, non potr\u00e0 mai tirare gi\u00f9 l’intero sistema operativo.
\nTutte queste ottime caratteristiche, la piccola quantit\u00e0 di codice del kernel e gli altri aspetti citati, migliorano enormemente l’affidabilit\u00e0 dell’intero sistema.<\/p>\n
MINIX 3 \u00e8 principalmente rivolto a:<\/p>\n
* Applicazioni dove \u00e8 richiesta Alta Affidabilita
\n * Sistemi con singola CPU, small-RAM, poca potenza, e laptops per i bambini del terzo mondo
\n * Sistemi Embedded (camera, DVD recorders, telefoni)
\n * Applicazioni dove la GPL \u00e8 troppo ristrettiva(MINIX 3 usa una licenza tipo BSD)
\n * Education (e.g., operating systems courses at universities)<\/p>\n
MINIX versione 3.1 viene distribuito con un CD-ROM incluso con il libro Operating Systems Design and Implementation, 3\/e di Andrew S. Tanenbaum e Albert S. Woodhull. Le nuove versioni sono disponibili gratuitamente alla pagina di download di MINIX 3.<\/p>\n
Questi sono i fatti, non rimane che attendere la nuova creatura e sperare che il futuro prossimo si infestato da sistemi operativi fatti con arte, affidabili e gratuiti; finalmente immuni dai problemi a cui siamo abituati fino ad oggi a convivere. Un saluto.<\/p>\n
tratto da programmazione.it<\/p>\n","protected":false},"excerpt":{"rendered":"
L’European Research Council ha sovvenzionato l’Universit\u00e0 olandese Vrije Universiteit per il proseguimento degli studi su Minix, un sistema operativo sicuro; la somma stanziata \u00e8 di 2,5 milioni di euro e la ricerca sar\u00e0 guidata da Andrew S. Tanenbaum, in collaborazione con altri tre ricercatori e due programmatori.<\/p>\n","protected":false},"author":10,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"cybocfi_hide_featured_image":"","footnotes":""},"categories":[186],"tags":[6344,6342,6343],"class_list":["post-2011","post","type-post","status-publish","format-standard","hentry","category-opensource","tag-europa","tag-sistema-operativo","tag-stabile"],"yoast_head":"\n