Rename wake_up() to notify_one()