python 开发 -- 02垃圾回收机制

一.什么是垃圾回收机制

• 垃圾回收机制(简称GC), 解释器自带的一种机制
• 它是一种动态存储管理技术,自动释放不再被程序引用的对象所占用的内存空间

二.为什么要有垃圾回收机制

• 程序的运行过程中会申请大量的内存空间
• 对于一些无用的空间如果不及时清理的话会导致内存溢出(不够用),程序就会崩溃
• 管理内存是非常复杂的事情,垃圾回收机制就把程序员从复杂的内存管理中解放出啦

三.垃圾回收机制的原理

1.引用计数

引用计数就是变量名与变量值的关联次数, 以此来跟踪和回收垃圾

• 直接引用

🌴通过变量名直接引用
x = 18  #18被引用了一次,计数为1
y = x   #18被引用加1次,计数为2
z = y   #18被引用加1次,计数为3
print(id(x))  #140725488808736
print(id(y))  #140725488808736
print(id(z))  #140725488808736

• 间接引用

🌴容器对其的引用都是间接
x = 18                 #18被引用一次,计数为1
li = [1,2,x]           #通过列表引用,计数加1,为2
dic = {'age': x}       #通过字典引用, 计数加1,为3
print(id(x))           #140725486514976
print(id(li[2]))       #140725486514976 列表引用,计数4
print(id(dic['age']))  #140725486514976 字典引用,计数5

2.栈区 / 堆区

• 栈区 : 存放的是变量名与变量值的内存地址映射关系
• 堆区 : 存放的是值真正的位置

3.总结

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

四.标记清除

1.循环引用问题(也叫交叉引用)

🌴我们先定义列表
l1=[0]  # 列表1被引用一次，列表1的引用计数变为1   
l2=[1]  # 列表2被引用一次，列表2的引用计数变为1   

🌴将列表加入另一个列表
l1.append(l2)  # 把列表2追加到l1中作为第二个元素，列表2的引用计数变为2
l2.append(l1)  # 把列表1追加到l2中作为第二个元素，列表1的引用计数变为2

🌴解除比变量名"l1"和"l2"与值的对应关系
del l1
del l2

3.循环引用导致的结果

• 值不再被任何名字关联，但是值的引用计数并不会为0
• 应该被回收但又不能被回收

4.解决方法 : 清除-标记

• 容器对象的的引用都有可能产生循环引用, 而清除-标记就是为解决这个问题的
• 当应用程序可用空间被耗尽时, 清除-标记会停止整个程序, 然后先标记, 再清除

🌴标记
但凡是可以从栈区出发,找到对应堆区内容的(直接或间接引用)就标记存活,非存活则清除
具体点：标记的过程其实就是，遍历所有的"GC Roots"对象(栈区中的所有内容或者线程都可以作为"GC Roots"对象)
然后将所有"GC Roots"的对象可以直接或间接访问到的对象标记为存活的对象，其余的均为非存活对象，应该被清除

🌴清除
遍历堆中的对象,将没有标记存活的对象都清理掉

五.分代回收

1.效率问题

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

2.解决方法 : 分代回收

• 分代

🌴分代指的是根据变量的存活时间来划分他们的等级
🌴一个变量经常被引用,等级(权重)就会提高,权重达到设定值就会进入下一个等级
🌴当经过多次扫描都没有被回收,"GC机制"就会认为该变量是常量
🌴于是对其的扫描频率会降低

• 回收

🌴当计数降低,就容易被回收
🌴分代回收可以起到提升效率的效果,但也存在一定的缺点：
    🐏比如一个变量刚从低等级转入高等级,它就被解除了绑定关系
    🐏它应该被回收,但高等级扫描频率低于低等级
    🐏那么这个已被解除绑定关系的变量无法及时得到清理

• 总结

🌴垃圾回收机制是在清理垃圾和释放内存的前提下
🌴允许一些垃圾不被释放为代价(就是等级权重高点的垃圾不会及时被清理)
🌴以此换取引用计数扫描频率的降低,从而提升其性能
🌴这是一种以空间换时间的解决方案