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
 

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.

you are viewing a single comment's thread
view the rest of the comments
[–] [email protected] 2 points 1 year ago (6 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 (3 children)

Lol che circlejerk. Rust non è una bacchetta magica

[–] [email protected] 2 points 1 year ago (2 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?

load more comments (2 replies)