Python中如何解决异步信号量导致的死锁_优化acquire与release的配对逻辑

千辰吖_5761

千辰吖_5761

2026-05-21

859人浏览

原创

asyncio.semaphore.acquire() 卡住主因是任务取消后未释放许可,因取消不触发自动回滚;必须用 async with 确保 release 执行,裸调 acquire/release 易致死锁。

python中如何解决异步信号量导致的死锁_优化acquire与release的配对逻辑

asyncio.Semaphore.acquire() 为什么会在 await 后卡住不返回

当 acquire() 调用后一直挂起,不是因为信号量没释放,而是调用者在未拿到锁时就被取消(比如任务被 asyncio.cancel()),而该取消未触发对应 release() —— 这会导致后续所有 acquire() 等待一个永远不会归还的许可。根本原因:异步信号量本身不自动回滚,acquire() 是协程,取消它不会反向调用 release()。

常见错误场景:

  • 在 try/except CancelledError 中只做清理但忘了 release()
  • 用 async with semaphore: 但中间抛出未被捕获的异常,导致 __aexit__ 无法执行
  • 多个 acquire() 嵌套但只配对一次 release()

必须用 async with 而不是裸调 acquire/release

async with semaphore: 是唯一能保证 release() 执行的惯用写法,它的 __aexit__ 在任何退出路径(正常、异常、取消)下都会被调用。裸调 acquire() + release() 几乎必然出问题,尤其在有超时或取消逻辑时。

正确写法示例:

async def worker(sem: asyncio.Semaphore):
    async with sem:  # ✅ 自动 acquire + 保证 release
        await do_something()

错误写法示例:

async def worker_bad(sem: asyncio.Semaphore):
    await sem.acquire()  # ❌ 可能 acquire 成功但后续崩溃/取消,release 永远不执行
    try:
        await do_something()
    finally:
        sem.release()  # ⚠️ 如果 acquire 抛出 CancelledError,这里根本进不来

需要手动 acquire 时,必须用 try/except CancelledError 包裹整个 acquire 块

某些场景确实不能用 async with(比如要控制超时、重试或分阶段获取),此时必须把 await semaphore.acquire() 和后续逻辑包在一个 try/except 中,并显式处理 asyncio.CancelledError。

python 查询技能
python 查询技能

查询客流数据,输出JSON格式,可直接导入Bitable等可视化工具

下载

关键点:

  • CancelledError 可能在 await acquire() 期间抛出,也可能在 await acquire() 返回后、业务逻辑执行中抛出
  • 只有在 acquire() 成功返回后才应调用 release();如果 acquire() 本身被取消,不能调用 release()
  • 推荐使用 asyncio.current_task().cancelled() 辅助判断当前是否已被取消

简明安全模板:

got = False
try:
    await semaphore.acquire()
    got = True
    await do_work()
finally:
    if got:
        semaphore.release()

semaphore._value 不是调试依据,别靠它判断死锁

semaphore._value 是内部属性,可能因等待队列、取消状态等出现负值(如 -1 表示有一个协程在等待但尚未分配许可),不能用来判断“还有几个许可可用”或“是否死锁”。死锁真正线索在任务状态:asyncio.all_tasks() 中长期处于 pending 且 stack 显示卡在 await semaphore.acquire() 的任务。

排查建议:

  • 用 asyncio.wait(tasks, timeout=1) 快速识别挂起任务
  • 打印任务 task.get_coro().__name__ 和 task._coro.cr_frame.f_lineno 定位卡点
  • 避免在 acquire() 前加日志——它可能永远不执行;改用 asyncio.create_task(..., name="worker-1") 配合 task.get_name() 追踪

真正的死锁往往不在信号量本身,而在业务逻辑里循环依赖了多个 async with 或跨协程误用了同一个 semaphore 实例。共享信号量前先确认作用域和生命周期是否匹配。

Python免费学习笔记(深入):立即使用
在学习笔记中,你将探索 Python 的核心概念和高级技巧!

相关专题

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

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

2023.07.20

1711

4

python能做什么
python能做什么

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

2023.07.25

4304

7

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

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

2023.07.31

1689

3

python教程
python教程

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

2023.08.03

25137

23

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

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

2023.08.04

3067

5

python eval
python eval

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

2023.08.04

3087

5

scratch和python区别
scratch和python区别

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

2023.08.11

1163

5

python合并两个列表
python合并两个列表

Python是一种强大的编程语言,具有许多方便的功能和工具。在Python中,有多种方法可以合并两个列表。php中文网给大家带来了相关的教程以及文章,欢迎大家前来学习阅读。

2023.08.10

596

4

python是前端还是后端
python是前端还是后端

Python属于前端也属于后端,其灵活性和丰富的生态系统使得开发人员能够在不同的领域中灵活运用。本专题为大家提供python相关的文章、下载、课程内容,供大家免费下载体验。

2023.08.11

2403

5

热门下载

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

精品课程

更多
相关推荐
/
热门推荐
/
最新课程