为什么会有协程安全问题?

2024-08-28 18:04
文章标签 问题 安全 协程 会有

本文主要是介绍为什么会有协程安全问题?,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

协程安全

更多:并发异步编程之争:协程(asyncio)到底需不需要加锁?

1、案例

因为所有的协程都是在同一个线程里,所以即使最开始在await前拿到的counter=0,但只要同一线程里counter发生了变化,切换到新协程时,它拿的就是counter的最新值。

import asyncio
import time# 一个简单的协程,模拟对共享数据的修改
async def increment(shared_data):task = asyncio.current_task()  # 获取当前正在执行的 Task 对象print(f"当前运行的Task name: {task.get_name()}")print(f"传来的shared_data={shared_data}")for _ in range(100):await asyncio.sleep(2)  # time.sleep(2)  task1 = asyncio.current_task()  # 获取当前正在执行的 Task 对象print(f"等待结束,Task name: {task1.get_name()}")shared_data['counter'] += 1print(f"累加后shared_data={shared_data}")async def main():# 创建一个字典来存储共享数据shared_data = {'counter': 0}# 创建多个任务来修改共享数据tasks = [asyncio.create_task(increment(shared_data)) for _ in range(5)]# 等待所有任务完成await asyncio.gather(*tasks)# 打印最终的计数结果print(f"Expected counter value: 500")print(f"Actual counter value: {shared_data['counter']}")# 运行事件循环
asyncio.run(main())

模拟同步操作:time.sleep(2)

同步阻塞,不会出现协程的让权了,但同一时刻仍然只有一个协程在执行,发现下一个协程必须等上一次协程全部跑完,所以输出是:
task1:counter从0递增到100
task2:counter从100递增到200
task3:counter从200递增到300

最终结果是500。

模拟异步操作: await asyncio.sleep(2)

发现最终的结果是500,但是中间状态下,每个task真正执行“shared_data[‘counter’] += 1”这行代码时的counter值并不都是从0开始!!!

输出结果举例:
task1 抢到执行权,counter = 0+1=1
task3 抢到执行权,counter = 1+1=2
task2 抢到执行权,counter = 2+1=3
task4 抢到执行权,counter = 3+1=4
task5 抢到执行权,counter = 4+1=5
task3 抢到执行权,counter = 5+1=6

模拟异步下加锁

发现异步加锁后,和同步阻塞的效果是一样的…

import asyncio
import time# 一个简单的协程,模拟对共享数据的修改
async def increment(shared_data):task = asyncio.current_task()  # 获取当前正在执行的 Task 对象print(f"当前运行的Task name: {task.get_name()}")print(f"传来的shared_data={shared_data}")async with lock:for _ in range(100):await asyncio.sleep(2)  task1 = asyncio.current_task()  # 获取当前正在执行的 Task 对象print(f"等待结束,Task name: {task1.get_name()}")shared_data['counter'] += 1print(f"累加后shared_data={shared_data}")async def main():# 创建一个字典来存储共享数据shared_data = {'counter': 0}# 创建多个任务来修改共享数据tasks = [asyncio.create_task(increment(shared_data)) for _ in range(5)]# 等待所有任务完成await asyncio.gather(*tasks)# 打印最终的计数结果print(f"Expected counter value: 500")print(f"Actual counter value: {shared_data['counter']}")lock = asyncio.Lock()
# 运行事件循环
asyncio.run(main())

结论

  • 如果只关注最终的“500”是否正确,那协程在异步阻塞下是安全的;
  • 如果关注不管启动服务多少次,taski执行第j次时拿到的counter值,并根据这个中间状态做其他判断,那就是不安全的!!!
    比如,本例中,在模拟异步操作时,task3第一次抢到执行权得到counter=2,等到第二次抢到执行权得到counter=6。
    如果重新运行当前xx.py文件,那task3每次抢到执行权时的counter值都可能是不一样的!

这篇关于为什么会有协程安全问题?的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1115486

相关文章

怎样通过分析GC日志来定位Java进程的内存问题

《怎样通过分析GC日志来定位Java进程的内存问题》:本文主要介绍怎样通过分析GC日志来定位Java进程的内存问题,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录一、GC 日志基础配置1. 启用详细 GC 日志2. 不同收集器的日志格式二、关键指标与分析维度1.

Java 线程安全与 volatile与单例模式问题及解决方案

《Java线程安全与volatile与单例模式问题及解决方案》文章主要讲解线程安全问题的五个成因(调度随机、变量修改、非原子操作、内存可见性、指令重排序)及解决方案,强调使用volatile关键字... 目录什么是线程安全线程安全问题的产生与解决方案线程的调度是随机的多个线程对同一个变量进行修改线程的修改操

Redis出现中文乱码的问题及解决

《Redis出现中文乱码的问题及解决》:本文主要介绍Redis出现中文乱码的问题及解决,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录1. 问题的产生2China编程. 问题的解决redihttp://www.chinasem.cns数据进制问题的解决中文乱码问题解决总结

全面解析MySQL索引长度限制问题与解决方案

《全面解析MySQL索引长度限制问题与解决方案》MySQL对索引长度设限是为了保持高效的数据检索性能,这个限制不是MySQL的缺陷,而是数据库设计中的权衡结果,下面我们就来看看如何解决这一问题吧... 目录引言:为什么会有索引键长度问题?一、问题根源深度解析mysql索引长度限制原理实际场景示例二、五大解决

Springboot如何正确使用AOP问题

《Springboot如何正确使用AOP问题》:本文主要介绍Springboot如何正确使用AOP问题,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录​一、AOP概念二、切点表达式​execution表达式案例三、AOP通知四、springboot中使用AOP导出

Python中Tensorflow无法调用GPU问题的解决方法

《Python中Tensorflow无法调用GPU问题的解决方法》文章详解如何解决TensorFlow在Windows无法识别GPU的问题,需降级至2.10版本,安装匹配CUDA11.2和cuDNN... 当用以下代码查看GPU数量时,gpuspython返回的是一个空列表,说明tensorflow没有找到

解决未解析的依赖项:‘net.sf.json-lib:json-lib:jar:2.4‘问题

《解决未解析的依赖项:‘net.sf.json-lib:json-lib:jar:2.4‘问题》:本文主要介绍解决未解析的依赖项:‘net.sf.json-lib:json-lib:jar:2.4... 目录未解析的依赖项:‘net.sf.json-lib:json-lib:jar:2.4‘打开pom.XM

IDEA Maven提示:未解析的依赖项的问题及解决

《IDEAMaven提示:未解析的依赖项的问题及解决》:本文主要介绍IDEAMaven提示:未解析的依赖项的问题及解决,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝... 目录IDEA Maven提示:未解析的依编程赖项例如总结IDEA Maven提示:未解析的依赖项例如

Redis分片集群、数据读写规则问题小结

《Redis分片集群、数据读写规则问题小结》本文介绍了Redis分片集群的原理,通过数据分片和哈希槽机制解决单机内存限制与写瓶颈问题,实现分布式存储和高并发处理,但存在通信开销大、维护复杂及对事务支持... 目录一、分片集群解android决的问题二、分片集群图解 分片集群特征如何解决的上述问题?(与哨兵模

SpringBoot+Redis防止接口重复提交问题

《SpringBoot+Redis防止接口重复提交问题》:本文主要介绍SpringBoot+Redis防止接口重复提交问题,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不... 目录前言实现思路代码示例测试总结前言在项目的使用使用过程中,经常会出现某些操作在短时间内频繁提交。例