第一个分支形成环绕的循环体，测试锁状态；;第二个分支解决了两个处理器同时看到锁可用的情况下的争用问题