Traitement en cours

Veuillez attendre...

Paramétrages

Paramétrages

Aller à Demande

1. WO2003019366 - COMPRESSION D'UN PROGRAMME EN LANGAGE INTERMEDIAIRE

Note: Texte fondé sur des processus automatiques de reconnaissance optique de caractères. Seule la version PDF a une valeur juridique

[ FR ]

REVENDICATIONS

1 - Procédé pour compresser un programme (PGC) compilé en langage intermédiaire composé d'instructions successives (IN), selon lequel des séquences d'instructions (SQ) sont détectées à l'extérieur d'un dispositif de traitement de données (CA) , caractérisé en ce qu'il comprend les étapes de :
- analyser (AN, E2 , E3) , à l'extérieur du dispositif de traitement de données, des séquences d'instructions détectées (SQ) afin de générer respectivement des annotations (AN) en langage intermédiaire définissant des macro-instructions respectives (MI) lorsque les séquences d'instructions détectées satisfont des contraintes prédéterminées (CSQ) ,
- charger (E6) depuis l'extérieur les instructions (IN) et les annotations (AN) dans le dispositif de traitement de données (CA) , et
- produire et mémoriser (CP, S6-S9) dans le dispositif de traitement de données (CA) des macroinstructions (MI) définies par des annotations de séquences d'instructions chargées qui sont compatibles avec les contraintes (CSQ) , respectivement en remplacement des séquences d'instructions chargées (SQ) .

2 - Procédé conforme à la revendication 1, comprenant après l'étape de charger, l'étape de vérifier (VER, S1-S4) les annotations chargées (AN) en fonction des contraintes (CSQ) dans le dispositif de traitement de données .

3 - Procédé conforme à la revendication 1 ou 2 , selon lequel chaque annotation (AN) relative à une séquence d'instructions (SQ) comprend au moins une adresse (ADSQ) positionnant la séquence d'instructions dans le programme compilé (PGC) et la longueur (LSQ) de la séquence d'instructions, ainsi que les instructions contenues dans la séquence.

4 - Procédé conforme à l'une quelconque des revendications 1 à 3 , selon lequel les annotations

(AN) sont incluses dans un composant additionnel (CAD) qui est lié au programme compilé (PGC) et qui est chargé avec celui-ci dans le dispositif de traitement de données (CA) .

5 - Procédé conforme à l'une quelconque des revendications 1 à 4, selon lequel les contraintes (CSQ) imposées sur chaque séquence d'instructions (SQ) à compresser en macro-instruction (MI) comprennent au moins l'une des suivantes : les instructions dans la séquence sont contenues dans le corps d'une méthode commune ; les instructions dans la séquence ne contiennent aucune étiquette dans la séquence, à l'exception de la première instruction dans la séquence ; aucune instruction de la séquence à 1 ' exception de la dernière instruction de la séquence ne rompt le flot d'exécution du programme compilé .

6 - Procédé conforme à l'une quelconque des revendications 1 à 5, selon lequel l'étape d'analyser des séquences (AN, E2, E3) génère au moins une annotation définissant une macro-instruction correspondant à une séquence d'instructions analysée contenue dans une autre séquence d'instructions analysée précédemment .

7 - Procédé conforme à l'une quelconque des revendications 1 à 6, selon lequel l'étape d'analyser des séquences. (AN, E2 , E3) génère au moins une macroinstruction (MG) correspondant à une séquence d'instructions analysée, la correspondance entre ces dernières macro-instruction (MG) et séquence d'instructions étant préalablement mémorisée dans le dispositif de traitement de données (CA) .

8 - Procédé conforme à l'une quelconque des revendications 1 à 7, selon lequel, lorsqu'une séquence d'instructions chargée (SQ) correspond à une macro-instruction (MI, MG) déjà produite au cours de la compression du programme compilé ou mémorisée préalablement à la compression dans le dispositif de traitement de données (CA) , ladite séquence d'instructions est remplacée par ladite macroinstruction déjà produite ou mémorisée.

9 - Procédé conforme à l'une quelconque des revendications 1 à 8, selon lequel l'étape de produire et mémoriser (CP, S6-S9) comprend une écriture de chaque macro-instruction (MI, MG) dans un espace de mémoire (MIN) du dispositif de traitement de données (CA) dans lequel la séquence d'instructions (SQ) correspondant à la macro-instruction a été chargée.

10 - Procédé conforme à l'une quelconque des revendications 1 à 9, selon lequel le dispositif de traitement de données est un objet électronique portable du type carte à puce (CA) .