東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Automatically generating the back en...

Harvard University.

Linked to FindBook

Google Book

Amazon

博客來

Automatically generating the back end of a compiler using declarative machine descriptions.

Record Type:	Electronic resources : Monograph/item
Title/Author:	Automatically generating the back end of a compiler using declarative machine descriptions./
Author:	Dias, Joao.
Description:	236 p.
Notes:	Adviser: Norman Ramsey.
Contained By:	Dissertation Abstracts International70-03B.
Subject:	Computer Science. -
Online resource:	http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3350954
ISBN:	9781109066418

Automatically generating the back end of a compiler using declarative machine descriptions.
Dias, Joao.

Automatically generating the back end of a compiler using declarative machine descriptions. - 236 p.

Adviser: Norman Ramsey.

Thesis (Ph.D.)--Harvard University, 2009.

Although I have proven that the general problem is undecidable, I show how, for machines of practical interest, to generate the back end of a compiler. Unlike previous work on generating back ends, I generate the machine-dependent components of the back end using only information that is independent of the compiler's internal data structures and intermediate form. My techniques substantially reduce the burden of retargeting the compiler: although it is still necessary to master the target machine's instruction set, it is not necessary to master the data structures and algorithms in the compiler's back end. Instead, the machine-dependent knowledge is isolated in the declarative machine descriptions.

ISBN: 9781109066418Subjects--Topical Terms:

626642
Computer Science.

Automatically generating the back end of a compiler using declarative machine descriptions.
LDR:02932nmm 2200289 a 45 001 890593
005 20101103
008 101103s2009 eng d
020 $a 9781109066418
035 $a (UMI)AAI3350954
035 $a AAI3350954
040 $a UMI $c UMI
100 1 $a Dias, Joao. $3 1064547
245 1 0 $a Automatically generating the back end of a compiler using declarative machine descriptions.
300 $a 236 p.
500 $a Adviser: Norman Ramsey.
500 $a Source: Dissertation Abstracts International, Volume: 70-03, Section: B, page: 1750.
502 $a Thesis (Ph.D.)--Harvard University, 2009.
520 $a Although I have proven that the general problem is undecidable, I show how, for machines of practical interest, to generate the back end of a compiler. Unlike previous work on generating back ends, I generate the machine-dependent components of the back end using only information that is independent of the compiler's internal data structures and intermediate form. My techniques substantially reduce the burden of retargeting the compiler: although it is still necessary to master the target machine's instruction set, it is not necessary to master the data structures and algorithms in the compiler's back end. Instead, the machine-dependent knowledge is isolated in the declarative machine descriptions.
520 $a The largest machine-dependent component in a back end is the instruction selector. Previous work has shown that it is difficult to generate a high-quality instruction selector. But by adopting the compiler architecture developed by Davidson and Fraser (1984), I can generate a naive instruction selector and rely upon a machine-independent optimizer to improve the machine instructions. Unlike previous work, my generated back ends produce code that is as good as the code produced by hand-written back ends.
520 $a My code generator translates a source program into tiles, where each tile implements a simple computation like addition. To implement the tiles, I compose machine instructions in sequence and use equational reasoning to identify sequences that implement tiles. Because it is undecidable whether a tile can be implemented, I use a heuristic to limit the set of sequences considered. Unlike standard heuristics, which may limit the length of a sequence, the number of sequences considered, or the complexity of the result computed by a sequence, my heuristic uses a new idea: to limit the amount of reasoning required to show that a sequence of instructions implements a tile. The limit, which is chosen empirically, enables my search to find instruction selectors for the x86, PowerPC, and ARM in a few minutes each.
590 $a School code: 0084.
650 4 $a Computer Science. $3 626642
690 $a 0984
710 2 0 $a Harvard University. $3 528741
773 0 $t Dissertation Abstracts International $g 70-03B.
790 $a 0084
790 1 0 $a Ramsey, Norman, $e advisor
791 $a Ph.D.
792 $a 2009
856 4 0 $u http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3350954