Python异步Pymodbus程序If条件失效问题技术问询

• 先在判断条件前加即时打印，确认判断瞬间的变量值：

  # 在if语句前插入
  print(f"Check point: MFC_01DosingStatus={MFC_01DosingStatus}, MFC_02DosingStatus={MFC_02DosingStatus}")
  if MFC_01DosingStatus == 512 or MFC_02DosingStatus == 512:
      sys.exit()
  

  异步程序里变量可能被并发协程修改，CSV记录的是读取瞬间的值，但判断时可能已经被其他逻辑改动，这一步能直接验证判断时的真实值。

• 检查条件语句的语法是否存在隐性错误：
  比如是否误写了括号导致逻辑变形，比如如果代码实际是：

  if MFC_01DosingStatus == (512 or MFC_02DosingStatus == 512):
  

  由于512 or ...的结果是布尔值True，而任何非零整数（包括256）在判断== True时都会返回True，就会导致条件触发。

• 验证Modbus寄存器的读取逻辑：

  • 确认是否读错了寄存器地址，比如把MFC状态寄存器的地址偏移了一位，导致读到了其他值为512的寄存器；
  • 检查Modbus库的读取参数，比如是否错误地将16位寄存器按32位解析，或者字节序（大端/小端）设置错误，导致读取值被错误转换；
  • 确认读取函数的返回值处理，比如是否从返回的寄存器列表中取错了索引（比如应该取索引0，结果取了索引1）。

• 排查异步程序的竞态条件：
  如果变量是多个协程共享的，要确认是否存在未加保护的并发修改。比如读取Modbus的协程和判断逻辑的协程是否同时操作这两个变量，导致值被覆盖。可以考虑用asyncio.Lock来保护共享变量的读写操作。

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