[ieviev]

No, we do not lock reading the state, we only lock the creation side and the transition table reference stays valid during matching even if it is outdated.

Only when a nonexistent state is encountered during matching it enters the locked region.

[layer8]

Ah, I see, so it’s basically the Racy Single-Check Idiom.