Python多线程下同一对象属性值不一致问题排查

在应用启动时，开启一个线程执行IO操作以避免阻塞主线程初始化，完成后将对象的ready属性设为True，但主线程读取该属性始终为False。调试发现两个线程看到的对象ID相同，但ready属性值持续不同。通过@property方法监控确认了该现象，应用基于kserve框架，主线程为asyncio循环。

监控日志：

Thread: 274910491840 - obj id 0x4002203d60 ready property set to True
Thread: 274910491840 - obj id 0x4002203d60 ready property read as True
Thread: 275066861312 - obj id 0x4002203d60 ready property read as False
... etc

线程代码：

def loader():
    # load things...
    obj.ready = True

load_thread = Thread(target=loader)
load_thread.start()

• 线程内存可见性缺失：Python的GIL仅在线程切换时保证内存同步，但单纯的属性赋值没有内存屏障。主线程可能缓存了ready的旧值，无法感知加载线程的更新，即使对象ID一致，也会读取到过期的属性值。
• asyncio循环的单线程特性：asyncio事件循环是单线程持续运行的模型，若主线程一直在处理事件循环任务，没有触发GIL切换的时机，就不会主动刷新内存视图，始终读取ready的缓存值。
• 无线程安全同步机制：没有使用threading.Event、threading.Lock这类同步原语，也没有将ready声明为原子类型，线程间的状态更新无法被可靠传递，导致状态不一致。

内容的提问来源于stack exchange，提问作者Zack