安全抽象内存布局
Safely Abstracting Memory Layouts
摘要：
现代架构要求应用程序有效地利用缓存来实现高性能并隐藏内存延迟。这又需要仔细考虑存储器中数据的放置，以利用空间局部性，利用硬件预取并节省内存带宽。在像C++这样的非托管语言中，内存优化很常见，但代价是失去对象抽象和内存安全。在Java和C#等托管语言中，内存的抽象视图和移动压缩垃圾回收的激增无法提供对放置和布局的足够控制。我们提出了形状，类型驱动的抽象布局规范，可以与面向对象的语言，使内存优化。SHAPES保留了内存和对象抽象。在本文中，我们正式指定的SHAPES语义和描述其内存安全模型。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
