0x01:同步

当多个线程几乎同时修改某一个共享数据的时候,需要进行同步控制。同步就是协同步调,按预定的先后次序进行运行。线程同步能够保证多个线程安全访问竞争资源,最简单的同步机制是引入互斥锁。

0x02:互斥锁

互斥锁为资源引入一个状态:锁定/非锁定

某个线程要更改共享数据时,先将其锁定,此时资源的状态为“锁定”,其他线程不能更改;直到该线程释放资源,将资源的状态变成“非锁定”,其他的线程才能再次锁定该资源。互斥锁保证了每次只有一个线程进行写入操作,从而保证了多线程情况下数据的正确性。

threading模块中定义了Lock类,可以方便的处理锁定:

  1. # 创建锁
  2. mutex = threading.Lock()
  3. # 锁定
  4. mutex.acquire()
  5. # 释放
  6. mutex.release()

注意:

  • 如果这个锁之前是没有上锁的,那么acquire不会堵塞
  • 如果在调用acquire对这个锁上锁之前 它已经被 其他线程上了锁,那么此时acquire会堵塞,直到这个锁被解锁为止。
  • 和文件操作一样,Lock也可以使用with语句快速的实现打开和关闭操作。

0x03:使用互斥锁解决卖票问题

  1. import threading
  2. import time
  3. ticket = 20
  4. lock = threading.Lock()
  5. def sell_ticket():
  6. global ticket
  7. while True:
  8. lock.acquire()
  9. if ticket > 0:
  10. time.sleep(0.5)
  11. ticket -= 1
  12. lock.release()
  13. print('{}卖了一张票,还剩{}'.format(threading.current_thread().name, ticket))
  14. else:
  15. print('{}票卖完了'.format(threading.current_thread().name))
  16. lock.release()
  17. break
  18. for i in range(5):
  19. t = threading.Thread(target=sell_ticket, name='thread-{}'.format(i + 1))
  20. t.start()

上锁过程:

当一个线程调用锁的acquire()方法获得锁时,锁就进入“locked”状态。
每次只有一个线程可以获得锁。如果此时另一个线程试图获得这个锁,该线程就会变为“blocked”状态,称为“阻塞”,直到拥有锁的线程调用锁的release()方法释放锁之后,锁进入“unlocked”状态。
线程调度程序从处于同步阻塞状态的线程中选择一个来获得锁,并使得该线程进入运行(running)状态。

总结

锁的好处:

  • 确保了某段关键代码只能由一个线程从头到尾完整地执行

锁的坏处:

  • 阻止了多线程并发执行,包含锁的某段代码实际上只能以单线程模式执行,效率就大大地下降了。
  • 由于可以存在多个锁,不同的线程持有不同的锁,并试图获取对方持有的锁时,可能会造成死锁。