Understanding Condition Variables - Isn't there always spin-waiting “somewhere”?

Question

I am going to explain my understanding of this OS construct and appreciate some polite correction.

I understand thread-safety clearly and simply.

If there is s