uu.seUppsala University Publications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Safely Abstracting Memory Layouts
Microsoft Research Cambridge.
Imperial College London.
Imperial College London.
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computing Science.
Show others and affiliations
2018 (English)In: 20th Workshop on Formal Techniques for Java-like Programs, 2018Conference paper, Oral presentation with published abstract (Refereed)
Abstract [en]

Modern architectures require applications to make effective use of caches to achieve high performance and hide memory latency. This in turn requires careful consideration of placement of data in memory to exploit spatial locality, leverage hardware prefetching and conserve memory bandwidth. In unmanaged languages like C++, memory optimisations are common, but at the cost of losing object abstraction and memory safety. In managed languages like Java and C#, the abstract view of memory and proliferation of moving compacting garbage collection does not provide enough control over placement and layout. We have proposed SHAPES, a type-driven abstract placement specification that can be integrated with object-oriented languages to enable memory optimisations. SHAPES preserves both memory and object abstraction. In this paper, we formally specify the SHAPES semantics and describe its memory safety model.

Place, publisher, year, edition, pages
2018.
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:uu:diva-357243OAI: oai:DiVA.org:uu-357243DiVA, id: diva2:1238601
Conference
European Conference on Object-Oriented Programming, 15-21 July, Amsterdam, NL
Projects
UPMARCAvailable from: 2018-08-14 Created: 2018-08-14 Last updated: 2019-01-09Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

https://2018.ecoop.org/

Authority records BETA

Wrigstad, Tobias

Search in DiVA

By author/editor
Wrigstad, Tobias
By organisation
Computing Science
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 198 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf