Basic block graphs: living dinosaurs?
Abstract: "Since decades, basic-block (BB) graphs are the state- of-the-art means for representing programs in advanced industrial compiler environments. The usual justification for introducing the intermediate BB- structures in the program representation is performance: analyses on BB- graphs...
Gespeichert in:
Hauptverfasser: | , , |
---|---|
Format: | Buch |
Sprache: | English |
Veröffentlicht: |
Passau
1997
|
Schriftenreihe: | Universität <Passau> / Fakultät für Mathematik und Informatik: MIP
1997,15 |
Schlagworte: | |
Zusammenfassung: | Abstract: "Since decades, basic-block (BB) graphs are the state- of-the-art means for representing programs in advanced industrial compiler environments. The usual justification for introducing the intermediate BB- structures in the program representation is performance: analyses on BB- graphs are generally assumed to outperform their counterparts on single- instruction (SI) graphs, which, undoubtedly, are conceptually much simpler, easier to implement, and more straightforward to verify. In this article, we discuss the difference between the two program representations and show by means of runtime mesurements that, according to the new computer generations, performance is no longer on the side of the more complex BB- graphs. In fact, it turns out that no sensible reason for the BB-structure remains. Rather, we will demonstrate that edge-labeled SI-graphs, which in contrast to the classical flow graphs model statements in their edges instead of in their nodes, are most adequate, both for the theoretical reasoning about and for the implementation of analysis and optimization algorithms. We are convinced that this perception has far-reaching consequences for the design of compiler systems." |
Beschreibung: | 29, 6 S. Ill., graph. Darst. |
Internformat
MARC
LEADER | 00000nam a2200000 cb4500 | ||
---|---|---|---|
001 | BV011583325 | ||
003 | DE-604 | ||
005 | 19980217 | ||
007 | t | ||
008 | 971020s1997 ad|| |||| 00||| eng d | ||
035 | |a (OCoLC)38860332 | ||
035 | |a (DE-599)BVBBV011583325 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | 0 | |a eng | |
049 | |a DE-154 |a DE-739 |a DE-12 |a DE-634 | ||
084 | |a SS 5600 |0 (DE-625)143571: |2 rvk | ||
100 | 1 | |a Knoop, Jens |e Verfasser |4 aut | |
245 | 1 | 0 | |a Basic block graphs |b living dinosaurs? |c Jens Knoop ; Dirk Koschützki ; Bernhard Steffen |
264 | 1 | |a Passau |c 1997 | |
300 | |a 29, 6 S. |b Ill., graph. Darst. | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
490 | 1 | |a Universität <Passau> / Fakultät für Mathematik und Informatik: MIP |v 1997,15 | |
520 | 3 | |a Abstract: "Since decades, basic-block (BB) graphs are the state- of-the-art means for representing programs in advanced industrial compiler environments. The usual justification for introducing the intermediate BB- structures in the program representation is performance: analyses on BB- graphs are generally assumed to outperform their counterparts on single- instruction (SI) graphs, which, undoubtedly, are conceptually much simpler, easier to implement, and more straightforward to verify. In this article, we discuss the difference between the two program representations and show by means of runtime mesurements that, according to the new computer generations, performance is no longer on the side of the more complex BB- graphs. In fact, it turns out that no sensible reason for the BB-structure remains. Rather, we will demonstrate that edge-labeled SI-graphs, which in contrast to the classical flow graphs model statements in their edges instead of in their nodes, are most adequate, both for the theoretical reasoning about and for the implementation of analysis and optimization algorithms. We are convinced that this perception has far-reaching consequences for the design of compiler systems." | |
650 | 4 | |a Computer programming | |
650 | 4 | |a Flowgraphs | |
650 | 0 | 7 | |a Mathematik |0 (DE-588)4037944-9 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
689 | 0 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
689 | 0 | 1 | |a Informatik |0 (DE-588)4026894-9 |D s |
689 | 0 | 2 | |a Mathematik |0 (DE-588)4037944-9 |D s |
689 | 0 | |5 DE-604 | |
700 | 1 | |a Koschützki, Dirk |e Verfasser |4 aut | |
700 | 1 | |a Steffen, Bernhard |e Verfasser |4 aut | |
810 | 2 | |a Fakultät für Mathematik und Informatik: MIP |t Universität <Passau> |v 1997,15 |w (DE-604)BV000905393 |9 1997,15 | |
999 | |a oai:aleph.bib-bvb.de:BVB01-007800961 |
Datensatz im Suchindex
_version_ | 1804126110268522496 |
---|---|
any_adam_object | |
author | Knoop, Jens Koschützki, Dirk Steffen, Bernhard |
author_facet | Knoop, Jens Koschützki, Dirk Steffen, Bernhard |
author_role | aut aut aut |
author_sort | Knoop, Jens |
author_variant | j k jk d k dk b s bs |
building | Verbundindex |
bvnumber | BV011583325 |
classification_rvk | SS 5600 |
ctrlnum | (OCoLC)38860332 (DE-599)BVBBV011583325 |
discipline | Informatik |
format | Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02737nam a2200421 cb4500</leader><controlfield tag="001">BV011583325</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19980217 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">971020s1997 ad|| |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)38860332</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011583325</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-154</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 5600</subfield><subfield code="0">(DE-625)143571:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Knoop, Jens</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Basic block graphs</subfield><subfield code="b">living dinosaurs?</subfield><subfield code="c">Jens Knoop ; Dirk Koschützki ; Bernhard Steffen</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Passau</subfield><subfield code="c">1997</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">29, 6 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Universität <Passau> / Fakultät für Mathematik und Informatik: MIP</subfield><subfield code="v">1997,15</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "Since decades, basic-block (BB) graphs are the state- of-the-art means for representing programs in advanced industrial compiler environments. The usual justification for introducing the intermediate BB- structures in the program representation is performance: analyses on BB- graphs are generally assumed to outperform their counterparts on single- instruction (SI) graphs, which, undoubtedly, are conceptually much simpler, easier to implement, and more straightforward to verify. In this article, we discuss the difference between the two program representations and show by means of runtime mesurements that, according to the new computer generations, performance is no longer on the side of the more complex BB- graphs. In fact, it turns out that no sensible reason for the BB-structure remains. Rather, we will demonstrate that edge-labeled SI-graphs, which in contrast to the classical flow graphs model statements in their edges instead of in their nodes, are most adequate, both for the theoretical reasoning about and for the implementation of analysis and optimization algorithms. We are convinced that this perception has far-reaching consequences for the design of compiler systems."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Flowgraphs</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Koschützki, Dirk</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Steffen, Bernhard</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Fakultät für Mathematik und Informatik: MIP</subfield><subfield code="t">Universität <Passau></subfield><subfield code="v">1997,15</subfield><subfield code="w">(DE-604)BV000905393</subfield><subfield code="9">1997,15</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007800961</subfield></datafield></record></collection> |
id | DE-604.BV011583325 |
illustrated | Illustrated |
indexdate | 2024-07-09T18:12:14Z |
institution | BVB |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007800961 |
oclc_num | 38860332 |
open_access_boolean | |
owner | DE-154 DE-739 DE-12 DE-634 |
owner_facet | DE-154 DE-739 DE-12 DE-634 |
physical | 29, 6 S. Ill., graph. Darst. |
publishDate | 1997 |
publishDateSearch | 1997 |
publishDateSort | 1997 |
record_format | marc |
series2 | Universität <Passau> / Fakultät für Mathematik und Informatik: MIP |
spelling | Knoop, Jens Verfasser aut Basic block graphs living dinosaurs? Jens Knoop ; Dirk Koschützki ; Bernhard Steffen Passau 1997 29, 6 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Universität <Passau> / Fakultät für Mathematik und Informatik: MIP 1997,15 Abstract: "Since decades, basic-block (BB) graphs are the state- of-the-art means for representing programs in advanced industrial compiler environments. The usual justification for introducing the intermediate BB- structures in the program representation is performance: analyses on BB- graphs are generally assumed to outperform their counterparts on single- instruction (SI) graphs, which, undoubtedly, are conceptually much simpler, easier to implement, and more straightforward to verify. In this article, we discuss the difference between the two program representations and show by means of runtime mesurements that, according to the new computer generations, performance is no longer on the side of the more complex BB- graphs. In fact, it turns out that no sensible reason for the BB-structure remains. Rather, we will demonstrate that edge-labeled SI-graphs, which in contrast to the classical flow graphs model statements in their edges instead of in their nodes, are most adequate, both for the theoretical reasoning about and for the implementation of analysis and optimization algorithms. We are convinced that this perception has far-reaching consequences for the design of compiler systems." Computer programming Flowgraphs Mathematik (DE-588)4037944-9 gnd rswk-swf Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Informatik (DE-588)4026894-9 gnd rswk-swf Theoretische Informatik (DE-588)4196735-5 s Informatik (DE-588)4026894-9 s Mathematik (DE-588)4037944-9 s DE-604 Koschützki, Dirk Verfasser aut Steffen, Bernhard Verfasser aut Fakultät für Mathematik und Informatik: MIP Universität <Passau> 1997,15 (DE-604)BV000905393 1997,15 |
spellingShingle | Knoop, Jens Koschützki, Dirk Steffen, Bernhard Basic block graphs living dinosaurs? Computer programming Flowgraphs Mathematik (DE-588)4037944-9 gnd Theoretische Informatik (DE-588)4196735-5 gnd Informatik (DE-588)4026894-9 gnd |
subject_GND | (DE-588)4037944-9 (DE-588)4196735-5 (DE-588)4026894-9 |
title | Basic block graphs living dinosaurs? |
title_auth | Basic block graphs living dinosaurs? |
title_exact_search | Basic block graphs living dinosaurs? |
title_full | Basic block graphs living dinosaurs? Jens Knoop ; Dirk Koschützki ; Bernhard Steffen |
title_fullStr | Basic block graphs living dinosaurs? Jens Knoop ; Dirk Koschützki ; Bernhard Steffen |
title_full_unstemmed | Basic block graphs living dinosaurs? Jens Knoop ; Dirk Koschützki ; Bernhard Steffen |
title_short | Basic block graphs |
title_sort | basic block graphs living dinosaurs |
title_sub | living dinosaurs? |
topic | Computer programming Flowgraphs Mathematik (DE-588)4037944-9 gnd Theoretische Informatik (DE-588)4196735-5 gnd Informatik (DE-588)4026894-9 gnd |
topic_facet | Computer programming Flowgraphs Mathematik Theoretische Informatik Informatik |
volume_link | (DE-604)BV000905393 |
work_keys_str_mv | AT knoopjens basicblockgraphslivingdinosaurs AT koschutzkidirk basicblockgraphslivingdinosaurs AT steffenbernhard basicblockgraphslivingdinosaurs |