@xiangli-cmu Yes, that is better. Ideally the state machine would compare and swap while holding locks but this is OK.