IceDust

IceDust: Incremental and eventual computation of derived values in persistent object graphs

Harkes, D.C. (TU Delft Programming Languages)
Groenewegen, D.M. (TU Delft Programming Languages)
Visser, Eelco (TU Delft Programming Languages)

Krishnamurthi, Shriram (editor)
Lerner, Benjamin S. (editor)

2016-07-01

Derived values are values calculated from base values. They can be expressed in object-oriented languages by means of getters calculating the derived value, and in relational or logic databases by means of (materialized) views. However, switching to a different calculation strategy (for example caching) in object-oriented programming requires invasive code changes, and the databases limit expressiveness by disallowing recursive aggregation. In this paper, we present IceDust, a data modeling language for expressing derived attribute values without committing to a calculation strategy. IceDust provides three strategies for calculating derived values in persistent object graphs: Calculate-on-Read, Calculate-on-Write, and Calculate-Eventually. We have developed a path-based abstract interpretation that provides static dependency analysis to generate code for these strategies. Benchmarks show that different strategies perform better in different scenarios. In addition we have conducted a case study that suggests that derived value calculations of systems used in practice can be expressed in IceDust.

Data modeling
Domain specific language
Incremental computing

http://resolver.tudelft.nl/uuid:aa447937-0d1c-4477-ab4c-f227bbaf90cd

https://doi.org/10.4230/LIPIcs.ECOOP.2016.11

Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing

978-3-95977-014-9

30th European Conference on Object-Oriented Programming, ECOOP 2016

ECOOP 2016, 2016-07-18 → 2016-07-22, Rome, Italy

Leibniz International Proceedings in Informatics, 1868-8969, 56

Institutional Repository

conference paper

© 2016 D.C. Harkes, D.M. Groenewegen, Eelco Visser