WFRF:(Palmkvist Viktor)
Sökning: WFRF:(Palmkvist Viktor) > Repr Types: One Abs...
Repr Types: One Abstraction to Rule Them All
-
- Palmkvist, Viktor (författare)
- KTH,Programvaruteknik och datorsystem, SCS
-
- Ågren Thuné, Anders (författare)
- KTH,Programvaruteknik och datorsystem, SCS
-
- Castegren, Elias, Doktor, 1987- (författare)
- KTH,Programvaruteknik och datorsystem, SCS
- visa fler...
- visa färre...
- (creator_code:org_t)
- Engelska.
- Annan publikation (övrigt vetenskapligt/konstnärligt)
Abstract
Ämnesord
Stäng
- The choice of how to represent an abstract type can have a major impact on the performance of a program, yet mainstream compilers cannot perform optimizations at such a high level. When dealing with optimizations of data type representations, an important feature is having extensible representation-flexible data types; the ability for a programmer to add new abstract types and operations, as well as concrete implementations of these, without modifying the compiler or a previously defined library. Many research projects support high-level optimizations through static analysis, instrumentation, or benchmarking, but they are all restricted in at least one aspect of extensibility.This paper presents a new approach to representation-flexible data types without such restrictions and which still finds efficient optimizations. Our approach centers around a single built-in type repr and function overloading with cost annotations for operation implementations. We evaluate our approach (i) by defining a universal collection type as a library, a single type for all conventional collections, and (ii) by designing and implementing a representation-flexible graph library. Programs using repr types are typically faster than programs with idiomatic representation choices---sometimes dramatically so---as long as the compiler finds good implementations for all operations. Our compiler performs the analysis efficiently by finding optimized solutions quickly and by reusing previous results to avoid recomputations.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Nyckelord
- Datalogi
- Computer Science
Publikations- och innehållstyp
- vet (ämneskategori)
- ovr (ämneskategori)
Till lärosätets databas
Hitta mer i SwePub
- Av författaren/redakt...
- Palmkvist, Vikto ...
- Ågren Thuné, And ...
- Castegren, Elias ...
- Broman, David, 1 ...
- Om ämnet
-
- NATURVETENSKAP
- NATURVETENSKAP
- och Data och informa ...
- och Datavetenskap
- Av lärosätet
- Kungliga Tekniska Högskolan
Sök utanför SwePub
- Sök vidare i:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - Nationella bibliotekssystem
- LIBRIS.kb.se
