0

0

类方法在多线程下被 monkey-patch 的线程安全问题

舞姬之光

舞姬之光

发布时间:2026-01-23 20:45:33

|

555人浏览过

|

来源于php中文网

原创

monkey-patch类方法线程不安全,因其直接替换共享类属性,赋值非原子,多线程并发patch易致状态不一致、AttributeError或调用已回收对象;且补丁后方法若操作共享可变状态而未加锁,仍会引发竞态。

类方法在多线程下被 monkey-patch 的线程安全问题

monkey-patch 类方法时为什么线程不安全

因为 Python 的类属性(包括函数对象)是共享的,monkey_patch 本质是直接替换类上的属性引用,而这个赋值操作本身不是原子的。多个线程同时执行 patch(比如在模块导入或初始化阶段被多次触发),可能让部分线程看到「半新半旧」的函数对象,甚至引发 AttributeError 或调用到已被 gc 的临时对象。

更隐蔽的问题是:patch 后的新方法如果内部使用了共享的可变状态(如缓存字典、计数器),而没加锁,那即使 patch 动作完成,后续调用仍会因竞态失败。

常见触发场景:Django/Flask 初始化 + 多 worker

典型例子是在 Django 的 apps.py 或 Flask 的扩展初始化中对内置类(如 datetime.datetime)或第三方类打补丁,然后启动多进程(gunicorn --workers 4)或线程模式。此时每个 worker 进程会独立 import 模块并执行 patch —— 看似“各干各的”,但若 patch 逻辑里有跨进程共享资源(如 Redis 连接、全局 dict),问题就浮现了。

  • 多个进程同时写同一个 datetime.strftime 属性 → 最后一个 wins,前面的 patch 被覆盖
  • patch 代码里初始化了一个 cache = {},但该 dict 被所有线程共用 → 缺少 threading.Lock 就会丢数据
  • functools.lru_cache 装饰 patch 后的方法 → cache 是函数对象的属性,但不同线程调用的是同一个函数实例,所以 cache 共享,但 lru_cache 本身是线程安全的;真正危险的是你手动实现的缓存逻辑

安全 patch 的三个实操原则

核心思路:避免运行时修改类属性,改用可控封装或实例级介入。

尘月网络企业网站管理系统2010
尘月网络企业网站管理系统2010

本版升级功能:1、增加“系统参数设置”功能,可在线管理编辑全站数据库路径、备份路径,无须到程序代码下更改;2、改进后台管理员权限分配问题,严谨、完善、安全的根限分配细分到每个功能页面的列表查看权限、添加权限、编辑权限、删除权限都可以在线分配,确保系统在多用户管理下,安全稳定运行;3、更新优化数据库操作,在线备份、压缩、恢复数据库,管理登录日志;4、增加&am

下载
  • 优先用「包装器 + 单例注册」代替直接覆写:定义一个 DateTimeHandler 类,把要 patch 的行为封装进去,再通过配置控制全局使用哪个 handler,而不是动 datetime.datetime
  • 如果必须 patch,确保 patch 只执行一次:用 if not hasattr(cls, '_patched_flag'): + setattr(cls, '_patched_flag', True) 做幂等判断(注意:这个判断和设置仍需 threading.Lock 包裹,否则首次竞争仍存在)
  • 避免在 patch 函数体内访问模块级可变状态;如需缓存,用 threading.local() 创建线程局部存储,例如:_local = threading.local(); _local.cache = getattr(_local, 'cache', {})

验证是否真被并发破坏:加日志 + 强制调度

别靠猜。在 patch 代码前后插入带线程 ID 和时间戳的日志:

import threading; print(f"[{threading.get_ident()}] before patch")

再用 time.sleep(0.001) 在关键赋值前插入微小延迟,人为放大竞态窗口。配合 concurrent.futures.ThreadPoolExecutor(max_workers=10) 并发 import 同一模块,观察日志是否出现交叉、重复 patch 或缺失 flag。

真正难调试的是 patch 成功但逻辑出错——比如缓存键生成依赖 time.time(),而多线程下这个值几乎相同,导致缓存误命中。这种得靠单元测试覆盖多线程路径,而不是只测单线程行为。

相关专题

更多
python开发工具
python开发工具

php中文网为大家提供各种python开发工具,好的开发工具,可帮助开发者攻克编程学习中的基础障碍,理解每一行源代码在程序执行时在计算机中的过程。php中文网还为大家带来python相关课程以及相关文章等内容,供大家免费下载使用。

772

2023.06.15

python打包成可执行文件
python打包成可执行文件

本专题为大家带来python打包成可执行文件相关的文章,大家可以免费的下载体验。

662

2023.07.20

python能做什么
python能做什么

python能做的有:可用于开发基于控制台的应用程序、多媒体部分开发、用于开发基于Web的应用程序、使用python处理数据、系统编程等等。本专题为大家提供python相关的各种文章、以及下载和课程。

765

2023.07.25

format在python中的用法
format在python中的用法

Python中的format是一种字符串格式化方法,用于将变量或值插入到字符串中的占位符位置。通过format方法,我们可以动态地构建字符串,使其包含不同值。php中文网给大家带来了相关的教程以及文章,欢迎大家前来阅读学习。

679

2023.07.31

python教程
python教程

Python已成为一门网红语言,即使是在非编程开发者当中,也掀起了一股学习的热潮。本专题为大家带来python教程的相关文章,大家可以免费体验学习。

1385

2023.08.03

python环境变量的配置
python环境变量的配置

Python是一种流行的编程语言,被广泛用于软件开发、数据分析和科学计算等领域。在安装Python之后,我们需要配置环境变量,以便在任何位置都能够访问Python的可执行文件。php中文网给大家带来了相关的教程以及文章,欢迎大家前来学习阅读。

570

2023.08.04

python eval
python eval

eval函数是Python中一个非常强大的函数,它可以将字符串作为Python代码进行执行,实现动态编程的效果。然而,由于其潜在的安全风险和性能问题,需要谨慎使用。php中文网给大家带来了相关的教程以及文章,欢迎大家前来学习阅读。

579

2023.08.04

scratch和python区别
scratch和python区别

scratch和python的区别:1、scratch是一种专为初学者设计的图形化编程语言,python是一种文本编程语言;2、scratch使用的是基于积木的编程语法,python采用更加传统的文本编程语法等等。本专题为大家提供scratch和python相关的文章、下载、课程内容,供大家免费下载体验。

751

2023.08.11

c++空格相关教程合集
c++空格相关教程合集

本专题整合了c++空格相关教程,阅读专题下面的文章了解更多详细内容。

0

2026.01.23

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
最新Python教程 从入门到精通
最新Python教程 从入门到精通

共4课时 | 15.4万人学习

Django 教程
Django 教程

共28课时 | 3.4万人学习

SciPy 教程
SciPy 教程

共10课时 | 1.2万人学习

关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号