equal
deleted
inserted
replaced
92 pool.execute(this); |
92 pool.execute(this); |
93 barrier.await(); |
93 barrier.await(); |
94 barrier.await(); |
94 barrier.await(); |
95 if (print) { |
95 if (print) { |
96 long time = timer.getTime(); |
96 long time = timer.getTime(); |
97 double secs = (double)(time) / 1000000000.0; |
97 double secs = (double)time / 1000000000.0; |
98 System.out.println("\t " + secs + "s run time"); |
98 System.out.println("\t " + secs + "s run time"); |
99 } |
99 } |
100 |
100 |
101 int r = result; |
101 int r = result; |
102 if (r == 0) // avoid overoptimization |
102 if (r == 0) // avoid overoptimization |