Traitement en cours

Veuillez attendre...

Paramétrages

Paramétrages

1. WO2012000949 - PROCÉDÉ DE COMPILATION SÉLECTIVE, DISPOSITIF ET PRODUIT PROGRAMME D'ORDINATEUR CORRESPONDANT

Numéro de publication WO/2012/000949
Date de publication 05.01.2012
N° de la demande internationale PCT/EP2011/060748
Date du dépôt international 27.06.2011
CIB
G06F 9/45 2006.01
GPHYSIQUE
06CALCUL; COMPTAGE
FTRAITEMENT ÉLECTRIQUE DE DONNÉES NUMÉRIQUES
9Dispositions pour la commande par programme, p.ex. unités de commande
06utilisant des programmes stockés, c. à d. utilisant un moyen de stockage interne à l'équipement de traitement de données pour recevoir ou conserver les programmes
44Dispositions pour exécuter des programmes spécifiques
45Compilation ou interprétation de langages de programmation évolués
CPC
G06F 8/41
GPHYSICS
06COMPUTING; CALCULATING; COUNTING
FELECTRIC DIGITAL DATA PROCESSING
8Arrangements for software engineering
40Transformation of program code
41Compilation
G06F 8/443
GPHYSICS
06COMPUTING; CALCULATING; COUNTING
FELECTRIC DIGITAL DATA PROCESSING
8Arrangements for software engineering
40Transformation of program code
41Compilation
44Encoding
443Optimisation
G06F 8/52
GPHYSICS
06COMPUTING; CALCULATING; COUNTING
FELECTRIC DIGITAL DATA PROCESSING
8Arrangements for software engineering
40Transformation of program code
52Binary to binary
G06F 9/45516
GPHYSICS
06COMPUTING; CALCULATING; COUNTING
FELECTRIC DIGITAL DATA PROCESSING
9Arrangements for program control, e.g. control units
06using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
44Arrangements for executing specific programs
455Emulation; Interpretation; Software simulation, e.g. virtualisation or emulation of application or operating system execution engines
45504Abstract machines for programme code execution, e.g. Java virtual machine [JVM], interpreters, emulators
45516Runtime code conversion or optimisation
Déposants
  • FLEXYCORE [FR/FR]; 14E rue du Patis Tatelin F-35700 Rennes, FR (AllExceptUS)
  • CABILLIC, Gilbert [FR/FR]; FR (UsOnly)
  • LESOT, Jean-Philippe [FR/FR]; FR (UsOnly)
Inventeurs
  • CABILLIC, Gilbert; FR
  • LESOT, Jean-Philippe; FR
Mandataires
  • LE SAUX, Gaël; Technopole Atalante 16B, rue de Jouanet, Bretagne F-35703 Rennes Cedex 7, FR
Données relatives à la priorité
105526129.06.2010FR
Langue de publication français (FR)
Langue de dépôt français (FR)
États désignés
Titre
(EN) SELECTIVE COMPILING METHOD, DEVICE, AND CORRESPONDING COMPUTER PROGRAM PRODUCT
(FR) PROCÉDÉ DE COMPILATION SÉLECTIVE, DISPOSITIF ET PRODUIT PROGRAMME D'ORDINATEUR CORRESPONDANT
Abrégé
(EN)
The invention relates to a method for compiling a software application to be executed on a virtual machine of a physical platform, said software application originally being in the form of a set of codes to be compiled. According to the invention, such a method includes a phase of selectively compiling said set of codes to be compiled, outputting a compiled application including a first application part which is executed by said virtual machine using commands from said virtual machine, and a second application part including binary commands which can be executed directly on said physical platform.
(FR)
L'invention concerne un procédé de compilation d'une application logicielle destinée à s'exécuter au sein d'une machine virtuelle d'une plateforme matérielle, ladite application logicielle se présentant originellement sous la forme d'un ensemble de codes à compiler. Selon l'invention, un tel procédé comprend une phase de compilation sélective dudit ensemble de codes à compiler délivrant une application compilée comprenant une première partie applicative exécutée par ladite machine virtuelle en utilisant des instructions de ladite machine virtuelle et une deuxième partie applicative comprenant des instructions binaires directement exécutable sur ladite plateforme matérielle.
Également publié en tant que
Dernières données bibliographiques dont dispose le Bureau international