python内存管理机制

解读Python内存管理机制

转自:http://developer.51cto.com/art/201007/213585.htm

转自:http://www.cnblogs.com/vamei

 

一句话归纳：引用计数为主，清除标记，分代回收为辅

引子

语言的内存管理是语言设计的一个重要方面。它是决定语言性能的重要因素。不管是C语言的手工管理，仍是Java的垃圾回收，都成为语言最重要的特征。这里以Python语言为例子，说明一门动态类型的、面向对象的语言的内存管理方式。

 

 

对象的内存使用

赋值语句是语言最多见的功能了。但即便是最简单的赋值语句，也能够颇有内涵。Python的赋值语句就很值得研究。

1. a = 1

整数1为一个对象。而a是一个引用。利用赋值语句，引用a指向对象1。Python是动态类型的语言(参考动态类型)，对象与引用分离。Python像使用“筷子”那样，经过引用来接触和翻动真正的食物——对象。

引用和对象

为了探索对象在内存的存储，咱们能够求助于Python的内置函数id()。它用于返回对象的身份(identity)。其实，这里所谓的身份，就是该对象的内存地址。

1. a = 1
2.  
3. print(id(a))
4. print(hex(id(a)))

在个人计算机上，它们返回的是:

11246696
'0xab9c68'

分别为内存地址的十进制和十六进制表示。

在Python中，整数和短小的字符，Python都会缓存这些对象，以便重复使用。当咱们建立多个等于1的引用时，其实是让全部这些引用指向同一个对象。

1. a = 1
2. b = 1
3.  
4. print(id(a))
5. print(id(b))

上面程序返回

11246696

11246696

可见a和b其实是指向同一个对象的两个引用。

为了检验两个引用指向同一个对象，咱们能够用is关键字。is用于判断两个引用所指的对象是否相同。

1. # True
2. a = 1
3. b = 1
4. print(a is b)
5.  
6. # True
7. a = "good"
8. b = "good"
9. print(a is b)
10.  
11. # False
12. a = "very good morning"
13. b = "very good morning"
14. print(a is b)
15.  
16. # False
17. a = []
18. b = []
19. print(a is b)

上面的注释为相应的运行结果。能够看到，因为Python缓存了整数和短字符串，所以每一个对象只存有一份。好比，全部整数1的引用都指向同一对象。即便使用赋值语句，也只是创造了新的引用，而不是对象自己。长的字符串和其它对象能够有多个相同的对象，可使用赋值语句建立出新的对象。

在Python中，每一个对象都有存有指向该对象的引用总数，即引用计数(reference count)。

咱们可使用sys包中的getrefcount()，来查看某个对象的引用计数。须要注意的是，当使用某个引用做为参数，传递给getrefcount()时，参数实际上建立了一个临时的引用。所以，getrefcount()所获得的结果，会比指望的多1。

1. from sys import getrefcount
2.  
3. a = [1, 2, 3]
4. print(getrefcount(a))
5.  
6. b = aprint(getrefcount(b))

因为上述缘由，两个getrefcount将返回2和3，而不是指望的1和2。

对象引用对象

Python的一个容器对象(container)，好比表、词典等，能够包含多个对象。实际上，容器对象中包含的并非元素对象自己，是指向各个元素对象的引用。

咱们也能够自定义一个对象，并引用其它对象:

1. class from_obj(object):
2. def __init__(self, to_obj):
3. self.to_obj = to_obj
4.  
5. b = [1,2,3]
6. a = from_obj(b)
7. print(id(a.to_obj))
8. print(id(b))

能够看到，a引用了对象b。

对象引用对象，是Python最基本的构成方式。即便是a = 1这一赋值方式，其实是让词典的一个键值"a"的元素引用整数对象1。该词典对象用于记录全部的全局引用。该词典引用了整数对象1。咱们能够经过内置函数globals()来查看该词典。

当一个对象A被另外一个对象B引用时，A的引用计数将增长1。

1. from sys import getrefcount
2.  
3. a = [1, 2, 3]
4. print(getrefcount(a))
5.  
6. b = [a, a]
7. print(getrefcount(a))

因为对象b引用了两次a，a的引用计数增长了2。

容器对象的引用可能构成很复杂的拓扑结构。咱们能够用objgraph包来绘制其引用关系，好比

1. x = [1, 2, 3]
2. y = [x, dict(key1=x)]
3. z = [y, (x, y)]
4.  
5. import objgraph
6. objgraph.show_refs([z], filename='ref_topo.png')

objgraph是Python的一个第三方包。安装以前须要安装xdot。（在 ubuntu 系统 python 2.7.3 下安装 objgraph1.8 版本导入模块时老是报错找不到模块，安装低版本 sudo pip install 'objgraph<1.8' 导入模块成功）

1. sudo apt-get install xdot
2. sudo pip install objgraph

objgraph官网

两个对象可能相互引用，从而构成所谓的引用环(reference cycle)。

1. a = []
2. b = [a]
3. a.append(b)

即便是一个对象，只须要本身引用本身，也能构成引用环。

1. a = []
2. a.append(a)
3. print(getrefcount(a))

引用环会给垃圾回收机制带来很大的麻烦，我将在后面详细叙述这一点。

引用减小

某个对象的引用计数可能减小。好比，可使用del关键字删除某个引用:

1. from sys import getrefcount
2.  
3. a = [1, 2, 3]
4. b = a
5. print(getrefcount(b))
6.  
7. del a
8. print(getrefcount(b))

del也能够用于删除容器元素中的元素，好比:

1. a = [1,2,3]
2. del a[0]
3. print(a)

若是某个引用指向对象A，当这个引用被从新定向到某个其余对象B时，对象A的引用计数减小:

1. from sys import getrefcount
2.  
3. a = [1, 2, 3]
4. b = a
5. print(getrefcount(b))
6.  
7. a = 1
8. print(getrefcount(b))

垃圾回收

吃太多，总会变胖，Python也是这样。当Python中的对象愈来愈多，它们将占据愈来愈大的内存。不过你不用太担忧Python的体形，它会乖巧的在适当的时候“减肥”，启动垃圾回收(garbage collection)，将没用的对象清除。在许多语言中都有垃圾回收机制，好比Java和Ruby。尽管最终目的都是塑造苗条的提醒，但不一样语言的减肥方案有很大的差别 (这一点能够对比本文和Java内存管理与垃圾回收

)。

从基本原理上，当Python的某个对象的引用计数降为0时，说明没有任何引用指向该对象，该对象就成为要被回收的垃圾了。好比某个新建对象，它被分配给某个引用，对象的引用计数变为1。若是引用被删除，对象的引用计数为0，那么该对象就能够被垃圾回收。好比下面的表:

1. a = [1, 2, 3]
2. del a

del a后，已经没有任何引用指向以前创建的[1, 2, 3]这个表。用户不可能经过任何方式接触或者动用这个对象。这个对象若是继续待在内存里，就成了不健康的脂肪。当垃圾回收启动时，Python扫描到这个引用计数为0的对象，就将它所占据的内存清空。

然而，减肥是个昂贵而费力的事情。垃圾回收时，Python不能进行其它的任务。频繁的垃圾回收将大大下降Python的工做效率。若是内存中的对象很少，就没有必要总启动垃圾回收。因此，Python只会在特定条件下，自动启动垃圾回收。当Python运行时，会记录其中分配对象(object allocation)和取消分配对象(object deallocation)的次数。当二者的差值高于某个阈值时，垃圾回收才会启动。

咱们能够经过gc模块的get_threshold()方法，查看该阈值:

1. import gc
2. print(gc.get_threshold())

返回(700, 10, 10)，后面的两个10是与分代回收相关的阈值，后面能够看到。700便是垃圾回收启动的阈值。能够经过gc中的set_threshold()方法从新设置。

咱们也能够手动启动垃圾回收，即便用gc.collect()。

分代回收

Python同时采用了分代(generation)回收的策略。这一策略的基本假设是，存活时间越久的对象，越不可能在后面的程序中变成垃圾。咱们的程序每每会产生大量的对象，许多对象很快产生和消失，但也有一些对象长期被使用。出于信任和效率，对于这样一些“长寿”对象，咱们相信它们的用处，因此减小在垃圾回收中扫描它们的频率。

小家伙要多检查

Python将全部的对象分为0，1，2三代。全部的新建对象都是0代对象。当某一代对象经历过垃圾回收，依然存活，那么它就被纳入下一代对象。垃圾回收启动时，必定会扫描全部的0代对象。若是0代通过必定次数垃圾回收，那么就启动对0代和1代的扫描清理。当1代也经历了必定次数的垃圾回收后，那么会启动对0，1，2，即对全部对象进行扫描。

这两个次数即上面get_threshold()返回的(700, 10, 10)返回的两个10。也就是说，每10次0代垃圾回收，会配合1次1代的垃圾回收；而每10次1代的垃圾回收，才会有1次的2代垃圾回收。

一样能够用set_threshold()来调整，好比对2代对象进行更频繁的扫描。

1. import gc
2. gc.set_threshold(700, 10, 5)

孤立的引用环

引用环的存在会给上面的垃圾回收机制带来很大的困难。这些引用环可能构成没法使用，但引用计数不为0的一些对象。

1. a = []
2. b = [a]
3. a.append(b)
4.  
5. del a
6. del b

上面咱们先建立了两个表对象，并引用对方，构成一个引用环。删除了a，b引用以后，这两个对象不可能再从程序中调用，就没有什么用处了。可是因为引用环的存在，这两个对象的引用计数都没有降到0，不会被垃圾回收。

孤立的引用环

为了回收这样的引用环，Python复制每一个对象的引用计数，能够记为gc_ref。假设，每一个对象i，该计数为gc_ref_i。Python会遍历全部的对象i。对于每一个对象i引用的对象j，将相应的gc_ref_j减1。

遍历后的结果

在结束遍历后，gc_ref不为0的对象，和这些对象引用的对象，以及继续更下游引用的对象，须要被保留。而其它的对象则被垃圾回收。

 

小块空间的内存池

在Python中，许多时候申请的内存都是小块的内存，这些小块内存在申请后，很快又会被释放，因为这些内存的申请并非为了建立对象，因此并无对象一级的内存池机制。

 

Python内存池全景

这就意味着Python在运行期间会大量地执行malloc和free的操做，频繁地在用户态和核心态之间进行切换，这将严重影响Python的执行效率。为了加速Python的执行效率，Python引入了一个内存池机制，用于管理对小块内存的申请和释放。这也就是以前提到的Pymalloc机制。

在Python 2.5中，Python内部默认的小块内存与大块内存的分界点定在256个字节，这个分界点由前面咱们看到的名为SMALL_REQUEST_THRESHOLD的符号控制。

也就是说，当申请的内存小于256字节时，PyObject_Malloc会在内存池中申请内存；当申请的内存大于256字节时，PyObject_Malloc的行为将蜕化为malloc的行为。固然，经过修改Python源代码，咱们能够改变这个默认值，从而改变Python的默认内存管理行为。

在一个对象的引用计数减为0时，与该对象对应的析构函数就会被调用。

可是要特别注意的是，调用析构函数并不意味着最终必定会调用free释放内存空间，若是真是这样的话，那频繁地申请、释放内存空间会使 Python的执行效率大打折扣（更况且Python已经多年背负了人们对其执行效率的不满）。通常来讲，Python中大量采用了内存对象池的技术，使用这种技术能够避免频繁地申请和释放内存空间。所以在析构时，一般都是将对象占用的空间归还到内存池中。

"这个问题就是:Python的arena历来不释放pool。这个问题为何会引发相似于内存泄漏的现象呢。考虑这样一种情形，申请10*1024*1024个16字节的小内存，这就意味着必须使用160M的内存，因为Python没有默认将前面提到的限制内存池的WITH_MEMORY_LIMITS编译符号打开，因此Python会彻底使用arena来知足你的需求，这都没有问题，关键的问题在于过了一段时间，你将全部这些16字节的内存都释放了，这些内存都回到arena的控制中，彷佛没有问题。

可是问题偏偏就在这时出现了。由于arena始终不会释放它维护的pool集合，因此这160M的内存始终被Python占用，若是之后程序运行中不再须要160M如此巨大的内存，这点内存岂不是就浪费了？"

Python内存管理规则：del的时候,把list的元素释放掉,把管理元素的大对象回收到py对象缓冲池里