经验总结

  1. 首页 > 生活 > >

.Net CLR GC plan_phase二叉树和Brick_table

生活百科

楔子别那么懒，勤快点 。以下取自CLR PreView 7.0 。
主题GC计划阶段(plan_phase)主要就两个部分，一个是堆里面的对象构建一颗二叉树（这颗二叉树的每个节点包含了诸如对象移动信息等等，此处不述） 。但是，这个二叉树如果过于庞大（对象太多的情况），则成了性能瓶颈（从根节点遍历需要查找的节点的空间和时间复杂度） 。于是乎，第二个部分Brick_table出现了，它主要是分割这个庞大的二叉树，以消弭性能瓶颈问题 。
构建不规则二叉树构建二叉树之前，先了解一些概念 。当实例化一个对象之后，这个对象存储在堆里面 。堆实际上是一长串的内存地址，不受CPU栈的管控，所以导致了它不能自动释放，需要手动 。在这一长串的地址里面，可以分为固定对象和非固定对象 。
1.固定对象概念首先看下固定句柄，固定句柄就是把托管对象地址传递到非托管对象的堆栈里面去，固定句柄本身在托管里面进行管理，而它包含的对象就叫做固定对象 。
至于非固定对象，就是普通的对象了，此处不再赘述 。
在进行GC计划阶段的时候，会循环遍历当前需要收集的垃圾的代（generation）里面包含的所有堆,然后区分出包含固定对象的堆段，和非固定对象的堆段 。
区分规则是怎么样的呢？具体的就是如果相邻的两个对象都是非固定对象或者都是固定对象，则把这两个对象作为一个堆段，继续查找后面的对象 。如果后续的对象跟前面的对象相同，则跟前面的两个对象放在一起形成一个堆段（如果后面还有相同的，则继续放在一起），如果不同，则此堆段到此为止 。后面继续以同样的逻辑遍历，形成一个个的小堆段（以node表述） 。
2.这里有一个特性：固定堆段（也就是固定对象组成的堆段）的末尾必须跟一个非固定对象（这么做的原因，是避免固定对象的末尾被覆盖，只覆盖非固定对象的末尾） 。
【.Net CLR GC plan_phase二叉树和Brick_table】二叉树的构建，就建立在这些固定对象堆段和非固定对象堆段上的 。这些一个个的堆段作为二叉树的根节点和叶子结点，构成了二叉树的本身 。
3.相关构建一：plug_and_pair结构plug_and_pair存在于上面被分割的堆段的前面，堆段以node(节点)表示，则此结构(plug_and_pair*)node)[-1]的位置
struct plug{uint8_t *skew[plug_skew / sizeof(uint8_t *)];};class pair{public:short left;short right;};struct plug_and_pair{pairm_pair;plugm_plug;};pair的left和right成员分别表示当前堆段距离其前一个堆段和后一个堆段的距离长度 。
二：构建逻辑构建逻辑分为三种，数字一般可以分为奇数和偶数 。计算机也是一样，但是除了这两种之外，偶数里面还可以分裂出另外一种情况，就是一个数字是2的次方数 。举个例子，比如： 1,2,3,4,5,6,7,8,9,10 。这十个数字里面，明显的奇数：1,3,5,7,9 。偶数：2,4,6,8,10 。再分裂下二的次方数：2,4,8 。注意看，最后分裂的结果2,4,8分别是2的1次方，2次方和3次方 。剔除了6和10这两个数字 。那么总结下，三种逻辑以上面试个数字举例分别为：遍历循环以上十个数字 。第一种(if(true))：1,2,4,8if(!(n&(n-1))) n分别为2,4,8 。if里为true第二种(if(true))：3,5,7,9if(n&1)n分别为1,3,5,7,9 。if里为true第三种(if(true))：6,10如果以上两种不成立，则到第三种这里来 。
三：构建树身如上所述，通过对堆里面的对象进行固定和非固定对象区分，变成一个个的小堆段(node) 。这些小堆段从左至右依次编号：1,2,3,4,5,6,7,8,9.......N 。然后通过构建逻辑这部分进入到if里面去 。
1.(if(true))：
1,2,4,8编号的node会进入这里，主要是设置左节点和treeset_node_left_child (new_node, (tree - new_node)); tree = new_node;

经验总结扩展阅读


上一篇：创维电视音量调不动

下一篇：晋升原因和理由怎么写