Python中multiprocessing.Manager的读写运行机制相关问题

问题1：单进程写入、多进程读取场景无需额外同步原语可否并发执行读写？读写同时进行是否会出现异常？ #

• 基础的单个读写操作（例如shared_dict[key]读取、shared_dict[key] = val赋值）无需额外同步原语即可并发执行，读写同时进行不会直接抛出运行异常。
• 你通过Manager创建的共享字典本质是代理对象，所有读写操作都会被转发到Manager对应的后台服务进程执行，单个操作本身是原子的，不会出现内存层面的半更新数据异常。
• 若写入操作是拆分的复合逻辑（例如先读取值、修改后再写回的两个独立操作），就算只有单个写进程，也可能出现读进程读取到旧值的逻辑偏差，这种情况需要结合业务需求判断是否要加同步控制。

问题2：多进程同时向共享字典写入是否被允许？除逻辑层面的竞态条件外，是否会直接抛出运行错误？ #

• 多进程同时写入是被允许的，不会直接抛出运行层面的错误。
• 所有写入请求最终都会在Manager的服务进程内串行执行，不会出现多进程直接操作同一块内存导致的崩溃类问题。
• 仅存在逻辑层面的竞态条件风险：比如多个进程同时执行shared_dict[key] += 1这类复合操作时，会出现更新丢失的问题，该类问题不会触发报错，仅会导致业务数据不符合预期，需要加锁等同步原语规避。

问题3：Manager处理所有读写请求时是采用类队列的串行逐个处理模式，还是并行处理所有请求？ #

• Manager采用类队列的串行逐个处理模式：后台服务进程会通过队列接收所有子进程发来的操作请求，按照接收顺序逐个执行操作，同一时间只会处理一个请求，不存在并行处理的情况。
• 这也是单个操作天然具备原子性、不会出现普通字典并发修改异常的核心原因。

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