find-non-linearizability-tests v0.1.0

find-non-linearizability-tests

Find test harnesses that expose linearizability violations.

This project demonstrates that many of the methods in Java’s library of concurrent collections are non-linearizable. For each non-linearizable method in the selected collection classes, a small test harness witnesses linearizability violations via stress testing with OpenJDK’s jcstress tool.

Requirements

• Node.js
• Java SE Development Kit 8
• Gradle
• Maven

Installation

$ npm i -g find-non-linearizability-tests

Usage

$ find-non-linearizability-tests