Python垃圾回收机制

一、引入

解释器在执行到定义变量的语句时，会向内存申请一定的空间来存放变量的值，但是内存的容量是有限的，对于一些无用的内存空间如果不及时清理会导致内存使用完（内存溢出），使程序崩溃，当一个变量没有用了（简称垃圾）就应该将其占用的内存给回收掉，那什么样的变量是没有用的呢？

从逻辑层面分析，我们定义变量将变量值存起来的目的是为了以后取出来使用，而取得变量值需要通过其绑定的直接引用（x=10，10被x直接引用）或间接引用（S=[x]，x=10,10被x直接引用，被S间接引用），当一个变量不再绑定任何引用时，这个变量就没有用了，会被Python解释器自带的垃圾回收机制自动回收，这样会把程序员从繁杂的内存管理中解脱出来。

二、什么是垃圾回收机制

垃圾回收机制（简称GC）是Python解释器自带的一种机制，专门用来回收不可用变量所占用的内存空间。

三、所需的储备知识

1、堆区与栈区

在定义变量时，变量名与变量值是要分开存储的，变量名存在栈区，变量值存在堆区

• 变量名与值内存地址的关联关系存放在栈区
• 变量值存放在堆区，内存管理回收的内容就是堆区的内容

定义了两个变量x=10，y=20，如下图：

当执行x=y时，内存中的堆区与栈区变化如下：

2、直接引用与间接引用

直接引用是指从栈区出发直接引用到的内存地址；
间接引用是指栈区出发引用到堆区后，通过进一步引用才能到达的内存地址。

l2 = [20, 30]
x=10
l1 = [x, l2]

四、垃圾回收机制原理分析

• 引用计数：跟踪和回收垃圾
• 标记清除：解决容器对象可能产生的循环引用问题
• 分代回收：以空间换取时间的方式来进一步提高垃圾回收的效率

1、引用计数

记录当前对象被引用的次数，也就是来追踪到底有多少引用指向了该对象。

引用计数器+1的情况：

• 对象被创建：a=10
• 对象被引用：b=a
• 对象被作为参数，传到函数中：func（a）
• 对象作为一个元素，被存储到容器中：List={a,“a”,“b”,2}

引用计数器-1的情况：

• 该对象的别名被显式销毁时：del a
• 该对象的引别名被赋予新的对象：a=20
• 一个对象离开它的作用域，例如 func函数执行完毕时，函数里面的局部变量的引用计数器就会减一（但是全局变量不会）
• 将该元素从容器中删除时，或者容器被销毁时

引用计数一旦变为0，其占用的内存地址就应该被解释器的垃圾回收机制回收

问题一

• 维护引用计数消耗资源，维护引用计数的次数和引用赋值成正比
• 循环引用的问题（致命）：值不再被任何名字关联，但是值的引用计数并不会为0，应该被回收但不能被回收

l1=['xxx'] 		 # 列表1被引用一次，列表1的引用计数变为1
l2=['yyy'] 		 # 列表2被引用一次，列表2的引用计数变为1 
l1.append(l2)    # 把列表2追加到l1中作为第二个元素，列表2的引用计数变为2
l2.append(l1)    # 把列表1追加到l2中作为第二个元素，列表1的引用计数变为2
del l1 			 # 列表1的引用计数减1，列表1的引用计数变为1
del l2 			 # 列表2的引用计数减1，列表2的引用计数变为1

此时，只剩下列表1与列表2之间的相互引用

此时两个列表的引用计数均不为0，但两个列表不再被任何其他对象关联，没有任何人可以再引用到它们，所以它俩占用内存空间应该被回收，但由于相互引用的存在，每一个对象的引用计数都不为0，因此这些对象所占用的内存永远不会被释放，这与手动进行内存管理所产生的内存泄露毫无区别，所以Python引入了“标记-清除”来解决这个问题。

2、标记-清除

容器对象（比如：list，set，dict，class，instance）都可以包含对其他对象的引用，所以都可能产生循环引用。

标记–清除的做法是当应用程序可用的内存空间被耗尽时，就会停止整个程序，然后进行两项工作，第一项则是标记，第二项则是清除

• 标记：遍历所有的对象，把可以直接或间接访问到的对象标记为存活的对象，其余的均为非存活对象，应该被清除。
• 清除：清除的过程将遍历堆中所有的对象，将没有标记的对象全部清除掉。

这样在启用标记清除算法时，从栈区出发，没有任何一条直接或间接引用可以访达l1与l2，于是l1与l2都没有被标记为存活，二者会被清理掉，这样就解决了循环引用带来的内存泄漏问题。

问题二

基于引用计数的回收机制，每次回收内存，都需要把所有对象的引用计数都遍历一遍，这是非常消耗时间的，于是引入了分代回收来提高回收效率，分代回收采用的是用“空间换时间”的策略。

3、分代回收

分代：根据存活时间来为变量划分不同等级（也就是不同的代）

核心思想：在历经多次扫描的情况下，都没有被回收的变量，gc机制就会认为，该变量是常用变量，gc对其扫描的频率会降低

新定义的变量值，会放在新生代中，假设每隔1分钟扫描一次，如果发现变量值依然存活，那该变量值的等级会提高，当权重大于3（假设为3），会放到青春代中，每隔5分钟扫描一次，继续存活下去，权重继续增高，当权重大于10（假设为10），会被放到老年代中，次时每隔10分钟扫描一次，以此类推。等级越高，被垃圾回收扫描的频率越低。

回收：依然是使用引用计数作为回收的依据