10
Python 中 有 CAS 的实现吗
source link: https://www.v2ex.com/t/808500
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.
Google 了一下 "Python" "CAS"，只是搜到了一些关于 GIL 的 ATOMIC 操作。
但是觉得 Python 的 Lock() 又有点沉，有大佬知道有没有类似 CAS 的轻量级实现吗？
36 条回复 • 2021-10-19 00:33:49 +08:00
Goat121 18 小时 50 分钟前
@dqzcwxb java 被喷不是语言的问题，正是因为你这种 java boy 太多，让我等羞于为伍，说自己写过几年 java 都心惊胆战怕被人误认为你们。
cas 和 java 又有什么关系了？人家实现 cas 的时候还没现代操作系统呢，你家 jvm 都没地方跑谢谢。
cas 和 java 又有什么关系了？人家实现 cas 的时候还没现代操作系统呢，你家 jvm 都没地方跑谢谢。
dqzcwxb 17 小时 59 分钟前
@Goat121 #2 "等一个莫名其妙喷 java 的"你可真会咬钩
我没说 cas 跟 java 有关系,只是某些喷 java 的喜欢带上
同理设计模式也跟 java 没啥关系,还不是天天喷 java 设计模式滥用?
还羞与为伍,笑死
我没说 cas 跟 java 有关系,只是某些喷 java 的喜欢带上
同理设计模式也跟 java 没啥关系,还不是天天喷 java 设计模式滥用?
还羞与为伍,笑死
abersheeran 15 小时 33 分钟前 
1
比较难想象 Python 怎么 CAS，l.a = b 不是原子的，这要变成三条字节码，两个 LOAD_NAME 和一个 STORE_NAME 。
如果直接用 a = b，那你压根拿不到 a 的结果，因为 Python 没有指针，函数里赋值过去就没了。
如果用 nonlocal global 去修复拿结果的问题，那就没办法做到无副作用，而且这只是换了个 name，对象所在的内存还是没有变化。
综上所述，建议直接 threading.Lock，不会有人上了 Python 还扣这个锁的性能吧？大可不必啊
如果直接用 a = b，那你压根拿不到 a 的结果，因为 Python 没有指针，函数里赋值过去就没了。
如果用 nonlocal global 去修复拿结果的问题，那就没办法做到无副作用，而且这只是换了个 name，对象所在的内存还是没有变化。
综上所述，建议直接 threading.Lock，不会有人上了 Python 还扣这个锁的性能吧？大可不必啊
abersheeran 15 小时 31 分钟前
@sujin190 在 CPython 虚拟机里，是按照字节码来逐个执行的。对于一个单进程 CPython 程序来说，字节码层面的原子性就足够了，CPU 级别的才是没有意义。
sujin190 15 小时 22 分钟前 1
@abersheeran #16 但这个实现没啥现实意义啊，CPU 级 CAS 的价值是在多核中，CAS 可以通过占用少量 CPU 时间来换取通过更重度的锁来导致线程休眠切换调度的问题，同时还可以最大限度保护内核缓存失效的问题，毕竟现代 cpu 和缓存速度太快了，但是你在 Python 层面做一个这东西似乎啥都没解决吧，没啥意义确实没啥提供的必要
sujin190 15 小时 19 分钟前
@est #17 最简单一条赋值语句一般有三条 bytecode 组成，单条 bytecode 是线程安全的，多条之间不是，你可以用 dis 显示下编译出的 bytecode 就知道了
sujin190 15 小时 14 分钟前
@abersheeran #19 确实了，Python 上 CAS 确实是为了 CAS 而 CAS 了，毕竟 GIL 限制了，不过如果你搞个扩展释放掉 GIL 的话就可以搞了
2i2Re2PLMaDnghL 8 小时 34 分钟前
@securityCoding 设计模式的影子就不叫设计模式。设计模式的全部想法都是在（拙劣、错误且反思考地）尝试提取习惯性操作并为之取个名字。
你这就好比大多数语言给 a=1 取个名字叫「赋值」，然后说『（ Haskell 的） let a=1 in ... 有赋值的影子』，这说明你被词汇和词义限制住了思想。
你这就好比大多数语言给 a=1 取个名字叫「赋值」，然后说『（ Haskell 的） let a=1 in ... 有赋值的影子』，这说明你被词汇和词义限制住了思想。
Recommend
About Joyk
Aggregate valuable and interesting links.
Joyk means Joy of geeK