JaConTeBe

From stap
Jump to: navigation, search

JaConTeBe stands for Java Concurrency Testing Benchmark.

The current version is 1.0, which contains 47 Java concurrency bugs from 8 open source projects.

Contents

Bug List

Project #Bugs in JaConTeBe
Apache DBCP 4
Apache Derby 5
Apache Groovy 6
OpenJDK(6&7) 20
Apache Log4j 5
Apache Lucene 2
Apache Pool 5


Bug Name SIR Name Bug URL Category
dbcp65 dbcp1 https://issues.apache.org/jira/browse/DBCP-65 resource deadlock
dbcp270 dbcp2 https://issues.apache.org/jira/browse/DBCP-270 resource deadlock
dbcp369 dbcp3 https://issues.apache.org/jira/browse/DBCP-369 race
dbcp271 dbcp4 https://issues.apache.org/jira/browse/DBCP-271 inconsistent synchronization
derby4129 derby1 https://issues.apache.org/jira/browse/DERBY-4129 resource deadlock
derby5560 derby2 https://issues.apache.org/jira/browse/DERBY-5560 resource deadlock
derby5561 derby3 https://issues.apache.org/jira/browse/DERBY-5561 race
derby764 derby4 https://issues.apache.org/jira/browse/DERBY-764 resource deadlock
derby5447 derby5 https://issues.apache.org/jira/browse/DERBY-5447 resource deadlock
groovy3495 groovy1 http://jira.codehaus.org/browse/GROOVY-3495 race
groovy4736 groovy2 http://jira.codehaus.org/browse/GROOVY-4736 resource deadlock
groovy5198 groovy3 http://jira.codehaus.org/browse/GROOVY-5198 race
groovy6456 groovy4 http://jira.codehaus.org/browse/GROOVY-6456 race
groovy6068 groovy5 http://jira.codehaus.org/browse/GROOVY-6068 race
groovy4292 groovy6 http://jira.codehaus.org/browse/GROOVY-4292 race
jdk4243978 jdk6_1 https://bugs.openjdk.java.net/browse/JDK-4243978 race
jdk4742723 jdk6_2 https://bugs.openjdk.java.net/browse/JDK-4742723 race(Windows)
jdk4779253 jdk6_3 https://bugs.openjdk.java.net/browse/JDK-4779253 race
jdk4813150 jdk6_4 https://bugs.openjdk.java.net/browse/JDK-4813150 race
jdk6436220 jdk6_5 https://bugs.openjdk.java.net/browse/JDK-6436220 race
jdk6492872 jdk6_6 https://bugs.openjdk.java.net/browse/JDK-6492872 resource deadlock
jdk6582568 jdk6_7 https://bugs.openjdk.java.net/browse/JDK-6582568 resource deadlock
jdk6588239 jdk6_8 https://bugs.openjdk.java.net/browse/JDK-6588239 resource deadlock
jdk6648001 jdk6_9 https://bugs.openjdk.java.net/browse/JDK-6648001 wait-notify deadlock
jdk6927486 jdk6_10 https://bugs.openjdk.java.net/browse/JDK-6927486 resource deadlock
jdk6934356 jdk6_11 https://bugs.openjdk.java.net/browse/JDK-6934356 resource deadlock
jdk6977738 jdk6_12 https://bugs.openjdk.java.net/browse/JDK-6977738 resource deadlock
jdk7100996 jdk6_13 https://bugs.openjdk.java.net/browse/JDK-7100996 race
jdk7132889 jdk6_14 https://bugs.openjdk.java.net/browse/JDK-7132889 race
jdk7045594 jdk7_1 https://bugs.openjdk.java.net/browse/JDK-7045594 race
jdk7122142 jdk7_2 https://bugs.openjdk.java.net/browse/JDK-7122142 resource deadlock
jdk7132378 jdk7_3 https://bugs.openjdk.java.net/browse/JDK-7132378 race
jdk8010939 jdk7_4 https://bugs.openjdk.java.net/browse/JDK-8010939 resource deadlock
jdk8012019 jdk7_5 https://bugs.openjdk.java.net/browse/JDK-8012019 wait-notify deadlock(Windows Only)
jdk8023541 jdk7_6 https://bugs.openjdk.java.net/browse/JDK-8023541 race
log4j44032 log4j1 https://issues.apache.org/bugzilla/show_bug.cgi?id=44032 race
log4j41214 log4j2 https://issues.apache.org/bugzilla/show_bug.cgi?id=41214 resource deadlock
log4j54325 log4j3 https://issues.apache.org/bugzilla/show_bug.cgi?id=54325 race
log4j38137 log4j4 https://issues.apache.org/bugzilla/show_bug.cgi?id=38137 wait-notify deadlock
log4j50463 log4j5 https://issues.apache.org/bugzilla/show_bug.cgi?id=50463 wait-notify deadlock
lucene2783 lucene1 https://issues.apache.org/jira/browse/LUCENE-2783 wait-notify deadlock
lucene1544 lucene2 https://issues.apache.org/jira/browse/LUCENE-1544 wait-notify deadlock
pool120 pool1 https://issues.apache.org/jira/browse/POOL-120 race
pool146 pool2 https://issues.apache.org/jira/browse/POOL-146 wait-notify deadlock
pool149 pool3 https://issues.apache.org/jira/browse/POOL-149 wait-notify deadlock
pool162 pool4 https://issues.apache.org/jira/browse/POOL-162 wait-notify deadlock
pool46 pool5 https://issues.apache.org/jira/browse/POOL-46 inconsistent synchronization

Datasets

Surveyed Papers

Searched Bugs

We Search on project's bug databases with key words:“concurren”, “atom”, “deadlock”, “thread”, “race”, and “synch” to get a list of concurrency bug candidates and then manually confirm them.

This excel online page is an example of how we collect bugs from project Apache DBCP.
We use DBCP 1.2 as baseline to collect bugs that are reproducible at this version. The green rows are confirmed reproducible concurrency bugs. The yellows are concurrency bugs, but are not reproducible at the baseline version. The greys are not concurrency bugs. 3 uncolored rows are other situations.

Experiment Results

The result of running JPF with JaConTeBe can be found here at SIR site.

Publication

Ziyi Lin, Darko Marinov, Hao Zhong, Yuting Chen and Jianjun Zhao.JaConTeBe: A Benchmark Suite of Real-World Java Concurrency Bugs.In Proc. ASE, 2015. File:JaConTeBe.pdf

Personal tools
Namespaces

Variants
Actions
Navigation
Toolbox