CS代考计算机代写 c++ Java python interpreter Carnegie Mellon

Carnegie Mellon
Implicit Memory Management: Garbage Collection
 Garbage collection: automatic reclamation of heap-allocated storage—application 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, m2’s 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 block ptr 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

Posted in Uncategorized

Leave a Reply

Your email address will not be published. Required fields are marked *