En théorie, oui, en pratique c'est très compliqué car il n'y a pas beaucoup de pilotes qui ne sont pas critiques, et en redémarrer un sans rien perturber par ailleurs n'est pas une chose aisée ; on risque une réaction en chaîne qui aboutisse à l'effondrement de toute façon.
Il faut à mon avis plus se concentrer sur de l'informatique fiable à priori (modèles exécutables, langages de très haut niveau performants, preuves formelles, etc...) que sur uniquement des mesures de sûreté mais construites sur du sable !
[^] # Re: Euh...
Posté par Guillaume Knispel . En réponse au journal Fin du freeze avec le driver re(4) sous OpenBSD. Évalué à 2.
Il faut à mon avis plus se concentrer sur de l'informatique fiable à priori (modèles exécutables, langages de très haut niveau performants, preuves formelles, etc...) que sur uniquement des mesures de sûreté mais construites sur du sable !