code: def process_dut(dut):
          
          if dut.finished():
              return
          Dut._signalled_duts.appendleft(dut)
          Dut._sem.release()
docs: Signal worker thread that specified Dut needs processing