线程数据安全两实例讨论

你的名字 2023-08-17 16:02 100阅读 0赞

例1：读程序，请确认执行到最后number的长度是否一定为1

import time
    import threading
    loop = int(1E7)
    def _a(loop:int = 1):
        global numbers
        for _ in range(loop):
            numbers.append(0)
    def _p(loop:int = 1):
        global number
        for _ in range(loop):
            while not numbers:
                time.sleep(1E-8)
            numbers.pop()
    numbers = [0]
    ta1 = threading.Thread(target=_a,args=(loop,))
    ta2 = threading.Thread(target=_a,args=(loop,))
    ts1 = threading.Thread(target=_s,args=(loop,))
    ts2 = threading.Thread(target=_s,args=(loop,))
    ta1.start()
    ta2.start()
    ts1.start()
    ts2.start()
    ta1.join()
    ta2.join()
    ts1.join()
    ts2.join()

答：number的长度不一定为1。虽然append和pop是数据安全的，但while是数据不安全的，有可能出现执行ts1的while判断后、赋值前GIL切换至ts2的情况，如果该判断结果刚好为1，ts2执行完毕后number长度变为0，倘若之后GIL再切回ts1，将导致pop一个空列表而报错。

例2：读程序，请确认执行到最后number的长度是否一定为1

import time
    import threading
    loop = int(1E7)
    def _a(loop:int = 1):
        global numbers
        for _ in range(loop):
            numbers.append(0)
    def _p(loop:int = 1):
        global number
        for _ in range(loop):
            while not numbers:
                time.sleep(1E-8)
            numbers.pop()
    numbers = [0]
    ta = threading.Thread(target=_a,args=(loop,))
    ts = threading.Thread(target=_p,args=(loop,))
    ta.start()
    ts.start()
    ta.join()
    ts.join()

答：number的长度一定为1。首先，append和pop是数据安全的。其次，虽然while是数据不安全的，但是由于本题只开了一个pop线程，不存在while判断完GIL切换到另一个pop线程等回来时列表已经为空的情况，所以该程序不会报错并且执行到最后number的长度一定为1。

转载于:https://www.cnblogs.com/oddgod/p/11157317.html