|
|
|
|
Strumenti |
18-06-2021, 18:45 | #21 | |
Senior Member
Iscritto dal: Jan 2002
Città: non ti interessa
Messaggi: 5400
|
Quote:
Per come è organizzato Linux, succede quello che a cui hai accennato tu. Però non è una prerogativa dei kernel monolitici, quanto piuttosto del modo in cui Linux è sviluppato e gestito. La compatibilità ABI di solito può cambiare ad ogni minor release (p.es da 5.10 a 5.11), ma questo non impensierisce i maggiori fruitori di sistemi Linux, che non sono gli utenti NVIDIA, bensì gente come Qualcomm, Broadcom, Freescale, etc... Loro scelgono un kernel (solitamente uno LTS) e ci sviluppano sopra; lavorano su quello e solo con quello per lunghissimo tempo, infatti se guardi su qualsiasi telefono Android difficilmente troverai un kernel in versione 5.xx, buona parte sono ancora 4.xx o addirittura 3.xx (Il mio redmi 5 con Snapdragon 450 è su kernel 3.18) Per i driver NVIDIA solitamente basta ricompilare il driver, altre volte cambia effettivamente l'ABI e serve mettere le mani nel codice; ma il fatto che l'ABI non sia stabile è una scelta di Linux di per se, non del kernel monolitico in generale, ed è dettata principalmente dal suo modello di sviluppo e dal suo target principale, che non sono i sistemi end-user desktop. Sono anche piuttosto d'accordo che mettere tutti i driver sotto il grande ombrello Linux rende la cosa un pizzico problematica e poco gestibile alla lunga, ma bisogna anche tenere presente che, se sono cose grosse, la manutenzione la fanno generalmente le stesse aziende interessate sotto la supervisione di un "reggente".
__________________
[url="http://www.hwupgrade.it/forum/showthread.php?t=2119003"]- Compilatore Intel e disparità di trattamento verso processori AMD/VIA |
|
19-06-2021, 11:36 | #22 | |
Senior Member
Iscritto dal: Jan 2008
Messaggi: 8406
|
Quote:
Comunque sia, vedo dai commenti che c'è un bel pò di confusione. La questione stabilità non riguarda i servizi, che girano in userspace, ma i driver ( e mi riferisco anche ai filesystem, network stack, ecc... ). Cioè parliamo di decine ( e spesso centinaia ) di milioni di righe di codice, magari scritte in C. Sulla questione eleganza, non è che il codice di un microkernel è bello da vedere, ma è decomposto in moduli isolati, sui quali è facile ragionare e spesso è possibile verificarne l'aderenza alle specifiche in maniera formale ( cioè matematicamente ). Prendete seL4 per esempio. Già parti con un kernel il cui funzionamento è formalmente verificato e quindi hai enormi certezze sul fatto che l'implementazione sia corretta. E per il fatto di essere microkernel, ogni altro componente deve usare le API e i meccanismi imposti per comunicare col kernel. E' un bel lavoro di semplificazione e separazione delle competenze. Si può ragionare sulle interazioni ad alto livello, la cui correttezza è garantita da meccanismi di IPC semplici, quindi facili da debuggare e in conclusione molto stabili. Provate a fare lo stesso con un kernel monolitico. E questo discorso riguarda qualsiasi tipo di software. Per questo i browser hanno adottato la politica di separare le tab in processi distinti. La modularizzazione non è solo un modo di renderlo il codice bello da vedere, ma di dare al programmatore la capacità di ragionare sulle interazioni tra i vari componenti. Lo scotto da pagare è una necessaria progettazione a monte. Cioè niente "hacking" e programmazione agile. |
|
19-06-2021, 19:25 | #23 |
Senior Member
Iscritto dal: May 2005
Messaggi: 2638
|
Quoto
C'è una demo web usabile sul sito, sinceramente mi ricorda Chrome OS. Per il resto non essendo esperto, tutte le novità a livello di codice, sono solo un elenco di testo
__________________
HP TouchSmart 520-1000it |
19-06-2021, 20:01 | #24 |
Senior Member
Iscritto dal: Jan 2005
Città: ichnusa
Messaggi: 17340
|
non ne capisco, e quindi devo limitarmi ad osservare. al di là della bontà della tecnologia, e della filosofia che distingue il nuovo dal vecchio approccio, devo sottolineare come Google abbia a cuore il suo core business, e tutto questo si rifletta nele scelte. sta sviluppando qualcosa che gli permetta di avere maggior controllo sul sistema, più di quanto già abbia, ed è già tanto. però ha le risorse per farlo, e i produttori una volta hce il software sarà maturo gli andranno dietro, e tanti saluti a tutte le custom rom, e a quel poco del modding che esiste.. magari sono pessimista io....
|
20-06-2021, 03:50 | #25 | |
Senior Member
Iscritto dal: Jan 2007
Messaggi: 5312
|
Quote:
https://en.m.wikipedia.org/wiki/L4_m...family#History L'evoluzione dei microkernel L3/L4/seL4 riassume molto bene l'evoluzione che c'è stata dopo Mach, sia nel renderli più competitivi in termini di prestazioni e sia nel renderli più "sicuri" sotto vari aspetti. |
|
20-06-2021, 08:52 | #26 |
Senior Member
Iscritto dal: Oct 2001
Messaggi: 19723
|
al di là di questioni architetturali e prestazionali (di cui non so una mazza di niente e non mi pronuncio), non vedo per niente positivamente il fatto che Google continui a costruire il "suo mondo" proprietario espandendosi sempre di più.
per cui vedo molto negativamente il fatto che in prospettiva abbandoni linux per qualcosa di proprio e proprietario.
__________________
Mai discutere con un idiota. Ti trascina al suo livello e ti batte con l'esperienza (O.W.) |
20-06-2021, 11:11 | #27 | |
Senior Member
Iscritto dal: Jan 2002
Città: non ti interessa
Messaggi: 5400
|
Quote:
D'altro canto il mondo è bello perché é vario...
__________________
[url="http://www.hwupgrade.it/forum/showthread.php?t=2119003"]- Compilatore Intel e disparità di trattamento verso processori AMD/VIA |
|
20-06-2021, 12:55 | #28 | |
Senior Member
Iscritto dal: Oct 2001
Messaggi: 19723
|
Quote:
A meno che ovviamente il tutto non sia rilasciato open e in mano a una comunità indipendente dalle logiche societarie di G/Alphabet
__________________
Mai discutere con un idiota. Ti trascina al suo livello e ti batte con l'esperienza (O.W.) |
|
20-06-2021, 19:28 | #29 |
Amministratore
Iscritto dal: Jun 2009
Città: Glasgow, Scozia
Messaggi: 1876
|
L'Arpaci-Dusseau che ho consigliato nell'articolo è un ottimo testo: è quello su cui ho studiato io in università ed è aggiornato e molto comprensibile, anche avendo basi di programmazione limitate. Parte dal concetto generale e arriva all'implementazione in codice, spiegando ogni passaggio chiaramente. Ho adorato quel libro quando l'ho studiato!
__________________
Riccardo Robecchi - autore per Hardware Upgrade MB ASUS Crosshair VI Hero, CPU Ryzen 7 1700X, RAM 32 GiB Corsair Vengeance 3000MHz, VGA Sapphire AMD Radeon RX 5700 XT Pulse, CASE Sun Ultra 24, PSU Corsair TX650W. KDE neon x64 & Win 10 Pro x64. |
20-06-2021, 22:14 | #30 |
Senior Member
Iscritto dal: Jul 2007
Città: Sicilia
Messaggi: 5482
|
Ok grazie per i consigli, andro' a fare un po' di spesa adesso...
__________________
Non abbiamo ereditato il mondo dai nostri padri L'abbiamo preso in prestito dai nostri figli |
21-06-2021, 07:16 | #31 | |
Senior Member
Iscritto dal: Jan 2015
Città: Euskal Herria
Messaggi: 3589
|
Quote:
Sistemi Operativi: progettazione e implementazione, 2a edizione Sistemi Operativi Moderni, 3a edizione Sono i due migliori libri in circolazione secondo me. PS trovi le edizioni inglesi economiche in un noto sito di importazione di libri "scimmiati" |
|
Strumenti | |
|
|
Tutti gli orari sono GMT +1. Ora sono le: 04:08.