Profiling Infrastructure for the Evaluation of Asynchronous Systems - Couverture souple

Fang, David

 
9783836475266: Profiling Infrastructure for the Evaluation of Asynchronous Systems

Synopsis

La conception et l'optimisation de circuits asynchrones à grande échelle est un processus itératif qui implique la synthèse, la simulation, l'analyse comparative et la réécriture de programmes. Tout au long du processus de conception, on est confronté à d'innombrables décisions pour la transformation du programme. L'optimisation intelligente et l'élagage de l'espace de conception nécessitent une connaissance détaillée du comportement d'exécution du programme. Le profilage de traçage capture le comportement d'exécution typique et le comportement dépendant des entrées qui ne peuvent pas être déduits uniquement de l'analyse statique. Ce texte présente un cadre pour tracer et analyser l'exécution simulée de programmes simultanés de haut niveau, comme base pour l'optimisation itérative et la synthèse de circuits asynchrones. Le cadre comprend un environnement interactif et une bibliothèque de procédures primitives pour le traitement et l'interrogation des données de trace. L'extensibilité de ce cadre permet le développement sans compilation de routines d'analyse personnalisées. Le but de ce cadre d'analyse est de permettre aux futurs outils d'utiliser les commentaires axés sur les profils pour automatiser l'optimisation itérative et l'exploration de l'espace de conception.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.