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...

• Type: Conference
• Year: 1994
• Where: POS
• Authors: J. Eliot B. Moss, Antony L. Hosking
• Keywords: Object Residency Checks, Persistent Programming Language, POS 1994, Programming Languages, Strongly Typed