[论文解读] Design and Implementation of Dynamic Memory Management in a Reversible Object-Oriented Programming Language

Martin Holm Cservenka|arXiv (Cornell University)|Apr 12, 2018

Cloud Computing and Resource Management被引用 3

一句话总结

本文提出 Roopl++，即可逆面向对象语言 Roopl 的扩展，通过使用 Buddy Memory 布局实现动态内存管理，以支持非平凡的可逆数据结构（如双向链表和二叉树）。该方法通过 Pisa 中的可逆汇编翻译实现无垃圾计算，证明了在可逆计算范式中，复杂且表达性强的数据结构是可行的，且不违反可逆性原则。

ABSTRACT

The reversible object-oriented programming language (ROOPL) was presented in late 2016 and proved that object-oriented programming paradigms works in the reversible setting. The language featured simple statically scoped objects which made non-trivial programs tedious, if not impossible to write using the limited tools provided. We introduce an extension to ROOPL in form the new language ROOPL++, featuring dynamic memory management and fixed-sized arrays for increased language expressiveness. The language is a superset of ROOPL and has formally been defined by its language semantics, type system and computational universality. Considerations for reversible memory manager layouts are discussed and ultimately lead to the selection of the Buddy Memory layout. Translations of the extensions added in ROOPL++ to the reversible assembly language PISA are presented to provide garbage-free computations. The dynamic memory management extension successfully increases the expressiveness of ROOPL and as a result, shows that non-trivial reversible data structures, such as binary trees and doubly-linked lists, are feasible and do not contradict the reversible computing paradigm.

研究动机与目标

• 将可逆面向对象语言 Roopl 扩展为支持动态内存管理和固定大小数组，以提升表达能力。
• 设计一种可逆内存管理系统，支持复杂数据结构且不产生垃圾。
• 形式化定义 Roopl++ 的语义、类型系统和计算普遍性。
• 将 Roopl++ 的构造翻译为可逆汇编语言 Pisa，以实现无垃圾执行。
• 证明非平凡的可逆数据结构（如双向链表和二叉树）在可逆计算模型中是可行的。

提出的方法

• 采用 Buddy Memory 布局实现可逆内存分配，确保内存管理的确定性和可逆性。
• 扩展 Roopl 以支持数组、对象实例化和局部块，提升语言表达能力。
• 使用环境-存储判断和可逆存储变换，形式化定义 Roopl++ 的类型系统和操作语义。
• 引入一种新的数组元素访问表达式规则，保持可逆性且不改变存储状态。
• 将 Roopl++ 程序翻译为可逆汇编语言 Pisa，支持反向执行和无垃圾计算。
• 通过实现并验证双向链表和二叉树的可逆版本，验证该方法的有效性。

实验结果

研究问题

• RQ1 能否在不违反可逆性的前提下，将动态内存管理集成到可逆面向对象语言中？
• RQ2 何种内存布局策略能够实现可逆分配与释放，同时最小化碎片和垃圾？
• RQ3 能否在可逆语言中实现复杂数据结构（如双向链表和二叉树），并保持完整的计算普遍性？
• RQ4 在可逆语言中，如何在数组访问和对象操作过程中保持可逆语义？
• RQ5 是否可能将高层可逆程序翻译为支持完整反向执行的可逆汇编代码？

主要发现

• Buddy Memory 布局被选为最优内存管理策略，因其具有确定性、可逆的分配与释放模式。
• Roopl++ 有效支持非平凡可逆数据结构的实现，包括双向链表和二叉树，且具备完整的可逆性。
• 将 Roopl++ 翻译为 Pisa 可逆汇编语言，实现了无垃圾计算和完整反向执行。
• 该语言扩展保持了单射（一对一）变换，确保所有操作均为局部可逆，且无信息丢失。
• Roopl++ 的形式化语义和类型系统确保了在可逆计算框架内的类型安全和计算普遍性。
• 本工作表明，动态内存管理与可逆计算兼容，挑战了‘仅静态或简单数据结构可逆’的假设。