Python菜鸟学习手册15----多线程

线程与进程

程序相当于工厂，进程相当于车间，线程相当于工人。在一个工厂中往往有多个车间，在一个车间上有多个工人并行工作。
同车间上的工人共享房间，但是有些房间一次只能容纳一个人，比如厕所。在厕所里有人的时候，其他人不能进入。一个防止他人进入的简单方法，就是门口加一把锁。先到的人锁上门，后到的人看到上锁，就在门口排队，等锁打开再进去。这就叫”互斥锁”（Mutual exclusion，缩写 Mutex）。
还有些房间，可以同时容纳n个人，如果人数大于n，多出来的人只能在外面等着。这时的解决方法，就是在门口挂n把钥匙。进去的人就取一把钥匙，出来时再把钥匙挂回原处。后到的人发现钥匙架空了，就知道必须在门口排队等着了。这种做法叫做”信号量”（Semaphore）。
不难看出，mutex是semaphore的一种特殊情况（n=1时）。也就是说，完全可以用后者替代前者。但是，因为mutex较为简单，且效率高，所以在必须保证资源独占的情况下，还是采用这种设计。

线程基础

线程状态

线程有5种状态，状态转换的过程如下图所示：

线程同步（锁）

多线程的优势在于可以同时运行多个任务（至少感觉起来是这样）。但是当线程需要共享数据时，可能存在数据不同步的问题。考虑这样一种情况：一个列表里所有元素都是0，线程”set”从后向前把所有元素改成1，而线程”print”负责从前往后读取列表并打印。那么，可能线程”set”开始改的时候，线程”print”便来打印列表了，输出就成了一半0一半1，这就是数据的不同步。为了避免这种情况，引入了锁的概念。

锁有两种状态——锁定和未锁定。每当一个线程比如”set”要访问共享数据时，必须先获得锁定；如果已经有别的线程比如”print”获得锁定了，那么就让线程”set”暂停，也就是同步阻塞；等到线程”print”访问完毕，释放锁以后，再让线程”set”继续。经过这样的处理，打印列表时要么全部输出0，要么全部输出1，不会再出现一半0一半1的尴尬场面。

线程与锁的交互如下图所示：

线程通信（条件变量）

然而还有另外一种尴尬的情况：列表并不是一开始就有的；而是通过线程”create”创建的。如果”set”或者”print” 在”create”还没有运行的时候就访问列表，将会出现一个异常。使用锁可以解决这个问题，但是”set”和”print”将需要一个无限循环——他们不知道”create”什么时候会运行，让”create”在运行后通知”set”和”print”显然是一个更好的解决方案。于是，引入了条件变量。

条件变量允许线程比如”set”和”print”在条件不满足的时候（列表为None时）等待，等到条件满足的时候（列表已经创建）发出一个通知，告诉”set” 和”print”条件已经有了，你们该起床干活了；然后”set”和”print”才继续运行。

线程与条件变量的交互如下图所示：

线程运行和阻塞的状态转换

最后看看线程运行和阻塞状态的转换。

阻塞有三种情况：
同步阻塞是指处于竞争锁定的状态，线程请求锁定时将进入这个状态，一旦成功获得锁定又恢复到运行状态；

等待阻塞是指等待其他线程通知的状态，线程获得条件锁定后，调用“等待”将进入这个状态，一旦其他线程发出通知，线程将进入同步阻塞状态，再次竞争条件锁定；
而其他阻塞是指调用time.sleep()、anotherthread.join()或等待IO时的阻塞，这个状态下线程不会释放已获得的锁定。

python的多线程

_thread

Python通过两个标准库_thread(python2是thread)和threading提供对线程的支持。_thread提供了低级别的、原始的线程以及一个简单的锁。

import _thread
import time

# 一个用于在线程中执行的函数
def foo(arg):
    for i in range(100):
        print(arg,i)
        time.sleep(1)
    print(arg)

    # 结束当前线程
    # 这个方法与_thread.exit_thread()等价
    _thread.exit() # 当func返回时，线程同样会结束

# 启动一个线程，线程立即开始运行
# 这个方法与_thread.start_new_thread()等价
# 第一个参数是方法，第二个参数是方法的参数
_thread.start_new(foo,("线程1",)) # 方法没有参数时需要传入空tuple

# 创建一个锁（LockType，不能直接实例化）
# 这个方法与_thread.allocate_lock()等价
lock = _thread.allocate()

# 判断锁是锁定状态还是释放状态
print (lock.locked())              #输出为False

# 锁通常用于控制对共享资源的访问
count = 0

# 获得锁，成功获得锁定后返回True
# 可选的timeout参数不填时将一直阻塞直到获得锁定
# 否则超时后将返回False
if lock.acquire():
    print (lock.locked())         #输出为True

    # 释放锁
    lock.release()
# _thread模块提供的线程都将在主线程结束后同时结束,
time.sleep(4)

threading

threading基于Java的线程模型设计。锁（Lock）和条件变量（Condition）在Java中是对象的基本行为（每一个对象都自带了锁和条件变量），而在Python中则是