ViewVC Help

View File | Revision Log | Show Annotations | Download File | Root Listing

root/jsr166/jsr166/src/test/tck/Collection8Test.java

Comparing jsr166/src/test/tck/Collection8Test.java (file contents):
Revision 1.11 by jsr166, Sat Nov 5 05:09:57 2016 UTC vs.
Revision 1.40 by jsr166, Sun Dec 11 22:29:45 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;
#	Line 17 | Line 19 | 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 57 | Line 64 | public class Collection8Test extends JSR
64		}
65
66		/** Checks properties of empty collections. */
67	<	public void testEmptyMeansEmpty() {
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());
#	Line 83 | Line 112 | public class Collection8Test extends JSR
112		assertSame(3, a[2]);
113		}
114		assertIteratorExhausted(c.iterator());
115	<	Consumer alwaysThrows = (e) -> { throw new AssertionError(); };
115	>	Consumer alwaysThrows = e -> { throw new AssertionError(); };
116		c.forEach(alwaysThrows);
117		c.iterator().forEachRemaining(alwaysThrows);
118		c.spliterator().forEachRemaining(alwaysThrows);
#	Line 108 | Line 137 | public class Collection8Test extends JSR
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() {
151	>	public void testNullPointerExceptions() throws InterruptedException {
152		Collection c = impl.emptyCollection();
153		assertThrows(
154		NullPointerException.class,
#	Line 130 | Line 168 | public class Collection8Test extends JSR
168		NullPointerException.class,
169		() -> c.add(null));
170		}
171	<	if (!impl.permitsNulls()
134	<	&& Queue.class.isAssignableFrom(impl.klazz())) {
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()
141	<	&& Deque.class.isAssignableFrom(impl.klazz())) {
177	>	if (!impl.permitsNulls() && c instanceof Deque) {
178		Deque d = (Deque) c;
179		assertThrows(
180		NullPointerException.class,
#	Line 149 | Line 185 | public class Collection8Test extends JSR
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() {
#	Line 157 | Line 233 | public class Collection8Test extends JSR
233		NoSuchElementException.class,
234		() -> c.iterator().next());
235
236	<	if (Queue.class.isAssignableFrom(impl.klazz())) {
236	>	if (c instanceof Queue) {
237		Queue q = (Queue) c;
238		assertThrows(
239		NoSuchElementException.class,
240		() -> q.element(),
241		() -> q.remove());
242		}
243	<	if (Deque.class.isAssignableFrom(impl.klazz())) {
243	>	if (c instanceof Deque) {
244		Deque d = (Deque) c;
245		assertThrows(
246		NoSuchElementException.class,
#	Line 179 | Line 255 | public class Collection8Test extends JSR
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	<	ArrayList survivors = new ArrayList(c);
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	<	Predicate randomPredicate = (e) -> {
274	>
275	>	Predicate randomPredicate = e -> {
276		assertNull(threwAt.get());
277		switch (rnd.nextInt(3)) {
278		case 0: accepts.add(e); return true;
#	Line 196 | Line 282 | public class Collection8Test extends JSR
282		}
283		};
284		try {
199	–	assertFalse(survivors.contains(null));
285		try {
286		boolean modified = c.removeIf(randomPredicate);
287	<	if (!modified) {
288	<	assertNull(threwAt.get());
289	<	assertEquals(n, rejects.size());
290	<	assertEquals(0, accepts.size());
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	<	survivors.removeAll(accepts);
300	<	assertEquals(n - accepts.size(), c.size());
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	<	for (Object x : accepts) assertFalse(c.contains(x));
319	<	if (threwAt.get() == null)
320	<	assertEquals(accepts.size() + rejects.size(), n);
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	<	System.err.printf("c=%s%n", c);
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("threw=%s%n", threwAt.get());
339	>	System.err.printf("threwAt=%s%n", threwAt.get());
340		throw ex;
341		}
342		}
343
344		/**
345	+	* All elements removed in the middle of CONCURRENT traversal.
346	+	*/
347	+	public void testElementRemovalDuringTraversal() {
348	+	Collection c = impl.emptyCollection();
349	+	ThreadLocalRandom rnd = ThreadLocalRandom.current();
350	+	int n = rnd.nextInt(6);
351	+	ArrayList copy = new ArrayList();
352	+	for (int i = 0; i < n; i++) {
353	+	Object x = impl.makeElement(i);
354	+	copy.add(x);
355	+	c.add(x);
356	+	}
357	+	ArrayList iterated = new ArrayList();
358	+	ArrayList spliterated = new ArrayList();
359	+	Spliterator s = c.spliterator();
360	+	Iterator it = c.iterator();
361	+	for (int i = rnd.nextInt(n + 1); --i >= 0; ) {
362	+	assertTrue(s.tryAdvance(spliterated::add));
363	+	if (rnd.nextBoolean()) assertTrue(it.hasNext());
364	+	iterated.add(it.next());
365	+	}
366	+	Consumer alwaysThrows = e -> { throw new AssertionError(); };
367	+	if (s.hasCharacteristics(Spliterator.CONCURRENT)) {
368	+	c.clear();          // TODO: many more removal methods
369	+	if (testImplementationDetails
370	+	&& !(c instanceof java.util.concurrent.ArrayBlockingQueue)) {
371	+	if (rnd.nextBoolean())
372	+	assertFalse(s.tryAdvance(alwaysThrows));
373	+	else
374	+	s.forEachRemaining(alwaysThrows);
375	+	}
376	+	if (it.hasNext()) iterated.add(it.next());
377	+	if (rnd.nextBoolean()) assertIteratorExhausted(it);
378	+	}
379	+	assertTrue(copy.containsAll(iterated));
380	+	assertTrue(copy.containsAll(spliterated));
381	+	}
382	+
383	+	/**
384	+	* Some elements randomly disappear in the middle of traversal.
385	+	*/
386	+	public void testRandomElementRemovalDuringTraversal() {
387	+	Collection c = impl.emptyCollection();
388	+	ThreadLocalRandom rnd = ThreadLocalRandom.current();
389	+	int n = rnd.nextInt(6);
390	+	ArrayList copy = new ArrayList();
391	+	for (int i = 0; i < n; i++) {
392	+	Object x = impl.makeElement(i);
393	+	copy.add(x);
394	+	c.add(x);
395	+	}
396	+	ArrayList iterated = new ArrayList();
397	+	ArrayList spliterated = new ArrayList();
398	+	ArrayList removed = new ArrayList();
399	+	Spliterator s = c.spliterator();
400	+	Iterator it = c.iterator();
401	+	if (! (s.hasCharacteristics(Spliterator.CONCURRENT) ||
402	+	s.hasCharacteristics(Spliterator.IMMUTABLE)))
403	+	return;
404	+	for (int i = rnd.nextInt(n + 1); --i >= 0; ) {
405	+	assertTrue(s.tryAdvance(e -> {}));
406	+	if (rnd.nextBoolean()) assertTrue(it.hasNext());
407	+	it.next();
408	+	}
409	+	Consumer alwaysThrows = e -> { throw new AssertionError(); };
410	+	// TODO: many more removal methods
411	+	if (rnd.nextBoolean()) {
412	+	for (Iterator z = c.iterator(); z.hasNext(); ) {
413	+	Object e = z.next();
414	+	if (rnd.nextBoolean()) {
415	+	try {
416	+	z.remove();
417	+	} catch (UnsupportedOperationException ok) { return; }
418	+	removed.add(e);
419	+	}
420	+	}
421	+	} else {
422	+	Predicate randomlyRemove = e -> {
423	+	if (rnd.nextBoolean()) { removed.add(e); return true; }
424	+	else return false;
425	+	};
426	+	c.removeIf(randomlyRemove);
427	+	}
428	+	s.forEachRemaining(spliterated::add);
429	+	while (it.hasNext())
430	+	iterated.add(it.next());
431	+	assertTrue(copy.containsAll(iterated));
432	+	assertTrue(copy.containsAll(spliterated));
433	+	assertTrue(copy.containsAll(removed));
434	+	if (s.hasCharacteristics(Spliterator.CONCURRENT)) {
435	+	ArrayList iteratedAndRemoved = new ArrayList(iterated);
436	+	ArrayList spliteratedAndRemoved = new ArrayList(spliterated);
437	+	iteratedAndRemoved.retainAll(removed);
438	+	spliteratedAndRemoved.retainAll(removed);
439	+	assertTrue(iteratedAndRemoved.size() <= 1);
440	+	assertTrue(spliteratedAndRemoved.size() <= 1);
441	+	if (testImplementationDetails
442	+	&& !(c instanceof java.util.concurrent.ArrayBlockingQueue))
443	+	assertTrue(spliteratedAndRemoved.isEmpty());
444	+	}
445	+	}
446	+
447	+	/**
448		* Various ways of traversing a collection yield same elements
449		*/
450		public void testIteratorEquivalence() {
#	Line 234 | Line 454 | public class Collection8Test extends JSR
454		for (int i = 0; i < n; i++) c.add(impl.makeElement(i));
455		ArrayList iterated = new ArrayList();
456		ArrayList iteratedForEachRemaining = new ArrayList();
457	+	ArrayList tryAdvanced = new ArrayList();
458		ArrayList spliterated = new ArrayList();
459	<	ArrayList foreached = new ArrayList();
459	>	ArrayList splitonced = new ArrayList();
460	>	ArrayList forEached = new ArrayList();
461	>	ArrayList streamForEached = new ArrayList();
462	>	ConcurrentLinkedQueue parallelStreamForEached = new ConcurrentLinkedQueue();
463	>	ArrayList removeIfed = new ArrayList();
464		for (Object x : c) iterated.add(x);
465	<	c.iterator().forEachRemaining(e -> iteratedForEachRemaining.add(e));
466	<	c.spliterator().forEachRemaining(e -> spliterated.add(e));
467	<	c.forEach(e -> foreached.add(e));
465	>	c.iterator().forEachRemaining(iteratedForEachRemaining::add);
466	>	for (Spliterator s = c.spliterator();
467	>	s.tryAdvance(tryAdvanced::add); ) {}
468	>	c.spliterator().forEachRemaining(spliterated::add);
469	>	{                       // trySplit returns "strict prefix"
470	>	Spliterator s1 = c.spliterator(), s2 = s1.trySplit();
471	>	if (s2 != null) s2.forEachRemaining(splitonced::add);
472	>	s1.forEachRemaining(splitonced::add);
473	>	}
474	>	c.forEach(forEached::add);
475	>	c.stream().forEach(streamForEached::add);
476	>	c.parallelStream().forEach(parallelStreamForEached::add);
477	>	c.removeIf(e -> { removeIfed.add(e); return false; });
478		boolean ordered =
479		c.spliterator().hasCharacteristics(Spliterator.ORDERED);
480		if (c instanceof List || c instanceof Deque)
481		assertTrue(ordered);
482	+	HashSet cset = new HashSet(c);
483	+	assertEquals(cset, new HashSet(parallelStreamForEached));
484		if (ordered) {
485		assertEquals(iterated, iteratedForEachRemaining);
486	+	assertEquals(iterated, tryAdvanced);
487		assertEquals(iterated, spliterated);
488	<	assertEquals(iterated, foreached);
488	>	assertEquals(iterated, splitonced);
489	>	assertEquals(iterated, forEached);
490	>	assertEquals(iterated, streamForEached);
491	>	assertEquals(iterated, removeIfed);
492		} else {
252	–	HashSet cset = new HashSet(c);
493		assertEquals(cset, new HashSet(iterated));
494		assertEquals(cset, new HashSet(iteratedForEachRemaining));
495	+	assertEquals(cset, new HashSet(tryAdvanced));
496		assertEquals(cset, new HashSet(spliterated));
497	<	assertEquals(cset, new HashSet(foreached));
497	>	assertEquals(cset, new HashSet(splitonced));
498	>	assertEquals(cset, new HashSet(forEached));
499	>	assertEquals(cset, new HashSet(streamForEached));
500	>	assertEquals(cset, new HashSet(removeIfed));
501		}
502		if (c instanceof Deque) {
503		Deque d = (Deque) c;
#	Line 272 | Line 516 | public class Collection8Test extends JSR
516
517		/**
518		* Calling Iterator#remove() after Iterator#forEachRemaining
519	<	* should remove last element
519	>	* should (maybe) remove last element
520		*/
521		public void testRemoveAfterForEachRemaining() {
522		Collection c = impl.emptyCollection();
523		ThreadLocalRandom rnd = ThreadLocalRandom.current();
524	<	{
524	>	testCollection: {
525		int n = 3 + rnd.nextInt(2);
526		for (int i = 0; i < n; i++) c.add(impl.makeElement(i));
527		Iterator it = c.iterator();
#	Line 285 | Line 529 | public class Collection8Test extends JSR
529		assertEquals(impl.makeElement(0), it.next());
530		assertTrue(it.hasNext());
531		assertEquals(impl.makeElement(1), it.next());
532	<	it.forEachRemaining((e) -> {});
533	<	it.remove();
534	<	assertEquals(n - 1, c.size());
535	<	for (int i = 0; i < n - 1; i++)
536	<	assertTrue(c.contains(impl.makeElement(i)));
537	<	assertFalse(c.contains(impl.makeElement(n - 1)));
532	>	it.forEachRemaining(e -> assertTrue(c.contains(e)));
533	>	if (testImplementationDetails) {
534	>	if (c instanceof java.util.concurrent.ArrayBlockingQueue) {
535	>	assertIteratorExhausted(it);
536	>	} else {
537	>	try { it.remove(); }
538	>	catch (UnsupportedOperationException ok) {
539	>	break testCollection;
540	>	}
541	>	assertEquals(n - 1, c.size());
542	>	for (int i = 0; i < n - 1; i++)
543	>	assertTrue(c.contains(impl.makeElement(i)));
544	>	assertFalse(c.contains(impl.makeElement(n - 1)));
545	>	}
546	>	}
547		}
548		if (c instanceof Deque) {
549		Deque d = (Deque) impl.emptyCollection();
#	Line 301 | Line 554 | public class Collection8Test extends JSR
554		assertEquals(impl.makeElement(n - 1), it.next());
555		assertTrue(it.hasNext());
556		assertEquals(impl.makeElement(n - 2), it.next());
557	<	it.forEachRemaining((e) -> {});
558	<	it.remove();
559	<	assertEquals(n - 1, d.size());
560	<	for (int i = 1; i < n; i++)
561	<	assertTrue(d.contains(impl.makeElement(i)));
562	<	assertFalse(d.contains(impl.makeElement(0)));
557	>	it.forEachRemaining(e -> assertTrue(c.contains(e)));
558	>	if (testImplementationDetails) {
559	>	it.remove();
560	>	assertEquals(n - 1, d.size());
561	>	for (int i = 1; i < n; i++)
562	>	assertTrue(d.contains(impl.makeElement(i)));
563	>	assertFalse(d.contains(impl.makeElement(0)));
564	>	}
565		}
566		}
567
#	Line 319 | Line 574 | public class Collection8Test extends JSR
574		final Object x = impl.makeElement(1);
575		final Object y = impl.makeElement(2);
576		final ArrayList found = new ArrayList();
577	<	Consumer<Object> spy = (o) -> { found.add(o); };
577	>	Consumer<Object> spy = o -> found.add(o);
578		c.stream().forEach(spy);
579		assertTrue(found.isEmpty());
580
#	Line 353 | Line 608 | public class Collection8Test extends JSR
608		Runnable checkElt = () -> {
609		threadsStarted.countDown();
610		while (!done.get())
611	<	c.stream().forEach((x) -> { assertSame(x, elt); }); };
611	>	c.stream().forEach(x -> assertSame(x, elt)); };
612		Runnable addRemove = () -> {
613		threadsStarted.countDown();
614		while (!done.get()) {
#	Line 377 | Line 632 | public class Collection8Test extends JSR
632		final Object x = impl.makeElement(1);
633		final Object y = impl.makeElement(2);
634		final ArrayList found = new ArrayList();
635	<	Consumer<Object> spy = (o) -> { found.add(o); };
635	>	Consumer<Object> spy = o -> found.add(o);
636		c.forEach(spy);
637		assertTrue(found.isEmpty());
638
#	Line 398 | Line 653 | public class Collection8Test extends JSR
653		assertTrue(found.isEmpty());
654		}
655
656	<	public void testForEachConcurrentStressTest() throws Throwable {
656	>	/** TODO: promote to a common utility */
657	>	static <T> T chooseOne(T ... ts) {
658	>	return ts[ThreadLocalRandom.current().nextInt(ts.length)];
659	>	}
660	>
661	>	/** TODO: more random adders and removers */
662	>	static <E> Runnable adderRemover(Collection<E> c, E e) {
663	>	return chooseOne(
664	>	() -> {
665	>	assertTrue(c.add(e));
666	>	assertTrue(c.contains(e));
667	>	assertTrue(c.remove(e));
668	>	assertFalse(c.contains(e));
669	>	},
670	>	() -> {
671	>	assertTrue(c.add(e));
672	>	assertTrue(c.contains(e));
673	>	assertTrue(c.removeIf(x -> x == e));
674	>	assertFalse(c.contains(e));
675	>	},
676	>	() -> {
677	>	assertTrue(c.add(e));
678	>	assertTrue(c.contains(e));
679	>	for (Iterator it = c.iterator();; )
680	>	if (it.next() == e) {
681	>	try { it.remove(); }
682	>	catch (UnsupportedOperationException ok) {
683	>	c.remove(e);
684	>	}
685	>	break;
686	>	}
687	>	assertFalse(c.contains(e));
688	>	});
689	>	}
690	>
691	>	/**
692	>	* Motley crew of threads concurrently randomly hammer the collection.
693	>	*/
694	>	public void testDetectRaces() throws Throwable {
695		if (!impl.isConcurrent()) return;
696	+	final ThreadLocalRandom rnd = ThreadLocalRandom.current();
697		final Collection c = impl.emptyCollection();
698	<	final long testDurationMillis = timeoutMillis();
698	>	final long testDurationMillis
699	>	= expensiveTests ? LONG_DELAY_MS : timeoutMillis();
700		final AtomicBoolean done = new AtomicBoolean(false);
701	<	final Object elt = impl.makeElement(1);
702	<	final Future<?> f1, f2;
701	>	final Object one = impl.makeElement(1);
702	>	final Object two = impl.makeElement(2);
703	>	final Consumer checkSanity = x -> assertTrue(x == one || x == two);
704	>	final Consumer<Object[]> checkArraySanity = array -> {
705	>	// assertTrue(array.length <= 2); // duplicates are permitted
706	>	for (Object x : array) assertTrue(x == one || x == two);
707	>	};
708	>	final Object[] emptyArray =
709	>	(Object[]) java.lang.reflect.Array.newInstance(one.getClass(), 0);
710	>	final List<Future<?>> futures;
711	>	final Phaser threadsStarted = new Phaser(1); // register this thread
712	>	final Runnable[] frobbers = {
713	>	() -> c.forEach(checkSanity),
714	>	() -> c.stream().forEach(checkSanity),
715	>	() -> c.parallelStream().forEach(checkSanity),
716	>	() -> c.spliterator().trySplit(),
717	>	() -> {
718	>	Spliterator s = c.spliterator();
719	>	s.tryAdvance(checkSanity);
720	>	s.trySplit();
721	>	},
722	>	() -> {
723	>	Spliterator s = c.spliterator();
724	>	do {} while (s.tryAdvance(checkSanity));
725	>	},
726	>	() -> { for (Object x : c) checkSanity.accept(x); },
727	>	() -> checkArraySanity.accept(c.toArray()),
728	>	() -> checkArraySanity.accept(c.toArray(emptyArray)),
729	>	() -> {
730	>	Object[] a = new Object[5];
731	>	Object three = impl.makeElement(3);
732	>	Arrays.fill(a, 0, a.length, three);
733	>	Object[] x = c.toArray(a);
734	>	if (x == a)
735	>	for (int i = 0; i < a.length && a[i] != null; i++)
736	>	checkSanity.accept(a[i]);
737	>	// A careful reading of the spec does not support:
738	>	// for (i++; i < a.length; i++) assertSame(three, a[i]);
739	>	else
740	>	checkArraySanity.accept(x);
741	>	},
742	>	adderRemover(c, one),
743	>	adderRemover(c, two),
744	>	};
745	>	final List<Runnable> tasks =
746	>	Arrays.stream(frobbers)
747	>	.filter(task -> rnd.nextBoolean()) // random subset
748	>	.map(task -> (Runnable) () -> {
749	>	threadsStarted.arriveAndAwaitAdvance();
750	>	while (!done.get())
751	>	task.run();
752	>	})
753	>	.collect(Collectors.toList());
754		final ExecutorService pool = Executors.newCachedThreadPool();
755		try (PoolCleaner cleaner = cleaner(pool, done)) {
756	<	final CountDownLatch threadsStarted = new CountDownLatch(2);
757	<	Runnable checkElt = () -> {
758	<	threadsStarted.countDown();
759	<	while (!done.get())
760	<	c.forEach((x) -> { assertSame(x, elt); }); };
415	<	Runnable addRemove = () -> {
416	<	threadsStarted.countDown();
417	<	while (!done.get()) {
418	<	assertTrue(c.add(elt));
419	<	assertTrue(c.remove(elt));
420	<	}};
421	<	f1 = pool.submit(checkElt);
422	<	f2 = pool.submit(addRemove);
756	>	threadsStarted.bulkRegister(tasks.size());
757	>	futures = tasks.stream()
758	>	.map(pool::submit)
759	>	.collect(Collectors.toList());
760	>	threadsStarted.arriveAndDeregister();
761		Thread.sleep(testDurationMillis);
762		}
763	<	assertNull(f1.get(0L, MILLISECONDS));
764	<	assertNull(f2.get(0L, MILLISECONDS));
763	>	for (Future future : futures)
764	>	assertNull(future.get(0L, MILLISECONDS));
765	>	}
766	>
767	>	/**
768	>	* Spliterators are either IMMUTABLE or truly late-binding or, if
769	>	* concurrent, use the same "late-binding style" of returning
770	>	* elements added between creation and first use.
771	>	*/
772	>	public void testLateBindingStyle() {
773	>	if (!testImplementationDetails) return;
774	>	if (impl.klazz() == ArrayList.class) return; // for jdk8
775	>	// Immutable (snapshot) spliterators are exempt
776	>	if (impl.emptyCollection().spliterator()
777	>	.hasCharacteristics(Spliterator.IMMUTABLE))
778	>	return;
779	>	final Object one = impl.makeElement(1);
780	>	{
781	>	final Collection c = impl.emptyCollection();
782	>	final Spliterator split = c.spliterator();
783	>	c.add(one);
784	>	assertTrue(split.tryAdvance(e -> { assertSame(e, one); }));
785	>	assertFalse(split.tryAdvance(e -> { throw new AssertionError(); }));
786	>	assertTrue(c.contains(one));
787	>	}
788	>	{
789	>	final AtomicLong count = new AtomicLong(0);
790	>	final Collection c = impl.emptyCollection();
791	>	final Spliterator split = c.spliterator();
792	>	c.add(one);
793	>	split.forEachRemaining(
794	>	e -> { assertSame(e, one); count.getAndIncrement(); });
795	>	assertEquals(1L, count.get());
796	>	assertFalse(split.tryAdvance(e -> { throw new AssertionError(); }));
797	>	assertTrue(c.contains(one));
798	>	}
799	>	}
800	>
801	>	/**
802	>	* Spliterator.getComparator throws IllegalStateException iff the
803	>	* spliterator does not report SORTED.
804	>	*/
805	>	public void testGetComparator_IllegalStateException() {
806	>	Collection c = impl.emptyCollection();
807	>	Spliterator s = c.spliterator();
808	>	boolean reportsSorted = s.hasCharacteristics(Spliterator.SORTED);
809	>	try {
810	>	s.getComparator();
811	>	assertTrue(reportsSorted);
812	>	} catch (IllegalStateException ex) {
813	>	assertFalse(reportsSorted);
814	>	}
815		}
816
817		//     public void testCollection8DebugFail() {

Diff Legend

–	Removed lines
+	Added lines
<	Changed lines
>	Changed lines