ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne
Autres revues >>

Technique et Science Informatiques

0752-4072
Revue des sciences et technologies de l'information
 

 ARTICLE VOL 23/8 - 2004  - pp.967-996  - doi:10.3166/tsi.23.967-996
TITLE
A Metric-based Approach for Code Displacements in the Debugging of Optimised Programs

RÉSUMÉ
Changer l'ordre d'exécution des instructions est une conséquence fréquente de plusieurs techniques d'optimisation et ceci doit être rectifié lors de la mise au point, au niveau source, des programmes optimisés. Pour capter l'idée de « distances sur une trajectoire [spécifiée] », une fonction δ est définie et utilisée. δ ressemble à la fonction distance habituellement utilisée en mathématique mais elle est appliquée dans un « espace métrique des trajectoires » : elle donne la distance entre deux positions dans un programme mais aussi le chemin sur lequel cette dernière est mesurée. δ est utilisée pour corriger, lors de la mise au point, les effets de déplacement des instructions par l'optimiseur. Ainsi, on obtient une base simple, valable mais générale pour manipuler et interpréter de façon systématique les questions liées aux déplacements des instructions dans des techniques d'optimisation diverses.


AUTEUR(S)
William S. SHU

MOTS-CLÉS
déboggage interactif au niveau source, optimisation, déboggage des programmes optimisés, espace métrique des trajectoires, fonction distance, spécification de trajectoire.

KEYWORDS
debugging of optimised programs, path metric space, distance function, path specification.

LANGUE DE L'ARTICLE
Anglais

 PRIX
• Abonné (hors accès direct) : 12.5 €
• Non abonné : 25.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (288 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier