*** Violation Patterns [ID - Memory Location - Line Number - Thread - Access Type] *** -------------------------------------- *** RACE *** 202 "benchmarks.instrumented.java.util.TreeMap.root" 1257 10 WRITE * 92 "benchmarks.instrumented.java.util.TreeMap.root" 1178 9 READ *** *** RACE *** 92 "benchmarks.instrumented.java.util.TreeMap.root" 1178 9 READ * 202 "benchmarks.instrumented.java.util.TreeMap.root" 1257 10 WRITE *** *** RACE *** 148 "benchmarks.instrumented.java.util.TreeMap.modCount" 104 10 WRITE * 89 "benchmarks.instrumented.java.util.TreeMap.modCount" 81 9 READ *** *** RACE *** 89 "benchmarks.instrumented.java.util.TreeMap.modCount" 81 9 READ * 148 "benchmarks.instrumented.java.util.TreeMap.modCount" 104 10 WRITE *** *** AV-I --- 89 "benchmarks.instrumented.java.util.TreeMap.modCount" 81 9 READ * 148 "benchmarks.instrumented.java.util.TreeMap.modCount" 104 10 WRITE * 98 "benchmarks.instrumented.java.util.TreeMap.modCount" 81 9 READ *** *** AV-II --- 148 "benchmarks.instrumented.java.util.TreeMap.modCount" 104 10 WRITE * 89 "benchmarks.instrumented.java.util.TreeMap.modCount" 81 9 READ * 229 "benchmarks.instrumented.java.util.TreeMap.modCount" 104 10 WRITE *** *** ASV --- 104 "benchmarks.instrumented.java.util.TreeMap$Entry.right" 1204 9 READ * 175 "benchmarks.instrumented.java.util.TreeMap$Entry.left" 1269 10 WRITE * 197 "benchmarks.instrumented.java.util.TreeMap$Entry.right" 1252 10 WRITE * 105 "benchmarks.instrumented.java.util.TreeMap$Entry.left" 1205 9 READ *** *** ASV --- 104 "benchmarks.instrumented.java.util.TreeMap$Entry.right" 1204 9 READ * 157 "benchmarks.instrumented.java.util.TreeMap$Entry.left" 471 10 WRITE * 197 "benchmarks.instrumented.java.util.TreeMap$Entry.right" 1252 10 WRITE * 105 "benchmarks.instrumented.java.util.TreeMap$Entry.left" 1205 9 READ *** *** ASV --- 104 "benchmarks.instrumented.java.util.TreeMap$Entry.right" 1204 9 READ * 175 "benchmarks.instrumented.java.util.TreeMap$Entry.left" 1269 10 WRITE * 183 "benchmarks.instrumented.java.util.TreeMap$Entry.right" 1275 10 WRITE * 105 "benchmarks.instrumented.java.util.TreeMap$Entry.left" 1205 9 READ *** *** ASV --- 104 "benchmarks.instrumented.java.util.TreeMap$Entry.right" 1204 9 READ * 157 "benchmarks.instrumented.java.util.TreeMap$Entry.left" 471 10 WRITE * 183 "benchmarks.instrumented.java.util.TreeMap$Entry.right" 1275 10 WRITE * 105 "benchmarks.instrumented.java.util.TreeMap$Entry.left" 1205 9 READ *** *** ASV --- 103 "benchmarks.instrumented.java.util.TreeMap$Entry.right" 1203 9 READ * 175 "benchmarks.instrumented.java.util.TreeMap$Entry.left" 1269 10 WRITE * 197 "benchmarks.instrumented.java.util.TreeMap$Entry.right" 1252 10 WRITE * 105 "benchmarks.instrumented.java.util.TreeMap$Entry.left" 1205 9 READ *** *** ASV --- 103 "benchmarks.instrumented.java.util.TreeMap$Entry.right" 1203 9 READ * 157 "benchmarks.instrumented.java.util.TreeMap$Entry.left" 471 10 WRITE * 197 "benchmarks.instrumented.java.util.TreeMap$Entry.right" 1252 10 WRITE * 105 "benchmarks.instrumented.java.util.TreeMap$Entry.left" 1205 9 READ *** *** ASV --- 103 "benchmarks.instrumented.java.util.TreeMap$Entry.right" 1203 9 READ * 175 "benchmarks.instrumented.java.util.TreeMap$Entry.left" 1269 10 WRITE * 183 "benchmarks.instrumented.java.util.TreeMap$Entry.right" 1275 10 WRITE * 105 "benchmarks.instrumented.java.util.TreeMap$Entry.left" 1205 9 READ *** *** ASV --- 89 "benchmarks.instrumented.java.util.TreeMap.modCount" 81 9 READ * 148 "benchmarks.instrumented.java.util.TreeMap.modCount" 104 10 WRITE * 197 "benchmarks.instrumented.java.util.TreeMap$Entry.right" 1252 10 WRITE * 103 "benchmarks.instrumented.java.util.TreeMap$Entry.right" 1203 9 READ *** *** ASV --- 89 "benchmarks.instrumented.java.util.TreeMap.modCount" 81 9 READ * 183 "benchmarks.instrumented.java.util.TreeMap$Entry.right" 1275 10 WRITE * 229 "benchmarks.instrumented.java.util.TreeMap.modCount" 104 10 WRITE * 103 "benchmarks.instrumented.java.util.TreeMap$Entry.right" 1203 9 READ *** *** ASV --- 89 "benchmarks.instrumented.java.util.TreeMap.modCount" 81 9 READ * 148 "benchmarks.instrumented.java.util.TreeMap.modCount" 104 10 WRITE * 183 "benchmarks.instrumented.java.util.TreeMap$Entry.right" 1275 10 WRITE * 103 "benchmarks.instrumented.java.util.TreeMap$Entry.right" 1203 9 READ *** *** ASV --- 89 "benchmarks.instrumented.java.util.TreeMap.modCount" 81 9 READ * 175 "benchmarks.instrumented.java.util.TreeMap$Entry.left" 1269 10 WRITE * 229 "benchmarks.instrumented.java.util.TreeMap.modCount" 104 10 WRITE * 105 "benchmarks.instrumented.java.util.TreeMap$Entry.left" 1205 9 READ *** *** ASV --- 89 "benchmarks.instrumented.java.util.TreeMap.modCount" 81 9 READ * 148 "benchmarks.instrumented.java.util.TreeMap.modCount" 104 10 WRITE * 175 "benchmarks.instrumented.java.util.TreeMap$Entry.left" 1269 10 WRITE * 105 "benchmarks.instrumented.java.util.TreeMap$Entry.left" 1205 9 READ *** *** ASV --- 89 "benchmarks.instrumented.java.util.TreeMap.modCount" 81 9 READ * 157 "benchmarks.instrumented.java.util.TreeMap$Entry.left" 471 10 WRITE * 229 "benchmarks.instrumented.java.util.TreeMap.modCount" 104 10 WRITE * 105 "benchmarks.instrumented.java.util.TreeMap$Entry.left" 1205 9 READ *** *** ASV --- 89 "benchmarks.instrumented.java.util.TreeMap.modCount" 81 9 READ * 148 "benchmarks.instrumented.java.util.TreeMap.modCount" 104 10 WRITE * 157 "benchmarks.instrumented.java.util.TreeMap$Entry.left" 471 10 WRITE * 105 "benchmarks.instrumented.java.util.TreeMap$Entry.left" 1205 9 READ *** *** ASV --- 92 "benchmarks.instrumented.java.util.TreeMap.root" 1178 9 READ * 202 "benchmarks.instrumented.java.util.TreeMap.root" 1257 10 WRITE * 229 "benchmarks.instrumented.java.util.TreeMap.modCount" 104 10 WRITE * 98 "benchmarks.instrumented.java.util.TreeMap.modCount" 81 9 READ *** *** ASV --- 92 "benchmarks.instrumented.java.util.TreeMap.root" 1178 9 READ * 148 "benchmarks.instrumented.java.util.TreeMap.modCount" 104 10 WRITE * 202 "benchmarks.instrumented.java.util.TreeMap.root" 1257 10 WRITE * 98 "benchmarks.instrumented.java.util.TreeMap.modCount" 81 9 READ *** *** ASV --- 89 "benchmarks.instrumented.java.util.TreeMap.modCount" 81 9 READ * 202 "benchmarks.instrumented.java.util.TreeMap.root" 1257 10 WRITE * 229 "benchmarks.instrumented.java.util.TreeMap.modCount" 104 10 WRITE * 92 "benchmarks.instrumented.java.util.TreeMap.root" 1178 9 READ *** *** ASV --- 89 "benchmarks.instrumented.java.util.TreeMap.modCount" 81 9 READ * 148 "benchmarks.instrumented.java.util.TreeMap.modCount" 104 10 WRITE * 202 "benchmarks.instrumented.java.util.TreeMap.root" 1257 10 WRITE * 92 "benchmarks.instrumented.java.util.TreeMap.root" 1178 9 READ *** *** ASV --- 89 "benchmarks.instrumented.java.util.TreeMap.modCount" 81 9 READ * 197 "benchmarks.instrumented.java.util.TreeMap$Entry.right" 1252 10 WRITE * 229 "benchmarks.instrumented.java.util.TreeMap.modCount" 104 10 WRITE * 103 "benchmarks.instrumented.java.util.TreeMap$Entry.right" 1203 9 READ *** *** ASV --- 89 "benchmarks.instrumented.java.util.TreeMap.modCount" 81 9 READ * 148 "benchmarks.instrumented.java.util.TreeMap.modCount" 104 10 WRITE * 183 "benchmarks.instrumented.java.util.TreeMap$Entry.right" 1275 10 WRITE * 104 "benchmarks.instrumented.java.util.TreeMap$Entry.right" 1204 9 READ *** *** ASV --- 89 "benchmarks.instrumented.java.util.TreeMap.modCount" 81 9 READ * 183 "benchmarks.instrumented.java.util.TreeMap$Entry.right" 1275 10 WRITE * 229 "benchmarks.instrumented.java.util.TreeMap.modCount" 104 10 WRITE * 104 "benchmarks.instrumented.java.util.TreeMap$Entry.right" 1204 9 READ *** *** ASV --- 89 "benchmarks.instrumented.java.util.TreeMap.modCount" 81 9 READ * 148 "benchmarks.instrumented.java.util.TreeMap.modCount" 104 10 WRITE * 197 "benchmarks.instrumented.java.util.TreeMap$Entry.right" 1252 10 WRITE * 104 "benchmarks.instrumented.java.util.TreeMap$Entry.right" 1204 9 READ *** *** ASV --- 89 "benchmarks.instrumented.java.util.TreeMap.modCount" 81 9 READ * 197 "benchmarks.instrumented.java.util.TreeMap$Entry.right" 1252 10 WRITE * 229 "benchmarks.instrumented.java.util.TreeMap.modCount" 104 10 WRITE * 104 "benchmarks.instrumented.java.util.TreeMap$Entry.right" 1204 9 READ *** *** ASV --- 92 "benchmarks.instrumented.java.util.TreeMap.root" 1178 9 READ * 157 "benchmarks.instrumented.java.util.TreeMap$Entry.left" 471 10 WRITE * 202 "benchmarks.instrumented.java.util.TreeMap.root" 1257 10 WRITE * 105 "benchmarks.instrumented.java.util.TreeMap$Entry.left" 1205 9 READ *** *** ASV --- 92 "benchmarks.instrumented.java.util.TreeMap.root" 1178 9 READ * 175 "benchmarks.instrumented.java.util.TreeMap$Entry.left" 1269 10 WRITE * 202 "benchmarks.instrumented.java.util.TreeMap.root" 1257 10 WRITE * 105 "benchmarks.instrumented.java.util.TreeMap$Entry.left" 1205 9 READ *** *** ASV --- 92 "benchmarks.instrumented.java.util.TreeMap.root" 1178 9 READ * 183 "benchmarks.instrumented.java.util.TreeMap$Entry.right" 1275 10 WRITE * 202 "benchmarks.instrumented.java.util.TreeMap.root" 1257 10 WRITE * 103 "benchmarks.instrumented.java.util.TreeMap$Entry.right" 1203 9 READ *** *** ASV --- 92 "benchmarks.instrumented.java.util.TreeMap.root" 1178 9 READ * 197 "benchmarks.instrumented.java.util.TreeMap$Entry.right" 1252 10 WRITE * 202 "benchmarks.instrumented.java.util.TreeMap.root" 1257 10 WRITE * 103 "benchmarks.instrumented.java.util.TreeMap$Entry.right" 1203 9 READ *** *** ASV --- 92 "benchmarks.instrumented.java.util.TreeMap.root" 1178 9 READ * 183 "benchmarks.instrumented.java.util.TreeMap$Entry.right" 1275 10 WRITE * 202 "benchmarks.instrumented.java.util.TreeMap.root" 1257 10 WRITE * 104 "benchmarks.instrumented.java.util.TreeMap$Entry.right" 1204 9 READ *** *** ASV --- 92 "benchmarks.instrumented.java.util.TreeMap.root" 1178 9 READ * 197 "benchmarks.instrumented.java.util.TreeMap$Entry.right" 1252 10 WRITE * 202 "benchmarks.instrumented.java.util.TreeMap.root" 1257 10 WRITE * 104 "benchmarks.instrumented.java.util.TreeMap$Entry.right" 1204 9 READ *** *** ASV --- 103 "benchmarks.instrumented.java.util.TreeMap$Entry.right" 1203 9 READ * 157 "benchmarks.instrumented.java.util.TreeMap$Entry.left" 471 10 WRITE * 183 "benchmarks.instrumented.java.util.TreeMap$Entry.right" 1275 10 WRITE * 105 "benchmarks.instrumented.java.util.TreeMap$Entry.left" 1205 9 READ *** ------------------------------------- Number of Threads: 3 Number of Shared Variables: 23 Number of Lock Nodes: 16 Number of Message Nodes: 7 Number of Non-Method Entry/Exit Nodes: 266 Number of Read/Write Nodes: 243 Number of Total Nodes: 502 Number of Races: 4 Number of Atomicity Violations: 2 Number of ASVs: 30