如何查看Python multiprocessing模块Semaphore的值？附哲学家就餐问题场景

• Python的multiprocessing.Semaphore没有公开的API用于获取当前信号量的值，你尝试访问的_value是内部私有属性，绝对不建议直接依赖——不同Python版本或实现中这个属性可能被修改，而且跨进程场景下，读取该属性的瞬间，信号量状态可能已经被其他进程改变，拿到的是过期值。

• 针对你的哲学家就餐场景，千万不要通过检查信号量值来判断是否同时拿两根筷子，这种方式会引入竞态条件：比如你刚检查完两根筷子都可用，但在你拿起第一根的间隙，其他哲学家可能已经拿走了其中一根。正确的做法是用原子操作实现“同时获取两根筷子”：
  最简单的方案是借助全局互斥锁，把拿筷子的逻辑包裹成原子操作：

示例代码：

from multiprocessing import Process, Semaphore, Lock

def philosopher(name, left_chop, right_chop, table_lock):
    while True:
        print(f"哲学家{name}正在思考")
        # 用全局锁保证拿筷子的原子性
        with table_lock:
            left_chop.acquire()
            right_chop.acquire()
        print(f"哲学家{name}正在进餐")
        # 吃完依次放下筷子
        right_chop.release()
        left_chop.release()

if __name__ == "__main__":
    chopsticks = [Semaphore(1) for _ in range(5)]
    table_lock = Lock()
    philosophers = [
        Process(target=philosopher, args=(i, chopsticks[i], chopsticks[(i+1)%5], table_lock)) 
        for i in range(5)
    ]
    for p in philosophers:
        p.start()

• 如果你确实需要监控信号量状态（仅用于调试），可以自己封装一个带状态追踪的信号量，用multiprocessing.Value维护计数器，在acquire和release时同步更新：

from multiprocessing import Semaphore, Value, Lock

class TrackedSemaphore:
    def __init__(self, initial_value=1):
        self.sem = Semaphore(initial_value)
        self.count = Value('i', initial_value)
        self.lock = Lock()
    
    def acquire(self):
        self.sem.acquire()
        with self.lock:
            self.count.value -= 1
    
    def release(self):
        self.sem.release()
        with self.lock:
            self.count.value += 1
    
    def get_value(self):
        with self.lock:
            return self.count.value

通过get_value()就能安全获取当前信号量的可用数量。

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