In such a system, condition variables are not needed, but the assertions must be explicitly coded.
在这种系统中，不需要条件变量，但是断言必须明确编码。