ConcurrentLinkedDeque in Java is non-linearizable. This repository provides a Lincheck test that reveals the issue; please check src/ConcurrentLinkedDequeTest.kt.
ConcurrentLinkedDeque in Java is non-linearizable. This repository provides a Lincheck test that reveals the issue; please check src/ConcurrentLinkedDequeTest.kt.