当前位置:首页 > 共享经济 > 正文内容

Python 为了提升性能,竟运用了共享经济

wxianyue3年前 (2021-10-10)共享经济474

大家或许知道,Python 为了提高内存的利用效率,采用了一套共用对象内存的分配策略。

例如,对于那些数值较小的数字对象([-5, 256])、布尔值对象、None 对象、较短的字符串对象(通常是 20)等等,字面量相等的对象实际上是同一个对象。

# 共用内存地址的例子a = 100b = 100s = "python_cat"t = "python_cat"id(a) == id(b) # 结果:Trueid(s) == id(t) # 结果:True

我很早的时候曾写过一篇《Python中的“特权种族”是什么?》,把这些对象统称为“特权种族”,它们是 Python 在内存管理机制上使用的优化技巧。

前不久,我还写了一篇《Python 内存分配时的小秘密》,也是介绍内存管理的技巧。

这两篇文章有所区别:旧文主要涉及了内存共用与对象驻留的机制,而新文介绍的是内存分配、动态扩容以及内存回收的相关机制。

它们令我不由自主地想到两个词:共享经济与供需平衡。

如果你没有读过那两篇文章,我强烈建议你先回看一下,然后再看看我的联想是否有道理:那几类特权种族对象其实是在共享内存,表面上的不同对象共享经济对,其实是在循环利用;至于供需平衡也好理解,创建某些对象时,按照预期的诉求去分配内存,在扩容时则灵活调节,达到了供需之间的平衡。

透过现象看本质,Python 可以很有趣。

但是,Python 的有趣之处还不止于此,本文要继续分享另一种内存管理机制,在某种程度上,它实现了共享经济与供需平衡的融合,我们从中可揭开 Python 的另一重身份……

1、不可变对象的共享经济

上面列出的"特权种族"都是不可变对象(而“供需平衡”主要出现于可变对象),对于这些不变的对象,当出现多处使用时,共用一个对象似乎是种不错的优化方法。

从共享单车看共享经济_共享经济意味着资源的共享申论_共享经济对

我曾有一种猜想:Python 的不可变对象都可能是特权种族。

我没有试图去完全证实它,本文只想考察其中一种不可变对象:元组。它是不可变对象,那么,是否有共用对象的机制呢?

下面把它跟列表作一下对比:

# 空对象的差别a = []b = []c = ()d = ()print(id(a)==id(b)) # 结果:Falseprint(id(c)==id(d)) # 结果:True

由此可见,两个空列表是不同的对象,而两个空元组其实是同一个对象。这至少说明了,空元组在内存中只有一个,它属于已提到的特权种族。

将实验延伸到集合与字典,它们是可变对象,你会发现结果跟列表一样,存在多个副本,即不是特权种族。我就不举例了。

由上述的实验结果,还能引出两个问题,但是它们偏离了本文主题,我不打算深入辨析,简单列一下:

除了空元组,还有什么样的元组是“特权种族”?(PS:从元素的数量、类型、元素自身的大小考虑,就我小范围试验,还没发现。所以,空元组是独特的唯一?)编译期与运行期有所区别,这在之前写字符串的 intern 机制时(《Intern机制的软肋》)也分析过。(PS:print(id([]) == id([])),结果为 True,与上例先赋值再比较不同。)2、可变对象的共享经济

空元组体现了共享经济,但由于它是不可变对象,所以不存在动态扩容,就只体现了极少的供需平衡。

作为对照,列表等可变对象充分表现了供需平衡,却似乎没办法体现共享经济。

比如说,我们把一个列表想象成一个可自增的杯子(毕竟它是某种容器),再把它的元素想象成不同种类的液体(水、可乐、酒……)。

那么,我们的问题是:两杯东西是否可以共享为一个对象呢?或者说共享经济对,有没有可能共享那只杯子呢?这样就可以节省内存(在那篇讲小秘密的文章中展示过:“空杯子”占用的内存可不少),提升效率啦。

对于第一个问题,答案为否,验证过程略。对于第二个问题,在上一节中,我们已验证过两个空杯子(即空列表),答案也为否。

但是,第二个问题还有其它的可能!下面让我们换一种实验方法:

# 实验版本:Python 3.6.1a = [[] for i in range(4)]print(id(a))for i in range(len(a)): print(f'{i} -- {id(a[i])}') # a[i] = 1 # PS:可去除注释,再执行一次,结果的顺序有差别del aprint("after del")b = [[] for i in range(4)]print(id(b))for i in range(len(b)): print(f'{i} -- {id(b[i])}')

以上代码在不同环境中,执行结果可能有所差异。我执行的一次结果如下:

260 -- 221 -- 222 -- 283 -- 24after del260 -- 221 -- 222 -- 283 -- 24

分析结果可知:列表对象在被回收之后,并不会彻底消除,它的内存地址会传递给新创建的列表,也就是说,新创建的列表其实共享了旧列表的内存地址!

再结合前面的例子,我们可以说,先后静态创建的两个列表会分配不同的内存地址,但是,经过动态回收之后,先后创建的列表可能是同一个内存地址!(注意:这里说的是“可能”,因为在新列表创建前,若有其它地方也在创建列表,那后者可能先机。)

延伸到其它基本的可变对象,例如集合与字典,也有同样的共享策略,其目的显而易见:循环利用这些对象的“残躯”,可以避免内存碎片,提高执行性能。

共享一只杯子,总比重新创造一只杯子,要更高效便捷,对吧?

Python 解释器在实现这个机制时,使用了一个叫做free_list的全局变量,其工作原理是:

当创建新的对象时,则检查 free_list 内是否有可用对象,有则取出使用,没有则创建当这些对象被析构时,则检查 free_list 是否有剩余空间,有则存入其中某类对象存入 free_list 时,只保留“躯壳”,而清空其内部所有的元素(即只共享杯子,不共享杯中物)

扫描二维码推送至手机访问。

版权声明:本文由共享商业学院发布,如需转载请注明出处。

本文链接:https://pplcom.com/post/18896.html

分享给朋友:

相关文章

绥芬河共享果蔬店自助果蔬机价格,无人自助共享果蔬店

绥芬河共享果蔬店自助果蔬机价格,无人自助共享果蔬店

绥芬河共享果蔬店自助果蔬机价格 浙江亚通通信科技有限公司浙江亚通通信科技有限公司成立于2007年,系高新技术企业,现有上海亚通科技有限公司及丽水亚通智能设备制造有限公司,公司从事于互联网及线下自助终端...

中小企业文件共享方案 公司内部文件共享方案

中小企业文件共享方案 公司内部文件共享方案

当前,企业局域网通过文件服务器共享文件,让局域网用户随时存储、协同办公已经成为一种普遍需求,但是由于Windows服务器文件共享设置较为麻烦,同时也缺乏对共享文件的相应管控,尤其是通过操作系统自身的共...

云共享的信息安全技术研究

云共享的信息安全技术研究

出自 MBA智库百科() 目录 [编辑] 什么是云共享 云共享就是云资源的共享,其中主要包含了数据资源与软件资源两大类,同时云共享技术是以云计算技术为基础的。 [编辑] 云共享的类型 现阶段根据云资...

怪兽充电共享充电宝加盟

怪兽充电共享充电宝加盟

怪兽充电共享充电宝创始人,前UBER中国区市场总监,怪兽充电共享充电宝从品牌命名到品牌概念怪兽共享充电宝代理,再到标志标志与整体视觉延展定位准确,形象表现非常贴合互联网共享充电宝品牌有自己的明显记忆...

共享健身器材将嗨翻全民  迎来大健康时代

共享健身器材将嗨翻全民 迎来大健康时代

当物联网技术应用到共享运动设备上,将会是怎样的场景? 9月9日上午10点,健康猫运动健康产业平台在无锡2017世界物联网博览会开幕的前一天,举行了“大象健康物联网智慧共享运动器材项目上线”新闻发布会及...

目前共享物流的模式与发展趋势_互联网_IT/计算机_专业资料

目前共享物流的模式与发展趋势_互联网_IT/计算机_专业资料

目前共享物流的模式与发展趋势 共享物流就是指通过共享物流资源实现物流资源优化配置,从而提 高物流系统效率,降低物流成本,推动物流系统变革的物流模式。小编 整理了目前共享物流的模式与发展趋势,欢迎欣赏与...

发表评论

访客

看不清,换一张

◎欢迎参与讨论,请在这里发表您的看法和观点。