this post was submitted on 10 Jul 2023
7 points (100.0% liked)

GNU/Linux Italia

534 readers
1 users here now

Gruppo di discussione GNU/Linux. Non ti sto dando una birra gratis la sto condividendo. Gnu Not Unix Telegram Matrix

founded 2 years ago
MODERATORS
[email protected]
[email protected]
7
Linux è davvero adatto a qualsiasi ambito? Secondo alcuni tecnici che si occupano di aerospazio non ancora! (www.miamammausalinux.org)
submitted 1 year ago by [email protected] to c/[email protected]
9 comments fedilink hide all child comments
 

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:

  • Dei requisiti ben definiti.
  • Certificazioni ogni suo singolo driver.
  • Una cultura della sicurezza e nemmeno una della qualità.
  • 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.

top 9 comments
sorted by: hot top controversial new old
[–] [email protected] 4 points 1 year ago (1 children)

Dipende dall'ambito, come dicevi. L'aerospaziale ha dei requisiti estremamente stringenti e sacrifica le prestazioni alla sicurezza. Usa(va) un linguaggio di programmazione specifico ( ada ). In ambito spaziale i chip sono progettati apposta. Lentissimi, ma resistenti alle radiazioni. Che il so non sia adatto ci sta.

[–] [email protected] 2 points 1 year ago (2 children)

In realtà il linguaggio che usano è SPARK, che a sua volta è basato sul linguaggio ADA. Inoltre si sta già pensando di sostituirlo con Rust: https://ferrous-systems.com/ferrocene/

[–] [email protected] 2 points 1 year ago (1 children)

Lol che circlejerk. Rust non è una bacchetta magica

[–] [email protected] 2 points 1 year ago (1 children)

È un linguaggio che però migliora molto la qualità di produzione

[–] [email protected] 3 points 1 year ago (1 children)

E che non ha ancora un ecosistema che non faccia ridere in ogni ambiente che lo richiede, come ad esempio il game development.

Poi se quelli della nasa si reinventano pure la ruota ogni volta sai quando finiscono?

[–] [email protected] 3 points 1 year ago

Da utente abbastanza navigato ma ancora alla scoperta di Linux, non mi pare niente di controverso. Esistono altri sistemi operativi e kernel che svolgono molto determinati lavori di Linux. Piuttosto mi pare più sensato sfruttare linux per quello che fa già in modo egregio e lasciare altre mansioni molto più specifiche e importanti a sistemi sviluppati ad hoc