Не лайвлок же. Лайвлок - это если Лок будет переходить между потоками бесконечно, но никакого прогресса программа делать не будет
Про лок уточнения вроде никакого нет, если два потока делают что то что мешает друг другу продолжить действие, то это уже лайвлок