Neoxia Blog

La virtualisation selon Microsoft

Hyper-V (anciennement Viridian) est le nouvel outil de virtualisation de Microsoft. Sa date de sortie est pr�vue pour le mois d’ao�t 2008, mais une version est actuellement disponible en Release Candidate.

Ce produit marque v�ritablement l’entr�e du g�ant logiciel dans � la bataille de la virtualisation �. Il vient remplacer un Virtual Server 2005 aux performances en de�� des concurrents que sont VMware et Xen. Son approche est d’ailleurs tr�s similaire � ce dernier, car il n'assure que la gestion des ressources processeurs et m�moire, au contraire d’ESX de VMWare, qui prend en plus la gestion des pilotes.

Cette ressemblance s’explique par la collaboration de Microsoft avec XenSource, soci�t� d�di�e au d�veloppement de l’hyperviseur libre, r�cemment rachet� par Citrix. De cette coop�ration est n�e une interop�rabilit� avec les syst�mes Linux �quip�s de Xen, gr�ce au format Virtual Hard Disk (VHD), qui d�finit un standard pour les disques durs des machines virtuelles.

Caract�ristiques

Hyper-V se pr�sente sous la forme d’un hyperviseur int�gr� dans les �ditions Standard, Enterprise et Datacenter de Windows Serveur 2008. Il n�cessite un processeur 64bits avec prise en charge mat�rielle de la virtualisation (Intel VT ou AMD-V). Chaque machine virtuelle peut supporter jusqu’� 4 processeurs et 64 GO de m�moire.

Les syst�mes d’exploitation actuellement test�s et support�s par Microsoft sont les suivants:

Windows Serveur 2008 ;
Windows Serveur 2003 SP2 ;
Windows Vista SP1 ;
Windows XP SP3 ;
SUSE Enterprise Linux Server 10 SP1.

D’autres syst�mes peuvent fonctionner, comme les versions de Linux int�grant Xen, mais ils ne disposent pas (pour l’instant) du support de l’�diteur.

Les fonctionnalit�s cl�s du produit sont :

Quick migration permet de migrer les machines virtuelles d’une machine h�te vers une autre. C’est la solution �quivalente aux VMotion et XenMotion de ses concurrents, mais techniquement moins pouss�e, car elle ne permet pas de migration � chaud et n�cessite donc l’arr�t de la machine virtuelle.
High Availability (Haute disponibilit�) ; cette fonctionnalit� est en fait le Host Clustering de Windows Serveur 2008.
Live Backups permet des sauvegardes des machines virtuelles sous forme de clich� (snapshot) � travers le service Volume Shadow Copy (VSS), pr�sent depuis Windows serveur 2003.

Conclusion et perspectives

Avec Hyper-V, Microsoft se pare d’une r�elle solution de virtualisation, dont l’hyperviseur affiche une relative stabilit� et de bonnes performances, en d�pit de sa version non finalis�e. Gageons que la jeunesse du produit, ainsi que ses fonctionnalit�s l�g�rement en retrait par rapport � ses concurrents, risquent d’�tre un frein dans son d�ploiement, surtout au niveau de la production. Mais il reste une v�ritable alternative dans le domaine du d�veloppement et du test.

Les outils de virtualisation ont aujourd’hui tendance � se rapprocher, tant au niveau des performances, qu’au niveau de l’ensemble de l’offre. La prochaine grande bataille se situe au niveau de l’administration de l’ensemble de ces environnements virtualis�s, qui, � n’en pas douter, vont devenir de plus en plus h�t�rog�nes. Le g�ant de Richmond l’a bien compris et sa future version de System Center Virtual Machine Manager (nom de code � Carmine �) g�rera l’administration, la configuration et l’optimisation de syst�me virtuels fonctionnant avec Hyper-V, bien s�r, mais �galement avec Xen ou encore ESX de VMware.

ADO.NET Data Services (Astoria)

ADO.NET Data Services (nom de code Astoria) est un framework permettant l’exposition de services d’acc�s au donn�es accessibles � distance.

Ce type de service permet notamment aux applications riches internet (Silverlight, ASP.NET AJAX Framework) et desktop (Windows Forms) d’acc�der � des donn�es sans s’adresser directement � la base de donn�es, ce qui est souvent impossible dans de tels sc�narios.

La sortie d’ADO.NET Data Services est pr�vue pour juin ou juillet 2008.

Principes g�n�raux

ADO.NET Data Services fournit un service g�n�rique permettant d’exposer des donn�es issues d’ADO.NET Entity Framework, et �ventuellement d’autres sources de donn�es. La description des donn�es expos�es sont �galement d�crites par des m�tadonn�es publi�es par le service. Le service g�n�rique est impl�ment� en s’appuyant sur WCF (Windows Communication Fondation) qui permet le support de JSON et d’Atom dans .NET 3.5.

On communique avec ce service g�n�rique en adressant des requ�tes qui permettent de :

Consulter les entit�s (filtres, tris …)
Cr�er des entit�s
Mettre � jour des entit�s
Supprimer des entit�s

Ce service g�n�rique est fond� sur une architecture REST :

Utilisation de HTTP et des verbes standards (POST, GET, PUT, DELETE)
Utilisation de l’URL et de divers param�tres pour exprimer les requ�tes de consultation des entit�s
Utilisation des attributs du POST pour les requ�tes de cr�ation, mise � jour, et suppression d’entit�s
Utilisation de JSON (JavaScript Object Notation) ou d’Atom pour la r�ponse.

Le client du service utilise une API diff�rente selon sa nature :

Pour les clients Windows Forms et Silverlight 2.0, on peut acc�der aux donn�es en utilisant LINQ avec le provider LINQ for HTTP.
Pour les clients Web ou Silverlight 1.0, il existe �galement un API client JavaScript qui permet d’acc�der aux services ADO.NET Data Services.

S�curit� des donn�es

Il est possible de restreindre l’acc�s aux entit�s, selon l’utilisateur, et de g�rer les droits en consultation, modification, cr�ation et suppression. Il est �galement possible de filtrer les donn�es, selon l’utilisateur, via un syst�me � base d’intercepteur, tr�s similaire � ce celui de Spring Security (ex Spring Acegi) dans le monde Java.

Le filtrage des donn�es est formul� gr�ce � LINQ avec une rare �l�gance. C’est bluffant !

En guise de conclusion

ADO.NET Data Services est une technologie tr�s prometteuse, � surveiller de pr�t ! Rendez-vous en juin ou juillet, si tout va bien.

ADO.NET Entity Framework

ADO.NET est un framework de mapping objet / relationnel similaire � Hibernate ou TopLink, m�me si Microsoft s’en d�fend quelque peu. Sa sortie est pr�vue pour juin ou juillet 2008.

Mod�lisation

Dans ADO.NET Entity Framework, l’objectif est de mod�liser et manipuler les donn�es non plus sous forme de tables, mais sous forme d’entit�s.

La mod�lisation est effectu�e selon 3 points de vue distincts :

le Conceptual model (mod�le conceptuel), appel� aussi EDM (Entity Data Model), qui d�crit les entit�s (attributs, et op�rations) et les associations,
le Storage model (mod�le physique), qui d�crit les tables (colonnes, r�f�rences) et les proc�dures stock�es,
le Mapping entre conceptual model et le storage model, qui d�crit la correspondance (mapping) entre les tables et les entit�s.

Chacun de ces 3 points de vue est d�crit sous forme d’un document XML (ou d’un fragment XML).

� mon sens, l’existence d’un EDM ind�pendant du code est un atout du framework.

G�n�ration de code

� partir de l’EDM, il est possible de g�n�rer des classes repr�sentant les entit�s sous forme d’objets. Cette g�n�ration produit �galement une classe qui repr�sente le mod�le dans son ensemble, et fournit des ensembles permettant d’interroger les diff�rents types d’entit� (entity set). Ces classes sont des classes partielles.

Langages de requ�tes

L’EDM peut �tre interrog� en formulant des requ�tes :

en Entity SQL (eSQL), langage de requ�te textuel de type SQL
en LINQ, langage de requ�te fortement typ� (donc v�rifi� � la compilation) et int�gr� directement au langage de programmation (C#, VB.NET …).

Fonctionnalit�s de mapping

Les fonctionnalit�s de mapping sont riches et assez classiques :

mapping des champs ,
mapping des associations,
mapping de l’h�ritage,
mapping des types complexes,
mapping des op�rations sur des proc�dures stock�es.

Suivi des modifications

Les changements effectu�s sur le mod�le doivent �tre d�clar�s aupr�s du cache de tracking associ� au mod�le.

Les entit�s nouvellement cr�� doivent �tre d�clar�es aupr�s du cache.
Les entit�s modifi�es doivent, semble-t-il, �tre d�clar�es aupr�s du cache, �galement.

Une m�thode du mod�le permet de jouer sur la base de donn�es tous les changements d�clar�s aupr�s du cache de tracking.

� mon sens, cette s�paration claire du suivi des changements semble �tre un atout de framework.

Optimisation du chargement des donn�es

Dans une requ�te, il est possible de d�clarer les donn�es � charger en m�me temps que les entit�s requ�t�es. Il s’agit en fait d’entit�s connect�es aux entit�s requ�t�es via des associations. Par exemple, si l’on requ�te des clients, il est possible de dire, par la m�me occasion, que l'on souhaite ramener les commandes de ces clients.

Pour les connaisseurs, � ce jour, il n’y a pas de 'lazy loading''. � la travers�e d’une association, les entit�s ne sont pas charg�es automatiquement � la demande. Lorsqu’on acc�de � la propri�t� correspondant � un sens de circulation de l’association, tout se passe comme s’il n’y avait pas d’entit�s associ�es. Il n’y a aucune erreur. Pour charger les entit�s associ�es, il faut le faire explicitement en appelant une m�thode sur la propri�t�. Il y a �galement une propri�t� permettant de savoir si l’association a d�j� �t� charg�e.

� surveiller de pr�t !

Les nouveaut�s de C# 3.0

Avec l’arriv�e de C# 3.0, les �quipes de d�veloppement Microsoft nous propose un panel g�n�reux de nouveaut�s. Toutes ces nouveaut�s sont dans la lign�e de celles propos�es dans la version 2.0 (types g�n�riques, it�rateurs, m�thodes anonymes ou encore Nullable), qui, soyons en certains, n’�tait qu’une �tape. Cette version d�voile enfin les intentions de Microsoft, et tous ces nouveaux concepts ont bien une finalit�. Mais ne soyons pas trop empress�s, et ne d�voilons pas d’ores et d�j� la fin.

Pour m�moire, rappelons que C# a �t� con�u pour r�v�ler au maximum les probl�mes � la compilation, ce qui en fait un langage strict mais s�r.

Propri�t�s simplifi�es

Une premi�re nouveaut� permet de d�clarer une propri�t� plus simplement. Ainsi, il n’est plus n�cessaire de cr�er le champ priv�, puisqu’il est automatiquement g�n�r� par le compilateur. Le fait de d�finir l’une des m�thodes get ou set en priv�e rend respectivement la propri�t� writeonly ou readonly.

Initialiseurs d’objets

L’initialiseur d’objets est une forme syntaxique permettant de d’initialiser les propri�t�s d’un objet en passant par le constructeur par d�faut. Elle remplace l’appel � un constructeur surcharg� que l’on aurait cr��. Ainsi, le compilateur va cr�er de mani�re s�re l’objet instanci� : la r�f�rence vers l’objet ne sera attribu�e qu’une fois toutes les propri�t�s initialis�es. Pour cela, le compilateur va cr�er une variable temporaire, dont le d�veloppeur ne connait pas l’existence, et va ensuite assigner la r�f�rence vers l’objet cr�� la variable d�finitive, d�clar�e par le d�veloppeur. Cette nouveaut� permet notamment de simplifier la construction de collections, dont les �l�ments sont connus.

Inf�rence de type

Il est tr�s commun d’associer la d�claration d’une variable � son initialisation. Cette derni�re �tape permet � elle seule et sans ambig�it� de d�terminer le type de l’instance ainsi cr��e. Dans C# 3.0, il n’est donc plus n�cessaire de pr�ciser le type d’une variable lors de son initialisation. On emploiera alors le mot cl� var, lors de la d�claration, indiquant ainsi au compilateur de d�terminer lui-m�me le type. L’IntelliSense est �galement capable de faire ce travail, et de proposer naturellement toutes les propri�t�s et m�thodes de l’objet cr��. Attention, l’inf�rence de type ne fonctionne que pour les variables locales, puisqu’il est n�cessaire de les instancier � la d�claration.

Types anonymes

Il est courant de devoir consolider des donn�es provenant de plusieurs objets pour permettre un traitement. Au-del� de 4 ou 5 param�tres, les normes imposent de passer par une structure (classe ou struct). Cela oblige donc le d�veloppeur � cr�er des structures compl�mentaires, sans r�el int�r�t dans le mod�le objet. Pour palier � ce probl�me, il est d�sormais possible de cr�er dynamiquement un type anonyme. Par d�finition, il ne poss�de pas de nom et n’a donc pas vocation � �tre r�utilis�. L’inf�rence de type permet de r�cup�rer une instance de ce type anonyme et le manipuler comme n’importe quelle autre instance de classe. Le compilateur cr�e automatiquement la classe manquante, simplifiant ainsi le travail du d�veloppeur, tandis que l’IntelliSense permet sans difficult� d’acc�der aux propri�t�s de l’objet. En effet, il n’est pas pr�vu d’associer des m�thodes � ce nouveau type. Associ� � l’inf�rence de types et � l’initialiseur d’objet, l’utilisation d’un type anonyme permet d’�crire :

var employee = new {Nom="Guacamole", Prenom="Mathilde"};

M�thodes d’extensions

Comme leur nom l’indique, les m�thodes d’extensions permettent d’�tendre les fonctionnalit�s d’une classe. L’h�ritage n’est, en effet, pas toujours tr�s adapt� pour une telle utilisation et est d’avantage con�u pour la sp�cialisation. �tendre une classe est donc d�sormais possible en passant par une classe statique, dans laquelle on d�clare comme statiques un certain nombre de m�thodes d’extensions. Le rapport entre une m�thode d’extension et la classe qu’elle �tend se situe au niveau du premier param�tre de la m�thode. Le param�tre est ainsi pr�c�d� du mot cl� this et son type correspond � la classe �tendue. Il est alors possible d’appeler la m�thode d’extension directement sur une instance de la classe �tendue, en utilisant le point. L’IntelliSense est �galement capable de proposer les m�thodes d’extension. Notons que les m�thodes d’extension peuvent �galement s’appliquer aux interfaces, et pas seulement aux classes.

Lambdas expressions

En C# 2.0, on connaissait les m�thodes anonymes. � peine le temps de les apprivoiser, et voici les lambdas expressions : une simplification syntaxique des m�thodes anonymes. Les lambdas expressions vont cependant bien au-del�, puisqu’elles permettent de d�finir de v�ritables expressions, comportant des param�tres, et �valuables de mani�re diff�r�e. Les lambda expressions peuvent �tre compil�es directement en IL, ou bien encore faire l’objet d’une transformation, par exemple en SQL.

Plus loin ...

En introduction, nous soulignions � la fois la compl�mentarit� entre les nouveaut�s du langage de C# 2.0 et de C# 3.0, et le fait qu’elles aient toutes une m�me finalit� cach�e. Et apr�s toutes les avoir parcourues, nous pouvons enfin r�v�ler ce secret de polichinelle : il ne s’agit ni plus ni moins que de LINQ ! Ce qu’il faut r�ellement comprendre, donc, c’est que LINQ est l’aboutissement de toutes ces nouveaut�s. Sans elles, LINQ n’aurait pas �t� possible. Au risque de perturber, voire de larguer, une majorit� des d�veloppeurs, Microsoft et ses �quipes de d�veloppement ont donc investi �norm�ment sur cette nouvelle fonctionnalit� du framework. Voici donc la r�ponse � ceux qui accusaient Microsoft de tout recopier sur Java ! Microsoft a compris qu’il fallait s’inspirer de ce qui se fait de mieux dans les diff�rents langages pour construire sa plateforme. Enfin, gageons que cet investissement important porte ses fruits, en facilitant l’adoption de la plateforme .NET, et en permettant � cette technologie de s�duire de nouveaux clients.

Drools : vers une d�mocratisation des moteurs de r�gles ?

Les moteurs de r�gles ont traditionnellement un positionnement haut de gamme. De fait, ils sont doublement intimidants : d’abord ils sont plut�t chers, ensuite, pour justifier leur prix, ils sont pr�sent�s comme une solution � des besoins complexes, finalement pas si r�pandus que cela.

D’un point de vue acad�mique, celui de l’intelligence artificielle, le principe des moteurs de r�gles est simple. On d�crit d’une part un ensemble de r�gles, et d’autre part, un ensemble de faits. En appliquant ces r�gles sur ces faits, on d�duit (‘on inf�re’ dans le jargon de l’IA) de nouveau faits, et ainsi de suite. L’inf�rence des faits est assur�e par un algorithme classique baptis� Rete ou par l’une de ses nombreuses variantes, plus ou moins brevet�es.

Bon, tout cela ne nous dit pas trop ce que nous pouvons en faire pour les applications d’entreprise et le syst�me d’informations. Pour cela, essayons de ne pas mettre la charrue avant les bœufs et revenons aux … besoins.

Classiquement, dans une architecture fonctionnelle, on identifie un certains nombres de r�gles fonctionnelles durables et relativement faciles � formaliser. Il existe aussi souvent un certains nombre de micro r�gles, que l’on peine � d�crire exhaustivement, et qui ne cessent de changer dans le temps. Ces micro r�gles correspondent en fait fr�quemment � des besoins en flexibilit� qui d�coule de la nature m�me du m�tier : adaptation fine des politiques tarifaires, traitement particuliers de certaines cat�gories de clients, individualisation du service � la client�le …

Deux dangers nous guettent alors. Le premier danger consiste � exclure les cas particuliers et donc � refuser la flexibilit� au m�tier. Le second consiste � construire une architecture fonctionnelle centr�e sur les cas particuliers, rapidement min�e par la complexit�, et finalement peu flexible.

Il existe diverses approches pour ma�triser le foisonnement des variantes de comportement, dont les moteurs de r�gles. Malheureusement, leur co�t les confine aux cas complexes, alors qu’ils sont d�j� int�ressant pour les cas plus simples.

Le moteur de r�gles open source Drools (ou JBoss Rules) se pr�sente dans ces conditions comme une possibilit� int�ressante. Tout d’abord, il a tous les atours des moteurs de r�gles �tablis. Ensuite, il offre deux possibilit�s dignes d’int�r�t. Drools propose ainsi une interface web relativement simple pour d�crire des r�gles. D’autre part, il est possible de d�finir des r�gles sous une forme beaucoup plus proche du langage naturel. Dans les deux cas, bien s�r, les r�gles finissent exprim�es dans le langage de d�finition de r�gle de Drools. En �vitant les discours l�nifiants, on peut dire que Drools rapproche ainsi le technique du fonctionnel.

Les moteurs de r�gles offrent un choix suppl�mentaire dans la palette de l’architecte. Alors, pourquoi ne pas en profiter ?

Seam : un framework nouvelle g�n�ration

Il existe une pl�thore de framework web, c'est un fait.

Mais, il faut bien avouer que, pour la plupart, ces frameworks sont finalement tr�s proches, et se contentent de "refaire en mieux", sans v�ritablement innover, ni offrir d'avanc�es d�cisives pour les applications d'entreprise.

JBoss Seam choisit lui une approche innovante avec une forte valeur ajout�e pour les applications d'entreprise ; le tout enti�rement en open source. D’un point de vue conceptuel, Seam est l’un des premiers framework � supporter non seulement les architectures sans �tat, mais aussi les architectures avec �tat, gr�ce � la notion de conversation. Cette approche permet la mise en œuvre d’applications web pr�sentant des navigations complexes, et assure une forte s�paration des couches quelque soit le niveau de complexit� de cette navigation.

Seam int�gre de multiples technologies, mais contrairement � d’autre frameworks, il ne cherche pas � encapsuler (donc � brider) ces technologies. Au contraire, il se concentre sur une int�gration coh�rente et unifi�e entre les technologies, ainsi que sur les fonctionnalit�s suppl�mentaires � valeur ajout�e. En cela, Seam partage philosophiquement certains points communs avec Spring.

Les technologies int�gr�es par Seam sont principalement les suivantes :

le standard JavaServer Faces pour la pr�sentation, et son approche composant,
JBoss RichFaces avec un ensemble de composants graphiques JSF (supportant AJAX),
JBoss Ajax4JSF avec un ensemble de composants JSF facilitant le support d’AJAX,
une extension de JSF pour la description de navigation avec �tat,
le standard EJB session stateless d’EJB 3 pour les composants non conversationnels (sans �tat),
le standard EJB session stateful d’EJB 3 pour les composants conversationnels (avec �tat),
le standard Java Persistence API et les entit�s d'EJB 3 pour la persistance,
JBoss Drools pour la s�curit� d�clarative par r�gles, et plus g�n�ralement les r�gles fonctionnelles,
JBoss jBPM pour les processus fonctionnels (business process) et les workflows, mais �galement pour les navigations complexes dans le site web.

Seam s'appuie majoritairement sur des standards, avec notablement Java EE 5 ou bien encore l’approche POJO (Plain Old Java Objects). Il utilise notamment les m�canismes standard d’extensibilit� de Java EE 5 pour int�grer diverses extensions d’origine JBoss. En pratique, cela signifie que Seam n’est pas particuli�rement li� � JBoss Application Server et peut fonctionner dans la plupart des serveurs d’application.

En guise de conclusion, remarquons que Seam int�gre des technologies JBoss, tels que JBoss Drools et JBoss jBPM, particuli�rement bien plac�es sur leur march� respectif.

log4J, un extrait de support de TechCoaching�

log4J est une API de log open source bien connue, d'origine Apache. Son usage est quasi syst�matique dans les projets : le log est une bonne pratique. Puissante et efficace, cette API n'est pas toujours tr�s facile d'abord. Cet extrait d'un support de TechCoaching™ fait le point sur les concepts de base de log4J.

Google Guice, un nouveau framework d'injection de d�pendance

Google propose un nouveau framework d'injection, baptis� Guice (� prononcer juice), et fond� sur des annotations. Un d�bat tr�s int�ressant, initi� suite � un blog de Craig Walls, a lieu entre la communaut� Spring (le framework d'injection standard de fait) et les cr�ateurs de Guice.

L'argumentaire de Craig Walls en faveur de Spring est, � mon avis, particuli�rement convaincant, et l'essentiel des remarques est tout � fait justifi� :

Spring est bien moins intrusif. Guice oblige a annoter les classes, Spring non.
L’injection de valeurs simples en Spring est beaucoup plus simple qu’avec Guice.
Spring peut injecter dans des classes quelconques, pas seulement dans des classes annot�es comme Guice. Il est vrai que Guice offre la notion d’adaptateur, mais cela n�cessite d’�crire du code.

JSR308, les annotations vont encore plus loin

La JSR 308 : Annotations on Java Types a pour objectif d'�tendre le syst�me d'annotation de Java SE 6 pour permettre l'annotation des types en g�n�ral, et plus seulement des m�thodes, champs, et des classes. La sp�cification en version de travail est d�j� dans un �tat relativement avanc�. L'ensemble est coh�rent et bien construit. Cependant, on est en droit de se demander si la concurrence accrue entre Java et le futur C# 3.0 n'est pas en train d'engendrer des langages chim�riques. C++ ne serait-il pas en train de repasser par la porte de derri�re.

iBATIS, au del� de JDBC

JDBC est une API pour le moins rudimentaire. � tel point, qu'il ne serait pas tr�s sage de s'aventurer � d�velopper une application sans avoir quelque peu encapsul� les fonctionnalit�s de JDBC. Il ne faudrait pas cependant oublier le premier commandement des frameworks : "De framework, tu n'�criras point. Les dieux de l'open source pourvoiront � tes besoins".

Plus s�rieusement, iBATIS est un framework JDBC open source d'origine Apache, et qui pr�cis�ment encapsule JDBC. Alors, sachons profiter de la manne divine, et aussi de cet extrait d'un support de TechCoaching™ Neoxia portant sur le dit iBATIS.

R�f�rences

iBATIS (extrait de support de TechCoaching™)