Data linkage dynamics with shedding
Logic in Computer Science
2012-10-20 v2
Abstract
We study shedding in the setting of data linkage dynamics, a simple model of computation that bears on the use of dynamic data structures in programming. Shedding is complementary to garbage collection. With shedding, each time a link to a data object is updated by a program, it is determined whether or not the link will possibly be used once again by the program, and if not the link is automatically removed. Thus, everything is made garbage as soon as it can be viewed as garbage. By that, the effectiveness of garbage collection becomes maximal.
Keywords
Cite
@article{arxiv.0806.4034,
title = {Data linkage dynamics with shedding},
author = {J. A. Bergstra and C. A. Middelburg},
journal= {arXiv preprint arXiv:0806.4034},
year = {2012}
}
Comments
22 pages; introduction improved. arXiv admin note: substantial text overlap with arXiv:0804.4565