Carnegie Mellon
Implicit Memory Management: Garbage Collection
Garbage collection: automatic reclamation of heap-allocated storageapplication never has to free
void foo() {
int *p = malloc(128);
}
return; /* p block is now garbage */
Common in functional languages, scripting languages, and modern object oriented languages:
Python, Lisp, ML, Java, Perl, Mathematica
Requires a runtime environment (interpreter)
Variants (conservative garbage collectors) exist for C and C++ However, cannot necessarily collect all garbage
1
Carnegie Mellon
Garbage Collection
How does the memory manager know when memory can be freed?
In general we cannot know what is going to be used in the future since it depends on conditionals
But we can tell that certain blocks cannot be used if there are no pointers to them
Must make certain assumptions about pointers
Memory manager can distinguish pointers from non-pointers
All pointers point to the start of a block
Cannot hide pointers
(e.g., by coercing them to an int, and then back again)
2
Carnegie Mellon
Memory as a Graph
We view memory as a directed graph
Each block is a node in the graph
Each pointer is an edge in the graph
Locations not in the heap that contain pointers into the heap are called root nodes (e.g. registers, locations on the stack, global variables)
Root nodes
Heap nodes
reachable
Not-reachable (garbage)
A node (block) is reachable if there is a path from any root to that node. Non-reachable nodes are garbage (cannot be needed by the application)
3
Carnegie Mellon
Reachable Blocks
class myclass: x=5
m1 = myclass()
def foo():
m2 = myclass()
foo()
m1 is a root node (global var)
m2 is a root node, but only while foo() executes
After foo() is done, m2s object is non-reachable
4
Carnegie Mellon
Mark and Sweep Collecting Can build on top of malloc/free package
Allocate using malloc until you run out of space
When out of space:
Use extra mark bit in the head of each block
Mark: Start at roots and set mark bit on each reachable block Sweep: Scan all blocks and free blocks that are not marked
root
Note: arrows here denote memory refs, not free list ptrs.
Mark bit set
Before mark
After mark
After sweep
free
free
5
Carnegie Mellon
Mark and Sweep (cont.)
Mark using depth-first traversal of the memory graph
ptr mark(ptr p) {
if (!is_ptr(p)) return;
if (markBitSet(p)) return;
setMarkBit(p);
for (i=0; i < length(p); i++)// call mark on all words }mark(p[i]); // in the block return;Sweep using lengths to find next blockptr sweep(ptr p, ptr end) { while (p < end) {// do nothing if not pointer// check if already marked// set the mark bit }p += length(p);if markBitSet(p) clearMarkBit();else if (allocateBitSet(p)) free(p);6
Reviews
There are no reviews yet.