Programmazione kernel

[D4rkAng3l]

Originariamente inviato da cdimauro

E' un ragionamento insensato. Impara prima come funziona un kernel e, quindi, scegli la soluzione più semplice e/o più didattica.

POI, se sei masochista autolesionista, puoi sempre farti del male cercando di capire come funziona Linux.

No, AmigaOS funziona come un microkernel, quindi i vari filesystem funzionano in user space.

Sono pochissimi i servizi di AmigaOS che funzionano in kernel space. Pensa che persino le API per l'allocazione di memoria girano in user space.

Il suo ragionamento è proprio folle secondo me...nel senso che è opposto al buon senso...da quello che sò non esiste NESSUNO che si va a leggere il codice del kernel così a buffo ma:

1) Si parte da conoscienze generiche circa la struttura di un sistema operativo e di tutte le strategie che possono essere implementate (a grandi linee perchè una stessa cosa la puoi implementare in un milione di moti diversi).

2) Avendo le conoscienze del punto 1 qualora ti serve di mettere mano ad un determinato pezzo ti leggi la documentazione di quel pezzo

3) Metti le mani su quel pezzo e visto che è modulare sai cosa ha in input, come si comporta e cosa risponde e te ne sbatti del resto

Altrimeno è impossibile...ma è anche impossibile che un pischelletto senza ne arte ne parte possa mettere mano a cose che mandano in crisi uno studente della specialistica (senza offesa ma da quello che si evince circa la sua età, le sue effettive conoscienze in fatto di programmazione\informatica in generale e da quello che ha scritto nel primo post sicuramente è tutto fuorchè un gurù)

Ribadisco...evita questa via che è la via sbagliata...è quella che porta a diventare uno dei tanti sfigati che si credono Dio e poi mollano al primo anno di università...

Scusa per la durezza ma secondo me, visto che ho qualche anno più di te e che un po' di cose ne ho viste (non tante ma un po' si) credo sia meglio dire le cose come stanno e credo che anche gli altri utenti più avanzati di me glielo dovrebbero spiegare...cioè alla fine uno che ti dice: a me non interessa leggere libri teorici voglio solo mettere le mani al codice...cioè diciamoglielo che non funziona proprio così...

[_Claudio]

Originariamente inviato da cdimauro

No, AmigaOS funziona come un microkernel, quindi i vari filesystem funzionano in user space.

Sono pochissimi i servizi di AmigaOS che funzionano in kernel space. Pensa che persino le API per l'allocazione di memoria girano in user space.

Esatto, io non so come funziona AmigaOS, volevo solo illustrare cosa erano i servizi o server all'interno del kernel... a grandissime linee, ma AmigaOS non li implementa nemmeno lontanamente.

So che c'è una disputa sul fatto che Windows che realizza un kernel ibrido incorporando molti di questi servizi seppure sia nato con una struttura microkernel molti (compreso me) lo considerano ormai un kernel monolitico molto avanzato, perchè con la sua evoluzione ha snaturato persino il concetto di kernel ibrido, mentre linux sta tramutando verso una struttura microkernel... a volte il mondo è strano...

Però per gli "esperti" è solo una stupida questione di definizioni a mio avviso, prima di tutto ogni SO ha il suo funzionamento.

[cdimauro]

Originariamente inviato da D4rkAng3l

Il suo ragionamento è proprio folle secondo me...nel senso che è opposto al buon senso...da quello che sò non esiste NESSUNO che si va a leggere il codice del kernel così a buffo ma:

1) Si parte da conoscienze generiche circa la struttura di un sistema operativo e di tutte le strategie che possono essere implementate (a grandi linee perchè una stessa cosa la puoi implementare in un milione di moti diversi).

2) Avendo le conoscienze del punto 1 qualora ti serve di mettere mano ad un determinato pezzo ti leggi la documentazione di quel pezzo

3) Metti le mani su quel pezzo e visto che è modulare sai cosa ha in input, come si comporta e cosa risponde e te ne sbatti del resto

Altrimeno è impossibile...ma è anche impossibile che un pischelletto senza ne arte ne parte possa mettere mano a cose che mandano in crisi uno studente della specialistica (senza offesa ma da quello che si evince circa la sua età, le sue effettive conoscienze in fatto di programmazione\informatica in generale e da quello che ha scritto nel primo post sicuramente è tutto fuorchè un gurù)

Ribadisco...evita questa via che è la via sbagliata...è quella che porta a diventare uno dei tanti sfigati che si credono Dio e poi mollano al primo anno di università...

Scusa per la durezza ma secondo me, visto che ho qualche anno più di te e che un po' di cose ne ho viste (non tante ma un po' si) credo sia meglio dire le cose come stanno e credo che anche gli altri utenti più avanzati di me glielo dovrebbero spiegare...cioè alla fine uno che ti dice: a me non interessa leggere libri teorici voglio solo mettere le mani al codice...cioè diciamoglielo che non funziona proprio così...

Anche se ho cercato di essere un po' più "soft" , non posso che condividere il tuo pensiero.

Originariamente inviato da _Claudio

Esatto, io non so come funziona AmigaOS, volevo solo illustrare cosa erano i servizi o server all'interno del kernel... a grandissime linee, ma AmigaOS non li implementa nemmeno lontanamente.

Il kernel è proprio ridotto all'osso. A parte il bootstrap, lo scheduler e il gestore degli interrupt, credo che tutto il resto funzioni in user space.

So che c'è una disputa sul fatto che Windows che realizza un kernel ibrido incorporando molti di questi servizi seppure sia nato con una struttura microkernel molti (compreso me) lo considerano ormai un kernel monolitico molto avanzato, perchè con la sua evoluzione ha snaturato persino il concetto di kernel ibrido, mentre linux sta tramutando verso una struttura microkernel... a volte il mondo è strano...

Però per gli "esperti" è solo una stupida questione di definizioni a mio avviso, prima di tutto ogni SO ha il suo funzionamento.

Windows rimane un kernel ibrido nella misura in cui sposta la maggior parte dei servizi in user space. Come avviene, appunto.

Tra l'altro con Vista buona parte del codice di gestione di driver video et similia è tornato in user space.

Su Linux non sono molto informato, ma mi sembra che la direzione rimanga sempre quella del kernel monolitico. Il fatto che possa caricare dinamicamente dei moduli non lo rende di certo un kernel ibrido, visto che girano comunque in kernel space.

[_Claudio]

Originariamente inviato da cdimauro

Il kernel è proprio ridotto all'osso. A parte il bootstrap, lo scheduler e il gestore degli interrupt, credo che tutto il resto funzioni in user space.

Windows rimane un kernel ibrido nella misura in cui sposta la maggior parte dei servizi in user space. Come avviene, appunto.

Tra l'altro con Vista buona parte del codice di gestione di driver video et similia è tornato in user space.

Su Linux non sono molto informato, ma mi sembra che la direzione rimanga sempre quella del kernel monolitico. Il fatto che possa caricare dinamicamente dei moduli non lo rende di certo un kernel ibrido, visto che girano comunque in kernel space.

Certo, perchè i driver sono diventati punto caldo e terreno di battaglia così si cerca di rendere il sistema sempre più indipendente, Windows fa un uso molto massiccio dei servizi... per questo spesso non si capisce che forma abbia.

So che qualche anno fa avevano deciso di far migrare linux verso una struttura microkernel... ma non so poi cosa abbiano fatto concretamente.
So che hanno migliorato l'installazione dei driver (appunto, guerreggiando con Windows) e spostato alcune cose in user mode... ma poi non sono particolarmente attratto da linux (lo detesto proprio) e uso sempre e solo win quindi non so dire molto di più.

[M4rk191]

Non ho scritto di voler studiare un kernel. Ho scritto che se devo studiare un kernel tanto vale studiarlo monolitico. Lo ripeto per l'ultima volta, magari qualcuno mi capisce. Ho intenzione di studiare gestione dei processi o gestore di memoria di un kernel *NIX Linux, XNU, non interessa l'importante è che sia UNIX o *NIX. La discussione è pressoché conclusa, ho postato rispondendo ai pochi messaggi IT del 3d.

Inoltra c'è da considerare che magari, e dico magari, chi ha postato qui non è veramente interessato al corso di laurea che segue e pertanto trova difficile e impensabile analizzare il codice sorgente di parte del kernel, mentre una qualunque persona con conoscenze di C con più interesse e voglia di fare non la vede come un'impresa disperata.

[_Claudio]

Originariamente inviato da M4rk191

Non ho scritto di voler studiare un kernel. Ho scritto che se devo studiare un kernel tanto vale studiarlo monolitico. Lo ripeto per l'ultima volta, magari qualcuno mi capisce. Ho intenzione di studiare gestione dei processi o gestore di memoria di un kernel *NIX Linux, XNU, non interessa l'importante è che sia UNIX o *NIX. La discussione è pressoché conclusa, ho postato rispondendo ai pochi messaggi IT del 3d.

Inoltra c'è da considerare che magari, e dico magari, chi ha postato qui non è veramente interessato al corso di laurea che segue e pertanto trova difficile e impensabile analizzare il codice sorgente di parte del kernel, mentre una qualunque persona con conoscenze di C con più interesse e voglia di fare non la vede come un'impresa disperata.

Che dire... contento tu... buon lavoro...

[D4rkAng3l]

Originariamente inviato da M4rk191

Non ho scritto di voler studiare un kernel. Ho scritto che se devo studiare un kernel tanto vale studiarlo monolitico. Lo ripeto per l'ultima volta, magari qualcuno mi capisce. Ho intenzione di studiare gestione dei processi o gestore di memoria di un kernel *NIX Linux, XNU, non interessa l'importante è che sia UNIX o *NIX. La discussione è pressoché conclusa, ho postato rispondendo ai pochi messaggi IT del 3d.

Inoltra c'è da considerare che magari, e dico magari, chi ha postato qui non è veramente interessato al corso di laurea che segue e pertanto trova difficile e impensabile analizzare il codice sorgente di parte del kernel, mentre una qualunque persona con conoscenze di C con più interesse e voglia di fare non la vede come un'impresa disperata.

Io tutte ste qualunque persone non ne ho mai conosciute...sopratutto se le "qualunque" persone di cui parli le peschi in ambito di pischelli...

Ah tu vuoi studiarti il codice del gestore dei processi e della memoria...ok...sai quante possibili strategie ci sono per farlo? un'infinità...se apri un libro di sistemi operativi trovi le strategie a partire dai computer degli anni 60 fino alle decine di strategie usate oggi...e non parlo di differenti implementazione e stop ma proprio di algoritmi usati che poi uno stesso algoritmo lo puoi reimplementare in vari modi diversi....

Se tu non studi la teoria non capirai una ceppa del codice...non basta neanche essere un programmatore C esperto...devi essere un buon programmatore C + aver studiato sistemi operativi.

Poi dubito fortemente che tu sia un programmatore C esperto perchè a 18 anni non si è esperti...cosa sai di C ?!?!

Se come dici te bastasse così poco il mondo sarebbe pieno di sviluppatori\sistemisti\smanettoni ed invece il mondo è pieno di quaquaraquà e di ragazzini e di pochi professionisti seri e ci sarà un perchè vengono pagati tanto)

E mo te l'ho cantata come si deve...cmq te lo stanno dicendo tutti come stanno le cose...hai anche la superbia di argomentare ancora...vabbè tra 3 mesi ci dice come procede ok? ;-)

[M4rk191]

Originariamente inviato da D4rkAng3l

cosa sai di C ?!?!

ne sò abbastanza da poter programmare

Originariamente inviato da D4rkAng3l

Se come dici te bastasse così poco il mondo sarebbe pieno di sviluppatori\sistemisti\smanettoni

il mondo è pieno di sviluppatori\sistemisti\smanettoni, è un campo ormai saturo, ma non mi interesso all'informatica solo perché spero di trovare un lavoro come programmatore, posso fare anche il barista, l'importante è che mi dedico a ciò che mi piace

Originariamente inviato da D4rkAng3l

E mo te l'ho cantata come si deve...cmq te lo stanno dicendo tutti come stanno le cose...hai anche la superbia di argomentare ancora...vabbè tra 3 mesi ci dice come procede ok? ;-)

ok

[cdimauro]

Originariamente inviato da _Claudio

Certo, perchè i driver sono diventati punto caldo e terreno di battaglia così si cerca di rendere il sistema sempre più indipendente, Windows fa un uso molto massiccio dei servizi... per questo spesso non si capisce che forma abbia.

So che qualche anno fa avevano deciso di far migrare linux verso una struttura microkernel... ma non so poi cosa abbiano fatto concretamente.
So che hanno migliorato l'installazione dei driver (appunto, guerreggiando con Windows) e spostato alcune cose in user mode... ma poi non sono particolarmente attratto da linux (lo detesto proprio) e uso sempre e solo win quindi non so dire molto di più.

Anch'io non conosco gli esatti confini fra kernel e user space dei vari servizi esposti.

Originariamente inviato da M4rk191

Non ho scritto di voler studiare un kernel. Ho scritto che se devo studiare un kernel tanto vale studiarlo monolitico. Lo ripeto per l'ultima volta, magari qualcuno mi capisce. Ho intenzione di studiare gestione dei processi o gestore di memoria di un kernel *NIX Linux, XNU, non interessa l'importante è che sia UNIX o *NIX. La discussione è pressoché conclusa, ho postato rispondendo ai pochi messaggi IT del 3d.

Se, come affermi, ti basta conoscere il funzionamento di un sistema Unix-like, puoi fare a meno di impazzire dietro Linux e orientarti verso Minix.

Inoltra c'è da considerare che magari, e dico magari, chi ha postato qui non è veramente interessato al corso di laurea che segue e pertanto trova difficile e impensabile analizzare il codice sorgente di parte del kernel, mentre una qualunque persona con conoscenze di C con più interesse e voglia di fare non la vede come un'impresa disperata.

Chi ha postato qui ha un'esperienza di gran lunga superiore alla tua nel campo dell'informatica, il C lo mastica da tanti di quegli anni che non eri neppure nato, ha realizzato progetti che non hanno nulla da invidiare alla scrittura di kernel (cosa in cui in genere ci si cimenta), e se scrive certe cose è soltanto per un motivo: il buon senso. Quello che spinge a darti alcuni consigli piuttosto che altri.

Originariamente inviato da M4rk191

ne sò abbastanza da poter programmare

Il che non vuol dire nulla di per sé né significa che saresti in grado di riuscire a capire come funziona un kernel complesso come quello di Linux dalla sola lettura dei sorgenti.

Anzi, per essere precisi, poter programmare non vuol dire nemmeno SAPER programmare.

il mondo è pieno di sviluppatori\sistemisti\smanettoni, è un campo ormai saturo, ma non mi interesso all'informatica solo perché spero di trovare un lavoro come programmatore, posso fare anche il barista, l'importante è che mi dedico a ciò che mi piace

ok

E' importante anche non perdere tempo inutilmente. Anche se capisco che, essendo giovane e avendone in abbondanza, perdere giornate in cose inutili non pesi molto.

Rimane il fatto che il tempo è l'unica cosa che non si compra al mercato: una volta sprecato, non puoi tornare indietro e impiegarlo per altro.

Per cui dovrebbe valere sempre la regola di seguire il buon senso e i buoni consigli, per cercare di massimizzarne l'impiego.

[~FullSyst3m~]

Originariamente inviato da cdimauro

Finché si tratterebbe di cambiera macchina, ci potrebbe anche stare.

L'importante è non cambiare residenza in zona "Za' Lisa" (il cimitero).

[D4rkAng3l]

Originariamente inviato da M4rk191

ne sò abbastanza da poter programmare

il mondo è pieno di sviluppatori\sistemisti\smanettoni, è un campo ormai saturo, ma non mi interesso all'informatica solo perché spero di trovare un lavoro come programmatore, posso fare anche il barista, l'importante è che mi dedico a ciò che mi piace


ok

mmm ha esperienza di programmazione multithread ad esempio? conosci le librerie per gestire i processi?
Comunque se avessi una competenza di C che rasentasse alla decenza quelle assurdità nel primo 3d non sarebbero saltate fuori...perchè scusa se te lo dico (ma la superbia del novellino è fastidiosa) si trattavano di deliri più che di riflessioni...uno che sà programmare (non bene...decentemente non le dice certe cose...e se le dice deve aver bevuto pesante)

[D4rkAng3l]

Originariamente inviato da cdimauro

Chi ha postato qui ha un'esperienza di gran lunga superiore alla tua nel campo dell'informatica, il C lo mastica da tanti di quegli anni che non eri neppure nato, ha realizzato progetti che non hanno nulla da invidiare alla scrittura di kernel (cosa in cui in genere ci si cimenta), e se scrive certe cose è soltanto per un motivo: il buon senso. Quello che spinge a darti alcuni consigli piuttosto che altri.

Il che non vuol dire nulla di per sé né significa che saresti in grado di riuscire a capire come funziona un kernel complesso come quello di Linux dalla sola lettura dei sorgenti.

Anzi, per essere precisi, poter programmare non vuol dire nemmeno SAPER programmare.

E' importante anche non perdere tempo inutilmente. Anche se capisco che, essendo giovane e avendone in abbondanza, perdere giornate in cose inutili non pesi molto.

Rimane il fatto che il tempo è l'unica cosa che non si compra al mercato: una volta sprecato, non puoi tornare indietro e impiegarlo per altro.

Per cui dovrebbe valere sempre la regola di seguire il buon senso e i buoni consigli, per cercare di massimizzarne l'impiego.

Mi stò rotolando...cioè lui a 18 anni non solo pensa di aver conoscienze superiore ad uno che stà al terzo anno dell'uni...ma anche di gente che magari c'ha una specialistica e lavora nel campo da quando lui è in culla...

Ohh stà attento che tra un po' ti licenziano per dare il posto a lui...attenti ragazzi...magari gli danno anche la mia laurea quando arriverà il momento
Si perchè lui c'ha passione (come quelli che conosco all'uni che installano 10 versioni di linux al mese...le provano tutte e non ne sanno usare mezza o che si installano tutti i compilatori per fargli compilare l'Hello Word in 18 linguaggi ma oltre il ciclo for è magia)

Dice di saper programmare? e di grazia? ci dici che sai fare? I programmini che ti fanno fare al tecnico? Bellooo

[eraser]

Non penso ci sia bisogno di infierire scadendo nel ridicolo poi

Se il ragazzo ha questa passione, ben venga. C'è chi pensa che non ci riuscirà se non con forti basi teoriche, chi invece come lui pensa di poterci riuscire.

Gli appunti sono stati fatti, ora è inutile scadere nel ridicolo Se ci riuscirà bene, se non ci riuscirà pace per lui, avrà fatto un buco nell'acqua come ha fatto in questo thread argomentando "a uffa" determinate affermazioni senza averne una padronanza minimale.

Comunque sia, non toglie né dà il lavoro a nessuno, per cui è inutile infervorarsi

Su una cosa non sono d'accordo: non necessariamente chi è al terzo anno di università o fa la specialistica deve per forza saperne di più di una persona che si è fatta da sé. Anzi, purtroppo ho avuto spesso esperienze contrarie, con università scadenti che danno un trentesimo di quello che dovrebbero dare in realtà. Università nelle quali una laurea, a livello tecnico e non puramente legislativo e accademico, è pari alla carta igienica.

[cdimauro]

La penso come te. La laurea di primo livello l'ho conseguita nel 2004, ma non è che dopo mi sentissi diverso (soltanto sollevato): ragionavo allo stesso modo sia prima che dopo. E non ho proseguito con la specialistica (nonostante avessi ancora diversi esami da sfruttare dal corso di laurea col vecchio ordinamento, e uno stage aziendale già fatto) perché non avevo tempo e m'interessava lavorare.

Però debbo dire che la forma mentis che ho acquisito all'università mi ha permesso di fare il salto di qualità rispetto al passato da ragazzo "smanettone".

Poi, intendiamoci: si può benissimo arrivare a completare la specialistica avendo imparato soltanto a... dare gli esami. Dipende sempre dalle capacità della persona.

[D4rkAng3l]

vabbè scusate se mi ero infervorato...diciamo che la superbia mi fa venire i 5 minuti...anche perchè io sono una persona molto modesta e non mi piace mai fare lo sborone sopratutto con persone che ne sanno più di me...ed in genere sono abituato che se una persona più esperta mi dà un consiglio...beh non è la bibbia ma tendo a tenerlo molto in considerazione

Buona giornata a tutti
Andrea

[misterx]

Originariamente inviato da cdimauro

Però debbo dire che la forma mentis che ho acquisito all'università mi ha permesso di fare il salto di qualità rispetto al passato da ragazzo "smanettone".

è quello che ho notato pure io frequentando l'uni


A proposito di kernel et similia:

http://it.wikipedia.org/wiki/Deadlock

si legge dal sottotitolo: Condizioni necessarie e sufficienti ma poi nell'introduzione: Le condizioni necessarie ma non sufficienti, per il verificarsi di un deadlock sono: ......... ........

Il paragrafo poi termina dicendo che: I deadlock si possono verificare solo se sono presenti contemporaneamente le quattro condizioni di cui sopra.

Quindi il sottotitolo è corretto ma la frase di inizio nò, giusto ?

[~FullSyst3m~]

Originariamente inviato da cdimauro

La penso come te. La laurea di primo livello l'ho conseguita nel 2004, ma non è che dopo mi sentissi diverso (soltanto sollevato): ragionavo allo stesso modo sia prima che dopo. E non ho proseguito con la specialistica (nonostante avessi ancora diversi esami da sfruttare dal corso di laurea col vecchio ordinamento, e uno stage aziendale già fatto) perché non avevo tempo e m'interessava lavorare.

Ma tu già non lavoravi?

Però debbo dire che la forma mentis che ho acquisito all'università mi ha permesso di fare il salto di qualità rispetto al passato da ragazzo "smanettone".

Bè da "smanettone" sei arrivato a livelli altissimi. E non mi sembra poco.

Poi, intendiamoci: si può benissimo arrivare a completare la specialistica avendo imparato soltanto a... dare gli esami. Dipende sempre dalle capacità della persona.

Che significa? Se uno dà gli esami non dovrebbe implicare il conoscere la materia?

[eraser]

Originariamente inviato da ~FullSyst3m~

Che significa? Se uno dà gli esami non dovrebbe implicare il conoscere la materia?

Assolutamente no. Ci sono persone così furbe e scaltre che hanno capito come dare l'esame. Se impegnassero il 20% dell'intelligenza utilizzata per cercare di capire come passare l'esame a studiare veramente la materia, sarebbero veramente dei geni

[cdimauro]

Originariamente inviato da misterx

è quello che ho notato pure io frequentando l'uni

A proposito di kernel et similia:

http://it.wikipedia.org/wiki/Deadlock

si legge dal sottotitolo: Condizioni necessarie e sufficienti ma poi nell'introduzione: Le condizioni necessarie ma non sufficienti, per il verificarsi di un deadlock sono: ......... ........

Il paragrafo poi termina dicendo che: I deadlock si possono verificare solo se sono presenti contemporaneamente le quattro condizioni di cui sopra.

Quindi il sottotitolo è corretto ma la frase di inizio nò, giusto ?

No, ma lo spiega dopo, appunto. Il sottotitolo serve a inquadrare tutto ciò di cui si parla.

Originariamente inviato da ~FullSyst3m~

Ma tu già non lavoravi?

Sì, ma dal 2004 ho chiuso con l'azienda in cui lavoravo e ho pensato di tornare all'università per prendermi la laurea di prima livello e cercarmi poi un altro lavoro.

Sono rimasto 10 mesi senza lavorare. Mi sono dedicato i primi 7 mesi esclusivamente alla frequentazione dei corsi, agli esami delle materie che mi mancavano, allo stage e alla tesina finale. Poi mi sono messo a cercare lavoro finché non sono arrivato nell'azienda in cui mi trovo adesso.

Bè da "smanettone" sei arrivato a livelli altissimi. E non mi sembra poco.

Perché ho avuto la fortuna di frequentare e studiare all'università, che mi ha dato molto.

Tante cose che "odiavo" e ritenevo "inutili" le ho apprezzate soltanto dopo.

Che significa? Se uno dà gli esami non dovrebbe implicare il conoscere la materia?

Niente affatto. Significa soltanto che sei riuscito a superare l'esame.

Ad esempio, ti dice niente la parola "copiare"? Capita ad alcuni di ricorrere a questo "metodo" per superare uno scritto. L'hai superato, ma se avessi conosciuto la materia non vi avresti fatto ricorso.

[misterx]

Originariamente inviato da cdimauro

No, ma lo spiega dopo, appunto. Il sottotitolo serve a inquadrare tutto ciò di cui si parla.

ma, non so: io ci leggo frasi contrastanti.

Pria dice che sono condizioni sufficienti, poi dice che non sonon sufficienti e termina dicendo che se ci sono tutte e 4 c'è deadlock, per me è scritto un pò male.

Il tipo che ha scoperto le 4 proprietà elencate di cui non ricordo il nome dice che se ci sono tutte e 4 c'è deadlock quindi le 4 elencate sono condizioni necessarie e sufficienti