So, I'll quote from your own first link:
A value of zero causes the thread to relinquish the remainder of its time slice to any other thread that is ready to run.
As I said Sleep( 0 ) always relinquishes the remainder to the calling threads timeslice. Which is exactly all I stated.
"ready to run" is the keyword,
Sure, if the only thread ready to run is the thread that just ran, then is will be allocated a new timeslice immediately; but it still gave up its old one.
And in the context of the OPs problem, it means that the task clean up will occur in a timely manner. This because, each time the scheduler is entered, any ready-to-run, but lower priority threads will have their priority temporarily boosted.
Thus, the lower priority task clean up will quickly be boosted to a priority where it is selected in preference to the polling threads, thus the lock will be cleared, allowing one of the polling threads to acquire the lock and the system will continue.
(I'll also remind you that I said "or just sleep 0"; ie. indicating that sleep 0; would suffice; not that it would be optimal!)
With the rise and rise of 'Social' network sites: 'Computers are making people easier to use everyday'
Examine what is said, not who speaks -- Silence betokens consent -- Love the truth but pardon error.
"Science is about questioning the status quo. Questioning authority".
In the absence of evidence, opinion is indistinguishable from prejudice.
RIP Neil Armstrong