Machines virtuelles - Cours de Compilation Avancée (MI190)

Benjamin Canou Université Pierre Et Maire Curie

Description

Machines virtuellesCours de Compilation A vancée (MI190)Benjamin CanouUniversité Pierre et Maire CurieAnnée 2010/2011 – Semaine 2. . . . . .Machines virtuelles. . . . . .= L = B1. Un compilateur L ! L :A BI Un p rogramme écrit en langage L ,BI transfo rmant mon p rogramme en un équivalent en L .B2. Une machine virtuelle A p our ma machine B :I Un p rogramme écrit en langage L ,BI capable d’exécuter les p rogrammes en langage L .APrincip e général. .Machine A Machine BI . ILangage comp ris : L Langage comp ris : LA BI IImplantation : I Implantation : IA BJ’ai dans ma p o che :I un p rogramme en langage L AI une machine de t yp e BQue faire ?. . . . . .Princip e général. .Machine A Machine BI . ILangage comp ris : L Langage comp ris : LA BI IImplantation : I = L Implantation : I = A B BJ’ai dans ma p o che :I un p rogramme en langage L AI une machine de t yp e BQue faire ?1. Un compilateur L ! L :A BI Un p rogramme écrit en langage L ,BI transfo rmant mon p rogramme en un équivalent en L .B2. Une machine virtuelle A p our ma machine B :I Un p rogramme écrit en langage L ,BI capable d’exécuter les p rogrammes en langage L .A. . . . . .Machine virtuelle de plate-fo rme(Ce n’est pas le sujet de ce cours)Dans le cas général, il est trop difficile de recompiler.Une machine virtuelle est donc la seule p ossibilité.. .Machine PPC Machine x64.I ILangage comp ris : asm PPC Langage comp ris : asm x64I IImplantation : asm x86 ...

Sujets

• réseau
• réseaux

Informations

• Publié par: Undoe
• Nombre de lectures: 83
• Langue: Français

Extrait

Machines virtuelles

Cours de Compilation Avance (MI190)

Benjamin Canou Universit Pierre et Maire Curie

Anne 2010/2011 – Semaine 2

Machines

virtuelles

L B

Langage compris : Implantation :I B

J’ai dans ma poche : un programme en langageL A une machine de type B Que faire ?

Machine B

Machine A

Langage compris :L A Implantation :I A

Principe gnral

terlxcuograesprnealmmseLe. A gnga I I I B L== I I I U.1alipmocn emcrgmalnnairet L A !Lteur npro B : I U grromeamntmanpmonartrofs egag I , B L machinev L B . 2.Une aveltnnenenuqiu grronp I U B:nehiacmamruopAelleutri ed’epabl , I ca geL B naagetlncirmaem

Principe gnral

I I

Machine A Langage compris :L A Implantation :I A =L B

I I

Machine B Langage compris :L B Implantation :I B

=

J’ai dans ma poche : I un programme en langageL A I une machine de type B Que faire ? 1. Un compilateurL A !L B : Un programme crit en langageL B , transformant mon programme en un quivalent enL B . 2. Une machine virtuelle A pour ma machine B : Un programme crit en langageL B , capable d’excuter les programmes en langageL A .

I I I I

Machine virtuelle de plate-forme (Ce n’est pas le sujet de ce cours)

Dans le cas gnral, il est trop difficile de recompiler. Une machine virtuelle est donc la seule possibilit.

I I I I

Machine PPC

gage compris : as

Langage compris : asm PPC Implantation : asm x86

I I

Machine x64

Langage compris : asm x64 Implantation :

Autres noms :mulateur, simulateur, ... Exemples :QEMU, DOSBox, VirtualPC, ...



Machine virtuelle applicative

I I

Machine ZAM (ocaml)

Langage compris : asm ZA

Langage compris : asm ZAM Implantation : asm x86

I I

Machine x64

Langage compris : asm x64 Implantation :



Dans ce cas, le choix est dlibr : 1.On veut compiler un langage donn. 2.On prfre compiler vers un assembleur adapt. 3.On utilise une machine virtuelle pour l’excuter.

QUIZZ :Pourquoi ?

Machine virtuelle applicative

I I

Machine ZAM (ocaml)

Langage compris : asm ZA

Langage compris : asm ZAM Implantation : asm x86

I I

Machine x64

Langage compris : asm x64 Implantation :



Dans ce cas, le choix est dlibr : 1.On veut compiler un langage donn. 2.prfre compiler vers un assembleur adapt.On 3.On utilise une machine virtuelle pour l’excuter.

Mots-clefs :abstraction, portabilit,scurit, inter-oprabilit

Machine virtuelle applicative :abilportit

I

Exemples d’implantations de la machine virtuelle OCaml : ocamlrun :crite en C portable partout o un compilateur C est disponible obrowser :crite en JavaScript on peut excuter un programme caml dans un navigateur ocapic :crite en assembleur PIC un langage de haut niveau sur microcontroleurs

I I I

Implantations alternatives : OpenJDK :pour la JVM d’oracle Mono :pour la CLR

I

Machine virtuelle applicative :noitcartbsa

I I I

Modle smantique clair et fig : plus facile de thoriser, excutables plus durables, portabilit facile, y compris aux tiers.

I I I

Instructions de haut niveau : moins d tapes de compilation, ’ support du langage!compilation plus simple, schma de compilation unique.

I I

Machine virtuelle applicative :aribo-ptnreitli

I I I

Entre les langages : VB.Net peut appeler des fonctions F# dans la CLR. Entre les plate-formes : reprsentation spcifie des chaines, taille des entiers, etc. (ex : Sauvegarde sous Win/x86, relecture sous GNU/PPC). Entre les machines : primitives rseau spcifies

)

communication plus facile

Machine virtuelle applicative :scurit

I I I I

Excution isole (sandboxing)

Assembleur typ

Vrification avant excution (bytecode verifier)

Instrumentation (traces, journalisation, etc.)