*** Violation Patterns [ID - Memory Location - Line Number - Thread - Access Type] *** -------------------------------------- *** RACE *** 122 "benchmarks.instrumented.java.util.HashMap.size" 740 10 WRITE * 74 "benchmarks.instrumented.java.util.HashMap.size" 768 9 READ *** *** RACE *** 74 "benchmarks.instrumented.java.util.HashMap.size" 768 9 READ * 122 "benchmarks.instrumented.java.util.HashMap.size" 740 10 WRITE *** *** RACE *** 116 "benchmarks.instrumented.java.util.HashMap.modCount" 391 10 WRITE * 71 "benchmarks.instrumented.java.util.HashMap.modCount" 764 9 READ *** *** RACE *** 71 "benchmarks.instrumented.java.util.HashMap.modCount" 764 9 READ * 116 "benchmarks.instrumented.java.util.HashMap.modCount" 391 10 WRITE *** *** ASV --- 74 "benchmarks.instrumented.java.util.HashMap.size" 768 9 READ * 122 "benchmarks.instrumented.java.util.HashMap.size" 740 10 WRITE * 137 "benchmarks.instrumented.java.util.HashMap.modCount" 391 10 WRITE * 79 "benchmarks.instrumented.java.util.HashMap.modCount" 781 9 READ *** *** ASV --- 74 "benchmarks.instrumented.java.util.HashMap.size" 768 9 READ * 116 "benchmarks.instrumented.java.util.HashMap.modCount" 391 10 WRITE * 122 "benchmarks.instrumented.java.util.HashMap.size" 740 10 WRITE * 79 "benchmarks.instrumented.java.util.HashMap.modCount" 781 9 READ *** *** ASV --- 71 "benchmarks.instrumented.java.util.HashMap.modCount" 764 9 READ * 122 "benchmarks.instrumented.java.util.HashMap.size" 740 10 WRITE * 137 "benchmarks.instrumented.java.util.HashMap.modCount" 391 10 WRITE * 74 "benchmarks.instrumented.java.util.HashMap.size" 768 9 READ *** *** ASV --- 71 "benchmarks.instrumented.java.util.HashMap.modCount" 764 9 READ * 116 "benchmarks.instrumented.java.util.HashMap.modCount" 391 10 WRITE * 122 "benchmarks.instrumented.java.util.HashMap.size" 740 10 WRITE * 74 "benchmarks.instrumented.java.util.HashMap.size" 768 9 READ *** *** AV-I --- 71 "benchmarks.instrumented.java.util.HashMap.modCount" 764 9 READ * 116 "benchmarks.instrumented.java.util.HashMap.modCount" 391 10 WRITE * 79 "benchmarks.instrumented.java.util.HashMap.modCount" 781 9 READ *** *** AV-II --- 116 "benchmarks.instrumented.java.util.HashMap.modCount" 391 10 WRITE * 71 "benchmarks.instrumented.java.util.HashMap.modCount" 764 9 READ * 137 "benchmarks.instrumented.java.util.HashMap.modCount" 391 10 WRITE *** *** AV-II --- 122 "benchmarks.instrumented.java.util.HashMap.size" 740 10 WRITE * 74 "benchmarks.instrumented.java.util.HashMap.size" 768 9 READ * 143 "benchmarks.instrumented.java.util.HashMap.size" 740 10 WRITE *** ------------------------------------- Number of Threads: 3 Number of Shared Variables: 12 Number of Lock Nodes: 16 Number of Message Nodes: 7 Number of Non-Method Entry/Exit Nodes: 148 Number of Read/Write Nodes: 125 Number of Total Nodes: 432 Number of Races: 4 Number of Atomicity Violations: 3 Number of ASVs: 4