ConcurrentLinkedDeque in Java is non-linearizable. This repository provides a Lincheck test that reveals the issue; please check src/ConcurrentLinkedDequeTest.kt.
ndkoval/concurrent-linked-deque-bug
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
ConcurrentLinkedDeque in Java is non-linearizable. This repository provides a Lincheck test that reveals the issue; please check src/ConcurrentLinkedDequeTest.kt.