>Le seul truc qu'on ne pourrait pas techniquement faire sans VM serait une exécution 'sandboxée'
Si on te prends à la lettre tu as raison bien sûr.
Mais des chercheurs pour Microsoft bossent sur un OS Singularity écrit en C# mais compilé "normalement" sans VM, les threads de l'OS partagent tous le même espace mémoire mais ils utilisent des preuves de programmes pour s'assurer que deux thread ne vont pas écrire ailleurs qu'elles en ont le droit, ce qui est une forme de 'bac à sable'.
[^] # Re: J'espère....
Posté par reno . En réponse à la dépêche 23 mars: Conférence au LORIA sur Lisaac, un nouveau langage. Évalué à 2.
Si on te prends à la lettre tu as raison bien sûr.
Mais des chercheurs pour Microsoft bossent sur un OS Singularity écrit en C# mais compilé "normalement" sans VM, les threads de l'OS partagent tous le même espace mémoire mais ils utilisent des preuves de programmes pour s'assurer que deux thread ne vont pas écrire ailleurs qu'elles en ont le droit, ce qui est une forme de 'bac à sable'.
Ceci dit, tout l'OS n'est pas prouvé bien sûr..