同步原语是并发编程中的基础机制，用于协调多个线程的执行，确保共享资源的有序访问和数据一致性。它们允许线程在特定条件下等待或通知其他线程，从而避免竞态条件和死锁。Python的`threading`模块提供了多种同步原语，如可重入锁（RLock）、普通锁、信号量和事件等，是构建健壮多线程应用的关键。
什么是同步原语？
在多线程或并发编程的上下文中，同步原语（Synchronization Primitive）指的是一种基本且底层的机制，用于协调不同线程的执行顺序，确保它们对共享资源（如内存区域、文件、硬件设备等）的访问是安全且可预测的。简而言之，它允许一个或多个线程在其他线程达到某个执行点之前进行等待。
“原语”（Primitive）一词强调其基础性，意味着更复杂的并发控制机制可以基于这些基本原语构建。“同步”（Synchronization）则指代了协调线程执行，使其按预期顺序或条件进行。
为什么需要同步原语？
在没有同步机制的情况下，多个线程同时访问和修改共享数据可能导致竞态条件（Race Condition），即程序的最终结果取决于线程执行的非确定性时序。这通常会导致数据损坏、不一致或程序崩溃。同步原语正是为了解决这些问题而生，它们通过强制对共享资源的独占访问或协调线程间的通信来保证数据完整性和程序正确性。
立即学习“Python免费学习笔记（深入）”；
Python中的主要同步原语及其应用
Python的threading模块提供了一系列同步原语，用于管理线程间的交互。
1. 锁（Lock / Mutex）
锁是最常见的同步原语之一，用于实现互斥（Mutual Exclusion）。当一个线程获取了锁，其他试图获取同一把锁的线程将被阻塞，直到持有锁的线程释放它。
threading.Lock (普通锁/二值信号量)这是一种简单的互斥锁，只能被获取一次。如果一个线程已经持有Lock，它不能再次获取这把锁，否则会陷入死锁（等待自己释放锁）。
threading.RLock (可重入锁)可重入锁（Reentrant Lock）是Lock的一种特殊形式，它允许同一个线程多次获取同一把锁而不会发生死锁。RLock内部维护了一个“拥有线程”的概念和一个“递归级别”计数器。当线程第一次获取锁时，它成为锁的拥有者，递归级别设为1。之后，同一个线程再次获取这把锁时，递归级别会递增，而不会阻塞。只有当递归级别降到零时（即所有获取操作都被相应的释放操作抵消），锁才真正被释放，其他等待的线程才能获取它。
RLock在需要嵌套调用，并且这些嵌套调用可能需要获取同一把锁的场景中非常有用，例如在一个函数内部调用了另一个也需要获取相同锁的函数。
RLock 示例：
闪念贝壳
闪念贝壳是一款AI 驱动的智能语音笔记，随时随地用语音记录你的每一个想法。
53 查看详情 
import threadingimport time# 创建一个可重入锁r_lock = threading.RLock()def outer_function(): print(f"线程 {threading.current_thread().name}: 尝试获取外部锁...") with r_lock: # 第一次获取锁 print(f"线程 {threading.current_thread().name}: 已获取外部锁，递归级别: {r_lock._recursion_count}") time.sleep(0.1) # 模拟一些工作 inner_function() print(f"线程 {threading.current_thread().name}: 已释放外部锁。")def inner_function(): print(f"线程 {threading.current_thread().name}: 尝试获取内部锁...") with r_lock: # 同一个线程再次获取锁，不会阻塞 print(f"线程 {threading.current_thread().name}: 已获取内部锁，递归级别: {r_lock._recursion_count}") time.sleep(0.1) # 模拟更多工作 print(f"线程 {threading.current_thread().name}: 已释放内部锁。")# 创建并启动线程thread1 = threading.Thread(target=outer_function, name="Thread-A")thread2 = threading.Thread(target=outer_function, name="Thread-B")thread1.start()thread2.start()thread1.join()thread2.join()print("所有线程完成。")
注意： _recursion_count 是RLock的内部属性，通常不建议直接访问。这里仅用于演示RLock的递归级别变化。
2. 信号量（Semaphore）
信号量是一种更通用的同步原语，它维护一个内部计数器。线程可以获取（acquire）信号量，如果计数器大于零，则递减计数器并继续执行；如果计数器为零，则线程阻塞。线程可以释放（release）信号量，递增计数器。信号量可以用来限制同时访问某个资源的线程数量。
threading.Semaphore(value)value参数指定了信号量的初始值，即允许同时访问资源的线程最大数量。
3. 事件（Event）
事件是一种简单的线程通信机制。一个线程可以设置（set）一个事件，使其处于“已设置”状态；其他线程可以等待（wait）这个事件，直到它被设置。
threading.EventEvent对象有一个内部标志，初始为False。set()方法将标志设为True，clear()方法将其设为False。wait()方法会阻塞直到标志为True。
4. 条件变量（Condition）
条件变量是更高级的同步原语，它允许线程在满足特定条件时进行等待或被唤醒。它通常与锁一起使用，以保护共享数据并在数据状态发生变化时通知其他线程。
threading.Condition(lock=None)Condition对象需要一个锁（默认为threading.Lock）。线程在等待条件时会释放锁，并在被唤醒时重新获取锁。wait()方法会阻塞线程，直到notify()或notify_all()被调用。
避免死锁的注意事项
使用锁等同步原语时，最大的挑战之一是避免死锁（Deadlock）。当两个或多个线程互相等待对方释放资源时，就会发生死锁，导致所有相关线程都无法继续执行。
常见的死锁场景：线程A持有资源X，并尝试获取资源Y。线程B持有资源Y，并尝试获取资源X。
避免死锁的策略：
统一锁的获取顺序： 确保所有线程在需要获取多个锁时，总是以相同的顺序获取这些锁。避免持有锁时长时间阻塞： 尽量缩短持有锁的时间，减少其他线程等待的机会。使用超时机制： 在获取锁时设置超时，如果无法在指定时间内获取锁，则放弃并处理错误。使用更高级的抽象： 考虑使用队列（如queue.Queue）或单线程“服务器”模式来处理共享资源。在这种模式下，只有一个线程负责访问共享资源，其他线程通过向这个“服务器”线程发送请求来间接访问资源，从而避免了互斥锁的需求。这种模式通常依赖于进程间通信（IPC）原语，如消息队列。
总结
同步原语是构建健壮、高效并发应用程序的基石。理解并正确使用Python threading模块提供的各种同步原语（如RLock、Lock、Semaphore、Event和Condition）对于管理线程间的共享资源访问至关重要。同时，务必注意死锁等并发编程中的常见陷阱，并采取相应的策略来避免它们，以确保程序的稳定性和正确性。
以上就是理解Python多线程同步原语：概念、RLock与并发控制的详细内容，更多请关注创想鸟其它相关文章！
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。
如发现本站有涉嫌抄袭侵权/违法违规的内容， 请发送邮件至 chuangxiangniao@163.com 举报，一经查实，本站将立刻删除。
发布者：程序猿，转转请注明出处：https://www.chuangxiangniao.com/p/576760.html
微信扫一扫 
支付宝扫一扫 
