所以怎么实现无锁？纯条件变量不行吧？