spurious wakeup to avoid deadlocks in scheduler
fixes #233 (closed)
@jonrob @raaij
Acknowledgements:
This work would not have been possible without the kind words of @cprouve and the competent help of @chasse. I owe you deeply.
(These acknowledgements apply under the assumption that this is the actual fix)
Edited by Rosen Matev