Andres Freund <and...@anarazel.de> writes: > However, I still don't think it's a problem to assert that the lock is held in > in the unlock "routine". As mentioned before, the spinlock implementation > itself has never followed the "just straight line code" rule that users of > spinlocks are supposed to follow.
Yeah, that's fair. regards, tom lane