Sciweavers

Share
POS
1994
Springer

Expressing Object Residency Optimizations Using Pointer Type Annotations

9 years 7 months ago
Expressing Object Residency Optimizations Using Pointer Type Annotations
We consider some issues in optimizing persistent programming languages. In particular, we show how to express optimizations of object residency checks in strongly typed persistent languages as "annotations" on pointer types. These annotations essentially extend and refine the type system of the language, and they have at least two significant uses. First, a programmer can use them to express desired residency properties to be enforced by the language implementation (compiler plus run time). Second, we can use them to separate a persistence optimizer, which adds annotations, from the remainder of the compiler, which simply obeys them. This gives rise to a nice separation of concerns in supporting high-performance persistence: the "intelligent" optimizer can be factored off from the rest of the compiler. In addition to modularity benefits, the separation allows us to explore the value of various optimizations without actually implementing them in the optimizer. Rathe...
J. Eliot B. Moss, Antony L. Hosking
Added 10 Aug 2010
Updated 10 Aug 2010
Type Conference
Year 1994
Where POS
Authors J. Eliot B. Moss, Antony L. Hosking
Comments (0)
books