Ayant assisté à ces conférences (ça n'a pas l'air d'être ton cas(, je peux t'affirmer que ces projets sont très pertinents.
Commençons par plan9, qui a vu le jour aux laboratoires Bell labs. Ses créateur sont les père d'unix qui ont été insatisfait de la tournure que unix prennait. Ses principes sont simples mais étonnemment puissants. Tout se passe autour du protocol 9p qui perment au noyau de partagager les ressources au moyen d'un système de fichier, tout cela en étant transparent au réseaux. Là où avec linux on développe un protocol particulier (X11, dbus, nfs, ...) pour répondre à *un* besoin particulier, plan9 monte un système de fichier. Les possibilités sont infinies. Taxer d'obsolèscence plan9 qui, en 1993, était déja full utf-8 avec un fs versionné est un peu gros je trouve.
Ensuite la conférence sur EROS était une introduction sur celle de CoyotOS. Shapiro a parlé des problèmes rencontrés avec EROS et il a exposé la voie que CoyotOS prend. À nouveau, dire que CoyotOS ne sert à rien manque cruèlement de recul. Selon Shapiro, la sécurité (presque) absolue ne pourra être atteinte qu'en modifiant la méthodologie de développement. C'est pour cela que son équipe met au point BitC, un language désigné pour pouvoir être facilement vérifiable par des théorèmes. Le but avoué de Shap c'est de pouvoir faire des programmes à preuve ouverte et ainsi de faire un pied de nez aux organisme de certification qui coûtent cher et ne résolvent pas le problème de la sécurité informatique.
Il y a 20 ans, cet idée aurait été un peu folle, mais maintenant, nous avons beaucoup progressé dans le domaine des preuves automatiques et il serait triste que l'industrie informatique n'en profite pas plus. De nouveau il s'agit d'une question de méthodologie, qui une fois au point, j'en suis sur, fera beaucoup d'émules.
Enfin bref, le thème de ces conférences c'était "Conception et implémentation des systèmes d'exploitation" et heureusement qu'il n'y a pas que Linux.
[^] # Re: OS Obsolètes
Posté par benja . En réponse à la dépêche Enregistrements, présentations et papiers du thème OS des RMLL 2005. Évalué à 9.
Commençons par plan9, qui a vu le jour aux laboratoires Bell labs. Ses créateur sont les père d'unix qui ont été insatisfait de la tournure que unix prennait. Ses principes sont simples mais étonnemment puissants. Tout se passe autour du protocol 9p qui perment au noyau de partagager les ressources au moyen d'un système de fichier, tout cela en étant transparent au réseaux. Là où avec linux on développe un protocol particulier (X11, dbus, nfs, ...) pour répondre à *un* besoin particulier, plan9 monte un système de fichier. Les possibilités sont infinies. Taxer d'obsolèscence plan9 qui, en 1993, était déja full utf-8 avec un fs versionné est un peu gros je trouve.
Ensuite la conférence sur EROS était une introduction sur celle de CoyotOS. Shapiro a parlé des problèmes rencontrés avec EROS et il a exposé la voie que CoyotOS prend. À nouveau, dire que CoyotOS ne sert à rien manque cruèlement de recul. Selon Shapiro, la sécurité (presque) absolue ne pourra être atteinte qu'en modifiant la méthodologie de développement. C'est pour cela que son équipe met au point BitC, un language désigné pour pouvoir être facilement vérifiable par des théorèmes. Le but avoué de Shap c'est de pouvoir faire des programmes à preuve ouverte et ainsi de faire un pied de nez aux organisme de certification qui coûtent cher et ne résolvent pas le problème de la sécurité informatique.
Il y a 20 ans, cet idée aurait été un peu folle, mais maintenant, nous avons beaucoup progressé dans le domaine des preuves automatiques et il serait triste que l'industrie informatique n'en profite pas plus. De nouveau il s'agit d'une question de méthodologie, qui une fois au point, j'en suis sur, fera beaucoup d'émules.
Enfin bref, le thème de ces conférences c'était "Conception et implémentation des systèmes d'exploitation" et heureusement qu'il n'y a pas que Linux.