Towards Compile-Time Optimizations for Persistence
نویسندگان
چکیده
We consider how a persistent programming language might offer performance competitive with that of non-persistent languages, at least on memory resident data. We are concernedwith object-oriented languages, and with implementing persistence via object faulting, where the system detects uses of non-resident objects and fetches them on demand. We present some background on object faulting and means for implementing it, and describe a specific language we are developing, namely Persistent Modula-3. Then we explore approaches to optimising persistence aspects of Persistent Modula-3, and outline techniques under consideration in our compiler development effort.
منابع مشابه
Compiler Support for Persistent Programming
We present the design and implementation of Persistent Modula-3, a compiled, optimized, persistent programming language. The design allows the evaluation of performance aspects of persistent programming languages, while the implementation supports the development of compile-time mechanisms for optimizing persistent programs. We present several optimizations in detail, and outline further optimi...
متن کاملAnalysing, Profiling and Optimising for Persistence
Orthogonally persistent programming languages1 provide improved support for the design, construction, maintenance and operation of applications that manage large bodies of long-lived, shared, structured data. Despite this, there is continued mainstream resistance to languages with orthogonal persistence due to a perception that they cannot deliver performance to match that of traditional progra...
متن کاملTowards Compile-Time Optimisations for Persistence
We consider how a persistent programming language might offer performance competitive with that of non-persistent languages, at least on memory resident data. We are concerned with object-oriented languages, and with implementing persistence via object faulting, where the system detects uses of non-resident objects and fetches them on demand. We present some background on object faulting and me...
متن کامل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 de...
متن کاملCompile-Time Optimizations for Tensor Contraction Expressions
This paper provides an overview of compile-time optimizations being developed in the context of a program synthesis system for a class of quantum chemistry computations. These computations are expressible as a set of tensor contractions and arise in electronic structure modeling. The synthesis system will take as input a high-level specification of the computation and generate high-performance ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1990