Data structures and dynamic memory management in reversible languages
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
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.
Originalsprog | Engelsk |
---|---|
Titel | Reversible Computation : 10th International Conference, RC 2018, 2018, Proceedings |
Redaktører | Jarkko Kari, Irek Ulidowski |
Forlag | Springer |
Publikationsdato | 2018 |
Sider | 269-285 |
ISBN (Elektronisk) | 978-3-319-59936-6 |
DOI | |
Status | Udgivet - 2018 |
Begivenhed | 10th International Conference on Reversible Computation, RC 2018 - Leicester, Storbritannien Varighed: 12 sep. 2018 → 14 sep. 2018 |
Konference
Konference | 10th International Conference on Reversible Computation, RC 2018 |
---|---|
Land | Storbritannien |
By | Leicester |
Periode | 12/09/2018 → 14/09/2018 |
Navn | Lecture notes in computer science |
---|---|
Vol/bind | 11106 |
ISSN | 0302-9743 |
ID: 202165974