Imperial College London
Alternate

Emeritus ProfessorSusanEisenbach

Faculty of Engineering, Department of Computing

Emeritus Professor of Computing
 
 
 
//

Contact

 

s.eisenbach Website

 
 
//

Location

 

Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@article{Tasos:2020:10.1016/j.scico.2020.102481,
author = {Tasos, A and Franco, J and Drossopoulou, S and Wrigstad, T and Eisenbach, S},
doi = {10.1016/j.scico.2020.102481},
journal = {Science of Computer Programming},
title = {Reshape your layouts, not your programs: A safe language extension for better cache locality},
url = {http://dx.doi.org/10.1016/j.scico.2020.102481},
volume = {197},
year = {2020}
}
Download

RIS format (EndNote, RefMan)

TY  - JOUR
AB  - The vast divide between the speed of CPU and RAM means that effective use of CPU caches is often a prerequisite for high performance on modern architectures. Hence, developers need to consider how to place data in memory so as to exploit spatial locality and achieve high memory bandwidth. Such manual memory optimisations are common in unmanaged languages (e.g. C, C++), but they sacrifice readability, maintainability, memory safety, and object abstraction. In managed languages, such as Java and C#, where the runtime abstracts away the memory from the developer, such optimisations are almost impossible.We present a language extension called SHAPES, which aims to offer developers more fine-grained control over the placement of data, without sacrificing memory safety or object abstraction. In SHAPES, programmers group related objects into pools, and specify how objects are laid out in these pools. Classes and types are annotated by pool parameters, which allow placement aspects to be changed orthogonally to the code that operates on the objects in the pool. These design decisions disentangle business logic and memory concerns.We give a formal model of SHAPES, present its type and memory safety model, and present its translation to a low-level language. We argue why we expect this translation to be efficient in terms of runtime representation of objects and access to their fields. We argue that SHAPES can be incorporated into existing managed and unmanaged language runtimes and fit well with garbage collection.
AU  - Tasos,A
AU  - Franco,J
AU  - Drossopoulou,S
AU  - Wrigstad,T
AU  - Eisenbach,S
DO  - 10.1016/j.scico.2020.102481
PY  - 2020///
SN  - 0167-6423
TI  - Reshape your layouts, not your programs: A safe language extension for better cache locality
T2  - Science of Computer Programming
UR  - http://dx.doi.org/10.1016/j.scico.2020.102481
UR  - http://hdl.handle.net/10044/1/80283
VL  - 197
ER  -
Download