[python]线程同步问题Lock和Rlock

#gil global interpreter lock （cpython）
#python中一个线程对应于c语言中的一个线程
#gil使得同一个时刻只有一个线程在一个cpu上执行字节码, 无法将多个线程映射到多个cpu上执行

#gil会根据执行的字节码行数以及时间片释放gil，gil在遇到io的操作时候主动释放
# import dis
# def add(a):
#     a = a+1
#     return a
#
# print(dis.dis(add))

total = 0

def add():
    #1. dosomething1
    #2. io操作
    # 1. dosomething3
    global total
    for i in range(1000000):
        total += 1
def desc():
    global total
    for i in range(1000000):
        total -= 1

import threading
thread1 = threading.Thread(target=add)
thread2 = threading.Thread(target=desc)
thread1.start()
thread2.start()

thread1.join()
thread2.join()
print(total)   #可以看到这个例子，每次结果都是不一样的，而我们的预期结果是要 total为0

a = 0
def add(a):
    a+=1

def desc(a):
    a-=1

import dis
print(dis.dis(add))
print(dis.dis(desc))
----------------------
  3           0 LOAD_FAST                0 (a)
              2 LOAD_CONST               1 (1)
              4 INPLACE_ADD
              6 STORE_FAST               0 (a)
              8 LOAD_CONST               0 (None)
             10 RETURN_VALUE
None
  6           0 LOAD_FAST                0 (a)
              2 LOAD_CONST               1 (1)
              4 INPLACE_SUBTRACT
              6 STORE_FAST               0 (a)
              8 LOAD_CONST               0 (None)
             10 RETURN_VALUE
None


#可以看到函数的字节码的顺序，从第一个代码，我们知道线程会执行字节码一步步执行

1、load a		1
2、load 1		3
3、 +				5
4、 1赋值a		7

1、load a		2
2、load 1		4
3、 -				6
4、 -1赋值a		8

假设这个线程的执行顺序是 1 2 3 4 5 6 7 8
a 最终的值会是 -1 或者1，而我?预期的值是0

为了解决这个问题我门需要加 Lock去解决这个问题

from threading import Lock


total = 0
lock = Lock()

def add():
    global lock
    global total
    for i in range(1000000):
        lock.acquire()  #在使用变量时，锁住，不让线程切到其他地方去
        total += 1
        lock.release()  #执行完之后就释放掉，

def desc():
    global total
    global lock
    for i in range(1000000):
        lock.acquire()
        total -= 1
        lock.release()

import threading
thread1 = threading.Thread(target=add)
thread2 = threading.Thread(target=desc)
thread1.start()
thread2.start()

thread1.join()
thread2.join()
print(total)    #加了锁之后，就是0了，这个时候就符合我们的预期了

#锁的一些其他问题
#1 锁会影响性能
#2 锁会引起死锁
		第一种：连续两次acquire ，第二个acquire会一直等待着第一个acquire释放，所以会一直阻塞着
	    lock.acquire()
        lock.acquire()
        total += 1
        lock.release()

		第二种：  资源竞争
		A（a，b）
		acquire(a)
		acquire(b)
		B（a，b）
		acquire(b)
		acquire(a)
		
		假设，线程A拿到了a资源，线程B拿到了b资源。
		这个时候，线程A要一直等b资源。但线程B拿了b资源，它没有拿到a，就不能释放b
		所以这个时候，会造成死锁一直堵塞

		解决这个问题就是，拿资源的顺序要一致
		A（a，b）
		acquire(a)
		acquire(b)
		B（a，b）
		acquire(a)
		acquire(b)

#有时，需要两次acquire()，比方说你调了其他线程的函数，里面也包含了acquire()，就会引起死锁
# 解决第一种死锁，连续acquire两次的问题，需要用到 Rlock  可重入的锁
#在同一个线程里面，可以连续调用多次acquire， 一定要注意acquire的次数要和release的次数相等

from threading import RLock
lock = RLock()
def add():
    global lock
    global total
    for i in range(1000000):
        lock.acquire()
        lock.acquire()
        total += 1
        lock.release()
        lock.release()