如果我有一个整数 i,那么在多个线程上执行 i += 1 是不安全的:
>>> i = 0
>>> def increment_i():
... global i
... for j in range(1000): i += 1
...
>>> threads = [threading.Thread(target=increment_i) for j in range(10)]
>>> for thread in threads: thread.start()
...
>>> for thread in threads: thread.join()
...
>>> i
4858 # Not 10000
但是,如果我有一个列表 l,那么在多个线程上执行 l += [1] 似乎是安全的:
>>> l = []
>>> def extend_l():
... global l
... for j in range(1000): l += [1]
...
>>> threads = [threading.Thread(target=extend_l) for j in range(10)]
>>> for thread in threads: thread.start()
...
>>> for thread in threads: thread.join()
...
>>> len(l)
10000
l += [1] 是否保证是线程安全的?如果是这样,这适用于所有 Python 实现还是仅适用于 CPython?
编辑: 似乎 l += [1] 是线程安全的,但 l = l + [1] 不是。 ..
>>> l = []
>>> def extend_l():
... global l
... for j in range(1000): l = l + [1]
...
>>> threads = [threading.Thread(target=extend_l) for j in range(10)]
>>> for thread in threads: thread.start()
...
>>> for thread in threads: thread.join()
...
>>> len(l)
3305 # Not 10000
最佳答案
对此没有满意的 ;-) 答案。没有任何保证,您可以通过注意 Python 引用手册不保证原子性来确认这一点。
在 CPython 中,这是一个语用学问题。正如 effbot 文章的一部分所说,
In theory, this means an exact accounting requires an exact understanding of the PVM [Python Virtual Machine] bytecode implementation.
这就是事实。 CPython 专家知道 L += [x] 是原子的,因为他们知道以下所有内容:
+= 编译为 INPLACE_ADD 字节码。INPLACE_ADD的实现完全用C编写(执行路径上没有Python代码,所以GIL不能在字节码之间释放) .listobject.c中,INPLACE_ADD的实现是函数list_inplace_concat(),在其执行过程中不需要执行任何用户Python代码(如果有,GIL 可能会再次发布)。这听起来很难保持直截了当,但对于具有 effbot 了解 CPython 内部知识的人(在他撰写那篇文章时),确实不是。事实上,鉴于知识的深度,这一切都很明显;-)
因此,就语用学而言,CPython 专家一直自由地依赖于“‘看起来很原子’的操作实际上应该是原子的”,这也指导了一些语言决策。例如,effbot 列表中缺少的操作(在他写完那篇文章后添加到语言中):
x = D.pop(y) # or ...
x = D.pop(y, default)
支持添加 dict.pop() 的一个论点(当时)恰恰是明显的 C 实现将是原子的,而正在使用的(当时)替代方案:
x = D[y]
del D[y]
不是原子的(检索和删除是通过不同的字节码完成的,因此线程可以在它们之间切换)。
但是文档从来没有说 .pop() 是原子的,而且永远不会。这是一种“同意成年人”的事情:如果你足够熟练,可以有意识地利用这一点,你就不需要牵手了。如果你不够专业,那么 effbot 文章的最后一句话适用:
When in doubt, use a mutex!
出于务实的需要,核心开发人员永远不会破坏 effbot 示例(或 D.pop() 或 D.setdefault())的原子性CPython。不过,其他实现完全没有义务模仿这些务实的选择。实际上,由于在这些情况下的原子性依赖于 CPython 的特定形式的字节码以及 CPython 使用只能在字节码之间释放的全局解释器锁,因此 其他实现模仿它们可能是一个真正的痛苦.
而且你永远不会知道:某些 future 版本的 CPython 也可能会移除 GIL!我对此表示怀疑,但理论上这是可能的。但如果发生这种情况,我敢打赌,保留 GIL 的并行版本也会保留,因为大量代码(尤其是用 C 编写的扩展模块)也依赖 GIL 来确保线程安全。
值得重复:
When in doubt, use a mutex!
关于python - 扩展 Python 列表(例如 l += [1])是否保证是线程安全的?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/38266186/
关闭。这个问题是opinion-based.它目前不接受答案。想要改进这个问题?更新问题,以便editingthispost可以用事实和引用来回答它.关闭4年前。Improvethisquestion我想在固定时间创建一系列低音和高音调的哔哔声。例如:在150毫秒时发出高音调的蜂鸣声在151毫秒时发出低音调的蜂鸣声200毫秒时发出低音调的蜂鸣声250毫秒的高音调蜂鸣声有没有办法在Ruby或Python中做到这一点?我真的不在乎输出编码是什么(.wav、.mp3、.ogg等等),但我确实想创建一个输出文件。
给定这段代码defcreate@upgrades=User.update_all(["role=?","upgraded"],:id=>params[:upgrade])redirect_toadmin_upgrades_path,:notice=>"Successfullyupgradeduser."end我如何在该操作中实际验证它们是否已保存或未重定向到适当的页面和消息? 最佳答案 在Rails3中,update_all不返回任何有意义的信息,除了已更新的记录数(这可能取决于您的DBMS是否返回该信息)。http://ar.ru
我主要使用Ruby来执行此操作,但到目前为止我的攻击计划如下:使用gemsrdf、rdf-rdfa和rdf-microdata或mida来解析给定任何URI的数据。我认为最好映射到像schema.org这样的统一模式,例如使用这个yaml文件,它试图描述数据词汇表和opengraph到schema.org之间的转换:#SchemaXtoschema.orgconversion#data-vocabularyDV:name:namestreet-address:streetAddressregion:addressRegionlocality:addressLocalityphoto:i
我正在编写一个包含C扩展的gem。通常当我写一个gem时,我会遵循TDD的过程,我会写一个失败的规范,然后处理代码直到它通过,等等......在“ext/mygem/mygem.c”中我的C扩展和在gemspec的“扩展”中配置的有效extconf.rb,如何运行我的规范并仍然加载我的C扩展?当我更改C代码时,我需要采取哪些步骤来重新编译代码?这可能是个愚蠢的问题,但是从我的gem的开发源代码树中输入“bundleinstall”不会构建任何native扩展。当我手动运行rubyext/mygem/extconf.rb时,我确实得到了一个Makefile(在整个项目的根目录中),然后当
我的瘦服务器配置了nginx,我的ROR应用程序正在它们上运行。在我发布代码更新时运行thinrestart会给我的应用程序带来一些停机时间。我试图弄清楚如何优雅地重启正在运行的Thin实例,但找不到好的解决方案。有没有人能做到这一点? 最佳答案 #Restartjustthethinserverdescribedbythatconfigsudothin-C/etc/thin/mysite.ymlrestartNginx将继续运行并代理请求。如果您将Nginx设置为使用多个上游服务器,例如server{listen80;server
这个问题在这里已经有了答案:Checktoseeifanarrayisalreadysorted?(8个答案)关闭9年前。我只是想知道是否有办法检查数组是否在增加?这是我的解决方案,但我正在寻找更漂亮的方法:n=-1@arr.flatten.each{|e|returnfalseife
我正在编写一个小脚本来定位aws存储桶中的特定文件,并创建一个临时验证的url以发送给同事。(理想情况下,这将创建类似于在控制台上右键单击存储桶中的文件并复制链接地址的结果)。我研究过回形针,它似乎不符合这个标准,但我可能只是不知道它的全部功能。我尝试了以下方法:defauthenticated_url(file_name,bucket)AWS::S3::S3Object.url_for(file_name,bucket,:secure=>true,:expires=>20*60)end产生这种类型的结果:...-1.amazonaws.com/file_path/file.zip.A
是否有类似“RVMuse1”或“RVMuselist[0]”之类的内容而不是键入整个版本号。在任何时候,我们都会看到一个可能包含5个或更多ruby的列表,我们可以轻松地键入一个数字而不是X.X.X。这也有助于rvmgemset。 最佳答案 这在RVM2.0中是可能的=>https://docs.google.com/document/d/1xW9GeEpLOWPcddDg_hOPvK4oeLxJmU3Q5FiCNT7nTAc/edit?usp=sharing-知道链接的任何人都可以发表评论
我有一个包含多个键的散列和一个字符串,该字符串不包含散列中的任何键或包含一个键。h={"k1"=>"v1","k2"=>"v2","k3"=>"v3"}s="thisisanexamplestringthatmightoccurwithakeysomewhereinthestringk1(withspecialcharacterslike(^&*$#@!^&&*))"检查s是否包含h中的任何键的最佳方法是什么,如果包含,则返回它包含的键的值?例如,对于上面的h和s的例子,输出应该是v1。编辑:只有字符串是用户定义的。哈希将始终相同。 最佳答案
我需要检查DateTime是否采用有效的ISO8601格式。喜欢:#iso8601?我检查了ruby是否有特定方法,但没有找到。目前我正在使用date.iso8601==date来检查这个。有什么好的方法吗?编辑解释我的环境,并改变问题的范围。因此,我的项目将使用jsapiFullCalendar,这就是我需要iso8601字符串格式的原因。我想知道更好或正确的方法是什么,以正确的格式将日期保存在数据库中,或者让ActiveRecord完成它们的工作并在我需要时间信息时对其进行操作。 最佳答案 我不太明白你的问题。我假设您想检查