document condition variable API