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; |
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 |
|
|
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() { |
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()); |
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); |
119 |
|
assertFalse(c.spliterator().tryAdvance(alwaysThrows)); |
120 |
< |
if (Queue.class.isAssignableFrom(impl.klazz())) { |
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 (Deque.class.isAssignableFrom(impl.klazz())) { |
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() { |
151 |
> |
public void testNullPointerExceptions() throws InterruptedException { |
152 |
|
Collection c = impl.emptyCollection(); |
153 |
|
assertThrows( |
154 |
|
NullPointerException.class, |
168 |
|
NullPointerException.class, |
169 |
|
() -> c.add(null)); |
170 |
|
} |
171 |
< |
if (!impl.permitsNulls() |
120 |
< |
&& 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() |
127 |
< |
&& Deque.class.isAssignableFrom(impl.klazz())) { |
177 |
> |
if (!impl.permitsNulls() && c instanceof Deque) { |
178 |
|
Deque d = (Deque) c; |
179 |
|
assertThrows( |
180 |
|
NullPointerException.class, |
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() { |
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, |
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; |
282 |
|
} |
283 |
|
}; |
284 |
|
try { |
185 |
– |
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 |
|
} |
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(); |
356 |
> |
ArrayList splitonced = new ArrayList(); |
357 |
> |
ArrayList forEached = new ArrayList(); |
358 |
> |
ArrayList streamForEached = new ArrayList(); |
359 |
> |
ConcurrentLinkedQueue parallelStreamForEached = new ConcurrentLinkedQueue(); |
360 |
> |
ArrayList removeIfed = new ArrayList(); |
361 |
|
for (Object x : c) iterated.add(x); |
362 |
< |
c.iterator().forEachRemaining(e -> iteratedForEachRemaining.add(e)); |
363 |
< |
c.spliterator().forEachRemaining(e -> spliterated.add(e)); |
364 |
< |
c.forEach(e -> foreached.add(e)); |
362 |
> |
c.iterator().forEachRemaining(iteratedForEachRemaining::add); |
363 |
> |
for (Spliterator s = c.spliterator(); |
364 |
> |
s.tryAdvance(tryAdvanced::add); ) {} |
365 |
> |
c.spliterator().forEachRemaining(spliterated::add); |
366 |
> |
{ // 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 |
> |
c.forEach(forEached::add); |
372 |
> |
c.stream().forEach(streamForEached::add); |
373 |
> |
c.parallelStream().forEach(parallelStreamForEached::add); |
374 |
> |
c.removeIf(e -> { removeIfed.add(e); return false; }); |
375 |
|
boolean ordered = |
376 |
|
c.spliterator().hasCharacteristics(Spliterator.ORDERED); |
377 |
|
if (c instanceof List || c instanceof Deque) |
378 |
|
assertTrue(ordered); |
379 |
+ |
HashSet cset = new HashSet(c); |
380 |
+ |
assertEquals(cset, new HashSet(parallelStreamForEached)); |
381 |
|
if (ordered) { |
382 |
|
assertEquals(iterated, iteratedForEachRemaining); |
383 |
+ |
assertEquals(iterated, tryAdvanced); |
384 |
|
assertEquals(iterated, spliterated); |
385 |
< |
assertEquals(iterated, foreached); |
385 |
> |
assertEquals(iterated, splitonced); |
386 |
> |
assertEquals(iterated, forEached); |
387 |
> |
assertEquals(iterated, streamForEached); |
388 |
> |
assertEquals(iterated, removeIfed); |
389 |
|
} else { |
238 |
– |
HashSet cset = new HashSet(c); |
390 |
|
assertEquals(cset, new HashSet(iterated)); |
391 |
|
assertEquals(cset, new HashSet(iteratedForEachRemaining)); |
392 |
+ |
assertEquals(cset, new HashSet(tryAdvanced)); |
393 |
|
assertEquals(cset, new HashSet(spliterated)); |
394 |
< |
assertEquals(cset, new HashSet(foreached)); |
394 |
> |
assertEquals(cset, new HashSet(splitonced)); |
395 |
> |
assertEquals(cset, new HashSet(forEached)); |
396 |
> |
assertEquals(cset, new HashSet(streamForEached)); |
397 |
> |
assertEquals(cset, new HashSet(removeIfed)); |
398 |
|
} |
399 |
|
if (c instanceof Deque) { |
400 |
|
Deque d = (Deque) c; |
413 |
|
|
414 |
|
/** |
415 |
|
* Calling Iterator#remove() after Iterator#forEachRemaining |
416 |
< |
* should remove last element |
416 |
> |
* should (maybe) remove last element |
417 |
|
*/ |
418 |
|
public void testRemoveAfterForEachRemaining() { |
419 |
|
Collection c = impl.emptyCollection(); |
420 |
|
ThreadLocalRandom rnd = ThreadLocalRandom.current(); |
421 |
< |
{ |
421 |
> |
testCollection: { |
422 |
|
int n = 3 + rnd.nextInt(2); |
423 |
|
for (int i = 0; i < n; i++) c.add(impl.makeElement(i)); |
424 |
|
Iterator it = c.iterator(); |
426 |
|
assertEquals(impl.makeElement(0), it.next()); |
427 |
|
assertTrue(it.hasNext()); |
428 |
|
assertEquals(impl.makeElement(1), it.next()); |
429 |
< |
it.forEachRemaining((e) -> {}); |
430 |
< |
it.remove(); |
431 |
< |
assertEquals(n - 1, c.size()); |
432 |
< |
for (int i = 0; i < n - 1; i++) |
433 |
< |
assertTrue(c.contains(impl.makeElement(i))); |
434 |
< |
assertFalse(c.contains(impl.makeElement(n - 1))); |
429 |
> |
it.forEachRemaining(e -> assertTrue(c.contains(e))); |
430 |
> |
if (testImplementationDetails) { |
431 |
> |
if (c instanceof java.util.concurrent.ArrayBlockingQueue) { |
432 |
> |
assertIteratorExhausted(it); |
433 |
> |
} else { |
434 |
> |
try { it.remove(); } |
435 |
> |
catch (UnsupportedOperationException ok) { |
436 |
> |
break testCollection; |
437 |
> |
} |
438 |
> |
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 |
|
} |
445 |
|
if (c instanceof Deque) { |
446 |
|
Deque d = (Deque) impl.emptyCollection(); |
451 |
|
assertEquals(impl.makeElement(n - 1), it.next()); |
452 |
|
assertTrue(it.hasNext()); |
453 |
|
assertEquals(impl.makeElement(n - 2), it.next()); |
454 |
< |
it.forEachRemaining((e) -> {}); |
455 |
< |
it.remove(); |
456 |
< |
assertEquals(n - 1, d.size()); |
457 |
< |
for (int i = 1; i < n; i++) |
458 |
< |
assertTrue(d.contains(impl.makeElement(i))); |
459 |
< |
assertFalse(d.contains(impl.makeElement(0))); |
454 |
> |
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 |
|
} |
463 |
|
} |
464 |
|
|
471 |
|
final Object x = impl.makeElement(1); |
472 |
|
final Object y = impl.makeElement(2); |
473 |
|
final ArrayList found = new ArrayList(); |
474 |
< |
Consumer<Object> spy = (o) -> { found.add(o); }; |
474 |
> |
Consumer<Object> spy = o -> found.add(o); |
475 |
|
c.stream().forEach(spy); |
476 |
|
assertTrue(found.isEmpty()); |
477 |
|
|
505 |
|
Runnable checkElt = () -> { |
506 |
|
threadsStarted.countDown(); |
507 |
|
while (!done.get()) |
508 |
< |
c.stream().forEach((x) -> { assertSame(x, elt); }); }; |
508 |
> |
c.stream().forEach(x -> assertSame(x, elt)); }; |
509 |
|
Runnable addRemove = () -> { |
510 |
|
threadsStarted.countDown(); |
511 |
|
while (!done.get()) { |
529 |
|
final Object x = impl.makeElement(1); |
530 |
|
final Object y = impl.makeElement(2); |
531 |
|
final ArrayList found = new ArrayList(); |
532 |
< |
Consumer<Object> spy = (o) -> { found.add(o); }; |
532 |
> |
Consumer<Object> spy = o -> found.add(o); |
533 |
|
c.forEach(spy); |
534 |
|
assertTrue(found.isEmpty()); |
535 |
|
|
550 |
|
assertTrue(found.isEmpty()); |
551 |
|
} |
552 |
|
|
553 |
< |
public void testForEachConcurrentStressTest() throws Throwable { |
553 |
> |
/** |
554 |
> |
* Motley crew of threads concurrently randomly hammer the collection. |
555 |
> |
*/ |
556 |
> |
public void testDetectRaces() throws Throwable { |
557 |
|
if (!impl.isConcurrent()) return; |
558 |
+ |
final ThreadLocalRandom rnd = ThreadLocalRandom.current(); |
559 |
|
final Collection c = impl.emptyCollection(); |
560 |
< |
final long testDurationMillis = timeoutMillis(); |
560 |
> |
final long testDurationMillis |
561 |
> |
= expensiveTests ? LONG_DELAY_MS : timeoutMillis(); |
562 |
|
final AtomicBoolean done = new AtomicBoolean(false); |
563 |
< |
final Object elt = impl.makeElement(1); |
564 |
< |
final Future<?> f1, f2; |
563 |
> |
final Object one = impl.makeElement(1); |
564 |
> |
final Object two = impl.makeElement(2); |
565 |
> |
final Consumer checkSanity = x -> assertTrue(x == one || x == two); |
566 |
> |
final Consumer<Object[]> checkArraySanity = array -> { |
567 |
> |
// assertTrue(array.length <= 2); // duplicates are permitted |
568 |
> |
for (Object x : array) assertTrue(x == one || x == two); |
569 |
> |
}; |
570 |
> |
final Object[] emptyArray = |
571 |
> |
(Object[]) java.lang.reflect.Array.newInstance(one.getClass(), 0); |
572 |
> |
final List<Future<?>> futures; |
573 |
> |
final Phaser threadsStarted = new Phaser(1); // register this thread |
574 |
> |
final Runnable[] frobbers = { |
575 |
> |
() -> c.forEach(checkSanity), |
576 |
> |
() -> c.stream().forEach(checkSanity), |
577 |
> |
() -> c.parallelStream().forEach(checkSanity), |
578 |
> |
() -> c.spliterator().trySplit(), |
579 |
> |
() -> { |
580 |
> |
Spliterator s = c.spliterator(); |
581 |
> |
s.tryAdvance(checkSanity); |
582 |
> |
s.trySplit(); |
583 |
> |
}, |
584 |
> |
() -> { |
585 |
> |
Spliterator s = c.spliterator(); |
586 |
> |
do {} while (s.tryAdvance(checkSanity)); |
587 |
> |
}, |
588 |
> |
() -> { for (Object x : c) checkSanity.accept(x); }, |
589 |
> |
() -> checkArraySanity.accept(c.toArray()), |
590 |
> |
() -> checkArraySanity.accept(c.toArray(emptyArray)), |
591 |
> |
() -> { |
592 |
> |
assertTrue(c.add(one)); |
593 |
> |
assertTrue(c.contains(one)); |
594 |
> |
assertTrue(c.remove(one)); |
595 |
> |
assertFalse(c.contains(one)); |
596 |
> |
}, |
597 |
> |
() -> { |
598 |
> |
assertTrue(c.add(two)); |
599 |
> |
assertTrue(c.contains(two)); |
600 |
> |
assertTrue(c.remove(two)); |
601 |
> |
assertFalse(c.contains(two)); |
602 |
> |
}, |
603 |
> |
}; |
604 |
> |
final List<Runnable> tasks = |
605 |
> |
Arrays.stream(frobbers) |
606 |
> |
.filter(task -> rnd.nextBoolean()) // random subset |
607 |
> |
.map(task -> (Runnable) () -> { |
608 |
> |
threadsStarted.arriveAndAwaitAdvance(); |
609 |
> |
while (!done.get()) |
610 |
> |
task.run(); |
611 |
> |
}) |
612 |
> |
.collect(Collectors.toList()); |
613 |
|
final ExecutorService pool = Executors.newCachedThreadPool(); |
614 |
|
try (PoolCleaner cleaner = cleaner(pool, done)) { |
615 |
< |
final CountDownLatch threadsStarted = new CountDownLatch(2); |
616 |
< |
Runnable checkElt = () -> { |
617 |
< |
threadsStarted.countDown(); |
618 |
< |
while (!done.get()) |
619 |
< |
c.forEach((x) -> { assertSame(x, elt); }); }; |
401 |
< |
Runnable addRemove = () -> { |
402 |
< |
threadsStarted.countDown(); |
403 |
< |
while (!done.get()) { |
404 |
< |
assertTrue(c.add(elt)); |
405 |
< |
assertTrue(c.remove(elt)); |
406 |
< |
}}; |
407 |
< |
f1 = pool.submit(checkElt); |
408 |
< |
f2 = pool.submit(addRemove); |
615 |
> |
threadsStarted.bulkRegister(tasks.size()); |
616 |
> |
futures = tasks.stream() |
617 |
> |
.map(pool::submit) |
618 |
> |
.collect(Collectors.toList()); |
619 |
> |
threadsStarted.arriveAndDeregister(); |
620 |
|
Thread.sleep(testDurationMillis); |
621 |
|
} |
622 |
< |
assertNull(f1.get(0L, MILLISECONDS)); |
623 |
< |
assertNull(f2.get(0L, MILLISECONDS)); |
622 |
> |
for (Future future : futures) |
623 |
> |
assertNull(future.get(0L, MILLISECONDS)); |
624 |
> |
} |
625 |
> |
|
626 |
> |
/** |
627 |
> |
* Spliterators are either IMMUTABLE or truly late-binding or, if |
628 |
> |
* concurrent, use the same "late-binding style" of returning |
629 |
> |
* elements added between creation and first use. |
630 |
> |
*/ |
631 |
> |
public void testLateBindingStyle() { |
632 |
> |
if (!testImplementationDetails) return; |
633 |
> |
if (impl.klazz() == ArrayList.class) return; // for jdk8 |
634 |
> |
// Immutable (snapshot) spliterators are exempt |
635 |
> |
if (impl.emptyCollection().spliterator() |
636 |
> |
.hasCharacteristics(Spliterator.IMMUTABLE)) |
637 |
> |
return; |
638 |
> |
final Object one = impl.makeElement(1); |
639 |
> |
{ |
640 |
> |
final Collection c = impl.emptyCollection(); |
641 |
> |
final Spliterator split = c.spliterator(); |
642 |
> |
c.add(one); |
643 |
> |
assertTrue(split.tryAdvance(e -> { assertSame(e, one); })); |
644 |
> |
assertFalse(split.tryAdvance(e -> { throw new AssertionError(); })); |
645 |
> |
assertTrue(c.contains(one)); |
646 |
> |
} |
647 |
> |
{ |
648 |
> |
final AtomicLong count = new AtomicLong(0); |
649 |
> |
final Collection c = impl.emptyCollection(); |
650 |
> |
final Spliterator split = c.spliterator(); |
651 |
> |
c.add(one); |
652 |
> |
split.forEachRemaining( |
653 |
> |
e -> { assertSame(e, one); count.getAndIncrement(); }); |
654 |
> |
assertEquals(1L, count.get()); |
655 |
> |
assertFalse(split.tryAdvance(e -> { throw new AssertionError(); })); |
656 |
> |
assertTrue(c.contains(one)); |
657 |
> |
} |
658 |
|
} |
659 |
|
|
660 |
|
// public void testCollection8DebugFail() { |