*** Violation Patterns [ID - Memory Location - Line Number - Thread - Access Type] *** -------------------------------------- *** RACE *** 1137 "hedc.MetaSearchRequest.counter_" 38 13 READ * 139 "hedc.MetaSearchRequest.counter_" 23 10 WRITE *** *** RACE *** 1284 "hedc.MetaSearchResult.request" 61 16 READ * 1311 "hedc.MetaSearchResult.request" 54 10 WRITE *** *** RACE *** 1215 "hedc.MetaSearchResult.date" 288 16 READ * 1195 "hedc.MetaSearchResult.date" 29 10 WRITE *** *** RACE *** 152 "hedc.MetaSearchRequest.counter_" 33 10 WRITE * 1137 "hedc.MetaSearchRequest.counter_" 38 13 READ *** *** RACE *** 1300 "EDU.oswego.cs.dl.util.concurrent.LinkedQueue.waitingForTake_" 114 16 READ * 765 "EDU.oswego.cs.dl.util.concurrent.LinkedQueue.waitingForTake_" 114 11 WRITE *** *** RACE *** 1208 "hedc.Task.thread_" 34 10 WRITE * 1281 "hedc.Task.thread_" 46 16 WRITE *** *** RACE *** 1195 "hedc.MetaSearchResult.date" 29 10 WRITE * 1218 "hedc.MetaSearchResult.date" 289 16 READ *** *** RACE *** 139 "hedc.MetaSearchRequest.counter_" 23 10 WRITE * 1137 "hedc.MetaSearchRequest.counter_" 38 13 READ *** *** RACE *** 1310 "hedc.Task.thread_" 51 10 READ * 1281 "hedc.Task.thread_" 46 16 WRITE *** *** RACE *** 1137 "hedc.MetaSearchRequest.counter_" 38 13 READ * 152 "hedc.MetaSearchRequest.counter_" 33 10 WRITE *** *** RACE *** 81 "driver.HedcDriver.iterations_" 86 1 WRITE * 89 "driver.HedcDriver.iterations_" 91 10 READ *** *** RACE *** 1311 "hedc.MetaSearchResult.request" 54 10 WRITE * 1284 "hedc.MetaSearchResult.request" 61 16 READ *** *** RACE *** 190 "hedc.MetaSearchResult.results" 313 11 WRITE * 1155 "hedc.MetaSearchResult.results" 26 9 READ *** *** RACE *** 1218 "hedc.MetaSearchResult.date" 289 16 READ * 1195 "hedc.MetaSearchResult.date" 29 10 WRITE *** *** RACE *** 1284 "hedc.MetaSearchResult.request" 61 16 READ * 1196 "hedc.MetaSearchResult.request" 30 10 WRITE *** *** RACE *** 1195 "hedc.MetaSearchResult.date" 29 10 WRITE * 1215 "hedc.MetaSearchResult.date" 288 16 READ *** *** RACE *** 1283 "hedc.MetaSearchResult.completed_" 60 16 WRITE * 1317 "hedc.MetaSearchResult.completed_" 18 10 READ *** *** RACE *** 1317 "hedc.MetaSearchResult.completed_" 18 10 READ * 1283 "hedc.MetaSearchResult.completed_" 60 16 WRITE *** *** RACE *** 1155 "hedc.MetaSearchResult.results" 26 9 READ * 190 "hedc.MetaSearchResult.results" 313 11 WRITE *** *** RACE *** 1290 "hedc.PooledExecutorWithInvalidate.poolSize_" 186 16 READ * 110 "hedc.PooledExecutorWithInvalidate.poolSize_" 195 9 WRITE *** *** RACE *** 110 "hedc.PooledExecutorWithInvalidate.poolSize_" 195 9 WRITE * 1290 "hedc.PooledExecutorWithInvalidate.poolSize_" 186 16 READ *** *** RACE *** 1196 "hedc.MetaSearchResult.request" 30 10 WRITE * 1284 "hedc.MetaSearchResult.request" 61 16 READ *** *** RACE *** 1281 "hedc.Task.thread_" 46 16 WRITE * 1208 "hedc.Task.thread_" 34 10 WRITE *** *** RACE *** 1281 "hedc.Task.thread_" 46 16 WRITE * 1310 "hedc.Task.thread_" 51 10 READ *** *** RACE *** 81 "driver.HedcDriver.iterations_" 86 1 WRITE * 1182 "driver.HedcDriver.iterations_" 109 10 READ *** *** AV-I --- 764 "EDU.oswego.cs.dl.util.concurrent.LinkedQueue.waitingForTake_" 114 11 READ * 1301 "EDU.oswego.cs.dl.util.concurrent.LinkedQueue.waitingForTake_" 114 16 WRITE * 765 "EDU.oswego.cs.dl.util.concurrent.LinkedQueue.waitingForTake_" 114 11 WRITE *** *** AV-I --- 1137 "hedc.MetaSearchRequest.counter_" 38 13 READ * 139 "hedc.MetaSearchRequest.counter_" 23 10 WRITE * 1138 "hedc.MetaSearchRequest.counter_" 38 13 WRITE *** *** AV-I --- 1137 "hedc.MetaSearchRequest.counter_" 38 13 READ * 152 "hedc.MetaSearchRequest.counter_" 33 10 WRITE * 1138 "hedc.MetaSearchRequest.counter_" 38 13 WRITE *** ------------------------------------- Number of Threads: 7 Number of Shared Variables: 32 Number of Lock Nodes: 63 Number of Message Nodes: 27 Number of Non-Method Entry/Exit Nodes: 1325 Number of Read/Write Nodes: 1504 Number of Total Nodes: 5609 Number of Races: 25 Number of Atomicity Violations: 3 Number of ASVs: 0