Come funziona un microkernel?

Area di discussione libera.

Moderatore: Staff

Regole del forum
1) Rispettare le idee altrui.
2) Evitare le offese dirette.
3) Leggere attentamente le risposte ricevute
4) Scrivere i messaggi con il colore di default, evitare altri colori.
5) Scrivere in Italiano o in Inglese, se possibile grammaticalmente corretto, evitate stili di scrittura poco chiari, quindi nessuna abbreviazione tipo telegramma o scrittura stile SMS o CHAT.
6) Appena registrati è consigliato presentarsi nel forum dedicato.

La non osservanza delle regole porta a provvedimenti di vari tipo da parte dello staff, in particolare la non osservanza della regola 5 porta alla cancellazione del post e alla segnalazione dell'utente. In caso di recidività l'utente rischia il ban temporaneo.
Rispondi
Avatar utente
Raistlin84
Linux 3.x
Linux 3.x
Messaggi: 542
Iscritto il: lun 28 mar 2005, 0:00
Località: Pistoia

Come funziona un microkernel?

Messaggio da Raistlin84 »

Ciao,allora leggendo qua e là, ho trovato varie cose sui microkernel,ma nonostante tutto non ho ben capito nella pratica che vantaggi comportano e che difetti hanno.
La mia è pura curiosità,ho letto di Hurd e L4,mi piacerbbe capire come funzionano,le differenze tra un kernel monolitico,i vantaggi,svantaggi.E poi se per puro divertimento potrei far girare un microkernel sul mio pc.

Avatar utente
masalapianta
Iper Master
Iper Master
Messaggi: 2775
Iscritto il: lun 25 lug 2005, 0:00
Nome Cognome: famoso porco
Kernel: uname -r
Desktop: awesome
Distribuzione: Debian
Località: Roma
Contatta:

Re: Come funziona un microkernel?

Messaggio da masalapianta »

Raistlin84 ha scritto:Ciao,allora leggendo qua e là, ho trovato varie cose sui microkernel,ma nonostante tutto non ho ben capito nella pratica che vantaggi comportano e che difetti hanno.
La mia è pura curiosità,ho letto di Hurd e L4,mi piacerbbe capire come funzionano,le differenze tra un kernel monolitico,i vantaggi,svantaggi.E poi se per puro divertimento potrei far girare un microkernel sul mio pc.
in due parole:
i microkernel son kernel ridotti all'osso (a ring 0 gira lo scheduler e poco altro) che demandano il resto delle funzioni a processi in user land; di contro i kernel monolitici e monolitici modulari girano completamente in kernel land; i primi hanno il vantaggio di essere piu' stabili (meno roba gira in kernel land e meno pericolo c'e' che il sistema vada a donne allegre) ma lo svantaggio di essere meno performanti (ovviamente se una funzione la implemento in user land avro' un overhead che non avrei se la implementassi in kernel land), i monolitici e i monolitici modulari l'esatto contrario.

Avatar utente
Paoletta
Staff
Staff
Messaggi: 3974
Iscritto il: lun 25 apr 2005, 0:00
Slackware: 14.2 - 64 bit
Desktop: fluxbox
Località: Varese

Messaggio da Paoletta »

anche questo ti potrebbe interessare:
La controversia fra Linus Torvalds e Andrew Tanenbaum riguarda principalmente che il prof era sostenitore dei microkernel e Linus no;

http://www.oreilly.com/catalog/opensour ... /appa.html

Avatar utente
Raistlin84
Linux 3.x
Linux 3.x
Messaggi: 542
Iscritto il: lun 28 mar 2005, 0:00
Località: Pistoia

Messaggio da Raistlin84 »

Si,l'avevo letta!E ci mancherebbe! :D
Comunque grazie davvero.
In pratica al momento non c'è nessun motivo per cui utilizzare un microkernel.

Avatar utente
masalapianta
Iper Master
Iper Master
Messaggi: 2775
Iscritto il: lun 25 lug 2005, 0:00
Nome Cognome: famoso porco
Kernel: uname -r
Desktop: awesome
Distribuzione: Debian
Località: Roma
Contatta:

Messaggio da masalapianta »

Raistlin84 ha scritto:Si,l'avevo letta!E ci mancherebbe! :D
Comunque grazie davvero.
In pratica al momento non c'è nessun motivo per cui utilizzare un microkernel.
quale parte di "i primi hanno il vantaggio di essere piu' stabili (meno roba gira in kernel land e meno pericolo c'e' che il sistema vada a donne allegre)" non hai capito?

Avatar utente
Raistlin84
Linux 3.x
Linux 3.x
Messaggi: 542
Iscritto il: lun 28 mar 2005, 0:00
Località: Pistoia

Messaggio da Raistlin84 »

Beh,non e' che non ho capito.Vedendo che Linux, almeno a mio avviso, sembra stabilissimo,non vedo perchè non si possa puntare alle prestazioni.
Forse sbaglio,ma un kernel monolitico sviluppato veramente bene dovrebbe risultare di grande stabilità,quindi si può tranquillamente usare esaltando le prestazioni.Ma soprattutto al momento da quanto ho trovato in giro,non mi sembrano esserci microkernel open source abbastanza maturi,anzi sono abbastanza instabili.

Avatar utente
masalapianta
Iper Master
Iper Master
Messaggi: 2775
Iscritto il: lun 25 lug 2005, 0:00
Nome Cognome: famoso porco
Kernel: uname -r
Desktop: awesome
Distribuzione: Debian
Località: Roma
Contatta:

Messaggio da masalapianta »

Raistlin84 ha scritto:Beh,non e' che non ho capito.Vedendo che Linux, almeno a mio avviso, sembra stabilissimo,
dipende cosa ci devi fare, "stabilissimo" assume valori diversi a seconda dell'uso che ne fai; "stabilissimo" per uso desktop e' ben poca cosa rispetto a "stabilissimo" per pilotare macchine a controllo numerico (per usi di questo tipo si usano ancora perlopiu' kernel della serie 2.2)
non vedo perchè non si possa puntare alle prestazioni.
ripeto: dipende che ci devi fare
Forse sbaglio,ma un kernel monolitico sviluppato veramente bene
non esiste e non esistera' mai software sviluppato "veramente bene"
Ma soprattutto al momento da quanto ho trovato in giro,non mi sembrano esserci microkernel open source abbastanza maturi,anzi sono abbastanza instabili.
vero, ma io ti ho fatto un discorso semplificato al massimo, ma i vantaggi di un microkernel non si riducono alla maggiore stabilita' (a parita' di pulizia del codice), un microkernel ad esempio offre discreti vantaggi anche nella scalabilita' su architetture smp molto spinte, permette di avere un'architettura di sistema intrinsecamente piu' sicura, ecc..

Avatar utente
absinthe
Iper Master
Iper Master
Messaggi: 2354
Iscritto il: dom 15 mag 2005, 0:00
Nome Cognome: Matteo Nunziati
Slackware: 12.1 - defunct
Kernel: 2.6.32-5-amd64
Desktop: gnome
Distribuzione: debian squeeze
Località: Prato
Contatta:

Messaggio da absinthe »

masalapianta ha scritto:
Raistlin84 ha scritto:Beh,non e' che non ho capito.Vedendo che Linux, almeno a mio avviso, sembra stabilissimo,
dipende cosa ci devi fare, "stabilissimo" assume valori diversi a seconda dell'uso che ne fai; "stabilissimo" per uso desktop e' ben poca cosa rispetto a "stabilissimo" per pilotare macchine a controllo numerico (per usi di questo tipo si usano ancora perlopiu' kernel della serie 2.2)
non vedo perchè non si possa puntare alle prestazioni.
ripeto: dipende che ci devi fare
Forse sbaglio,ma un kernel monolitico sviluppato veramente bene
non esiste e non esistera' mai software sviluppato "veramente bene"
Ma soprattutto al momento da quanto ho trovato in giro,non mi sembrano esserci microkernel open source abbastanza maturi,anzi sono abbastanza instabili.
vero, ma io ti ho fatto un discorso semplificato al massimo, ma i vantaggi di un microkernel non si riducono alla maggiore stabilita' (a parita' di pulizia del codice), un microkernel ad esempio offre discreti vantaggi anche nella scalabilita' su architetture smp molto spinte, permette di avere un'architettura di sistema intrinsecamente piu' sicura, ecc..
orpolà uno che mi ha illuminato la via!
non esisterebbe mica un libro o un bel documento su internet x questa roba? cioè qualcosa di + dettagliato seppur qualitativo (non ho tempo di partire da zero e imparare tutti i concetti "quantitativi" necessari per la creazione di un kernel)

tnx.
M.

Avatar utente
Paoletta
Staff
Staff
Messaggi: 3974
Iscritto il: lun 25 apr 2005, 0:00
Slackware: 14.2 - 64 bit
Desktop: fluxbox
Località: Varese

Messaggio da Paoletta »

c' è un libro di nome "modern operating systems" di Tanenbaum, che è molto interessante;
però dello stesso autore c'è anche "sistemi operativi:progetto e implementazione" che contiene tutto il codice di Minix,uno dei 2 S.O. creati da Tanenbaum e di cui esiste la traduzione in italiano; in quest'ultimo libro ci sono teoria e pratica;

costa un pò,ma se lo compri da amazon risparmi;

Avatar utente
Paoletta
Staff
Staff
Messaggi: 3974
Iscritto il: lun 25 apr 2005, 0:00
Slackware: 14.2 - 64 bit
Desktop: fluxbox
Località: Varese

Messaggio da Paoletta »

scusa,ma invece è:
Sistemi Operativi Disegno e Implementazione

oltretutto cercandolo on line credo che la versione in italiano non sia più disponibile,quindi c'è solo quella in inglese:

Operating Systems Design and Implementation.

Avatar utente
Raistlin84
Linux 3.x
Linux 3.x
Messaggi: 542
Iscritto il: lun 28 mar 2005, 0:00
Località: Pistoia

Messaggio da Raistlin84 »

Grazie davvero a tutti allora.Mi avete fatto un po' di chiarezza e limato un po' di niubbaggine :D .
Guarderò se trovo una versione pdf del libro.
THX!

Avatar utente
absinthe
Iper Master
Iper Master
Messaggi: 2354
Iscritto il: dom 15 mag 2005, 0:00
Nome Cognome: Matteo Nunziati
Slackware: 12.1 - defunct
Kernel: 2.6.32-5-amd64
Desktop: gnome
Distribuzione: debian squeeze
Località: Prato
Contatta:

Messaggio da absinthe »

Paoletta ha scritto:scusa,ma invece è:
Sistemi Operativi Disegno e Implementazione

oltretutto cercandolo on line credo che la versione in italiano non sia più disponibile,quindi c'è solo quella in inglese:

Operating Systems Design and Implementation.
stai a vedere che lo compro davvero... sai ho 1 settimana di ferie ad agosto :)

grazie,
M.

Rispondi