Arise

> futex在真正将进程挂起之前会检查addr指向的地址的值是否等于val，如果不相等则会立即返回，由用户态继续trylock。否则将当期线程插入到一个队列中去，并挂起。 > > 这一段有点没有懂，futex先检查addr指向的地址的值是否等于val，在到将当期线程插入到一个队列中去，并挂起。之间不是也有一个窗口么？如果检查addr指向的地址的值等于val,在放入队列并挂起之前有恰好有线程释放了锁，不是还是会有当前线程没有办法被唤醒的风险了么？ 文章说了spinlock。你说的这个时候点，其他线程如果发起唤醒会失败的，拿不到spinlock，这也是很多wait() notify()一定要在sync代码块里使用的原因。