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

@inproceedings{Franco:2017:10.1145/3133850.3133861,
author = {Franco, J and Hagelin, M and Wrigstad, T and Drossopoulou, S and Eisenbach, S},
doi = {10.1145/3133850.3133861},
pages = {148--167},
publisher = {ACM},
title = {You can have it all: Abstraction and good cache performance},
url = {http://dx.doi.org/10.1145/3133850.3133861},
year = {2017}
}
Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AB  - On current architectures, the optimisation of an application's performance often involves data being stored according to access affinity - what is accessed together should be stored together, rather than logical affinity - what belongs together logically stays together. Such low level techniques lead to faster, but more error prone code, and end up tangling the program's logic with low-level data layout details. Our vision, which we call SHAPES - Safe, High-level, Abstractions for oPtimisation of mEmory cacheS - is that the layout of a data structure should be defined only once, upon instantiation, and the remainder of the code should be layout agnostic. This enables performance improvements while also guaranteeing memory safety, and supports the separation of program logic from low level concerns. In this paper we investigate how this vision can be supported by extending a programming language. We describe the core language features supporting this vision: classes can be customized to support different layouts, and layout information is carried around in types; the remaining source code is layout-unaware and the compiler emits layout-aware code. We then discuss our SHAPES implementation through a prototype library, which we also used for preliminary evaluations. Finally, we discuss how the core could be expanded so as to deliver SHAPES's full potential: the incorporation of compacting garbage collection, ad hoc polymorphism and late binding, synchronization of representations of different collections, support for dynamic change of representation, etc.
AU  - Franco,J
AU  - Hagelin,M
AU  - Wrigstad,T
AU  - Drossopoulou,S
AU  - Eisenbach,S
DO  - 10.1145/3133850.3133861
EP  - 167
PB  - ACM
PY  - 2017///
SP  - 148
TI  - You can have it all: Abstraction and good cache performance
UR  - http://dx.doi.org/10.1145/3133850.3133861
UR  - http://hdl.handle.net/10044/1/56157
ER  -
Download