WaitCR does not renew lock in between R intervals (and should) #1
Loading…
Reference in New Issue
Block a user
No description provided.
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
WaitCR should continue asserting its token until it's allowed to continue otherwise, if C was > F, which is perfectly valid, the new agent would fail before it starts.
When waiting for C, the new agent should write to the lock once per R.
WaitCR does not write lock in between R intervalsto WaitCR does not renew lock in between R intervals (and should)