Voilà, les TechDays sont terminés depuis jeudi soir dernier. Nous allons revenir sur la dernière session plénière axée sur les 12 travaux d’Hercule. Ce fut aussi, en préambule et en conclusion, pour Microsoft se rendre hommage à un des chercheurs les plus connus de la communauté : Jim Gray, disparu en mer. Il participa à de nombreuses évolutions : première implémentation de SQL, opérateur data cube ou encore le protocole two phases commit.

Pour Microsoft, les 12 travaux d’Hercules se résument ainsi :

• montée en charge grâce à une architecture logicielle et matérielle capable d’évoluer linéairement dans un facteur 10 puissance 6. C’est ce que l’on retrouve dans le concept informatique dans le nuage ou cloud computing notamment grâce aux centres de données géants (on annonce jusqu’à 400 – 500 000 serveurs !). Nous sommes actuellement à la 4e génération de Datacenter qui sera équipé de conteneurs (comme sur les bateaux) contenant les serveurs. Intel annonce aussi la couleur : on passera pour la même puissance de calcul de 184 serveurs en 2005 à 1 unique serveur en 2012 ! Mais cela passera aussi par le développement massif de logiciels fonctionnement optimalement sur plusieurs coeurs d’un processeur.

• Réussir les tests de Turing

• Généraliser des technologies vocales : cela passe notamment par une qualité de la synthèse vocale et des capacités de lecture. Ces technologies sont essentielles dans une problématique d’accessibilité des applications et en particulier des sites web. Car comment faciliter l’accès à un site pour un utilisateur ayant un handicap quelconque ? Il existe certes des recommandations mais aujourd’hui, seule une infime partie des logiciels est adaptée.

• Reconnaissance des objets et des mouvements. Cela passe notamment par une révolution totale de l’interface homme – machine qui n’a finalement pas évolué depuis 40 ans avec la première souris, le projet Xerox Parc ou encore Macintosh. Le multitouch est une évolution intéressante Microsoft va le généraliser sur Windows.

• Système sans problème : construire un système capable d’être géré et administré par une seule personne et utilisé par des millions d’utilisateur. Aujourd’hui les systèmes ne sont pas prédictibles dans le sens où ne sait jamais comment va se comporter une application, son système. Demain, il s’agit de disposer d’un système prédictible, bref on saura comment il se comportera sur la durée. C’est la base de réflexion du projet Singularity de Microsoft Research : système totalement nouveau, basé un micro noyau, entièrement en code managé (donc .Net), avec des processus isolés et des communications par contrat. Cela s’appuie sur des langages sûrs, des outils de vérifications. D’autre part l’architecture doit être entièrement penser pour simplifier et modulariser la plate-forme.

• Découlant de travail ci-dessus, le 10e travail concerne le système sécurisé. Il s’agit de bâtir un système sur lequel un déni de service n’est pas possible. Et que l’on peut prouver ! Cela passe aussi par des protocoles sûrs ce qui n’est pas le cas aujourd’hui, aussi la conception que l’implémentation possède des bugs. Pour les laboratoires de l’éditeur et notamment celui conjoint avec l’INRIA cela passe par F# et les protocoles prouvés.

• Programmeur automatique : objectif ? avoir un rendement de programmation de facteur 1000 ! Un des moyens pour y arriver est l’introduction massive de modèle qui doit faciliter la lecture du code, la génération du code, la maintenance du code. Mais si cela facilite les éléments précédents, il faudra acquérir de nouvelles compétences et une maîtrise totale des outils et des modèles.

De quoi nous occuper encore quelques années !