Linux è davvero adatto a qualsiasi ambito? Secondo alcuni tecnici che si occupano di aerospazio non ancora!

Tux astronauta

La maggior parte degli utilizzatori GNU/Linux risponderà affermativamente quando gli si chiederà se il proprio sistema operativo preferito è stabile, ma Steven H. VanderLeest (Boeing) e Peter Brink (Underwriter Laboratories) non sono dello stesso avviso e in un recente talk hanno discusso del perché GNU/Linux è inadatto al loro ambiente… ossia quello aerospaziale!

Su Phoronix c’è stata una levata di scudi a difesa del pinguino e sul fatto che è già stato utilizzato in diversi ambiti real-time. Oltretutto, qualche giorno fa, l’elicottero Ingenuity ha fortunatamente rotto 63 giorni di silenzio e festeggiato, così, il 52° volo nella rarefatta atmosfera marziana. E il software di controllo di Ingenuity viene eseguito con Linux come sistema operativo.

VanderLeest e Brink, tuttavia, hanno le loro buone ragioni.

Non ce ne vogliano i SysOp che leggono l’articolo: immaginiamo abbiate avuto il vostro carico di weekend passati a sistemare un aggiornamento andato male. Ma cosa può significare un problema inaspettato quando in palio ci sono miliardi di euro o vite umane?

In questi casi estremi il fallimento non è un’opzione: qualsiasi cosa accada, bisogna sempre avere il controllo per riportare in brevissimo tempo il sistema in uno stato sicuro e, secondo loro, Linux non ha questa caratteristica poiché non ha:

  1. Dei requisiti ben definiti.
  2. Certificazioni ogni suo singolo driver.
  3. Una cultura della sicurezza e nemmeno una della qualità.
  4. Un micro – Kernel dove i driver vengano eseguiti con i più bassi privilegi possibili.

Specialmente l’ultimo punto, dicono, è praticamente un errore di progettazione, poiché Linux è monolitico e un driver che vada in errore può mandare in crash il Kernel. La cosa può ricordare un po’ la diatriba tra Torvalds e Tanenbaum negli anni novanta.

Un crash catastrofico può essere recuperato solo se c’è un watchdog hardware, ossia un contatore che ciclicamente viene azzerato da un nostro programma e, se raggiunge il valore massimo previsto, effettua un riavvio hardware del sistema.

Ma questa è davvero l’ultima spiaggia ed è considerata come il lanciarsi con il paracadute da un aereo di linea: cosa può accadere se il ciclo crash-reboot-pronto di un sistema impiega un minuto?

Immaginate di trovarvi su una macchina a guida autonoma che viaggia a 130 km/h in autostrada e che improvvisamente tutti gli schermi e indicatori diventino neri per un minuto. Vi sembra una situazione pericolosa? Ora capite come mai non vogliamo succeda su un caccia che viaggia a Mach 1.6 (1900 km/h circa).

Vanderleest e Brink, tuttavia, indicano a come rimediare agli inconvenienti indicati, anche se si tratterebbe di un lavoro davvero molto impegnativo. Sfortunatamente, un video del loro intervento non è disponibile, ma consigliamo di leggere le slide che hanno prodotto: possono dare un’idea di quanto sia diverso l’ambito aerospaziale da quelli cui siamo abituati: un mondo di certificazioni e test continui, dove il fallimento non è un’opzione e dove parametri come pressione, velocità e tempi di reazioni hanno priorità che non ci verrebbero subito in mente quando si parla di software.

585d917c21663ce1f7538a3593e5e7d6?s=150&d=mp&r=g
Jacopo Prendin

Appassionato di GNU/Linux dal 2000, tento disperatamente di tenermi distante dalla programmazione web e di sviluppare in C/C++ e Python i software che mi vengono commissionati.

Fonte: https://www.miamammausalinux.org/2023/07/linux-e-davvero-adatto-a-qualsiasi-ambito-secondo-alcuni-tecnici-che-si-occupano-di-aerospazio-non-ancora/

Visited 9 times, 1 visit(s) today
Se vuoi sostenerci, puoi farlo acquistando qualsiasi cosa dai diversi link di affiliazione che abbiamo nel nostro sito o partendo da qui oppure alcune di queste distribuzioni GNU/Linux che sono disponibili sul nostro negozio online, quelle mancanti possono essere comunque richieste, e su cui trovi anche PC, NAS e il ns ServerOne. Se ti senti generoso, puoi anche donarmi solo 1€ o più se vuoi con PayPal e aiutarmi a continuare a pubblicare più contenuti come questo. Grazie!

Hai dubbi o problemi? Ti aiutiamo noi!

Se vuoi rimanere sempre aggiornato, iscriviti al nostro canale Telegram.
Se vuoi ricevere supporto per qualsiasi dubbio o problema, iscriviti alla nostra community Facebook o gruppo Telegram.
Cosa ne pensi? Fateci sapere i vostri pensieri nei commenti qui sotto.
Ti piace quello che leggi? Per favore condividilo con gli altri.
Amazon Music
Scopri le ultime offerte per dischi ssd su Acquista su Amazon
Scopri le ultime offerte per memorie RAM DDR su Acquista su Amazon
Scopri le ultime offerte per Chromebook su Acquista su Amazon
Scopri le ultime offerte per Raspberry su Acquista su Amazon

Potrebbero interessarti anche...

Lascia un commento

Il tuo indirizzo email non sarà pubblicato. I campi obbligatori sono contrassegnati *

Questo sito usa Akismet per ridurre lo spam. Scopri come i tuoi dati vengono elaborati.