GitHub - ndkoval/concurrent-linked-deque-bug: Non-linearizability bug in Java's ConcurrentLinkedDeque discovered with Lincheck

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

Name		Name	Last commit message	Last commit date
gradle/wrapper		gradle/wrapper
src		src
.gitignore		.gitignore
README.md		README.md
build.gradle.kts		build.gradle.kts
gradle.properties		gradle.properties
gradlew		gradlew
gradlew.bat		gradlew.bat
settings.gradle.kts		settings.gradle.kts

Navigation Menu

Repository files navigation

About

Releases

Packages

Contributors

Languages

Latest commit

History

Folders and files

Repository files navigation

About

Resources

Stars

Watchers

Forks

Releases

Packages

Contributors

Languages