文档章节

垃圾回收

孙本新
 孙本新
发布于 2015/06/04 17:45
字数 2199
阅读 5
收藏 0

Lua5.2采用垃圾回收机制对所有的lua对象(GCObject)进行管理。Lua虚拟机会定期运行GC,释放掉已经不再被被引用到的lua对象。 基本算法

基本的垃圾回收算法被称为"mark-and-sweep"算法。算法本身其实很简单。

首先,系统管理着所有已经创建了的对象。每个对象都有对其他对象的引用。root集合代表着已知的系统级别的对象引用。我们从root集合出发,就可以访问到系统引用到的所有对象。而没有被访问到的对象就是垃圾对象,需要被销毁。

我们可以将所有对象分成三个状态:

White状态,也就是待访问状态。表示对象还没有被垃圾回收的标记过程访问到。
Gray状态,也就是待扫描状态。表示对象已经被垃圾回收访问到了,但是对象本身对于其他对象的引用还没有进行遍历访问。
Black状态,也就是已扫描状态。表示对象已经被访问到了,并且也已经遍历了对象本身对其他对象的引用。

基本的算法可以描述如下:

[plain] view plaincopyprint?

当前所有对象都是White状态;  
将root集合引用到的对象从White设置成Gray,并放到Gray集合中;  
while(Gray集合不为空)  
{  
    从Gray集合中移除一个对象O,并将O设置成Black状态;  
    for(O中每一个引用到的对象O1) {  
        if(O1在White状态) {  
            将O1从White设置成Gray,并放到到Gray集合中;  
        }  
    }  
}  
for(任意一个对象O){  
    if(O在White状态)  
        销毁对象O;  
    else  
        将O设置成White状态;  
}  

Incremental Garbage Collection 上面的算法如果一次性执行,在对象很多的情况下,会执行很长时间,严重影响程序本身的响应速度。其中一个解决办法就是,可以将上面的算法分步执行,这样每个步骤所耗费的时间就比较小了。我们可以将上述算法改为以下下几个步骤。

首先标识所有的root对象: [plain] view plaincopyprint?

当前所有对象都是White状态;  
将root集合引用到的对象从White设置成Gray,并放到Gray集合中;  

遍历访问所有的gray对象。如果超出了本次计算量上限,退出等待下一次遍历: [plain] view plaincopyprint?

<p>while(Gray集合不为空,并且没有超过本次计算量的上限)</p>{  
    从Gray集合中移除一个对象O,并将O设置成Black状态;  
    for(O中每一个引用到的对象O1) {  
        if(O1在White状态) {  
            将O1从White设置成Gray,并放到到Gray集合中;  
        }  
    }  
}  

销毁垃圾对象:

[plain] view plaincopyprint?

for(任意一个对象O){  
    if(O在White状态)  
        销毁对象O;  
    else  
        将O设置成White状态;  
}  

在每个步骤之间,由于程序可以正常执行,所以会破坏当前对象之间的引用关系。black对象表示已经被扫描的对象,所以他应该不可能引用到一个white对象。当程序的改变使得一个black对象引用到一个white对象时,就会造成错误。解决这个问题的办法就是设置barrier。barrier在程序正常运行过程中,监控所有的引用改变。如果一个black对象需要引用一个white对象,存在两种处理办法:

将white对象设置成gray,并添加到gray列表中等待扫描。这样等于帮助整个GC的标识过程向前推进了一步。
将black对象该回成gray,并添加到gray列表中等待扫描。这样等于使整个GC的标识过程后退了一步。

这种垃圾回收方式被称为"Incremental Garbage Collection"(简称为"IGC",Lua所采用的就是这种方法。使用"IGC"并不是没有代价的。IGC所检测出来的垃圾对象集合比实际的集合要小,也就是说,有些在GC过程中变成垃圾的对象,有可能在本轮GC中检测不到。不过,这些残余的垃圾对象一定会在下一轮GC被检测出来,不会造成泄露。 Lua5.2采用垃圾回收机制对所有的lua对象(GCObject)进行管理。Lua虚拟机会定期运行GC,释放掉已经不再被被引用到的lua对象。 基本算法

基本的垃圾回收算法被称为"mark-and-sweep"算法。算法本身其实很简单。

首先,系统管理着所有已经创建了的对象。每个对象都有对其他对象的引用。root集合代表着已知的系统级别的对象引用。我们从root集合出发,就可以访问到系统引用到的所有对象。而没有被访问到的对象就是垃圾对象,需要被销毁。

我们可以将所有对象分成三个状态:

White状态,也就是待访问状态。表示对象还没有被垃圾回收的标记过程访问到。
Gray状态,也就是待扫描状态。表示对象已经被垃圾回收访问到了,但是对象本身对于其他对象的引用还没有进行遍历访问。
Black状态,也就是已扫描状态。表示对象已经被访问到了,并且也已经遍历了对象本身对其他对象的引用。

基本的算法可以描述如下:

[plain] view plaincopyprint?

当前所有对象都是White状态;  
将root集合引用到的对象从White设置成Gray,并放到Gray集合中;  
while(Gray集合不为空)  
{  
    从Gray集合中移除一个对象O,并将O设置成Black状态;  
    for(O中每一个引用到的对象O1) {  
        if(O1在White状态) {  
            将O1从White设置成Gray,并放到到Gray集合中;  
        }  
    }  
}  
for(任意一个对象O){  
    if(O在White状态)  
        销毁对象O;  
    else  
        将O设置成White状态;  
}  

Incremental Garbage Collection 上面的算法如果一次性执行,在对象很多的情况下,会执行很长时间,严重影响程序本身的响应速度。其中一个解决办法就是,可以将上面的算法分步执行,这样每个步骤所耗费的时间就比较小了。我们可以将上述算法改为以下下几个步骤。

首先标识所有的root对象: [plain] view plaincopyprint?

当前所有对象都是White状态;  
将root集合引用到的对象从White设置成Gray,并放到Gray集合中;  

遍历访问所有的gray对象。如果超出了本次计算量上限,退出等待下一次遍历: [plain] view plaincopyprint?

<p>while(Gray集合不为空,并且没有超过本次计算量的上限)</p>{  
    从Gray集合中移除一个对象O,并将O设置成Black状态;  
    for(O中每一个引用到的对象O1) {  
        if(O1在White状态) {  
            将O1从White设置成Gray,并放到到Gray集合中;  
        }  
    }  
}  

销毁垃圾对象:

[plain] view plaincopyprint?

for(任意一个对象O){  
    if(O在White状态)  
        销毁对象O;  
    else  
        将O设置成White状态;  
}  

在每个步骤之间,由于程序可以正常执行,所以会破坏当前对象之间的引用关系。black对象表示已经被扫描的对象,所以他应该不可能引用到一个white对象。当程序的改变使得一个black对象引用到一个white对象时,就会造成错误。解决这个问题的办法就是设置barrier。barrier在程序正常运行过程中,监控所有的引用改变。如果一个black对象需要引用一个white对象,存在两种处理办法:

将white对象设置成gray,并添加到gray列表中等待扫描。这样等于帮助整个GC的标识过程向前推进了一步。
将black对象该回成gray,并添加到gray列表中等待扫描。这样等于使整个GC的标识过程后退了一步。

这种垃圾回收方式被称为"Incremental Garbage Collection"(简称为"IGC",Lua所采用的就是这种方法。使用"IGC"并不是没有代价的。IGC所检测出来的垃圾对象集合比实际的集合要小,也就是说,有些在GC过程中变成垃圾的对象,有可能在本轮GC中检测不到。不过,这些残余的垃圾对象一定会在下一轮GC被检测出来,不会造成泄露。 http://www.brpreiss.com/books/opus5/html/page424.html

本文转载自:http://blog.csdn.net/yuanlin2008/article/details/8558103

共有 人打赏支持
孙本新
粉丝 1
博文 17
码字总数 4884
作品 0
海淀
程序员
垃圾回收器的基本原理是什么?垃圾回收器可以马上回收内存吗?有什么办法主动通知虚拟机进行垃圾回收

垃圾回收器是一个级别很低的线程,它通过不定时监测程序使用的内存中被占用的动态分配的内存内的对象是否还存在它的引用来判断是否该回收那个内存单元,如果不存在则回收,否则相反~~并不是只要...

CYXLXD
2010/11/06
0
3
【译】.Net 垃圾回收机制原理(二)

上一篇文章介绍了.Net 垃圾回收的基本原理和垃圾回收执行Finalize方法的内部机制;这一篇我们看下弱引用对象,代,多线程垃圾回收,大对象处理以及和垃圾回收相关的性能计数器。 让我们从弱引...

长平狐
2012/06/08
57
0
Java中的对象和垃圾回收

1.java语言中的对象、数组等引用类型实体,系统都会为它在堆内存里面分配内存空间,当这个内存空间没有被引用时,java就会自动把它当做垃圾回收。垃圾回收机制有以下特点,垃圾回收机制只负责...

西红柿的眼泪
2016/07/09
7
0
.Net垃圾回收机制原理详细介绍(二)

上一篇文章介绍了.Net 垃圾回收的基本原理和垃圾回收执行Finalize方法的内部机制;这一篇我们看下弱引用对象,代,多线程垃圾回收,大对象处理以及和垃圾回收相关的性能计数器。 让我们从弱引...

swords
2013/03/25
0
0
JAVA中销毁一个对象的方法

方法一:垃圾回收器 垃圾回收器是Java平台中用的最频繁的一种对象销毁方法。垃圾回收器会全程侦测Java应用程序的运行情况。当反先有些对象成为垃圾时,垃圾回收器就会销毁这些对象,并释放这...

一别经年
2016/06/23
50
0

没有更多内容

加载失败,请刷新页面

加载更多

下一页

kernel version does not match DSO version

错误信息: kernel version 384.11 does not match DSO version 384.130.0 原因是: cuda driver版本太低,不匹配DSO 简单有效的修复方法,升级nvidia driver, 步骤如下: 1. google seach ...

刘小米
今天
0
0
maven坐标和依赖

一、maven坐标详解 <groupId>com.fgt.club</groupId><artifactId>club-common-service-facade</artifactId><version>3.0.0</version><packaging>jar</packaging> maven的坐标元素说......

老韭菜
今天
1
0
springmvc-servlet.xml配置表功能解释

问:<?xml version="1.0" encoding="UTF-8" ?> 答: xml version="1.0"表示是此xml文件的版本是1.0 encoding="UTF-8"表示此文件的编码方式是UTF-8 问:<!DOCTYPE beans PUBLIC "-//SPRING//......

隐士族隐逸
今天
1
0
基于TP5的微信的公众号获取登录用户信息

之前讲过微信的公众号自动登录的菜单配置,这次记录一下在TP5项目中获取自动登录的用户信息并存到数据库的操作 基本的流程为:微信设置自动登录的菜单—>访问的URL指定的函数里获取用户信息—...

月夜中徘徊
今天
0
0
youTrack

package jetbrains.teamsys.license.runtime; 计算lis package jetbrains.ring.license.reader; 验证lis 安装后先不要生成lis,要把相关文件进行替换 ring-license-checker-1.0.41.jar char......

max佩恩
今天
2
0

没有更多内容

加载失败,请刷新页面

加载更多

下一页

返回顶部
顶部