2010-04-12 7 views
8

Dans mon cours sur la construction de compilateurs, nous avons été initiés au concept de lattice. Trois conférences ont été consacrées aux treillis et jusqu'à présent cela semble être une tangente intéressante, mais le dilemme est que cela ne permet pas vraiment d'expliquer comment un compilateur utilise un treillis pour résoudre un problème concret.Comment un treillis est-il utilisé par un compilateur

Nous avons déjà couvert l'analyse syntaxique et typographique. Nous sommes sur le point de commencer l'analyse de vivacité et d'enregistrer l'allocation.

Remarque, Je ne recherche pas de ressources sur la construction de compilateurs. La liste de liens suivante a assez bien couvert. Ce que je cherche est une explication sur la relation entre les compilateurs et les treillis, des points bonus pour le plus d'exemples.

Learning Resources on Parsers, Interpreters, and Compilers
How much of the compiler should we know?
Learning to write a compiler

+1

Assurez-vous d'assister à la classe à venir sur l'analyse liveness, et vous maintenant d'au moins une utilisation importante des réseaux dans les compilateurs;) –

+0

qui est presque comment ça s'est passé "La prochaine classe est sur l'analyse de vivacité." Une semaine plus tard, "Parlons des treillis, rencontrons, rejoignons, les plus grandes limites inférieures, les limites supérieures, ..." La classe suivante, "Maintenant que vous comprenez tout ce que vous devez savoir sur l'analyse de vivacité ..." Je plaiderais que j'ai dormi en classe sauf que j'ai plus de 10 pages de notes. –

+0

Heh, je me souviens de ces classes exactes de mon premier cours de compilateur. L'enseignant a présenté le sujet comme "Mathématiques extraterrestres" :-) –

Répondre

4

Treillis sont une structure très utile pour représenter l'état tout en faisant une analyse statique sur le programme en cours de compilation - par exemple. pour supprimer le code mort détecté par l'analyse de vivacité, les expressions disponibles/très occupées, les définitions d'atteinte, l'analyse des signes et la propagation constante.

Voici une très bonne lecture si vous voulez les détails: Lecture Notes on Static Analysis

Questions connexes