Python多线程同步的四种实现方式详解

唐可
唐可
发布时间:2026-10-13 | 2人浏览过
原创

本文详细介绍Python中实现多线程同步的四种核心机制:互斥锁(Lock)、信号量(Semaphore)、条件变量(Condition)以及同步队列(Queue)。通过解析各模块的加锁、计数、等待通知及任务队列原理,结合具体代码示例,帮助开发者理解临界区保护与线程间协作的最佳实践。

临界资源是指那些在任意时刻只能被单一线程访问的资源,典型的例子包括打印机,它一次仅能服务于一个程序的打印请求。由于多个线程无法同时操作此类资源,访问这些资源的代码段被称为临界区。

锁机制

在Python的threading模块中,Lock类用于实现互斥锁。通过调用该类的acquire()方法进行加锁操作,以独占资源;使用release()方法进行解锁,释放资源供其他线程使用。

import threading
import time

class Num:
  def __init__(self):
    self.num = 0
    self.lock = threading.Lock()
  def add(self):
    self.lock.acquire()#加锁,锁住相应的资源
    self.num += 1
    num = self.num
    self.lock.release()#解锁,离开该资源
    return num

n = Num()
class jdThread(threading.Thread):
  def __init__(self,item):
    threading.Thread.__init__(self)
    self.item = item
  def run(self):
    time.sleep(2)
    value = n.add()#将num加1,并输出原来的数据和+1之后的数据
    print(self.item,value)

for item in range(5):
  t = jdThread(item)
  t.start()
  t.join()#使线程一个一个执行

当线程调用锁的acquire()方法并成功获取锁时,该锁进入“locked”状态。此时,系统中仅有一个线程持有该锁。若其他线程试图获取此锁,它们将进入“blocked”状态,即处于同步阻塞状态(参考多线程基本概念章节)。

只有当持有锁的线程调用release()方法释放锁后,锁才会转变为“unlocked”状态。随后,线程调度程序会从处于同步阻塞状态的线程队列中选择一个线程,赋予其锁并使其进入运行(running)状态。

信号量

信号量同样提供acquire和release方法。当调用acquire时,若内部计数器大于0,则将其减1;若内部计数器等于0,当前线程将被阻塞。只有当其他线程调用release方法将内部计数器更新为大于0的值时,阻塞的线程才会被唤醒并继续执行。

import threading
import time
class Num:
  def __init__(self):
    self.num = 0
    self.sem = threading.Semaphore(value = 3)
    #允许最多三个线程同时访问资源

  def add(self):
    self.sem.acquire()#内部计数器减1
    self.num += 1
    num = self.num
    self.sem.release()#内部计数器加1
    return num

n = Num()
class jdThread(threading.Thread):
  def __init__(self,item):
    threading.Thread.__init__(self)
    self.item = item
  def run(self):
    time.sleep(2)
    value = n.add()
    print(self.item,value)

for item in range(100):
  t = jdThread(item)
  t.start()
  t.join()

条件判断

条件变量机制允许线程在满足特定条件后才访问相关数据。这种机制确保了线程间的协调,避免在条件未满足时进行无效操作。

Python使用Condition类来实现条件变量。与锁机制类似,Condition也具备acquire和release方法用于资源控制,此外还提供了wait、notify和notifyAll方法,用于线程间的等待与通知交互。

"""
一个简单的生产消费者模型,通过条件变量的控制产品数量的增减,调用一次生产者产品就是+1,调用一次消费者产品就会-1.
"""

"""
使用 Condition 类来完成,由于它也可以像锁机制那样用,所以它也有 acquire 方法和 release 方法,而且它还有
wait, notify, notifyAll 方法。
"""

import threading
import queue,time,random

class Goods:#产品类
  def __init__(self):
    self.count = 0
  def add(self,num = 1):
    self.count += num
  def sub(self):
    if self.count>=0:
      self.count -= 1
  def empty(self):
    return self.count <= 0

class Producer(threading.Thread):#生产者类
  def __init__(self,condition,goods,sleeptime = 1):#sleeptime=1
    threading.Thread.__init__(self)
    self.cond = condition
    self.goods = goods
    self.sleeptime = sleeptime
  def run(self):
    cond = self.cond
    goods = self.goods
    while True:
      cond.acquire()#锁住资源
      goods.add()
      print("产品数量:",goods.count,"生产者线程")
      cond.notifyAll()#唤醒所有等待的线程--》其实就是唤醒消费者进程
      cond.release()#解锁资源
      time.sleep(self.sleeptime)

class Consumer(threading.Thread):#消费者类
  def __init__(self,condition,goods,sleeptime = 2):#sleeptime=2
    threading.Thread.__init__(self)
    self.cond = condition
    self.goods = goods
    self.sleeptime = sleeptime
  def run(self):
    cond = self.cond
    goods = self.goods
    while True:
      time.sleep(self.sleeptime)
      cond.acquire()#锁住资源
      while goods.empty():#如无产品则让线程等待
        cond.wait()
      goods.sub()
      print("产品数量:",goods.count,"消费者线程")
      cond.release()#解锁资源

g = Goods()
c = threading.Condition()

pro = Producer(c,g)
pro.start()

con = Consumer(c,g)
con.start()

同步队列

通过put和task_done方法,Queue类管理未完成任务的数量num。每次调用put方法,num值加1;每次调用task_done方法,num值减1。当所有任务完成(即num归零)时,任务处理结束。

import threading
import queue
import time
import random

'''
1.创建一个 Queue.Queue() 的实例,然后使用数据对它进行填充。
2.将经过填充数据的实例传递给线程类,后者是通过继承 threading.Thread 的方式创建的。
3.每次从队列中取出一个项目,并使用该线程中的数据和 run 方法以执行相应的工作。
4.在完成这项工作之后,使用 queue.task_done() 函数向任务已经完成的队列发送一个信号。
5.对队列执行 join 操作,实际上意味着等到队列为空,再退出主程序。
'''

class jdThread(threading.Thread):
  def __init__(self,index,queue):
    threading.Thread.__init__(self)
    self.index = index
    self.queue = queue

  def run(self):
    while True:
      time.sleep(1)
      item = self.queue.get()
      if item is None:
        break
      print("序号:",self.index,"任务",item,"完成")
      self.queue.task_done()#task_done方法使得未完成的任务数量-1

q = queue.Queue(0)
'''
初始化函数接受一个数字来作为该队列的容量,如果传递的是
一个小于等于0的数,那么默认会认为该队列的容量是无限的.
'''
for i in range(2):
  jdThread(i,q).start()#两个线程同时完成任务

for i in range(10):
  q.put(i)#put方法使得未完成的任务数量+1

以上内容涵盖了Python多线程同步的主要实现方式,希望能为读者的学习提供有益参考,也欢迎大家继续支持本站获取更多技术资讯。

相关标签:

本站声明

本文内容仅供参考,不代表本站观点。转载或引用请注明出处。如发现内容问题,请通过联系我们页面反馈。

Python 相关产品和应用

全部下载

专题列表