64/2009 : Data Caching, Garbage Collection, and the Java Memory Model

RR Number

64/2009

Conference

Proceedings of the 7th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2009)

Author(s)

Wolfgang Puffitsch

Abstract

Multiprocessors often feature weaker memory models than sequential consistency. Relaxed memory models can be implemented more efficiently and allow more optimizations. The Java memory model is a relaxed memory model that is a natural choice for a Java processor. In this paper, we show that a data cache that obeys the restrictions of the Java memory model can be implemented efficiently. The proposed implementation requires only local actions to ensure data consistency and is therefore timing analysis friendly. Furthermore, we investigate the impact of the proposed data cache design on the correctness of real-time garbage collection. Relaxed memory models must to be taken into account when initializing and moving objects during heap compaction. Also, write barriers and the start of a garbage collection cycle require careful design under the Java memory model.

Bibtex

@inproceedings{ puffitsch:2009-64,
  author =       "Wolfgang Puffitsch",
  title =        "Data Caching, Garbage Collection, and the Java Memory Model",
  booktitle =      "Proceedings of the 7th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2009)",
  year =         "2009",
  month =        "Sep."
}

Download

Get puffitsch_jtres09.pdf - Adobe PDF-format, (148.11 KB; posted at September 14 2009; )