Loading...
Please wait, while we are loading the content...
Similar Documents
On Stage Ordering in Staged Computation
| Content Provider | CiteSeerX |
|---|---|
| Author | Wang, Zhenghao Muntz, Richard R. |
| Abstract | A staged computation is a computation organized in a cascade of stages: each stage produces code for its successive stage; the final stage produces the desired output. An o#-line procedure called binding time analysis (BTA) is often used to pre-convert unstaged code into staged code, i.e., code annotated with stage labels, which can guide online staged computation. For dynamic re-optimization purposes, it is advantageous for the order of stages in the cascade to change during runtime; however, the staged code may not support all permutations of stage sequences. Thus, it is both a and practical question to e#ciently decide whether a specific stage sequence is valid for a staged code. Our approach is to encode the set of valid stage sequences for a staged code o#-line in a stage ordering language (SOL) to facilitate fast online decision. Contrary to the intuition that we only need a single generic SOL (such as the language of posets of stage labels) to su#ciently and e#ciently encode the set of valid stage sequences for any staged code in any staged language, we may need di#erent SOLs for di#erent staged languages. We analyze several staged languages and then present a metatheory on validating a SOL for a given staged language. Our result reveals the relationship between SOLs and semantic properties of staged languages, and can influence the design of staged languages and BTA. 1 |
| File Format | |
| Access Restriction | Open |
| Subject Keyword | Staged Computation Staged Language Staged Code Stage Ordering Stage Label Valid Stage Sequence Single Generic Sol Dynamic Re-optimization Purpose Stage Sequence Di Erent Stage Ordering Language Specific Stage Sequence Erent Sol Staged Code Line Semantic Property Practical Question Desired Output Binding Time Analysis Fast Online Decision Pre-convert Unstaged Code Final Stage Line Procedure Successive Stage |
| Content Type | Text |
