URL: https://linuxfr.org/users/fanf/journaux/singularity-os Title: Singularity - OS Authors: Fanf Date: 2005年11月23日T10:20:33+01:00 Tags: Score: 0 Bonjour, Je suis tombé récemment sur le projet Singularity de Microsoft[1]. Et bien... Wow ! Rapide description : c'est un nouvelle OS, basé sur un micro noyau, qui utilise au max les avancées en compilation et théorie des langages. Il utilise ainsi un langage (Sing#, dérivé de C#) avec pre/post conditions (pour avoir des certifications de propriétés), qui est naturellement parallèle (comme Erlang). Il y a vraiment de très nombreuses choses intéressantes, avec des performances et les bénéfice d'un développement utilisant des méthodes formelles à la clé... Une publication présente ça mieux que moi[2]. Bon, évidemment, ça n'a pas grand chose à voir avec les LL, si ce n'est que je me demande pourquoi on n'a pas ce genre de projet dans la communauté. D'accord, ça doit occuper une dizaine de chercheurs en théorie des langages, de la compilation et des OS depuis plusieurs années et il faut les payer... Mais c'est quand même vraiment impressionnant. Dommage que le Hurd, avec ses 20 ans d'avances, n'est pas eu le succés qu'il aurait dû avoir... Message informatif : je ne souhaite pas lancé le troll "la communauté OpenSource est incapable d'innovation". Je constate juste que l'équipe de recherche Microsoft qui travail sur Singularity a fait un travail excellent, qui dessine très clairement le future des OS. [1] [http://research.microsoft.com/os/singularity/](http://research.microsoft.com/os/singularity/) [2] [ftp://ftp.research.microsoft.com/pub/tr/TR-2005-135.pdf](ftp://ftp.research.microsoft.com/pub/tr/TR-2005-135.pdf)