内存管理器（二十三） 标记-复制式 回收算法

标记-复制式回收算法GC 机制在一个系统中占重要地位，但是在使用过程中占用整体时间的最小部分，赋值器的执行开销产生的影响反而切实的影响这整个系统的性能。半区复制回收基本复制回收器会将堆划分为两个大小相等的半区，分别设置为来源空间，目标空间。
/*半区复制回收算法*//*初始化以及分配*/createSemispases():     topspace = heapstart;       /*堆开始的位置*/     extent   = (heapend - heapstart)/2;    /*半区大小*/     top      = fromspaces  = heapstart + extent;  /*半区开始位置*/     free     = topspace;                  /*空想开始位置*/atmoic allocate(size):                  /*分配空间*/     result = free;     newfree = result + size;     if (newfree > top){        return null;     }     free = newfree;     return result;
这个思想简要来说：就是把一个堆空间分成两个部分，一个为使目标区，就是已经被使用的，一个是回收区，就是要回收使用的区，当一个区域需要回收的时候则将目标区域中的内容复制进回收区。这个算法最明显的一个问题就是整个区域只有一半可以使用。回收过程：在回收初始化完成后，半区复制回收器，首先将根对象复制到目标空间，并填充工作列表。然后逐步扫描复制相关内容。
atomic collect():              /*分配内存*/     flip();                   /*设置工作半区*/     init(worklist);           /*初始化分配列表*/     for each fld in roots     /*复制根*/           process(fld);     while not isEmpty(worklist)    /*复制传递闭包关系*/           ref = remove(worklist);           scan(ref);flip():                             /*翻转半区*/     fromspace,tospace = topspace,fromspace;     top = topspace + extent;     free = topspace;scan(ref):     for each fld in pointers(ref);           process(fld);process(fld):                    /*使用目标中新副本来更新域*/      fromref = *fld;      if(fromref  != NULL)           *fld = forward(fromref); /*使用目标空间中新地址来更新*/forward(fromref):      toRef = forwardingAddress(fromRef);      if (toRef == NULL)                      /* 没有复制*/          toref = copy(fromRef);      return toRef;copy(fromRef):                                /*复制对象，返回转发地址*/      toRef = free;      free = free + size(fromRef);      move(fromRef,toRef);      forwardingAddress(fromRef) = toRef;      add(worklist,toRef);      return toRef;        
这个算法的核心是工作列表的实现与遍历循环的方式。这里Cheney 在1970年提出了Cheney 扫描，该算法利用目标空间中灰色对象实现先进先出队列。
initi(worklist):  /*初始化工作列表*/    scan = free;isEmpty(worklist):    /*判堆是否完成分配*/    return scan = free;remove(worklist):    /*移动scan指针*/    ref = scan;    scan += size(scan);    return ref;add(worklist,ref):   /*添加在这事实是没有什么用*/
算法思想如下图： 就是如此复制。 

查看原文：http://zmrlinux.com/2016/08/08/%e5%86%85%e5%ad%98%e7%ae%a1%e7%90%86%e5%99%a8%ef%bc%88%e4%ba%8c%e5%8d%81%e4%b8%89%ef%bc%89-%e6%a0%87%e8%ae%b0-%e5%a4%8d%e5%88%b6%e5%bc%8f-%e5%9b%9e%e6%94%b6%e7%ae%97%e6%b3%95/