Article de reference

Système basé sur le langage

Un système basé sur le langage est un type de système d'exploitation qui utilise les fonctionnalités du langage pour assurer la sécurité , en remplacement ou en complément des m...

Un système basé sur le langage est un type de système d'exploitation qui utilise les fonctionnalités du langage pour assurer la sécurité , en remplacement ou en complément des mécanismes matériels. Dans ces systèmes, un code appelé base de confiance est chargé d'approuver l'exécution des programmes , garantissant ainsi qu'ils ne peuvent effectuer d'opérations nuisibles à la stabilité du système sans avoir été préalablement détectés et neutralisés. Une stratégie très courante pour garantir l'impossibilité de telles opérations consiste à baser le système sur un langage de haut niveau , tel que Java , dont la conception exclut les constructions dangereuses ; de nombreux systèmes sont entièrement écrits dans ce langage, avec un minimum de code de bas niveau . Puisque les systèmes basés sur le langage peuvent garantir par avance qu'ils ne peuvent effectuer d'actions susceptibles d'endommager le système (comme la corruption de la mémoire par déréférencement de pointeurs invalides ), ils peuvent éviter les coûteux changements d'espace d'adressage nécessaires aux systèmes d'exploitation traditionnels ; c'est pourquoi les micro-noyaux sont plus répandus que les systèmes traditionnels. Une forme plus extrême de ceci est une architecture informatique utilisant un langage de haut niveau , où la base de confiance est intégrée au matériel et où l'ensemble du système est écrit dans un langage de haut niveau.

Exemples