ViewVC Help
View File | Revision Log | Show Annotations | Download File | Root Listing
root/jsr166/jsr166/src/test/tck/Collection8Test.java
(Generate patch)

Comparing jsr166/src/test/tck/Collection8Test.java (file contents):
Revision 1.1 by jsr166, Sun Jun 14 20:58:14 2015 UTC vs.
Revision 1.32 by jsr166, Mon Nov 28 03:30:28 2016 UTC

# Line 5 | Line 5
5   * http://creativecommons.org/publicdomain/zero/1.0/
6   */
7  
8 + import static java.util.concurrent.TimeUnit.HOURS;
9   import static java.util.concurrent.TimeUnit.MILLISECONDS;
10  
11   import java.util.ArrayList;
12 + import java.util.Arrays;
13   import java.util.Collection;
14   import java.util.Collections;
15 + 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 + import java.util.concurrent.BlockingDeque;
23 + import java.util.concurrent.BlockingQueue;
24 + import java.util.concurrent.ConcurrentLinkedQueue;
25 + import java.util.concurrent.CountDownLatch;
26   import java.util.concurrent.Executors;
27   import java.util.concurrent.ExecutorService;
28   import java.util.concurrent.Future;
29 + import java.util.concurrent.Phaser;
30 + import java.util.concurrent.ThreadLocalRandom;
31   import java.util.concurrent.atomic.AtomicBoolean;
32   import java.util.concurrent.atomic.AtomicLong;
33 + import java.util.concurrent.atomic.AtomicReference;
34   import java.util.function.Consumer;
35 + import java.util.function.Predicate;
36 + import java.util.stream.Collectors;
37  
38   import junit.framework.Test;
39  
# Line 38 | Line 56 | public class Collection8Test extends JSR
56                                        impl);
57      }
58  
59 +    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 +    /** Checks properties of empty collections. */
67 +    public void testEmptyMeansEmpty() throws Throwable {
68 +        Collection c = impl.emptyCollection();
69 +        emptyMeansEmpty(c);
70 +
71 +        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 +
85 +        Collection clone = cloneableClone(c);
86 +        if (clone != null)
87 +            emptyMeansEmpty(clone);
88 +    }
89 +
90 +    void emptyMeansEmpty(Collection c) throws InterruptedException {
91 +        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 +        Consumer alwaysThrows = e -> { throw new AssertionError(); };
116 +        c.forEach(alwaysThrows);
117 +        c.iterator().forEachRemaining(alwaysThrows);
118 +        c.spliterator().forEachRemaining(alwaysThrows);
119 +        assertFalse(c.spliterator().tryAdvance(alwaysThrows));
120 +        if (c.spliterator().hasCharacteristics(Spliterator.SIZED))
121 +            assertEquals(0, c.spliterator().estimateSize());
122 +        assertFalse(c.contains(bomb()));
123 +        assertFalse(c.remove(bomb()));
124 +        if (c instanceof Queue) {
125 +            Queue q = (Queue) c;
126 +            assertNull(q.peek());
127 +            assertNull(q.poll());
128 +        }
129 +        if (c instanceof Deque) {
130 +            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 +            d.descendingIterator().forEachRemaining(alwaysThrows);
137 +            assertFalse(d.removeFirstOccurrence(bomb()));
138 +            assertFalse(d.removeLastOccurrence(bomb()));
139 +        }
140 +        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 +    }
150 +
151 +    public void testNullPointerExceptions() throws InterruptedException {
152 +        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 +            () -> c.forEach(null),
161 +            () -> c.iterator().forEachRemaining(null),
162 +            () -> c.spliterator().forEachRemaining(null),
163 +            () -> c.spliterator().tryAdvance(null),
164 +            () -> c.toArray(null));
165 +
166 +        if (!impl.permitsNulls()) {
167 +            assertThrows(
168 +                NullPointerException.class,
169 +                () -> c.add(null));
170 +        }
171 +        if (!impl.permitsNulls() && c instanceof Queue) {
172 +            Queue q = (Queue) c;
173 +            assertThrows(
174 +                NullPointerException.class,
175 +                () -> q.offer(null));
176 +        }
177 +        if (!impl.permitsNulls() && c instanceof Deque) {
178 +            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 +                () -> d.push(null),
186 +                () -> d.descendingIterator().forEachRemaining(null));
187 +        }
188 +        if (c instanceof BlockingQueue) {
189 +            BlockingQueue q = (BlockingQueue) c;
190 +            assertThrows(
191 +                NullPointerException.class,
192 +                () -> {
193 +                    try { q.offer(null, 1L, HOURS); }
194 +                    catch (InterruptedException ex) {
195 +                        throw new AssertionError(ex);
196 +                    }},
197 +                () -> {
198 +                    try { q.put(null); }
199 +                    catch (InterruptedException ex) {
200 +                        throw new AssertionError(ex);
201 +                    }});
202 +        }
203 +        if (c instanceof BlockingDeque) {
204 +            BlockingDeque q = (BlockingDeque) c;
205 +            assertThrows(
206 +                NullPointerException.class,
207 +                () -> {
208 +                    try { q.offerFirst(null, 1L, HOURS); }
209 +                    catch (InterruptedException ex) {
210 +                        throw new AssertionError(ex);
211 +                    }},
212 +                () -> {
213 +                    try { q.offerLast(null, 1L, HOURS); }
214 +                    catch (InterruptedException ex) {
215 +                        throw new AssertionError(ex);
216 +                    }},
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 +                    }});
227 +        }
228 +    }
229 +
230 +    public void testNoSuchElementExceptions() {
231 +        Collection c = impl.emptyCollection();
232 +        assertThrows(
233 +            NoSuchElementException.class,
234 +            () -> c.iterator().next());
235 +
236 +        if (c instanceof Queue) {
237 +            Queue q = (Queue) c;
238 +            assertThrows(
239 +                NoSuchElementException.class,
240 +                () -> q.element(),
241 +                () -> q.remove());
242 +        }
243 +        if (c instanceof Deque) {
244 +            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 +        boolean ordered =
259 +            c.spliterator().hasCharacteristics(Spliterator.ORDERED);
260 +        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 +        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 +        ArrayList accepts = new ArrayList();
273 +        ArrayList rejects = new ArrayList();
274 +
275 +        Predicate randomPredicate = e -> {
276 +            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 +            try {
286 +                boolean modified = c.removeIf(randomPredicate);
287 +                assertNull(threwAt.get());
288 +                assertEquals(modified, accepts.size() > 0);
289 +                assertEquals(modified, rejects.size() != n);
290 +                assertEquals(accepts.size() + rejects.size(), n);
291 +                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 +            } 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 +            case 2: c.forEach(survivors::add); break;
309 +            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 +            assertTrue(c.containsAll(survivors));
317 +            assertTrue(survivors.containsAll(rejects));
318 +            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 +        } catch (Throwable ex) {
330 +            System.err.println(impl.klazz());
331 +            // 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 +            System.err.printf("n=%d%n", n);
335 +            System.err.printf("orig=%s%n", orig);
336 +            System.err.printf("accepts=%s%n", accepts);
337 +            System.err.printf("rejects=%s%n", rejects);
338 +            System.err.printf("survivors=%s%n", survivors);
339 +            System.err.printf("threwAt=%s%n", threwAt.get());
340 +            throw ex;
341 +        }
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 +        ArrayList tryAdvanced = new ArrayList();
355 +        ArrayList spliterated = new ArrayList();
356 +        ArrayList forEached = new ArrayList();
357 +        ArrayList streamForEached = new ArrayList();
358 +        ConcurrentLinkedQueue parallelStreamForEached = new ConcurrentLinkedQueue();
359 +        ArrayList removeIfed = new ArrayList();
360 +        for (Object x : c) iterated.add(x);
361 +        c.iterator().forEachRemaining(iteratedForEachRemaining::add);
362 +        for (Spliterator s = c.spliterator();
363 +             s.tryAdvance(tryAdvanced::add); ) {}
364 +        c.spliterator().forEachRemaining(spliterated::add);
365 +        c.forEach(forEached::add);
366 +        c.stream().forEach(streamForEached::add);
367 +        c.parallelStream().forEach(parallelStreamForEached::add);
368 +        c.removeIf(e -> { removeIfed.add(e); return false; });
369 +        boolean ordered =
370 +            c.spliterator().hasCharacteristics(Spliterator.ORDERED);
371 +        if (c instanceof List || c instanceof Deque)
372 +            assertTrue(ordered);
373 +        HashSet cset = new HashSet(c);
374 +        assertEquals(cset, new HashSet(parallelStreamForEached));
375 +        if (ordered) {
376 +            assertEquals(iterated, iteratedForEachRemaining);
377 +            assertEquals(iterated, tryAdvanced);
378 +            assertEquals(iterated, spliterated);
379 +            assertEquals(iterated, forEached);
380 +            assertEquals(iterated, streamForEached);
381 +            assertEquals(iterated, removeIfed);
382 +        } else {
383 +            assertEquals(cset, new HashSet(iterated));
384 +            assertEquals(cset, new HashSet(iteratedForEachRemaining));
385 +            assertEquals(cset, new HashSet(tryAdvanced));
386 +            assertEquals(cset, new HashSet(spliterated));
387 +            assertEquals(cset, new HashSet(forEached));
388 +            assertEquals(cset, new HashSet(streamForEached));
389 +            assertEquals(cset, new HashSet(removeIfed));
390 +        }
391 +        if (c instanceof Deque) {
392 +            Deque d = (Deque) c;
393 +            ArrayList descending = new ArrayList();
394 +            ArrayList descendingForEachRemaining = new ArrayList();
395 +            for (Iterator it = d.descendingIterator(); it.hasNext(); )
396 +                descending.add(it.next());
397 +            d.descendingIterator().forEachRemaining(
398 +                e -> descendingForEachRemaining.add(e));
399 +            Collections.reverse(descending);
400 +            Collections.reverse(descendingForEachRemaining);
401 +            assertEquals(iterated, descending);
402 +            assertEquals(iterated, descendingForEachRemaining);
403 +        }
404 +    }
405 +
406 +    /**
407 +     * Calling Iterator#remove() after Iterator#forEachRemaining
408 +     * should (maybe) remove last element
409 +     */
410 +    public void testRemoveAfterForEachRemaining() {
411 +        Collection c = impl.emptyCollection();
412 +        ThreadLocalRandom rnd = ThreadLocalRandom.current();
413 +        testCollection: {
414 +            int n = 3 + rnd.nextInt(2);
415 +            for (int i = 0; i < n; i++) c.add(impl.makeElement(i));
416 +            Iterator it = c.iterator();
417 +            assertTrue(it.hasNext());
418 +            assertEquals(impl.makeElement(0), it.next());
419 +            assertTrue(it.hasNext());
420 +            assertEquals(impl.makeElement(1), it.next());
421 +            it.forEachRemaining(e -> assertTrue(c.contains(e)));
422 +            if (testImplementationDetails) {
423 +                if (c instanceof java.util.concurrent.ArrayBlockingQueue) {
424 +                    assertIteratorExhausted(it);
425 +                } else {
426 +                    try { it.remove(); }
427 +                    catch (UnsupportedOperationException ok) {
428 +                        break testCollection;
429 +                    }
430 +                    assertEquals(n - 1, c.size());
431 +                    for (int i = 0; i < n - 1; i++)
432 +                        assertTrue(c.contains(impl.makeElement(i)));
433 +                    assertFalse(c.contains(impl.makeElement(n - 1)));
434 +                }
435 +            }
436 +        }
437 +        if (c instanceof Deque) {
438 +            Deque d = (Deque) impl.emptyCollection();
439 +            int n = 3 + rnd.nextInt(2);
440 +            for (int i = 0; i < n; i++) d.add(impl.makeElement(i));
441 +            Iterator it = d.descendingIterator();
442 +            assertTrue(it.hasNext());
443 +            assertEquals(impl.makeElement(n - 1), it.next());
444 +            assertTrue(it.hasNext());
445 +            assertEquals(impl.makeElement(n - 2), it.next());
446 +            it.forEachRemaining(e -> assertTrue(c.contains(e)));
447 +            if (testImplementationDetails) {
448 +                it.remove();
449 +                assertEquals(n - 1, d.size());
450 +                for (int i = 1; i < n; i++)
451 +                    assertTrue(d.contains(impl.makeElement(i)));
452 +                assertFalse(d.contains(impl.makeElement(0)));
453 +            }
454 +        }
455 +    }
456 +
457      /**
458       * stream().forEach returns elements in the collection
459       */
460 <    public void testForEach() throws Throwable {
460 >    public void testStreamForEach() throws Throwable {
461          final Collection c = impl.emptyCollection();
462          final AtomicLong count = new AtomicLong(0L);
463          final Object x = impl.makeElement(1);
464          final Object y = impl.makeElement(2);
465          final ArrayList found = new ArrayList();
466 <        Consumer<Object> spy = (o) -> { found.add(o); };
466 >        Consumer<Object> spy = o -> found.add(o);
467          c.stream().forEach(spy);
468          assertTrue(found.isEmpty());
469  
# Line 68 | Line 484 | public class Collection8Test extends JSR
484          assertTrue(found.isEmpty());
485      }
486  
487 <    public void testForEachConcurrentStressTest() throws Throwable {
487 >    public void testStreamForEachConcurrentStressTest() throws Throwable {
488          if (!impl.isConcurrent()) return;
489          final Collection c = impl.emptyCollection();
490 <        final long testDurationMillis = SHORT_DELAY_MS;
490 >        final long testDurationMillis = timeoutMillis();
491          final AtomicBoolean done = new AtomicBoolean(false);
492          final Object elt = impl.makeElement(1);
493 <        ExecutorService pool = Executors.newCachedThreadPool();
494 <        Runnable checkElt = () -> {
495 <            while (!done.get())
496 <                c.stream().forEach((x) -> { assertSame(x, elt); }); };
497 <        Runnable addRemove = () -> {
498 <            while (!done.get()) {
499 <                assertTrue(c.add(elt));
500 <                assertTrue(c.remove(elt));
501 <            }};
502 <        Future<?> f1 = pool.submit(checkElt);
503 <        Future<?> f2 = pool.submit(addRemove);
504 <        Thread.sleep(testDurationMillis);
505 <        done.set(true);
506 <        pool.shutdown();
507 <        assertTrue(pool.awaitTermination(LONG_DELAY_MS, MILLISECONDS));
508 <        assertNull(f1.get(LONG_DELAY_MS, MILLISECONDS));
509 <        assertNull(f2.get(LONG_DELAY_MS, MILLISECONDS));
493 >        final Future<?> f1, f2;
494 >        final ExecutorService pool = Executors.newCachedThreadPool();
495 >        try (PoolCleaner cleaner = cleaner(pool, done)) {
496 >            final CountDownLatch threadsStarted = new CountDownLatch(2);
497 >            Runnable checkElt = () -> {
498 >                threadsStarted.countDown();
499 >                while (!done.get())
500 >                    c.stream().forEach(x -> assertSame(x, elt)); };
501 >            Runnable addRemove = () -> {
502 >                threadsStarted.countDown();
503 >                while (!done.get()) {
504 >                    assertTrue(c.add(elt));
505 >                    assertTrue(c.remove(elt));
506 >                }};
507 >            f1 = pool.submit(checkElt);
508 >            f2 = pool.submit(addRemove);
509 >            Thread.sleep(testDurationMillis);
510 >        }
511 >        assertNull(f1.get(0L, MILLISECONDS));
512 >        assertNull(f2.get(0L, MILLISECONDS));
513 >    }
514 >
515 >    /**
516 >     * collection.forEach returns elements in the collection
517 >     */
518 >    public void testForEach() throws Throwable {
519 >        final Collection c = impl.emptyCollection();
520 >        final AtomicLong count = new AtomicLong(0L);
521 >        final Object x = impl.makeElement(1);
522 >        final Object y = impl.makeElement(2);
523 >        final ArrayList found = new ArrayList();
524 >        Consumer<Object> spy = o -> found.add(o);
525 >        c.forEach(spy);
526 >        assertTrue(found.isEmpty());
527 >
528 >        assertTrue(c.add(x));
529 >        c.forEach(spy);
530 >        assertEquals(Collections.singletonList(x), found);
531 >        found.clear();
532 >
533 >        assertTrue(c.add(y));
534 >        c.forEach(spy);
535 >        assertEquals(2, found.size());
536 >        assertTrue(found.contains(x));
537 >        assertTrue(found.contains(y));
538 >        found.clear();
539 >
540 >        c.clear();
541 >        c.forEach(spy);
542 >        assertTrue(found.isEmpty());
543 >    }
544 >
545 >    /**
546 >     * Motley crew of threads concurrently randomly hammer the collection.
547 >     */
548 >    public void testDetectRaces() throws Throwable {
549 >        if (!impl.isConcurrent()) return;
550 >        final ThreadLocalRandom rnd = ThreadLocalRandom.current();
551 >        final Collection c = impl.emptyCollection();
552 >        final long testDurationMillis = timeoutMillis();
553 >        final AtomicBoolean done = new AtomicBoolean(false);
554 >        final Object one = impl.makeElement(1);
555 >        final Object two = impl.makeElement(2);
556 >        final Object[] emptyArray =
557 >            (Object[]) java.lang.reflect.Array.newInstance(one.getClass(), 0);
558 >        final List<Future<?>> futures;
559 >        final Phaser threadsStarted = new Phaser(1); // register this thread
560 >        final Consumer checkSanity = x -> assertTrue(x == one || x == two);
561 >        final Runnable[] frobbers = {
562 >            () -> c.forEach(checkSanity),
563 >            () -> c.stream().forEach(checkSanity),
564 >            () -> c.parallelStream().forEach(checkSanity),
565 >            () -> c.spliterator().trySplit(),
566 >            () -> {
567 >                Spliterator s = c.spliterator();
568 >                s.tryAdvance(checkSanity);
569 >                s.trySplit();
570 >            },
571 >            () -> {
572 >                Spliterator s = c.spliterator();
573 >                do {} while (s.tryAdvance(checkSanity));
574 >            },
575 >            () -> { for (Object x : c) checkSanity.accept(x); },
576 >            () -> { for (Object x : c.toArray()) checkSanity.accept(x); },
577 >            () -> { for (Object x : c.toArray(emptyArray)) checkSanity.accept(x); },
578 >            () -> {
579 >                assertTrue(c.add(one));
580 >                assertTrue(c.contains(one));
581 >                assertTrue(c.remove(one));
582 >                assertFalse(c.contains(one));
583 >            },
584 >            () -> {
585 >                assertTrue(c.add(two));
586 >                assertTrue(c.contains(two));
587 >                assertTrue(c.remove(two));
588 >                assertFalse(c.contains(two));
589 >            },
590 >        };
591 >        final List<Runnable> tasks =
592 >            Arrays.stream(frobbers)
593 >            .filter(task -> rnd.nextBoolean()) // random subset
594 >            .map(task -> (Runnable) () -> {
595 >                     threadsStarted.arriveAndAwaitAdvance();
596 >                     while (!done.get())
597 >                         task.run();
598 >                 })
599 >            .collect(Collectors.toList());
600 >        final ExecutorService pool = Executors.newCachedThreadPool();
601 >        try (PoolCleaner cleaner = cleaner(pool, done)) {
602 >            threadsStarted.bulkRegister(tasks.size());
603 >            futures = tasks.stream()
604 >                .map(pool::submit)
605 >                .collect(Collectors.toList());
606 >            threadsStarted.arriveAndDeregister();
607 >            Thread.sleep(testDurationMillis);
608 >        }
609 >        for (Future future : futures)
610 >            assertNull(future.get(0L, MILLISECONDS));
611 >    }
612 >
613 >    /**
614 >     * Spliterators are either IMMUTABLE or truly late-binding or, if
615 >     * concurrent, use the same "late-binding style" of returning
616 >     * elements added between creation and first use.
617 >     */
618 >    public void testLateBindingStyle() {
619 >        if (!testImplementationDetails) return;
620 >        if (impl.klazz() == ArrayList.class) return; // for jdk8
621 >        // Immutable (snapshot) spliterators are exempt
622 >        if (impl.emptyCollection().spliterator()
623 >            .hasCharacteristics(Spliterator.IMMUTABLE))
624 >            return;
625 >        final Object one = impl.makeElement(1);
626 >        {
627 >            final Collection c = impl.emptyCollection();
628 >            final Spliterator split = c.spliterator();
629 >            c.add(one);
630 >            assertTrue(split.tryAdvance(e -> { assertSame(e, one); }));
631 >            assertFalse(split.tryAdvance(e -> { throw new AssertionError(); }));
632 >            assertTrue(c.contains(one));
633 >        }
634 >        {
635 >            final AtomicLong count = new AtomicLong(0);
636 >            final Collection c = impl.emptyCollection();
637 >            final Spliterator split = c.spliterator();
638 >            c.add(one);
639 >            split.forEachRemaining(
640 >                e -> { assertSame(e, one); count.getAndIncrement(); });
641 >            assertEquals(1L, count.get());
642 >            assertFalse(split.tryAdvance(e -> { throw new AssertionError(); }));
643 >            assertTrue(c.contains(one));
644 >        }
645      }
646  
647 <    // public void testCollection8DebugFail() { fail(); }
647 > //     public void testCollection8DebugFail() {
648 > //         fail(impl.klazz().getSimpleName());
649 > //     }
650   }

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines