ViewVC Help
View File | Revision Log | Show Annotations | Download File | Root Listing
root/jsr166/jsr166/src/test/tck/Collection8Test.java
Revision: 1.34
Committed: Mon Nov 28 17:44:26 2016 UTC (7 years, 5 months ago) by jsr166
Branch: MAIN
Changes since 1.33: +2 -1 lines
Log Message:
run stress tests for LONG_DELAY_MS when expensiveTests

File Contents

# User Rev Content
1 jsr166 1.1 /*
2     * Written by Doug Lea and Martin Buchholz with assistance from
3     * members of JCP JSR-166 Expert Group and released to the public
4     * domain, as explained at
5     * http://creativecommons.org/publicdomain/zero/1.0/
6     */
7    
8 jsr166 1.16 import static java.util.concurrent.TimeUnit.HOURS;
9 jsr166 1.1 import static java.util.concurrent.TimeUnit.MILLISECONDS;
10    
11     import java.util.ArrayList;
12 jsr166 1.18 import java.util.Arrays;
13 jsr166 1.1 import java.util.Collection;
14     import java.util.Collections;
15 jsr166 1.5 import java.util.Deque;
16     import java.util.HashSet;
17     import java.util.Iterator;
18     import java.util.List;
19     import java.util.NoSuchElementException;
20     import java.util.Queue;
21     import java.util.Spliterator;
22 jsr166 1.14 import java.util.concurrent.BlockingDeque;
23     import java.util.concurrent.BlockingQueue;
24 jsr166 1.32 import java.util.concurrent.ConcurrentLinkedQueue;
25 jsr166 1.2 import java.util.concurrent.CountDownLatch;
26 jsr166 1.1 import java.util.concurrent.Executors;
27     import java.util.concurrent.ExecutorService;
28     import java.util.concurrent.Future;
29 jsr166 1.26 import java.util.concurrent.Phaser;
30 jsr166 1.5 import java.util.concurrent.ThreadLocalRandom;
31 jsr166 1.1 import java.util.concurrent.atomic.AtomicBoolean;
32     import java.util.concurrent.atomic.AtomicLong;
33 jsr166 1.5 import java.util.concurrent.atomic.AtomicReference;
34 jsr166 1.1 import java.util.function.Consumer;
35 jsr166 1.5 import java.util.function.Predicate;
36 jsr166 1.26 import java.util.stream.Collectors;
37 jsr166 1.1
38     import junit.framework.Test;
39    
40     /**
41     * Contains tests applicable to all jdk8+ Collection implementations.
42     * An extension of CollectionTest.
43     */
44     public class Collection8Test extends JSR166TestCase {
45     final CollectionImplementation impl;
46    
47     /** Tests are parameterized by a Collection implementation. */
48     Collection8Test(CollectionImplementation impl, String methodName) {
49     super(methodName);
50     this.impl = impl;
51     }
52    
53     public static Test testSuite(CollectionImplementation impl) {
54     return parameterizedTestSuite(Collection8Test.class,
55     CollectionImplementation.class,
56     impl);
57     }
58    
59 jsr166 1.10 Object bomb() {
60     return new Object() {
61     public boolean equals(Object x) { throw new AssertionError(); }
62     public int hashCode() { throw new AssertionError(); }
63     };
64     }
65    
66 jsr166 1.5 /** Checks properties of empty collections. */
67 jsr166 1.24 public void testEmptyMeansEmpty() throws Throwable {
68 jsr166 1.5 Collection c = impl.emptyCollection();
69 jsr166 1.12 emptyMeansEmpty(c);
70    
71 jsr166 1.24 if (c instanceof java.io.Serializable) {
72     try {
73     emptyMeansEmpty(serialClonePossiblyFailing(c));
74     } catch (java.io.NotSerializableException ex) {
75     // excusable when we have a serializable wrapper around
76     // a non-serializable collection, as can happen with:
77     // Vector.subList() => wrapped AbstractList$RandomAccessSubList
78     if (testImplementationDetails
79     && (! c.getClass().getName().matches(
80     "java.util.Collections.*")))
81     throw ex;
82     }
83     }
84 jsr166 1.12
85     Collection clone = cloneableClone(c);
86     if (clone != null)
87     emptyMeansEmpty(clone);
88     }
89    
90 jsr166 1.14 void emptyMeansEmpty(Collection c) throws InterruptedException {
91 jsr166 1.5 assertTrue(c.isEmpty());
92     assertEquals(0, c.size());
93     assertEquals("[]", c.toString());
94     {
95     Object[] a = c.toArray();
96     assertEquals(0, a.length);
97     assertSame(Object[].class, a.getClass());
98     }
99     {
100     Object[] a = new Object[0];
101     assertSame(a, c.toArray(a));
102     }
103     {
104     Integer[] a = new Integer[0];
105     assertSame(a, c.toArray(a));
106     }
107     {
108     Integer[] a = { 1, 2, 3};
109     assertSame(a, c.toArray(a));
110     assertNull(a[0]);
111     assertSame(2, a[1]);
112     assertSame(3, a[2]);
113     }
114     assertIteratorExhausted(c.iterator());
115 jsr166 1.19 Consumer alwaysThrows = e -> { throw new AssertionError(); };
116 jsr166 1.5 c.forEach(alwaysThrows);
117     c.iterator().forEachRemaining(alwaysThrows);
118     c.spliterator().forEachRemaining(alwaysThrows);
119     assertFalse(c.spliterator().tryAdvance(alwaysThrows));
120 jsr166 1.9 if (c.spliterator().hasCharacteristics(Spliterator.SIZED))
121     assertEquals(0, c.spliterator().estimateSize());
122 jsr166 1.10 assertFalse(c.contains(bomb()));
123     assertFalse(c.remove(bomb()));
124 jsr166 1.11 if (c instanceof Queue) {
125 jsr166 1.5 Queue q = (Queue) c;
126     assertNull(q.peek());
127     assertNull(q.poll());
128     }
129 jsr166 1.11 if (c instanceof Deque) {
130 jsr166 1.5 Deque d = (Deque) c;
131     assertNull(d.peekFirst());
132     assertNull(d.peekLast());
133     assertNull(d.pollFirst());
134     assertNull(d.pollLast());
135     assertIteratorExhausted(d.descendingIterator());
136 jsr166 1.9 d.descendingIterator().forEachRemaining(alwaysThrows);
137 jsr166 1.10 assertFalse(d.removeFirstOccurrence(bomb()));
138     assertFalse(d.removeLastOccurrence(bomb()));
139 jsr166 1.5 }
140 jsr166 1.14 if (c instanceof BlockingQueue) {
141     BlockingQueue q = (BlockingQueue) c;
142     assertNull(q.poll(0L, MILLISECONDS));
143     }
144     if (c instanceof BlockingDeque) {
145     BlockingDeque q = (BlockingDeque) c;
146     assertNull(q.pollFirst(0L, MILLISECONDS));
147     assertNull(q.pollLast(0L, MILLISECONDS));
148     }
149 jsr166 1.5 }
150    
151 jsr166 1.14 public void testNullPointerExceptions() throws InterruptedException {
152 jsr166 1.5 Collection c = impl.emptyCollection();
153     assertThrows(
154     NullPointerException.class,
155     () -> c.addAll(null),
156     () -> c.containsAll(null),
157     () -> c.retainAll(null),
158     () -> c.removeAll(null),
159     () -> c.removeIf(null),
160 jsr166 1.6 () -> c.forEach(null),
161     () -> c.iterator().forEachRemaining(null),
162     () -> c.spliterator().forEachRemaining(null),
163     () -> c.spliterator().tryAdvance(null),
164 jsr166 1.5 () -> c.toArray(null));
165    
166     if (!impl.permitsNulls()) {
167     assertThrows(
168     NullPointerException.class,
169     () -> c.add(null));
170     }
171 jsr166 1.14 if (!impl.permitsNulls() && c instanceof Queue) {
172 jsr166 1.5 Queue q = (Queue) c;
173     assertThrows(
174     NullPointerException.class,
175     () -> q.offer(null));
176     }
177 jsr166 1.14 if (!impl.permitsNulls() && c instanceof Deque) {
178 jsr166 1.5 Deque d = (Deque) c;
179     assertThrows(
180     NullPointerException.class,
181     () -> d.addFirst(null),
182     () -> d.addLast(null),
183     () -> d.offerFirst(null),
184     () -> d.offerLast(null),
185 jsr166 1.6 () -> d.push(null),
186     () -> d.descendingIterator().forEachRemaining(null));
187 jsr166 1.5 }
188 jsr166 1.15 if (c instanceof BlockingQueue) {
189 jsr166 1.14 BlockingQueue q = (BlockingQueue) c;
190     assertThrows(
191     NullPointerException.class,
192     () -> {
193 jsr166 1.16 try { q.offer(null, 1L, HOURS); }
194 jsr166 1.14 catch (InterruptedException ex) {
195     throw new AssertionError(ex);
196 jsr166 1.15 }},
197     () -> {
198     try { q.put(null); }
199     catch (InterruptedException ex) {
200     throw new AssertionError(ex);
201 jsr166 1.14 }});
202     }
203 jsr166 1.15 if (c instanceof BlockingDeque) {
204 jsr166 1.14 BlockingDeque q = (BlockingDeque) c;
205     assertThrows(
206     NullPointerException.class,
207     () -> {
208 jsr166 1.16 try { q.offerFirst(null, 1L, HOURS); }
209 jsr166 1.14 catch (InterruptedException ex) {
210     throw new AssertionError(ex);
211     }},
212     () -> {
213 jsr166 1.16 try { q.offerLast(null, 1L, HOURS); }
214 jsr166 1.14 catch (InterruptedException ex) {
215     throw new AssertionError(ex);
216 jsr166 1.15 }},
217     () -> {
218     try { q.putFirst(null); }
219     catch (InterruptedException ex) {
220     throw new AssertionError(ex);
221     }},
222     () -> {
223     try { q.putLast(null); }
224     catch (InterruptedException ex) {
225     throw new AssertionError(ex);
226 jsr166 1.14 }});
227     }
228 jsr166 1.5 }
229    
230     public void testNoSuchElementExceptions() {
231     Collection c = impl.emptyCollection();
232     assertThrows(
233     NoSuchElementException.class,
234     () -> c.iterator().next());
235    
236 jsr166 1.14 if (c instanceof Queue) {
237 jsr166 1.5 Queue q = (Queue) c;
238     assertThrows(
239     NoSuchElementException.class,
240     () -> q.element(),
241     () -> q.remove());
242     }
243 jsr166 1.14 if (c instanceof Deque) {
244 jsr166 1.5 Deque d = (Deque) c;
245     assertThrows(
246     NoSuchElementException.class,
247     () -> d.getFirst(),
248     () -> d.getLast(),
249     () -> d.removeFirst(),
250     () -> d.removeLast(),
251     () -> d.pop(),
252     () -> d.descendingIterator().next());
253     }
254     }
255    
256     public void testRemoveIf() {
257     Collection c = impl.emptyCollection();
258 jsr166 1.22 boolean ordered =
259     c.spliterator().hasCharacteristics(Spliterator.ORDERED);
260 jsr166 1.5 ThreadLocalRandom rnd = ThreadLocalRandom.current();
261     int n = rnd.nextInt(6);
262     for (int i = 0; i < n; i++) c.add(impl.makeElement(i));
263     AtomicReference threwAt = new AtomicReference(null);
264 jsr166 1.18 List orig = rnd.nextBoolean()
265     ? new ArrayList(c)
266     : Arrays.asList(c.toArray());
267    
268     // Merely creating an iterator can change ArrayBlockingQueue behavior
269     Iterator it = rnd.nextBoolean() ? c.iterator() : null;
270    
271     ArrayList survivors = new ArrayList();
272 jsr166 1.5 ArrayList accepts = new ArrayList();
273     ArrayList rejects = new ArrayList();
274 jsr166 1.18
275 jsr166 1.19 Predicate randomPredicate = e -> {
276 jsr166 1.5 assertNull(threwAt.get());
277     switch (rnd.nextInt(3)) {
278     case 0: accepts.add(e); return true;
279     case 1: rejects.add(e); return false;
280     case 2: threwAt.set(e); throw new ArithmeticException();
281     default: throw new AssertionError();
282     }
283     };
284     try {
285 jsr166 1.7 try {
286     boolean modified = c.removeIf(randomPredicate);
287 jsr166 1.18 assertNull(threwAt.get());
288     assertEquals(modified, accepts.size() > 0);
289     assertEquals(modified, rejects.size() != n);
290     assertEquals(accepts.size() + rejects.size(), n);
291 jsr166 1.22 if (ordered) {
292     assertEquals(rejects,
293     Arrays.asList(c.toArray()));
294     } else {
295     assertEquals(new HashSet(rejects),
296     new HashSet(Arrays.asList(c.toArray())));
297     }
298 jsr166 1.18 } catch (ArithmeticException ok) {
299     assertNotNull(threwAt.get());
300     assertTrue(c.contains(threwAt.get()));
301     }
302     if (it != null && impl.isConcurrent())
303     // check for weakly consistent iterator
304     while (it.hasNext()) assertTrue(orig.contains(it.next()));
305     switch (rnd.nextInt(4)) {
306     case 0: survivors.addAll(c); break;
307     case 1: survivors.addAll(Arrays.asList(c.toArray())); break;
308 jsr166 1.28 case 2: c.forEach(survivors::add); break;
309 jsr166 1.18 case 3: for (Object e : c) survivors.add(e); break;
310     }
311     assertTrue(orig.containsAll(accepts));
312     assertTrue(orig.containsAll(rejects));
313     assertTrue(orig.containsAll(survivors));
314     assertTrue(orig.containsAll(c));
315     assertTrue(c.containsAll(rejects));
316 jsr166 1.7 assertTrue(c.containsAll(survivors));
317     assertTrue(survivors.containsAll(rejects));
318 jsr166 1.22 if (threwAt.get() == null) {
319     assertEquals(n - accepts.size(), c.size());
320     for (Object x : accepts) assertFalse(c.contains(x));
321     } else {
322     // Two acceptable behaviors: entire removeIf call is one
323     // transaction, or each element processed is one transaction.
324     assertTrue(n == c.size() || n == c.size() + accepts.size());
325     int k = 0;
326     for (Object x : accepts) if (c.contains(x)) k++;
327     assertTrue(k == accepts.size() || k == 0);
328     }
329 jsr166 1.7 } catch (Throwable ex) {
330 jsr166 1.5 System.err.println(impl.klazz());
331 jsr166 1.23 // c is at risk of corruption if we got here, so be lenient
332     try { System.err.printf("c=%s%n", c); }
333     catch (Throwable t) { t.printStackTrace(); }
334 jsr166 1.7 System.err.printf("n=%d%n", n);
335 jsr166 1.18 System.err.printf("orig=%s%n", orig);
336 jsr166 1.7 System.err.printf("accepts=%s%n", accepts);
337     System.err.printf("rejects=%s%n", rejects);
338 jsr166 1.8 System.err.printf("survivors=%s%n", survivors);
339 jsr166 1.18 System.err.printf("threwAt=%s%n", threwAt.get());
340 jsr166 1.7 throw ex;
341 jsr166 1.5 }
342     }
343    
344     /**
345     * Various ways of traversing a collection yield same elements
346     */
347     public void testIteratorEquivalence() {
348     Collection c = impl.emptyCollection();
349     ThreadLocalRandom rnd = ThreadLocalRandom.current();
350     int n = rnd.nextInt(6);
351     for (int i = 0; i < n; i++) c.add(impl.makeElement(i));
352     ArrayList iterated = new ArrayList();
353     ArrayList iteratedForEachRemaining = new ArrayList();
354 jsr166 1.13 ArrayList tryAdvanced = new ArrayList();
355 jsr166 1.5 ArrayList spliterated = new ArrayList();
356 jsr166 1.33 ArrayList splitonced = new ArrayList();
357 jsr166 1.13 ArrayList forEached = new ArrayList();
358 jsr166 1.32 ArrayList streamForEached = new ArrayList();
359     ConcurrentLinkedQueue parallelStreamForEached = new ConcurrentLinkedQueue();
360 jsr166 1.13 ArrayList removeIfed = new ArrayList();
361 jsr166 1.5 for (Object x : c) iterated.add(x);
362 jsr166 1.28 c.iterator().forEachRemaining(iteratedForEachRemaining::add);
363 jsr166 1.13 for (Spliterator s = c.spliterator();
364 jsr166 1.28 s.tryAdvance(tryAdvanced::add); ) {}
365     c.spliterator().forEachRemaining(spliterated::add);
366 jsr166 1.33 { // trySplit returns "strict prefix"
367     Spliterator s1 = c.spliterator(), s2 = s1.trySplit();
368     if (s2 != null) s2.forEachRemaining(splitonced::add);
369     s1.forEachRemaining(splitonced::add);
370     }
371 jsr166 1.28 c.forEach(forEached::add);
372 jsr166 1.32 c.stream().forEach(streamForEached::add);
373     c.parallelStream().forEach(parallelStreamForEached::add);
374 jsr166 1.13 c.removeIf(e -> { removeIfed.add(e); return false; });
375 jsr166 1.5 boolean ordered =
376     c.spliterator().hasCharacteristics(Spliterator.ORDERED);
377     if (c instanceof List || c instanceof Deque)
378     assertTrue(ordered);
379 jsr166 1.32 HashSet cset = new HashSet(c);
380     assertEquals(cset, new HashSet(parallelStreamForEached));
381 jsr166 1.5 if (ordered) {
382     assertEquals(iterated, iteratedForEachRemaining);
383 jsr166 1.13 assertEquals(iterated, tryAdvanced);
384 jsr166 1.5 assertEquals(iterated, spliterated);
385 jsr166 1.33 assertEquals(iterated, splitonced);
386 jsr166 1.13 assertEquals(iterated, forEached);
387 jsr166 1.32 assertEquals(iterated, streamForEached);
388 jsr166 1.13 assertEquals(iterated, removeIfed);
389 jsr166 1.5 } else {
390     assertEquals(cset, new HashSet(iterated));
391     assertEquals(cset, new HashSet(iteratedForEachRemaining));
392 jsr166 1.13 assertEquals(cset, new HashSet(tryAdvanced));
393 jsr166 1.5 assertEquals(cset, new HashSet(spliterated));
394 jsr166 1.33 assertEquals(cset, new HashSet(splitonced));
395 jsr166 1.13 assertEquals(cset, new HashSet(forEached));
396 jsr166 1.32 assertEquals(cset, new HashSet(streamForEached));
397 jsr166 1.13 assertEquals(cset, new HashSet(removeIfed));
398 jsr166 1.5 }
399     if (c instanceof Deque) {
400     Deque d = (Deque) c;
401     ArrayList descending = new ArrayList();
402     ArrayList descendingForEachRemaining = new ArrayList();
403     for (Iterator it = d.descendingIterator(); it.hasNext(); )
404     descending.add(it.next());
405     d.descendingIterator().forEachRemaining(
406     e -> descendingForEachRemaining.add(e));
407     Collections.reverse(descending);
408     Collections.reverse(descendingForEachRemaining);
409     assertEquals(iterated, descending);
410     assertEquals(iterated, descendingForEachRemaining);
411     }
412     }
413    
414     /**
415     * Calling Iterator#remove() after Iterator#forEachRemaining
416 jsr166 1.21 * should (maybe) remove last element
417 jsr166 1.5 */
418     public void testRemoveAfterForEachRemaining() {
419     Collection c = impl.emptyCollection();
420     ThreadLocalRandom rnd = ThreadLocalRandom.current();
421 jsr166 1.25 testCollection: {
422 jsr166 1.5 int n = 3 + rnd.nextInt(2);
423     for (int i = 0; i < n; i++) c.add(impl.makeElement(i));
424     Iterator it = c.iterator();
425     assertTrue(it.hasNext());
426     assertEquals(impl.makeElement(0), it.next());
427     assertTrue(it.hasNext());
428     assertEquals(impl.makeElement(1), it.next());
429 jsr166 1.21 it.forEachRemaining(e -> assertTrue(c.contains(e)));
430     if (testImplementationDetails) {
431     if (c instanceof java.util.concurrent.ArrayBlockingQueue) {
432     assertIteratorExhausted(it);
433     } else {
434 jsr166 1.25 try { it.remove(); }
435     catch (UnsupportedOperationException ok) {
436     break testCollection;
437     }
438 jsr166 1.21 assertEquals(n - 1, c.size());
439     for (int i = 0; i < n - 1; i++)
440     assertTrue(c.contains(impl.makeElement(i)));
441     assertFalse(c.contains(impl.makeElement(n - 1)));
442     }
443     }
444 jsr166 1.5 }
445     if (c instanceof Deque) {
446     Deque d = (Deque) impl.emptyCollection();
447     int n = 3 + rnd.nextInt(2);
448     for (int i = 0; i < n; i++) d.add(impl.makeElement(i));
449     Iterator it = d.descendingIterator();
450     assertTrue(it.hasNext());
451     assertEquals(impl.makeElement(n - 1), it.next());
452     assertTrue(it.hasNext());
453     assertEquals(impl.makeElement(n - 2), it.next());
454 jsr166 1.21 it.forEachRemaining(e -> assertTrue(c.contains(e)));
455     if (testImplementationDetails) {
456     it.remove();
457     assertEquals(n - 1, d.size());
458     for (int i = 1; i < n; i++)
459     assertTrue(d.contains(impl.makeElement(i)));
460     assertFalse(d.contains(impl.makeElement(0)));
461     }
462 jsr166 1.5 }
463     }
464    
465 jsr166 1.1 /**
466     * stream().forEach returns elements in the collection
467     */
468 jsr166 1.3 public void testStreamForEach() throws Throwable {
469 jsr166 1.1 final Collection c = impl.emptyCollection();
470     final AtomicLong count = new AtomicLong(0L);
471     final Object x = impl.makeElement(1);
472     final Object y = impl.makeElement(2);
473     final ArrayList found = new ArrayList();
474 jsr166 1.20 Consumer<Object> spy = o -> found.add(o);
475 jsr166 1.1 c.stream().forEach(spy);
476     assertTrue(found.isEmpty());
477    
478     assertTrue(c.add(x));
479     c.stream().forEach(spy);
480     assertEquals(Collections.singletonList(x), found);
481     found.clear();
482    
483     assertTrue(c.add(y));
484     c.stream().forEach(spy);
485     assertEquals(2, found.size());
486     assertTrue(found.contains(x));
487     assertTrue(found.contains(y));
488     found.clear();
489    
490     c.clear();
491     c.stream().forEach(spy);
492     assertTrue(found.isEmpty());
493     }
494    
495 jsr166 1.3 public void testStreamForEachConcurrentStressTest() throws Throwable {
496     if (!impl.isConcurrent()) return;
497     final Collection c = impl.emptyCollection();
498     final long testDurationMillis = timeoutMillis();
499     final AtomicBoolean done = new AtomicBoolean(false);
500     final Object elt = impl.makeElement(1);
501     final Future<?> f1, f2;
502     final ExecutorService pool = Executors.newCachedThreadPool();
503     try (PoolCleaner cleaner = cleaner(pool, done)) {
504     final CountDownLatch threadsStarted = new CountDownLatch(2);
505     Runnable checkElt = () -> {
506     threadsStarted.countDown();
507     while (!done.get())
508 jsr166 1.20 c.stream().forEach(x -> assertSame(x, elt)); };
509 jsr166 1.3 Runnable addRemove = () -> {
510     threadsStarted.countDown();
511     while (!done.get()) {
512     assertTrue(c.add(elt));
513     assertTrue(c.remove(elt));
514     }};
515     f1 = pool.submit(checkElt);
516     f2 = pool.submit(addRemove);
517     Thread.sleep(testDurationMillis);
518     }
519     assertNull(f1.get(0L, MILLISECONDS));
520     assertNull(f2.get(0L, MILLISECONDS));
521     }
522    
523     /**
524     * collection.forEach returns elements in the collection
525     */
526     public void testForEach() throws Throwable {
527     final Collection c = impl.emptyCollection();
528     final AtomicLong count = new AtomicLong(0L);
529     final Object x = impl.makeElement(1);
530     final Object y = impl.makeElement(2);
531     final ArrayList found = new ArrayList();
532 jsr166 1.20 Consumer<Object> spy = o -> found.add(o);
533 jsr166 1.3 c.forEach(spy);
534     assertTrue(found.isEmpty());
535    
536     assertTrue(c.add(x));
537     c.forEach(spy);
538     assertEquals(Collections.singletonList(x), found);
539     found.clear();
540    
541     assertTrue(c.add(y));
542     c.forEach(spy);
543     assertEquals(2, found.size());
544     assertTrue(found.contains(x));
545     assertTrue(found.contains(y));
546     found.clear();
547    
548     c.clear();
549     c.forEach(spy);
550     assertTrue(found.isEmpty());
551     }
552    
553 jsr166 1.26 /**
554     * Motley crew of threads concurrently randomly hammer the collection.
555     */
556     public void testDetectRaces() throws Throwable {
557 jsr166 1.1 if (!impl.isConcurrent()) return;
558 jsr166 1.26 final ThreadLocalRandom rnd = ThreadLocalRandom.current();
559 jsr166 1.1 final Collection c = impl.emptyCollection();
560 jsr166 1.34 final long testDurationMillis
561     = expensiveTests ? LONG_DELAY_MS : timeoutMillis();
562 jsr166 1.1 final AtomicBoolean done = new AtomicBoolean(false);
563 jsr166 1.26 final Object one = impl.makeElement(1);
564     final Object two = impl.makeElement(2);
565 jsr166 1.29 final Object[] emptyArray =
566     (Object[]) java.lang.reflect.Array.newInstance(one.getClass(), 0);
567 jsr166 1.26 final List<Future<?>> futures;
568     final Phaser threadsStarted = new Phaser(1); // register this thread
569 jsr166 1.32 final Consumer checkSanity = x -> assertTrue(x == one || x == two);
570 jsr166 1.27 final Runnable[] frobbers = {
571 jsr166 1.32 () -> c.forEach(checkSanity),
572     () -> c.stream().forEach(checkSanity),
573     () -> c.parallelStream().forEach(checkSanity),
574 jsr166 1.26 () -> c.spliterator().trySplit(),
575     () -> {
576     Spliterator s = c.spliterator();
577 jsr166 1.32 s.tryAdvance(checkSanity);
578 jsr166 1.26 s.trySplit();
579     },
580     () -> {
581     Spliterator s = c.spliterator();
582 jsr166 1.32 do {} while (s.tryAdvance(checkSanity));
583 jsr166 1.29 },
584 jsr166 1.32 () -> { for (Object x : c) checkSanity.accept(x); },
585     () -> { for (Object x : c.toArray()) checkSanity.accept(x); },
586     () -> { for (Object x : c.toArray(emptyArray)) checkSanity.accept(x); },
587 jsr166 1.29 () -> {
588 jsr166 1.26 assertTrue(c.add(one));
589     assertTrue(c.contains(one));
590     assertTrue(c.remove(one));
591     assertFalse(c.contains(one));
592     },
593     () -> {
594     assertTrue(c.add(two));
595     assertTrue(c.contains(two));
596     assertTrue(c.remove(two));
597     assertFalse(c.contains(two));
598 jsr166 1.27 },
599     };
600     final List<Runnable> tasks =
601     Arrays.stream(frobbers)
602 jsr166 1.26 .filter(task -> rnd.nextBoolean()) // random subset
603     .map(task -> (Runnable) () -> {
604     threadsStarted.arriveAndAwaitAdvance();
605     while (!done.get())
606     task.run();
607     })
608     .collect(Collectors.toList());
609 jsr166 1.2 final ExecutorService pool = Executors.newCachedThreadPool();
610     try (PoolCleaner cleaner = cleaner(pool, done)) {
611 jsr166 1.26 threadsStarted.bulkRegister(tasks.size());
612     futures = tasks.stream()
613 jsr166 1.28 .map(pool::submit)
614 jsr166 1.26 .collect(Collectors.toList());
615     threadsStarted.arriveAndDeregister();
616 jsr166 1.2 Thread.sleep(testDurationMillis);
617     }
618 jsr166 1.26 for (Future future : futures)
619     assertNull(future.get(0L, MILLISECONDS));
620 jsr166 1.1 }
621    
622 jsr166 1.30 /**
623     * Spliterators are either IMMUTABLE or truly late-binding or, if
624     * concurrent, use the same "late-binding style" of returning
625     * elements added between creation and first use.
626     */
627     public void testLateBindingStyle() {
628     if (!testImplementationDetails) return;
629 jsr166 1.31 if (impl.klazz() == ArrayList.class) return; // for jdk8
630 jsr166 1.30 // Immutable (snapshot) spliterators are exempt
631     if (impl.emptyCollection().spliterator()
632     .hasCharacteristics(Spliterator.IMMUTABLE))
633     return;
634     final Object one = impl.makeElement(1);
635     {
636     final Collection c = impl.emptyCollection();
637     final Spliterator split = c.spliterator();
638     c.add(one);
639     assertTrue(split.tryAdvance(e -> { assertSame(e, one); }));
640     assertFalse(split.tryAdvance(e -> { throw new AssertionError(); }));
641     assertTrue(c.contains(one));
642     }
643     {
644     final AtomicLong count = new AtomicLong(0);
645     final Collection c = impl.emptyCollection();
646     final Spliterator split = c.spliterator();
647     c.add(one);
648     split.forEachRemaining(
649     e -> { assertSame(e, one); count.getAndIncrement(); });
650     assertEquals(1L, count.get());
651     assertFalse(split.tryAdvance(e -> { throw new AssertionError(); }));
652     assertTrue(c.contains(one));
653     }
654     }
655    
656 jsr166 1.4 // public void testCollection8DebugFail() {
657     // fail(impl.klazz().getSimpleName());
658     // }
659 jsr166 1.1 }