Data Structures and Dynamic Memory Management in Reversible Languages
Data Structures and Dynamic Memory Management in Reversible Languages
复制标题
可逆语言中的数据结构和动态内存管理
DOI：
10.1007/978-3-319-99498-7_19
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Torben Æ. Mogensen
中科院分区：
文献类型：
--
作者：
Martin Holm Cservenka;R. Glück;Tue Haulund;Torben Æ. Mogensen
我们提出了一种可逆的动态内存管理方法的基础上可逆版本的伙伴内存系统。该方法支持可变大小记录的解耦分配和释放，可以应用于任何具有堆存储的可逆语言。我们演示了这些新的功能如何允许直接实现常见的数据结构，如树，堆和队列，直到现在还没有实际的可逆语言。最后，我们提供了一个定义，我们的方法在高级可逆语言Janus以及描述其碎片和垃圾生成的特点。可逆的内存管理系统已经完全实现，并在一个可逆的面向对象的编程语言的编译器中测试，针对可逆的汇编语言比萨。
We present a method for reversible dynamic memory management based on a reversible version of the Buddy Memory system. This method supports decoupled allocation and deallocation of variable-sized records and can be applied to any reversible language with heap storage. We demonstrate how these new capabilities allow for the direct realization of commonplace data structures such as trees, heaps and queues which until now has not been practical in a reversible language. Finally, we provide a definition of our method in the high-level reversible language Janus as well as a description of its fragmentation and garbage-generation characteristics. The reversible memory management system has been fully implemented and tested in a compiler for a reversible object-oriented programming language targeting the reversible assembly language PISA.
线性时间可逆自解释器
DOI：
--
发表时间：
2015
期刊：
影响因子：
--
作者：
横山哲郎;ロバートグリュック
通讯作者：
ロバートグリュック
影响因子：
0.7
作者：
Robert Glueck;Tetsuo Yokoyama
通讯作者：
Tetsuo Yokoyama