为什么 Python 中一个线程对共享变量所做的更改对其他线程不可见？

问题内容

我尝试在多个线程中使用相同的变量，但该变量的值并未在线程之间一致更新。例如，当线程 1 将变量更新为 1 时，线程 2 无法识别此更改，而是看到旧值。

这是一个说明问题的简单代码示例。当用户按下“a”键时，变量“query”应更新并显示如下：

1. 查询1：a
2. 查询：a

但是，我得到的实际输出只是：

1. 查询1：a

您能帮我理解为什么会发生这种情况以及如何解决它吗？

import getch
import threading

QUERY = ""
EXIT_THREAD = False
def input_thread():
    global EXIT_THREAD
    last_query = ""
    while not EXIT_THREAD:
        if last_query != QUERY:
            last_query = QUERY
            print(f"Query: {QUERY}")

thread = threading.Thread(target=input_thread)
thread.start()
while True:
    char = getch.getch()
    if char == "\n":
        break
    elif char == "\x7f":
        QUERY = QUERY[:-1]
    else:
        QUERY += char
    print(f"Query1: {QUERY}")
# kill input thread
EXIT_THREAD = True
thread.join()

正确答案

问题是 getch 模块编码很差。当它阻塞等待输入时，它不会释放gil（全局解释器锁），因此您的其他线程不允许运行。与锁同步并没有多大帮助； gil 已保护对 query 的访问。

问题是，每次更改 query 后，您都会返回到 getch，这会锁定 gil。当 getch 返回时，已经过去了足够的时间，gil 立即被移交，另一个线程检查更改，看到最后的更改并报告它，主线程最终得到返回控制权，但通常在 getch 再次锁定它之前没有做足够的事情来导致另一次 gil 切换，并且另一个线程永远没有机会运行并看到更改，直到 getch 下次返回。这可能会因 python 版本的不同而有所不同（检查 gil 的规则会不时发生变化），但它总是不稳定。

正确的解决方案是 getch 模块在进行阻塞调用之前在内部释放 gil，但如果做不到这一点，您可以通过在每个 getch 之前故意以 gil 释放方式阻塞来给其他线程一些运行时间调用时，通过导入 time 模块，并添加一个 sleep 来给其他线程时间来查看最新的更改：

while True:
    time.sleep(0.001)  # Explicitly releases GIL for a millisecond
    char = getch.getch()

这会得到您期望的行为，虽然从技术上讲，如果涉及其他线程，则会受到竞争条件的影响，但对于像这样的两个线程来说，它是相当可靠的。

以上是为什么 Python 中一个线程对共享变量所做的更改对其他线程不可见？的详细内容。更多信息请关注PHP中文网其他相关文章！