ロックフリー

保証されるのは、少なくとも一つのスレッドが常に前進することである。すべてのスレッドの前進を保証するウェイトフリーとは異なる。ロックベースより正しく書くのは難しいが、デッドロックや優先度逆転を避けられる。例はJavaのConcurrentHashMapやRustのcrossbeamである。