ViewVC Help

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

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

Comparing jsr166/src/test/tck/AbstractQueuedSynchronizerTest.java (file contents):
Revision 1.13 by dl, Fri Jan 9 15:39:10 2004 UTC vs.
Revision 1.72 by jsr166, Thu Aug 15 16:06:13 2019 UTC

#	Line 1 | Line 1
1		/*
2		* Written by Doug Lea with assistance from members of JCP JSR-166
3		* Expert Group and released to the public domain, as explained at
4	<	* http://creativecommons.org/licenses/publicdomain
5	<	* Other contributors include Andrew Wright, Jeffrey Hayes,
6	<	* Pat Fisher, Mike Judd.
4	>	* http://creativecommons.org/publicdomain/zero/1.0/
5	>	* Other contributors include Andrew Wright, Jeffrey Hayes,
6	>	* Pat Fisher, Mike Judd.
7		*/
8
9	+	import static java.util.concurrent.TimeUnit.MILLISECONDS;
10	+	import static java.util.concurrent.TimeUnit.NANOSECONDS;
11
12	<	import junit.framework.*;
13	<	import java.util.*;
14	<	import java.util.concurrent.*;
15	<	import java.util.concurrent.locks.*;
16	<	import java.io.*;
12	>	import java.util.ArrayList;
13	>	import java.util.Arrays;
14	>	import java.util.Collection;
15	>	import java.util.HashSet;
16	>	import java.util.concurrent.locks.AbstractQueuedSynchronizer;
17	>	import java.util.concurrent.locks.AbstractQueuedSynchronizer.ConditionObject;
18
19	+	import junit.framework.Test;
20	+	import junit.framework.TestSuite;
21	+
22	+	@SuppressWarnings("WaitNotInLoop") // we implement spurious-wakeup freedom
23		public class AbstractQueuedSynchronizerTest extends JSR166TestCase {
24		public static void main(String[] args) {
25	<	junit.textui.TestRunner.run (suite());
25	>	main(suite(), args);
26		}
27		public static Test suite() {
28		return new TestSuite(AbstractQueuedSynchronizerTest.class);
29		}
30
31		/**
32	<	* A simple mutex class, adapted from the
33	<	* AbstractQueuedSynchronizer javadoc.  Exclusive acquire tests
34	<	* exercise this as a sample user extension.  Other
35	<	* methods/features of AbstractQueuedSynchronizerTest are tested
36	<	* via other test classes, including those for ReentrantLock,
37	<	* ReentrantReadWriteLock, and Semaphore
32	>	* A simple mutex class, adapted from the class javadoc.  Exclusive
33	>	* acquire tests exercise this as a sample user extension.  Other
34	>	* methods/features of AbstractQueuedSynchronizer are tested via
35	>	* other test classes, including those for ReentrantLock,
36	>	* ReentrantReadWriteLock, and Semaphore.
37	>	*
38	>	* Unlike the javadoc sample, we don't track owner thread via
39	>	* AbstractOwnableSynchronizer methods.
40		*/
41		static class Mutex extends AbstractQueuedSynchronizer {
42	<	public boolean isLocked() { return getState() == 1; }
43	<
44	<	public boolean tryAcquireExclusive(int acquires) {
45	<	assertTrue(acquires == 1);
46	<	return compareAndSetState(0, 1);
47	<	}
48	<
49	<	public boolean tryReleaseExclusive(int releases) {
50	<	setState(0);
42	>	/** An eccentric value for locked synchronizer state. */
43	>	static final int LOCKED = (1 << 31) | (1 << 15);
44	>
45	>	static final int UNLOCKED = 0;
46	>
47	>	/** Owner thread is untracked, so this is really just isLocked(). */
48	>	@Override public boolean isHeldExclusively() {
49	>	int state = getState();
50	>	assertTrue(state == UNLOCKED || state == LOCKED);
51	>	return state == LOCKED;
52	>	}
53	>
54	>	@Override protected boolean tryAcquire(int acquires) {
55	>	assertEquals(LOCKED, acquires);
56	>	return compareAndSetState(UNLOCKED, LOCKED);
57	>	}
58	>
59	>	@Override protected boolean tryRelease(int releases) {
60	>	if (getState() != LOCKED) throw new IllegalMonitorStateException();
61	>	assertEquals(LOCKED, releases);
62	>	setState(UNLOCKED);
63		return true;
64		}
65	<
66	<	public void checkConditionAccess(Thread thread) {
67	<	if (getState() == 0) throw new IllegalMonitorStateException();
65	>
66	>	public boolean tryAcquireNanos(long nanos) throws InterruptedException {
67	>	return tryAcquireNanos(LOCKED, nanos);
68	>	}
69	>
70	>	public boolean tryAcquire() {
71	>	return tryAcquire(LOCKED);
72	>	}
73	>
74	>	public boolean tryRelease() {
75	>	return tryRelease(LOCKED);
76	>	}
77	>
78	>	public void acquire() {
79	>	acquire(LOCKED);
80	>	}
81	>
82	>	public void acquireInterruptibly() throws InterruptedException {
83	>	acquireInterruptibly(LOCKED);
84		}
85	<
86	<	public ConditionObject newCondition() { return new ConditionObject(); }
87	<
51	<	public void lock() {
52	<	acquireExclusiveUninterruptibly(1);
85	>
86	>	public void release() {
87	>	release(LOCKED);
88		}
89
90	+	/** Faux-Implements Lock.newCondition(). */
91	+	public ConditionObject newCondition() {
92	+	return new ConditionObject();
93	+	}
94		}
95
57	–
96		/**
97	<	* A simple latch class, to test shared mode.
97	>	* A minimal latch class, to test shared mode.
98		*/
99	<	static class BooleanLatch extends AbstractQueuedSynchronizer {
99	>	static class BooleanLatch extends AbstractQueuedSynchronizer {
100		public boolean isSignalled() { return getState() != 0; }
101
102		public int tryAcquireShared(int ignore) {
103	<	return isSignalled()? 1 : -1;
103	>	return isSignalled() ? 1 : -1;
104		}
105	<
105	>
106		public boolean tryReleaseShared(int ignore) {
107		setState(1);
108		return true;
#	Line 72 | Line 110 | public class AbstractQueuedSynchronizerT
110		}
111
112		/**
113	<	* A runnable calling acquireExclusiveInterruptibly
113	>	* A runnable calling acquireInterruptibly that does not expect to
114	>	* be interrupted.
115		*/
116	<	class InterruptibleLockRunnable implements Runnable {
117	<	final Mutex lock;
118	<	InterruptibleLockRunnable(Mutex l) { lock = l; }
119	<	public void run() {
120	<	try {
82	<	lock.acquireExclusiveInterruptibly(1);
83	<	} catch(InterruptedException success){}
116	>	class InterruptibleSyncRunnable extends CheckedRunnable {
117	>	final Mutex sync;
118	>	InterruptibleSyncRunnable(Mutex sync) { this.sync = sync; }
119	>	public void realRun() throws InterruptedException {
120	>	sync.acquireInterruptibly();
121		}
122		}
123
124	+	/**
125	+	* A runnable calling acquireInterruptibly that expects to be
126	+	* interrupted.
127	+	*/
128	+	class InterruptedSyncRunnable extends CheckedInterruptedRunnable {
129	+	final Mutex sync;
130	+	InterruptedSyncRunnable(Mutex sync) { this.sync = sync; }
131	+	public void realRun() throws InterruptedException {
132	+	sync.acquireInterruptibly();
133	+	}
134	+	}
135	+
136	+	/** A constant to clarify calls to checking methods below. */
137	+	static final Thread[] NO_THREADS = new Thread[0];
138
139		/**
140	<	* A runnable calling acquireExclusiveInterruptibly that expects to be
90	<	* interrupted
140	>	* Spin-waits until sync.isQueued(t) becomes true.
141		*/
142	<	class InterruptedLockRunnable implements Runnable {
143	<	final Mutex lock;
144	<	InterruptedLockRunnable(Mutex l) { lock = l; }
145	<	public void run() {
146	<	try {
147	<	lock.acquireExclusiveInterruptibly(1);
98	<	threadShouldThrow();
99	<	} catch(InterruptedException success){}
142	>	void waitForQueuedThread(AbstractQueuedSynchronizer sync, Thread t) {
143	>	long startTime = System.nanoTime();
144	>	while (!sync.isQueued(t)) {
145	>	if (millisElapsedSince(startTime) > LONG_DELAY_MS)
146	>	throw new AssertionError("timed out");
147	>	Thread.yield();
148		}
149	+	assertTrue(t.isAlive());
150		}
151	<
151	>
152		/**
153	<	* acquireExclusiveUninterruptiblying an releaseExclusiveed lock succeeds
153	>	* Checks that sync has exactly the given queued threads.
154		*/
155	<	public void testAcquireExclusiveUninterruptibly() {
156	<	Mutex rl = new Mutex();
157	<	rl.acquireExclusiveUninterruptibly(1);
158	<	assertTrue(rl.isLocked());
159	<	rl.releaseExclusive(1);
155	>	void assertHasQueuedThreads(AbstractQueuedSynchronizer sync,
156	>	Thread... expected) {
157	>	Collection<Thread> actual = sync.getQueuedThreads();
158	>	assertEquals(expected.length > 0, sync.hasQueuedThreads());
159	>	assertEquals(expected.length, sync.getQueueLength());
160	>	assertEquals(expected.length, actual.size());
161	>	assertEquals(expected.length == 0, actual.isEmpty());
162	>	assertEquals(new HashSet<Thread>(actual),
163	>	new HashSet<Thread>(Arrays.asList(expected)));
164		}
165
166		/**
167	<	* tryAcquireExclusive on an releaseExclusiveed lock succeeds
167	>	* Checks that sync has exactly the given (exclusive) queued threads.
168		*/
169	<	public void testTryAcquireExclusive() {
170	<	Mutex rl = new Mutex();
171	<	assertTrue(rl.tryAcquireExclusive(1));
172	<	assertTrue(rl.isLocked());
173	<	rl.releaseExclusive(1);
169	>	void assertHasExclusiveQueuedThreads(AbstractQueuedSynchronizer sync,
170	>	Thread... expected) {
171	>	assertHasQueuedThreads(sync, expected);
172	>	assertEquals(new HashSet<Thread>(sync.getExclusiveQueuedThreads()),
173	>	new HashSet<Thread>(sync.getQueuedThreads()));
174	>	assertEquals(0, sync.getSharedQueuedThreads().size());
175	>	assertTrue(sync.getSharedQueuedThreads().isEmpty());
176		}
177
178		/**
179	<	* hasQueuedThreads reports whether there are waiting threads
179	>	* Checks that sync has exactly the given (shared) queued threads.
180		*/
181	<	public void testhasQueuedThreads() {
182	<	final Mutex lock = new Mutex();
183	<	Thread t1 = new Thread(new InterruptedLockRunnable(lock));
184	<	Thread t2 = new Thread(new InterruptibleLockRunnable(lock));
185	<	try {
186	<	assertFalse(lock.hasQueuedThreads());
187	<	lock.acquireExclusiveUninterruptibly(1);
188	<	t1.start();
134	<	Thread.sleep(SHORT_DELAY_MS);
135	<	assertTrue(lock.hasQueuedThreads());
136	<	t2.start();
137	<	Thread.sleep(SHORT_DELAY_MS);
138	<	assertTrue(lock.hasQueuedThreads());
139	<	t1.interrupt();
140	<	Thread.sleep(SHORT_DELAY_MS);
141	<	assertTrue(lock.hasQueuedThreads());
142	<	lock.releaseExclusive(1);
143	<	Thread.sleep(SHORT_DELAY_MS);
144	<	assertFalse(lock.hasQueuedThreads());
145	<	t1.join();
146	<	t2.join();
147	<	} catch(Exception e){
148	<	unexpectedException();
149	<	}
150	<	}
151	<
152	<	/**
153	<	* isQueued(null) throws NPE
154	<	*/
155	<	public void testIsQueuedNPE() {
156	<	final Mutex lock = new Mutex();
157	<	try {
158	<	lock.isQueued(null);
159	<	shouldThrow();
160	<	} catch (NullPointerException success) {
161	<	}
162	<	}
163	<
164	<	/**
165	<	* isQueued reports whether a thread is queued.
166	<	*/
167	<	public void testIsQueued() {
168	<	final Mutex lock = new Mutex();
169	<	Thread t1 = new Thread(new InterruptedLockRunnable(lock));
170	<	Thread t2 = new Thread(new InterruptibleLockRunnable(lock));
171	<	try {
172	<	assertFalse(lock.isQueued(t1));
173	<	assertFalse(lock.isQueued(t2));
174	<	lock.acquireExclusiveUninterruptibly(1);
175	<	t1.start();
176	<	Thread.sleep(SHORT_DELAY_MS);
177	<	assertTrue(lock.isQueued(t1));
178	<	t2.start();
179	<	Thread.sleep(SHORT_DELAY_MS);
180	<	assertTrue(lock.isQueued(t1));
181	<	assertTrue(lock.isQueued(t2));
182	<	t1.interrupt();
183	<	Thread.sleep(SHORT_DELAY_MS);
184	<	assertFalse(lock.isQueued(t1));
185	<	assertTrue(lock.isQueued(t2));
186	<	lock.releaseExclusive(1);
187	<	Thread.sleep(SHORT_DELAY_MS);
188	<	assertFalse(lock.isQueued(t1));
189	<	assertFalse(lock.isQueued(t2));
190	<	t1.join();
191	<	t2.join();
192	<	} catch(Exception e){
193	<	unexpectedException();
194	<	}
195	<	}
196	<
197	<	/**
198	<	* getFirstQueuedThread returns first waiting thread or null is none
199	<	*/
200	<	public void testGetFirstQueuedThread() {
201	<	final Mutex lock = new Mutex();
202	<	Thread t1 = new Thread(new InterruptedLockRunnable(lock));
203	<	Thread t2 = new Thread(new InterruptibleLockRunnable(lock));
204	<	try {
205	<	assertNull(lock.getFirstQueuedThread());
206	<	lock.acquireExclusiveUninterruptibly(1);
207	<	t1.start();
208	<	Thread.sleep(SHORT_DELAY_MS);
209	<	assertEquals(t1, lock.getFirstQueuedThread());
210	<	t2.start();
211	<	Thread.sleep(SHORT_DELAY_MS);
212	<	assertEquals(t1, lock.getFirstQueuedThread());
213	<	t1.interrupt();
214	<	Thread.sleep(SHORT_DELAY_MS);
215	<	assertEquals(t2, lock.getFirstQueuedThread());
216	<	lock.releaseExclusive(1);
217	<	Thread.sleep(SHORT_DELAY_MS);
218	<	assertNull(lock.getFirstQueuedThread());
219	<	t1.join();
220	<	t2.join();
221	<	} catch(Exception e){
222	<	unexpectedException();
223	<	}
224	<	}
181	>	void assertHasSharedQueuedThreads(AbstractQueuedSynchronizer sync,
182	>	Thread... expected) {
183	>	assertHasQueuedThreads(sync, expected);
184	>	assertEquals(new HashSet<Thread>(sync.getSharedQueuedThreads()),
185	>	new HashSet<Thread>(sync.getQueuedThreads()));
186	>	assertEquals(0, sync.getExclusiveQueuedThreads().size());
187	>	assertTrue(sync.getExclusiveQueuedThreads().isEmpty());
188	>	}
189
190	+	/**
191	+	* Checks that condition c has exactly the given waiter threads,
192	+	* after acquiring mutex.
193	+	*/
194	+	void assertHasWaitersUnlocked(Mutex sync, ConditionObject c,
195	+	Thread... threads) {
196	+	sync.acquire();
197	+	assertHasWaitersLocked(sync, c, threads);
198	+	sync.release();
199	+	}
200
201		/**
202	<	* hasContended reports false if no thread has ever blocked, else true
202	>	* Checks that condition c has exactly the given waiter threads.
203		*/
204	<	public void testHasContended() {
205	<	final Mutex lock = new Mutex();
206	<	Thread t1 = new Thread(new InterruptedLockRunnable(lock));
207	<	Thread t2 = new Thread(new InterruptibleLockRunnable(lock));
208	<	try {
209	<	assertFalse(lock.hasContended());
210	<	lock.acquireExclusiveUninterruptibly(1);
211	<	t1.start();
212	<	Thread.sleep(SHORT_DELAY_MS);
213	<	assertTrue(lock.hasContended());
214	<	t2.start();
215	<	Thread.sleep(SHORT_DELAY_MS);
216	<	assertTrue(lock.hasContended());
217	<	t1.interrupt();
218	<	Thread.sleep(SHORT_DELAY_MS);
219	<	assertTrue(lock.hasContended());
220	<	lock.releaseExclusive(1);
221	<	Thread.sleep(SHORT_DELAY_MS);
222	<	assertTrue(lock.hasContended());
223	<	t1.join();
224	<	t2.join();
225	<	} catch(Exception e){
226	<	unexpectedException();
227	<	}
228	<	}
229	<
230	<	/**
231	<	* acquireExclusiveNanos is interruptible.
232	<	*/
233	<	public void testInterruptedException2() {
234	<	final Mutex lock = new Mutex();
235	<	lock.acquireExclusiveUninterruptibly(1);
236	<	Thread t = new Thread(new Runnable() {
237	<	public void run() {
238	<	try {
265	<	lock.acquireExclusiveNanos(1, MEDIUM_DELAY_MS * 1000 * 1000);
266	<	threadShouldThrow();
267	<	} catch(InterruptedException success){}
268	<	}
269	<	});
270	<	try {
271	<	t.start();
272	<	t.interrupt();
273	<	} catch(Exception e){
274	<	unexpectedException();
204	>	void assertHasWaitersLocked(Mutex sync, ConditionObject c,
205	>	Thread... threads) {
206	>	assertEquals(threads.length > 0, sync.hasWaiters(c));
207	>	assertEquals(threads.length, sync.getWaitQueueLength(c));
208	>	assertEquals(threads.length == 0, sync.getWaitingThreads(c).isEmpty());
209	>	assertEquals(threads.length, sync.getWaitingThreads(c).size());
210	>	assertEquals(new HashSet<Thread>(sync.getWaitingThreads(c)),
211	>	new HashSet<Thread>(Arrays.asList(threads)));
212	>	}
213	>
214	>	enum AwaitMethod { await, awaitTimed, awaitNanos, awaitUntil }
215	>
216	>	/**
217	>	* Awaits condition using the specified AwaitMethod.
218	>	*/
219	>	void await(ConditionObject c, AwaitMethod awaitMethod)
220	>	throws InterruptedException {
221	>	long timeoutMillis = 2 * LONG_DELAY_MS;
222	>	switch (awaitMethod) {
223	>	case await:
224	>	c.await();
225	>	break;
226	>	case awaitTimed:
227	>	assertTrue(c.await(timeoutMillis, MILLISECONDS));
228	>	break;
229	>	case awaitNanos:
230	>	long timeoutNanos = MILLISECONDS.toNanos(timeoutMillis);
231	>	long nanosRemaining = c.awaitNanos(timeoutNanos);
232	>	assertTrue(nanosRemaining > 0);
233	>	break;
234	>	case awaitUntil:
235	>	assertTrue(c.awaitUntil(delayedDate(timeoutMillis)));
236	>	break;
237	>	default:
238	>	throw new AssertionError();
239		}
240		}
241
242	+	/**
243	+	* Checks that awaiting the given condition times out (using the
244	+	* default timeout duration).
245	+	*/
246	+	void assertAwaitTimesOut(ConditionObject c, AwaitMethod awaitMethod) {
247	+	final long timeoutMillis = timeoutMillis();
248	+	final long startTime;
249	+	try {
250	+	switch (awaitMethod) {
251	+	case awaitTimed:
252	+	startTime = System.nanoTime();
253	+	assertFalse(c.await(timeoutMillis, MILLISECONDS));
254	+	assertTrue(millisElapsedSince(startTime) >= timeoutMillis);
255	+	break;
256	+	case awaitNanos:
257	+	startTime = System.nanoTime();
258	+	long timeoutNanos = MILLISECONDS.toNanos(timeoutMillis);
259	+	long nanosRemaining = c.awaitNanos(timeoutNanos);
260	+	assertTrue(nanosRemaining <= 0);
261	+	assertTrue(nanosRemaining > -MILLISECONDS.toNanos(LONG_DELAY_MS));
262	+	assertTrue(millisElapsedSince(startTime) >= timeoutMillis);
263	+	break;
264	+	case awaitUntil:
265	+	// We shouldn't assume that nanoTime and currentTimeMillis
266	+	// use the same time source, so don't use nanoTime here.
267	+	java.util.Date delayedDate = delayedDate(timeoutMillis);
268	+	assertFalse(c.awaitUntil(delayedDate(timeoutMillis)));
269	+	assertTrue(new java.util.Date().getTime() >= delayedDate.getTime());
270	+	break;
271	+	default:
272	+	throw new UnsupportedOperationException();
273	+	}
274	+	} catch (InterruptedException ie) { threadUnexpectedException(ie); }
275	+	}
276
277		/**
278	<	* TryAcquireExclusive on a locked lock fails
279	<	*/
280	<	public void testTryAcquireExclusiveWhenLocked() {
281	<	final Mutex lock = new Mutex();
282	<	lock.acquireExclusiveUninterruptibly(1);
283	<	Thread t = new Thread(new Runnable() {
284	<	public void run() {
285	<	threadAssertFalse(lock.tryAcquireExclusive(1));
286	<	}
287	<	});
288	<	try {
289	<	t.start();
290	<	t.join();
291	<	lock.releaseExclusive(1);
292	<	} catch(Exception e){
293	<	unexpectedException();
294	<	}
295	<	}
296	<
297	<	/**
298	<	* acquireExclusiveNanos on a locked lock times out
299	<	*/
300	<	public void testAcquireExclusiveNanos_Timeout() {
301	<	final Mutex lock = new Mutex();
302	<	lock.acquireExclusiveUninterruptibly(1);
303	<	Thread t = new Thread(new Runnable() {
304	<	public void run() {
305	<	try {
306	<	threadAssertFalse(lock.acquireExclusiveNanos(1, 1000 * 1000));
307	<	} catch (Exception ex) {
308	<	threadUnexpectedException();
309	<	}
310	<	}
311	<	});
312	<	try {
313	<	t.start();
314	<	t.join();
315	<	lock.releaseExclusive(1);
316	<	} catch(Exception e){
317	<	unexpectedException();
318	<	}
319	<	}
320	<
321	<
278	>	* isHeldExclusively is false upon construction
279	>	*/
280	>	public void testIsHeldExclusively() {
281	>	Mutex sync = new Mutex();
282	>	assertFalse(sync.isHeldExclusively());
283	>	}
284	>
285	>	/**
286	>	* acquiring released sync succeeds
287	>	*/
288	>	public void testAcquire() {
289	>	Mutex sync = new Mutex();
290	>	sync.acquire();
291	>	assertTrue(sync.isHeldExclusively());
292	>	sync.release();
293	>	assertFalse(sync.isHeldExclusively());
294	>	}
295	>
296	>	/**
297	>	* tryAcquire on a released sync succeeds
298	>	*/
299	>	public void testTryAcquire() {
300	>	Mutex sync = new Mutex();
301	>	assertTrue(sync.tryAcquire());
302	>	assertTrue(sync.isHeldExclusively());
303	>	sync.release();
304	>	assertFalse(sync.isHeldExclusively());
305	>	}
306	>
307	>	/**
308	>	* hasQueuedThreads reports whether there are waiting threads
309	>	*/
310	>	public void testHasQueuedThreads() {
311	>	final Mutex sync = new Mutex();
312	>	assertFalse(sync.hasQueuedThreads());
313	>	sync.acquire();
314	>	Thread t1 = newStartedThread(new InterruptedSyncRunnable(sync));
315	>	waitForQueuedThread(sync, t1);
316	>	assertTrue(sync.hasQueuedThreads());
317	>	Thread t2 = newStartedThread(new InterruptibleSyncRunnable(sync));
318	>	waitForQueuedThread(sync, t2);
319	>	assertTrue(sync.hasQueuedThreads());
320	>	t1.interrupt();
321	>	awaitTermination(t1);
322	>	assertTrue(sync.hasQueuedThreads());
323	>	sync.release();
324	>	awaitTermination(t2);
325	>	assertFalse(sync.hasQueuedThreads());
326	>	}
327	>
328	>	/**
329	>	* isQueued(null) throws NullPointerException
330	>	*/
331	>	public void testIsQueuedNPE() {
332	>	final Mutex sync = new Mutex();
333	>	try {
334	>	sync.isQueued(null);
335	>	shouldThrow();
336	>	} catch (NullPointerException success) {}
337	>	}
338	>
339	>	/**
340	>	* isQueued reports whether a thread is queued
341	>	*/
342	>	public void testIsQueued() {
343	>	final Mutex sync = new Mutex();
344	>	Thread t1 = new Thread(new InterruptedSyncRunnable(sync));
345	>	Thread t2 = new Thread(new InterruptibleSyncRunnable(sync));
346	>	assertFalse(sync.isQueued(t1));
347	>	assertFalse(sync.isQueued(t2));
348	>	sync.acquire();
349	>	t1.start();
350	>	waitForQueuedThread(sync, t1);
351	>	assertTrue(sync.isQueued(t1));
352	>	assertFalse(sync.isQueued(t2));
353	>	t2.start();
354	>	waitForQueuedThread(sync, t2);
355	>	assertTrue(sync.isQueued(t1));
356	>	assertTrue(sync.isQueued(t2));
357	>	t1.interrupt();
358	>	awaitTermination(t1);
359	>	assertFalse(sync.isQueued(t1));
360	>	assertTrue(sync.isQueued(t2));
361	>	sync.release();
362	>	awaitTermination(t2);
363	>	assertFalse(sync.isQueued(t1));
364	>	assertFalse(sync.isQueued(t2));
365	>	}
366	>
367	>	/**
368	>	* getFirstQueuedThread returns first waiting thread or null if none
369	>	*/
370	>	public void testGetFirstQueuedThread() {
371	>	final Mutex sync = new Mutex();
372	>	assertNull(sync.getFirstQueuedThread());
373	>	sync.acquire();
374	>	Thread t1 = newStartedThread(new InterruptedSyncRunnable(sync));
375	>	waitForQueuedThread(sync, t1);
376	>	assertEquals(t1, sync.getFirstQueuedThread());
377	>	Thread t2 = newStartedThread(new InterruptibleSyncRunnable(sync));
378	>	waitForQueuedThread(sync, t2);
379	>	assertEquals(t1, sync.getFirstQueuedThread());
380	>	t1.interrupt();
381	>	awaitTermination(t1);
382	>	assertEquals(t2, sync.getFirstQueuedThread());
383	>	sync.release();
384	>	awaitTermination(t2);
385	>	assertNull(sync.getFirstQueuedThread());
386	>	}
387	>
388	>	/**
389	>	* hasContended reports false if no thread has ever blocked, else true
390	>	*/
391	>	public void testHasContended() {
392	>	final Mutex sync = new Mutex();
393	>	assertFalse(sync.hasContended());
394	>	sync.acquire();
395	>	assertFalse(sync.hasContended());
396	>	Thread t1 = newStartedThread(new InterruptedSyncRunnable(sync));
397	>	waitForQueuedThread(sync, t1);
398	>	assertTrue(sync.hasContended());
399	>	Thread t2 = newStartedThread(new InterruptibleSyncRunnable(sync));
400	>	waitForQueuedThread(sync, t2);
401	>	assertTrue(sync.hasContended());
402	>	t1.interrupt();
403	>	awaitTermination(t1);
404	>	assertTrue(sync.hasContended());
405	>	sync.release();
406	>	awaitTermination(t2);
407	>	assertTrue(sync.hasContended());
408	>	}
409	>
410	>	/**
411	>	* getQueuedThreads returns all waiting threads
412	>	*/
413	>	public void testGetQueuedThreads() {
414	>	final Mutex sync = new Mutex();
415	>	Thread t1 = new Thread(new InterruptedSyncRunnable(sync));
416	>	Thread t2 = new Thread(new InterruptibleSyncRunnable(sync));
417	>	assertHasExclusiveQueuedThreads(sync, NO_THREADS);
418	>	sync.acquire();
419	>	assertHasExclusiveQueuedThreads(sync, NO_THREADS);
420	>	t1.start();
421	>	waitForQueuedThread(sync, t1);
422	>	assertHasExclusiveQueuedThreads(sync, t1);
423	>	assertTrue(sync.getQueuedThreads().contains(t1));
424	>	assertFalse(sync.getQueuedThreads().contains(t2));
425	>	t2.start();
426	>	waitForQueuedThread(sync, t2);
427	>	assertHasExclusiveQueuedThreads(sync, t1, t2);
428	>	assertTrue(sync.getQueuedThreads().contains(t1));
429	>	assertTrue(sync.getQueuedThreads().contains(t2));
430	>	t1.interrupt();
431	>	awaitTermination(t1);
432	>	assertHasExclusiveQueuedThreads(sync, t2);
433	>	sync.release();
434	>	awaitTermination(t2);
435	>	assertHasExclusiveQueuedThreads(sync, NO_THREADS);
436	>	}
437	>
438	>	/**
439	>	* getExclusiveQueuedThreads returns all exclusive waiting threads
440	>	*/
441	>	public void testGetExclusiveQueuedThreads() {
442	>	final Mutex sync = new Mutex();
443	>	Thread t1 = new Thread(new InterruptedSyncRunnable(sync));
444	>	Thread t2 = new Thread(new InterruptibleSyncRunnable(sync));
445	>	assertHasExclusiveQueuedThreads(sync, NO_THREADS);
446	>	sync.acquire();
447	>	assertHasExclusiveQueuedThreads(sync, NO_THREADS);
448	>	t1.start();
449	>	waitForQueuedThread(sync, t1);
450	>	assertHasExclusiveQueuedThreads(sync, t1);
451	>	assertTrue(sync.getExclusiveQueuedThreads().contains(t1));
452	>	assertFalse(sync.getExclusiveQueuedThreads().contains(t2));
453	>	t2.start();
454	>	waitForQueuedThread(sync, t2);
455	>	assertHasExclusiveQueuedThreads(sync, t1, t2);
456	>	assertTrue(sync.getExclusiveQueuedThreads().contains(t1));
457	>	assertTrue(sync.getExclusiveQueuedThreads().contains(t2));
458	>	t1.interrupt();
459	>	awaitTermination(t1);
460	>	assertHasExclusiveQueuedThreads(sync, t2);
461	>	sync.release();
462	>	awaitTermination(t2);
463	>	assertHasExclusiveQueuedThreads(sync, NO_THREADS);
464	>	}
465	>
466	>	/**
467	>	* getSharedQueuedThreads does not include exclusively waiting threads
468	>	*/
469	>	public void testGetSharedQueuedThreads_Exclusive() {
470	>	final Mutex sync = new Mutex();
471	>	assertTrue(sync.getSharedQueuedThreads().isEmpty());
472	>	sync.acquire();
473	>	assertTrue(sync.getSharedQueuedThreads().isEmpty());
474	>	Thread t1 = newStartedThread(new InterruptedSyncRunnable(sync));
475	>	waitForQueuedThread(sync, t1);
476	>	assertTrue(sync.getSharedQueuedThreads().isEmpty());
477	>	Thread t2 = newStartedThread(new InterruptibleSyncRunnable(sync));
478	>	waitForQueuedThread(sync, t2);
479	>	assertTrue(sync.getSharedQueuedThreads().isEmpty());
480	>	t1.interrupt();
481	>	awaitTermination(t1);
482	>	assertTrue(sync.getSharedQueuedThreads().isEmpty());
483	>	sync.release();
484	>	awaitTermination(t2);
485	>	assertTrue(sync.getSharedQueuedThreads().isEmpty());
486	>	}
487	>
488	>	/**
489	>	* getSharedQueuedThreads returns all shared waiting threads
490	>	*/
491	>	public void testGetSharedQueuedThreads_Shared() {
492	>	final BooleanLatch l = new BooleanLatch();
493	>	assertHasSharedQueuedThreads(l, NO_THREADS);
494	>	Thread t1 = newStartedThread(new CheckedInterruptedRunnable() {
495	>	public void realRun() throws InterruptedException {
496	>	l.acquireSharedInterruptibly(0);
497	>	}});
498	>	waitForQueuedThread(l, t1);
499	>	assertHasSharedQueuedThreads(l, t1);
500	>	Thread t2 = newStartedThread(new CheckedRunnable() {
501	>	public void realRun() throws InterruptedException {
502	>	l.acquireSharedInterruptibly(0);
503	>	}});
504	>	waitForQueuedThread(l, t2);
505	>	assertHasSharedQueuedThreads(l, t1, t2);
506	>	t1.interrupt();
507	>	awaitTermination(t1);
508	>	assertHasSharedQueuedThreads(l, t2);
509	>	assertTrue(l.releaseShared(0));
510	>	awaitTermination(t2);
511	>	assertHasSharedQueuedThreads(l, NO_THREADS);
512	>	}
513	>
514	>	/**
515	>	* tryAcquireNanos is interruptible
516	>	*/
517	>	public void testTryAcquireNanos_Interruptible() {
518	>	final Mutex sync = new Mutex();
519	>	sync.acquire();
520	>	Thread t = newStartedThread(new CheckedInterruptedRunnable() {
521	>	public void realRun() throws InterruptedException {
522	>	sync.tryAcquireNanos(MILLISECONDS.toNanos(2 * LONG_DELAY_MS));
523	>	}});
524	>
525	>	waitForQueuedThread(sync, t);
526	>	t.interrupt();
527	>	awaitTermination(t);
528	>	}
529	>
530	>	/**
531	>	* tryAcquire on exclusively held sync fails
532	>	*/
533	>	public void testTryAcquireWhenSynced() {
534	>	final Mutex sync = new Mutex();
535	>	sync.acquire();
536	>	Thread t = newStartedThread(new CheckedRunnable() {
537	>	public void realRun() {
538	>	assertFalse(sync.tryAcquire());
539	>	}});
540	>
541	>	awaitTermination(t);
542	>	sync.release();
543	>	}
544	>
545	>	/**
546	>	* tryAcquireNanos on an exclusively held sync times out
547	>	*/
548	>	public void testAcquireNanos_Timeout() {
549	>	final Mutex sync = new Mutex();
550	>	sync.acquire();
551	>	Thread t = newStartedThread(new CheckedRunnable() {
552	>	public void realRun() throws InterruptedException {
553	>	long startTime = System.nanoTime();
554	>	long nanos = MILLISECONDS.toNanos(timeoutMillis());
555	>	assertFalse(sync.tryAcquireNanos(nanos));
556	>	assertTrue(millisElapsedSince(startTime) >= timeoutMillis());
557	>	}});
558	>
559	>	awaitTermination(t);
560	>	sync.release();
561	>	}
562	>
563		/**
564		* getState is true when acquired and false when not
565		*/
566		public void testGetState() {
567	<	final Mutex lock = new Mutex();
568	<	lock.acquireExclusiveUninterruptibly(1);
569	<	assertTrue(lock.isLocked());
570	<	lock.releaseExclusive(1);
571	<	assertFalse(lock.isLocked());
572	<	Thread t = new Thread(new Runnable() {
573	<	public void run() {
574	<	lock.acquireExclusiveUninterruptibly(1);
575	<	try {
576	<	Thread.sleep(SMALL_DELAY_MS);
577	<	}
578	<	catch(Exception e) {
579	<	threadUnexpectedException();
580	<	}
581	<	lock.releaseExclusive(1);
582	<	}
583	<	});
584	<	try {
585	<	t.start();
586	<	Thread.sleep(SHORT_DELAY_MS);
587	<	assertTrue(lock.isLocked());
349	<	t.join();
350	<	assertFalse(lock.isLocked());
351	<	} catch(Exception e){
352	<	unexpectedException();
353	<	}
567	>	final Mutex sync = new Mutex();
568	>	sync.acquire();
569	>	assertTrue(sync.isHeldExclusively());
570	>	sync.release();
571	>	assertFalse(sync.isHeldExclusively());
572	>
573	>	final BooleanLatch acquired = new BooleanLatch();
574	>	final BooleanLatch done = new BooleanLatch();
575	>	Thread t = newStartedThread(new CheckedRunnable() {
576	>	public void realRun() throws InterruptedException {
577	>	sync.acquire();
578	>	assertTrue(acquired.releaseShared(0));
579	>	done.acquireShared(0);
580	>	sync.release();
581	>	}});
582	>
583	>	acquired.acquireShared(0);
584	>	assertTrue(sync.isHeldExclusively());
585	>	assertTrue(done.releaseShared(0));
586	>	awaitTermination(t);
587	>	assertFalse(sync.isHeldExclusively());
588		}
589
590	+	/**
591	+	* acquireInterruptibly succeeds when released, else is interruptible
592	+	*/
593	+	public void testAcquireInterruptibly() throws InterruptedException {
594	+	final Mutex sync = new Mutex();
595	+	final BooleanLatch threadStarted = new BooleanLatch();
596	+	sync.acquireInterruptibly();
597	+	Thread t = newStartedThread(new CheckedInterruptedRunnable() {
598	+	public void realRun() throws InterruptedException {
599	+	assertTrue(threadStarted.releaseShared(0));
600	+	sync.acquireInterruptibly();
601	+	}});
602	+
603	+	threadStarted.acquireShared(0);
604	+	waitForQueuedThread(sync, t);
605	+	t.interrupt();
606	+	awaitTermination(t);
607	+	assertTrue(sync.isHeldExclusively());
608	+	}
609	+
610	+	/**
611	+	* owns is true for a condition created by sync else false
612	+	*/
613	+	public void testOwns() {
614	+	final Mutex sync = new Mutex();
615	+	final ConditionObject c = sync.newCondition();
616	+	final Mutex sync2 = new Mutex();
617	+	assertTrue(sync.owns(c));
618	+	assertFalse(sync2.owns(c));
619	+	}
620
621		/**
622	<	* acquireExclusiveInterruptibly is interruptible.
623	<	*/
624	<	public void testAcquireInterruptibly1() {
625	<	final Mutex lock = new Mutex();
626	<	lock.acquireExclusiveUninterruptibly(1);
627	<	Thread t = new Thread(new InterruptedLockRunnable(lock));
628	<	try {
629	<	t.start();
630	<	t.interrupt();
631	<	lock.releaseExclusive(1);
632	<	t.join();
633	<	} catch(Exception e){
634	<	unexpectedException();
371	<	}
372	<	}
373	<
374	<	/**
375	<	* acquireExclusiveInterruptibly succeeds when released, else is interruptible
376	<	*/
377	<	public void testAcquireInterruptibly2() {
378	<	final Mutex lock = new Mutex();
379	<	try {
380	<	lock.acquireExclusiveInterruptibly(1);
381	<	} catch(Exception e) {
382	<	unexpectedException();
383	<	}
384	<	Thread t = new Thread(new InterruptedLockRunnable(lock));
385	<	try {
386	<	t.start();
387	<	t.interrupt();
388	<	assertTrue(lock.isLocked());
389	<	t.join();
390	<	} catch(Exception e){
391	<	unexpectedException();
622	>	* Calling await without holding sync throws IllegalMonitorStateException
623	>	*/
624	>	public void testAwait_IMSE() {
625	>	final Mutex sync = new Mutex();
626	>	final ConditionObject c = sync.newCondition();
627	>	for (AwaitMethod awaitMethod : AwaitMethod.values()) {
628	>	long startTime = System.nanoTime();
629	>	try {
630	>	await(c, awaitMethod);
631	>	shouldThrow();
632	>	} catch (IllegalMonitorStateException success) {
633	>	} catch (InterruptedException e) { threadUnexpectedException(e); }
634	>	assertTrue(millisElapsedSince(startTime) < LONG_DELAY_MS);
635		}
636		}
637
638		/**
639	<	* owns is true for a condition created by lock else false
639	>	* Calling signal without holding sync throws IllegalMonitorStateException
640		*/
641	<	public void testOwns() {
642	<	final Mutex lock = new Mutex();
643	<	final AbstractQueuedSynchronizer.ConditionObject c = lock.newCondition();
644	<	final Mutex lock2 = new Mutex();
645	<	assertTrue(lock.owns(c));
646	<	assertFalse(lock2.owns(c));
641	>	public void testSignal_IMSE() {
642	>	final Mutex sync = new Mutex();
643	>	final ConditionObject c = sync.newCondition();
644	>	try {
645	>	c.signal();
646	>	shouldThrow();
647	>	} catch (IllegalMonitorStateException success) {}
648	>	assertHasWaitersUnlocked(sync, c, NO_THREADS);
649		}
650
651		/**
652	<	* Calling await without holding lock throws IllegalMonitorStateException
652	>	* Calling signalAll without holding sync throws IllegalMonitorStateException
653		*/
654	<	public void testAwait_IllegalMonitor() {
655	<	final Mutex lock = new Mutex();
656	<	final Condition c = lock.newCondition();
654	>	public void testSignalAll_IMSE() {
655	>	final Mutex sync = new Mutex();
656	>	final ConditionObject c = sync.newCondition();
657		try {
658	<	c.await();
658	>	c.signalAll();
659		shouldThrow();
660	<	}
661	<	catch (IllegalMonitorStateException success) {
662	<	}
663	<	catch (Exception ex) {
664	<	unexpectedException();
665	<	}
660	>	} catch (IllegalMonitorStateException success) {}
661	>	}
662	>
663	>	/**
664	>	* await/awaitNanos/awaitUntil without a signal times out
665	>	*/
666	>	public void testAwaitTimed_Timeout() { testAwait_Timeout(AwaitMethod.awaitTimed); }
667	>	public void testAwaitNanos_Timeout() { testAwait_Timeout(AwaitMethod.awaitNanos); }
668	>	public void testAwaitUntil_Timeout() { testAwait_Timeout(AwaitMethod.awaitUntil); }
669	>	public void testAwait_Timeout(AwaitMethod awaitMethod) {
670	>	final Mutex sync = new Mutex();
671	>	final ConditionObject c = sync.newCondition();
672	>	sync.acquire();
673	>	assertAwaitTimesOut(c, awaitMethod);
674	>	sync.release();
675	>	}
676	>
677	>	/**
678	>	* await/awaitNanos/awaitUntil returns when signalled
679	>	*/
680	>	public void testSignal_await()      { testSignal(AwaitMethod.await); }
681	>	public void testSignal_awaitTimed() { testSignal(AwaitMethod.awaitTimed); }
682	>	public void testSignal_awaitNanos() { testSignal(AwaitMethod.awaitNanos); }
683	>	public void testSignal_awaitUntil() { testSignal(AwaitMethod.awaitUntil); }
684	>	public void testSignal(final AwaitMethod awaitMethod) {
685	>	final Mutex sync = new Mutex();
686	>	final ConditionObject c = sync.newCondition();
687	>	final BooleanLatch acquired = new BooleanLatch();
688	>	Thread t = newStartedThread(new CheckedRunnable() {
689	>	public void realRun() throws InterruptedException {
690	>	sync.acquire();
691	>	assertTrue(acquired.releaseShared(0));
692	>	await(c, awaitMethod);
693	>	sync.release();
694	>	}});
695	>
696	>	acquired.acquireShared(0);
697	>	sync.acquire();
698	>	assertHasWaitersLocked(sync, c, t);
699	>	assertHasExclusiveQueuedThreads(sync, NO_THREADS);
700	>	c.signal();
701	>	assertHasWaitersLocked(sync, c, NO_THREADS);
702	>	assertHasExclusiveQueuedThreads(sync, t);
703	>	sync.release();
704	>	awaitTermination(t);
705		}
706
707		/**
708	<	* Calling signal without holding lock throws IllegalMonitorStateException
708	>	* hasWaiters(null) throws NullPointerException
709		*/
710	<	public void testSignal_IllegalMonitor() {
711	<	final Mutex lock = new Mutex();
428	<	final Condition c = lock.newCondition();
710	>	public void testHasWaitersNPE() {
711	>	final Mutex sync = new Mutex();
712		try {
713	<	c.signal();
713	>	sync.hasWaiters(null);
714		shouldThrow();
715	<	}
433	<	catch (IllegalMonitorStateException success) {
434	<	}
435	<	catch (Exception ex) {
436	<	unexpectedException();
437	<	}
715	>	} catch (NullPointerException success) {}
716		}
717
718		/**
719	<	* awaitNanos without a signal times out
719	>	* getWaitQueueLength(null) throws NullPointerException
720		*/
721	<	public void testAwaitNanos_Timeout() {
722	<	final Mutex lock = new Mutex();
445	<	final Condition c = lock.newCondition();
721	>	public void testGetWaitQueueLengthNPE() {
722	>	final Mutex sync = new Mutex();
723		try {
724	<	lock.acquireExclusiveUninterruptibly(1);
725	<	long t = c.awaitNanos(100);
726	<	assertTrue(t <= 0);
450	<	lock.releaseExclusive(1);
451	<	}
452	<	catch (Exception ex) {
453	<	unexpectedException();
454	<	}
724	>	sync.getWaitQueueLength(null);
725	>	shouldThrow();
726	>	} catch (NullPointerException success) {}
727		}
728
729		/**
730	<	*  timed await without a signal times out
730	>	* getWaitingThreads(null) throws NullPointerException
731		*/
732	<	public void testAwait_Timeout() {
733	<	final Mutex lock = new Mutex();
462	<	final Condition c = lock.newCondition();
732	>	public void testGetWaitingThreadsNPE() {
733	>	final Mutex sync = new Mutex();
734		try {
735	<	lock.acquireExclusiveUninterruptibly(1);
736	<	assertFalse(c.await(SHORT_DELAY_MS, TimeUnit.MILLISECONDS));
737	<	lock.releaseExclusive(1);
467	<	}
468	<	catch (Exception ex) {
469	<	unexpectedException();
470	<	}
735	>	sync.getWaitingThreads(null);
736	>	shouldThrow();
737	>	} catch (NullPointerException success) {}
738		}
739
740		/**
741	<	* awaitUntil without a signal times out
741	>	* hasWaiters throws IllegalArgumentException if not owned
742		*/
743	<	public void testAwaitUntil_Timeout() {
744	<	final Mutex lock = new Mutex();
745	<	final Condition c = lock.newCondition();
743	>	public void testHasWaitersIAE() {
744	>	final Mutex sync = new Mutex();
745	>	final ConditionObject c = sync.newCondition();
746	>	final Mutex sync2 = new Mutex();
747		try {
748	<	lock.acquireExclusiveUninterruptibly(1);
749	<	java.util.Date d = new java.util.Date();
750	<	assertFalse(c.awaitUntil(new java.util.Date(d.getTime() + 10)));
751	<	lock.releaseExclusive(1);
484	<	}
485	<	catch (Exception ex) {
486	<	unexpectedException();
487	<	}
748	>	sync2.hasWaiters(c);
749	>	shouldThrow();
750	>	} catch (IllegalArgumentException success) {}
751	>	assertHasWaitersUnlocked(sync, c, NO_THREADS);
752		}
753
754		/**
755	<	* await returns when signalled
755	>	* hasWaiters throws IllegalMonitorStateException if not synced
756		*/
757	<	public void testAwait() {
758	<	final Mutex lock = new Mutex();
759	<	final Condition c = lock.newCondition();
760	<	Thread t = new Thread(new Runnable() {
761	<	public void run() {
762	<	try {
763	<	lock.acquireExclusiveUninterruptibly(1);
764	<	c.await();
765	<	lock.releaseExclusive(1);
502	<	}
503	<	catch(InterruptedException e) {
504	<	threadUnexpectedException();
505	<	}
506	<	}
507	<	});
757	>	public void testHasWaitersIMSE() {
758	>	final Mutex sync = new Mutex();
759	>	final ConditionObject c = sync.newCondition();
760	>	try {
761	>	sync.hasWaiters(c);
762	>	shouldThrow();
763	>	} catch (IllegalMonitorStateException success) {}
764	>	assertHasWaitersUnlocked(sync, c, NO_THREADS);
765	>	}
766
767	+	/**
768	+	* getWaitQueueLength throws IllegalArgumentException if not owned
769	+	*/
770	+	public void testGetWaitQueueLengthIAE() {
771	+	final Mutex sync = new Mutex();
772	+	final ConditionObject c = sync.newCondition();
773	+	final Mutex sync2 = new Mutex();
774		try {
775	<	t.start();
776	<	Thread.sleep(SHORT_DELAY_MS);
777	<	lock.acquireExclusiveUninterruptibly(1);
778	<	c.signal();
779	<	lock.releaseExclusive(1);
780	<	t.join(SHORT_DELAY_MS);
781	<	assertFalse(t.isAlive());
782	<	}
783	<	catch (Exception ex) {
784	<	unexpectedException();
785	<	}
775	>	sync2.getWaitQueueLength(c);
776	>	shouldThrow();
777	>	} catch (IllegalArgumentException success) {}
778	>	assertHasWaitersUnlocked(sync, c, NO_THREADS);
779	>	}
780	>
781	>	/**
782	>	* getWaitQueueLength throws IllegalMonitorStateException if not synced
783	>	*/
784	>	public void testGetWaitQueueLengthIMSE() {
785	>	final Mutex sync = new Mutex();
786	>	final ConditionObject c = sync.newCondition();
787	>	try {
788	>	sync.getWaitQueueLength(c);
789	>	shouldThrow();
790	>	} catch (IllegalMonitorStateException success) {}
791	>	assertHasWaitersUnlocked(sync, c, NO_THREADS);
792	>	}
793	>
794	>	/**
795	>	* getWaitingThreads throws IllegalArgumentException if not owned
796	>	*/
797	>	public void testGetWaitingThreadsIAE() {
798	>	final Mutex sync = new Mutex();
799	>	final ConditionObject c = sync.newCondition();
800	>	final Mutex sync2 = new Mutex();
801	>	try {
802	>	sync2.getWaitingThreads(c);
803	>	shouldThrow();
804	>	} catch (IllegalArgumentException success) {}
805	>	assertHasWaitersUnlocked(sync, c, NO_THREADS);
806		}
807
808	+	/**
809	+	* getWaitingThreads throws IllegalMonitorStateException if not synced
810	+	*/
811	+	public void testGetWaitingThreadsIMSE() {
812	+	final Mutex sync = new Mutex();
813	+	final ConditionObject c = sync.newCondition();
814	+	try {
815	+	sync.getWaitingThreads(c);
816	+	shouldThrow();
817	+	} catch (IllegalMonitorStateException success) {}
818	+	assertHasWaitersUnlocked(sync, c, NO_THREADS);
819	+	}
820	+
821	+	/**
822	+	* hasWaiters returns true when a thread is waiting, else false
823	+	*/
824	+	public void testHasWaiters() {
825	+	final Mutex sync = new Mutex();
826	+	final ConditionObject c = sync.newCondition();
827	+	final BooleanLatch acquired = new BooleanLatch();
828	+	Thread t = newStartedThread(new CheckedRunnable() {
829	+	public void realRun() throws InterruptedException {
830	+	sync.acquire();
831	+	assertHasWaitersLocked(sync, c, NO_THREADS);
832	+	assertFalse(sync.hasWaiters(c));
833	+	assertTrue(acquired.releaseShared(0));
834	+	c.await();
835	+	sync.release();
836	+	}});
837	+
838	+	acquired.acquireShared(0);
839	+	sync.acquire();
840	+	assertHasWaitersLocked(sync, c, t);
841	+	assertHasExclusiveQueuedThreads(sync, NO_THREADS);
842	+	assertTrue(sync.hasWaiters(c));
843	+	c.signal();
844	+	assertHasWaitersLocked(sync, c, NO_THREADS);
845	+	assertHasExclusiveQueuedThreads(sync, t);
846	+	assertFalse(sync.hasWaiters(c));
847	+	sync.release();
848	+
849	+	awaitTermination(t);
850	+	assertHasWaitersUnlocked(sync, c, NO_THREADS);
851	+	}
852	+
853	+	/**
854	+	* getWaitQueueLength returns number of waiting threads
855	+	*/
856	+	public void testGetWaitQueueLength() {
857	+	final Mutex sync = new Mutex();
858	+	final ConditionObject c = sync.newCondition();
859	+	final BooleanLatch acquired1 = new BooleanLatch();
860	+	final BooleanLatch acquired2 = new BooleanLatch();
861	+	final Thread t1 = newStartedThread(new CheckedRunnable() {
862	+	public void realRun() throws InterruptedException {
863	+	sync.acquire();
864	+	assertHasWaitersLocked(sync, c, NO_THREADS);
865	+	assertEquals(0, sync.getWaitQueueLength(c));
866	+	assertTrue(acquired1.releaseShared(0));
867	+	c.await();
868	+	sync.release();
869	+	}});
870	+	acquired1.acquireShared(0);
871	+	sync.acquire();
872	+	assertHasWaitersLocked(sync, c, t1);
873	+	assertEquals(1, sync.getWaitQueueLength(c));
874	+	sync.release();
875	+
876	+	final Thread t2 = newStartedThread(new CheckedRunnable() {
877	+	public void realRun() throws InterruptedException {
878	+	sync.acquire();
879	+	assertHasWaitersLocked(sync, c, t1);
880	+	assertEquals(1, sync.getWaitQueueLength(c));
881	+	assertTrue(acquired2.releaseShared(0));
882	+	c.await();
883	+	sync.release();
884	+	}});
885	+	acquired2.acquireShared(0);
886	+	sync.acquire();
887	+	assertHasWaitersLocked(sync, c, t1, t2);
888	+	assertHasExclusiveQueuedThreads(sync, NO_THREADS);
889	+	assertEquals(2, sync.getWaitQueueLength(c));
890	+	c.signalAll();
891	+	assertHasWaitersLocked(sync, c, NO_THREADS);
892	+	assertHasExclusiveQueuedThreads(sync, t1, t2);
893	+	assertEquals(0, sync.getWaitQueueLength(c));
894	+	sync.release();
895	+
896	+	awaitTermination(t1);
897	+	awaitTermination(t2);
898	+	assertHasWaitersUnlocked(sync, c, NO_THREADS);
899	+	}
900	+
901	+	/**
902	+	* getWaitingThreads returns only and all waiting threads
903	+	*/
904	+	public void testGetWaitingThreads() {
905	+	final Mutex sync = new Mutex();
906	+	final ConditionObject c = sync.newCondition();
907	+	final BooleanLatch acquired1 = new BooleanLatch();
908	+	final BooleanLatch acquired2 = new BooleanLatch();
909	+	final Thread t1 = new Thread(new CheckedRunnable() {
910	+	public void realRun() throws InterruptedException {
911	+	sync.acquire();
912	+	assertHasWaitersLocked(sync, c, NO_THREADS);
913	+	assertTrue(sync.getWaitingThreads(c).isEmpty());
914	+	assertTrue(acquired1.releaseShared(0));
915	+	c.await();
916	+	sync.release();
917	+	}});
918	+
919	+	final Thread t2 = new Thread(new CheckedRunnable() {
920	+	public void realRun() throws InterruptedException {
921	+	sync.acquire();
922	+	assertHasWaitersLocked(sync, c, t1);
923	+	assertTrue(sync.getWaitingThreads(c).contains(t1));
924	+	assertFalse(sync.getWaitingThreads(c).isEmpty());
925	+	assertEquals(1, sync.getWaitingThreads(c).size());
926	+	assertTrue(acquired2.releaseShared(0));
927	+	c.await();
928	+	sync.release();
929	+	}});
930	+
931	+	sync.acquire();
932	+	assertHasWaitersLocked(sync, c, NO_THREADS);
933	+	assertFalse(sync.getWaitingThreads(c).contains(t1));
934	+	assertFalse(sync.getWaitingThreads(c).contains(t2));
935	+	assertTrue(sync.getWaitingThreads(c).isEmpty());
936	+	assertEquals(0, sync.getWaitingThreads(c).size());
937	+	sync.release();
938	+
939	+	t1.start();
940	+	acquired1.acquireShared(0);
941	+	sync.acquire();
942	+	assertHasWaitersLocked(sync, c, t1);
943	+	assertTrue(sync.getWaitingThreads(c).contains(t1));
944	+	assertFalse(sync.getWaitingThreads(c).contains(t2));
945	+	assertFalse(sync.getWaitingThreads(c).isEmpty());
946	+	assertEquals(1, sync.getWaitingThreads(c).size());
947	+	sync.release();
948	+
949	+	t2.start();
950	+	acquired2.acquireShared(0);
951	+	sync.acquire();
952	+	assertHasWaitersLocked(sync, c, t1, t2);
953	+	assertHasExclusiveQueuedThreads(sync, NO_THREADS);
954	+	assertTrue(sync.getWaitingThreads(c).contains(t1));
955	+	assertTrue(sync.getWaitingThreads(c).contains(t2));
956	+	assertFalse(sync.getWaitingThreads(c).isEmpty());
957	+	assertEquals(2, sync.getWaitingThreads(c).size());
958	+	c.signalAll();
959	+	assertHasWaitersLocked(sync, c, NO_THREADS);
960	+	assertHasExclusiveQueuedThreads(sync, t1, t2);
961	+	assertFalse(sync.getWaitingThreads(c).contains(t1));
962	+	assertFalse(sync.getWaitingThreads(c).contains(t2));
963	+	assertTrue(sync.getWaitingThreads(c).isEmpty());
964	+	assertEquals(0, sync.getWaitingThreads(c).size());
965	+	sync.release();
966	+
967	+	awaitTermination(t1);
968	+	awaitTermination(t2);
969	+	assertHasWaitersUnlocked(sync, c, NO_THREADS);
970	+	}
971	+
972	+	/**
973	+	* awaitUninterruptibly is uninterruptible
974	+	*/
975	+	public void testAwaitUninterruptibly() {
976	+	final Mutex sync = new Mutex();
977	+	final ConditionObject condition = sync.newCondition();
978	+	final BooleanLatch pleaseInterrupt = new BooleanLatch();
979	+	Thread t = newStartedThread(new CheckedRunnable() {
980	+	public void realRun() {
981	+	sync.acquire();
982	+	assertTrue(pleaseInterrupt.releaseShared(0));
983	+	condition.awaitUninterruptibly();
984	+	assertTrue(Thread.interrupted());
985	+	assertHasWaitersLocked(sync, condition, NO_THREADS);
986	+	sync.release();
987	+	}});
988	+
989	+	pleaseInterrupt.acquireShared(0);
990	+	sync.acquire();
991	+	assertHasWaitersLocked(sync, condition, t);
992	+	sync.release();
993	+	t.interrupt();
994	+	assertHasWaitersUnlocked(sync, condition, t);
995	+	assertThreadBlocks(t, Thread.State.WAITING);
996	+	sync.acquire();
997	+	assertHasWaitersLocked(sync, condition, t);
998	+	assertHasExclusiveQueuedThreads(sync, NO_THREADS);
999	+	condition.signal();
1000	+	assertHasWaitersLocked(sync, condition, NO_THREADS);
1001	+	assertHasExclusiveQueuedThreads(sync, t);
1002	+	sync.release();
1003	+	awaitTermination(t);
1004	+	}
1005	+
1006	+	/**
1007	+	* await/awaitNanos/awaitUntil is interruptible
1008	+	*/
1009	+	public void testInterruptible_await()      { testInterruptible(AwaitMethod.await); }
1010	+	public void testInterruptible_awaitTimed() { testInterruptible(AwaitMethod.awaitTimed); }
1011	+	public void testInterruptible_awaitNanos() { testInterruptible(AwaitMethod.awaitNanos); }
1012	+	public void testInterruptible_awaitUntil() { testInterruptible(AwaitMethod.awaitUntil); }
1013	+	public void testInterruptible(final AwaitMethod awaitMethod) {
1014	+	final Mutex sync = new Mutex();
1015	+	final ConditionObject c = sync.newCondition();
1016	+	final BooleanLatch pleaseInterrupt = new BooleanLatch();
1017	+	Thread t = newStartedThread(new CheckedInterruptedRunnable() {
1018	+	public void realRun() throws InterruptedException {
1019	+	sync.acquire();
1020	+	assertTrue(pleaseInterrupt.releaseShared(0));
1021	+	await(c, awaitMethod);
1022	+	}});
1023	+
1024	+	pleaseInterrupt.acquireShared(0);
1025	+	t.interrupt();
1026	+	awaitTermination(t);
1027	+	}
1028	+
1029	+	/**
1030	+	* signalAll wakes up all threads
1031	+	*/
1032	+	public void testSignalAll_await()      { testSignalAll(AwaitMethod.await); }
1033	+	public void testSignalAll_awaitTimed() { testSignalAll(AwaitMethod.awaitTimed); }
1034	+	public void testSignalAll_awaitNanos() { testSignalAll(AwaitMethod.awaitNanos); }
1035	+	public void testSignalAll_awaitUntil() { testSignalAll(AwaitMethod.awaitUntil); }
1036	+	public void testSignalAll(final AwaitMethod awaitMethod) {
1037	+	final Mutex sync = new Mutex();
1038	+	final ConditionObject c = sync.newCondition();
1039	+	final BooleanLatch acquired1 = new BooleanLatch();
1040	+	final BooleanLatch acquired2 = new BooleanLatch();
1041	+	Thread t1 = newStartedThread(new CheckedRunnable() {
1042	+	public void realRun() throws InterruptedException {
1043	+	sync.acquire();
1044	+	acquired1.releaseShared(0);
1045	+	await(c, awaitMethod);
1046	+	sync.release();
1047	+	}});
1048	+
1049	+	Thread t2 = newStartedThread(new CheckedRunnable() {
1050	+	public void realRun() throws InterruptedException {
1051	+	sync.acquire();
1052	+	acquired2.releaseShared(0);
1053	+	await(c, awaitMethod);
1054	+	sync.release();
1055	+	}});
1056	+
1057	+	acquired1.acquireShared(0);
1058	+	acquired2.acquireShared(0);
1059	+	sync.acquire();
1060	+	assertHasWaitersLocked(sync, c, t1, t2);
1061	+	assertHasExclusiveQueuedThreads(sync, NO_THREADS);
1062	+	c.signalAll();
1063	+	assertHasWaitersLocked(sync, c, NO_THREADS);
1064	+	assertHasExclusiveQueuedThreads(sync, t1, t2);
1065	+	sync.release();
1066	+	awaitTermination(t1);
1067	+	awaitTermination(t2);
1068	+	}
1069	+
1070	+	/**
1071	+	* toString indicates current state
1072	+	*/
1073	+	public void testToString() {
1074	+	Mutex sync = new Mutex();
1075	+	assertTrue(sync.toString().contains("State = " + Mutex.UNLOCKED));
1076	+	sync.acquire();
1077	+	assertTrue(sync.toString().contains("State = " + Mutex.LOCKED));
1078	+	}
1079	+
1080	+	/**
1081	+	* A serialized AQS deserializes with current state, but no queued threads
1082	+	*/
1083	+	public void testSerialization() {
1084	+	Mutex sync = new Mutex();
1085	+	assertFalse(serialClone(sync).isHeldExclusively());
1086	+	sync.acquire();
1087	+	Thread t = newStartedThread(new InterruptedSyncRunnable(sync));
1088	+	waitForQueuedThread(sync, t);
1089	+	assertTrue(sync.isHeldExclusively());
1090	+
1091	+	Mutex clone = serialClone(sync);
1092	+	assertTrue(clone.isHeldExclusively());
1093	+	assertHasExclusiveQueuedThreads(sync, t);
1094	+	assertHasExclusiveQueuedThreads(clone, NO_THREADS);
1095	+	t.interrupt();
1096	+	awaitTermination(t);
1097	+	sync.release();
1098	+	assertFalse(sync.isHeldExclusively());
1099	+	assertTrue(clone.isHeldExclusively());
1100	+	assertHasExclusiveQueuedThreads(sync, NO_THREADS);
1101	+	assertHasExclusiveQueuedThreads(clone, NO_THREADS);
1102	+	}
1103
1104		/**
1105	<	* Latch isSignalled initially returns false, then true after release
1105	>	* tryReleaseShared setting state changes getState
1106		*/
1107	<	public void testLatchIsSignalled() {
1108	<	final BooleanLatch l = new BooleanLatch();
1109	<	assertFalse(l.isSignalled());
1110	<	l.releaseShared(0);
1111	<	assertTrue(l.isSignalled());
1107	>	public void testGetStateWithReleaseShared() {
1108	>	final BooleanLatch l = new BooleanLatch();
1109	>	assertFalse(l.isSignalled());
1110	>	assertTrue(l.releaseShared(0));
1111	>	assertTrue(l.isSignalled());
1112		}
1113
1114		/**
1115	<	* release and has no effect when already signalled
1115	>	* releaseShared has no effect when already signalled
1116		*/
1117		public void testReleaseShared() {
1118	<	final BooleanLatch l = new BooleanLatch();
1119	<	assertFalse(l.isSignalled());
1120	<	l.releaseShared(0);
1121	<	assertTrue(l.isSignalled());
1122	<	l.releaseShared(0);
1123	<	assertTrue(l.isSignalled());
1118	>	final BooleanLatch l = new BooleanLatch();
1119	>	assertFalse(l.isSignalled());
1120	>	assertTrue(l.releaseShared(0));
1121	>	assertTrue(l.isSignalled());
1122	>	assertTrue(l.releaseShared(0));
1123	>	assertTrue(l.isSignalled());
1124		}
1125
1126		/**
1127		* acquireSharedInterruptibly returns after release, but not before
1128		*/
1129		public void testAcquireSharedInterruptibly() {
1130	<	final BooleanLatch l = new BooleanLatch();
1130	>	final BooleanLatch l = new BooleanLatch();
1131
1132	<	Thread t = new Thread(new Runnable() {
1133	<	public void run() {
1134	<	try {
1135	<	threadAssertFalse(l.isSignalled());
1136	<	l.acquireSharedInterruptibly(0);
1137	<	threadAssertTrue(l.isSignalled());
1138	<	} catch(InterruptedException e){
1139	<	threadUnexpectedException();
1140	<	}
1141	<	}
1142	<	});
1143	<	try {
1144	<	t.start();
1145	<	assertFalse(l.isSignalled());
1146	<	Thread.sleep(SHORT_DELAY_MS);
1147	<	l.releaseShared(0);
568	<	assertTrue(l.isSignalled());
569	<	t.join();
570	<	} catch (InterruptedException e){
571	<	unexpectedException();
572	<	}
573	<	}
574	<
575	<
576	<	/**
577	<	* acquireSharedTimed returns after release
578	<	*/
579	<	public void testAsquireSharedTimed() {
580	<	final BooleanLatch l = new BooleanLatch();
581	<
582	<	Thread t = new Thread(new Runnable() {
583	<	public void run() {
584	<	try {
585	<	threadAssertFalse(l.isSignalled());
586	<	threadAssertTrue(l.acquireSharedNanos(0, MEDIUM_DELAY_MS* 1000 * 1000));
587	<	threadAssertTrue(l.isSignalled());
588	<
589	<	} catch(InterruptedException e){
590	<	threadUnexpectedException();
591	<	}
592	<	}
593	<	});
594	<	try {
595	<	t.start();
596	<	assertFalse(l.isSignalled());
597	<	Thread.sleep(SHORT_DELAY_MS);
598	<	l.releaseShared(0);
599	<	assertTrue(l.isSignalled());
600	<	t.join();
601	<	} catch (InterruptedException e){
602	<	unexpectedException();
603	<	}
1132	>	Thread t = newStartedThread(new CheckedRunnable() {
1133	>	public void realRun() throws InterruptedException {
1134	>	assertFalse(l.isSignalled());
1135	>	l.acquireSharedInterruptibly(0);
1136	>	assertTrue(l.isSignalled());
1137	>	l.acquireSharedInterruptibly(0);
1138	>	assertTrue(l.isSignalled());
1139	>	}});
1140	>
1141	>	waitForQueuedThread(l, t);
1142	>	assertFalse(l.isSignalled());
1143	>	assertThreadBlocks(t, Thread.State.WAITING);
1144	>	assertHasSharedQueuedThreads(l, t);
1145	>	assertTrue(l.releaseShared(0));
1146	>	assertTrue(l.isSignalled());
1147	>	awaitTermination(t);
1148		}
1149	<
1149	>
1150		/**
1151	<	* acquireSharedInterruptibly throws IE if interrupted before released
1151	>	* tryAcquireSharedNanos returns after release, but not before
1152		*/
1153	<	public void testAcquireSharedInterruptibly_InterruptedException() {
1153	>	public void testTryAcquireSharedNanos() {
1154		final BooleanLatch l = new BooleanLatch();
1155	<	Thread t = new Thread(new Runnable() {
1156	<	public void run() {
1157	<	try {
1158	<	threadAssertFalse(l.isSignalled());
1159	<	l.acquireSharedInterruptibly(0);
1160	<	threadShouldThrow();
1161	<	} catch(InterruptedException success){}
1162	<	}
1163	<	});
1164	<	t.start();
1165	<	try {
1166	<	assertFalse(l.isSignalled());
1167	<	t.interrupt();
1168	<	t.join();
1169	<	} catch (InterruptedException e){
1170	<	unexpectedException();
1171	<	}
1155	>
1156	>	Thread t = newStartedThread(new CheckedRunnable() {
1157	>	public void realRun() throws InterruptedException {
1158	>	assertFalse(l.isSignalled());
1159	>	long nanos = MILLISECONDS.toNanos(2 * LONG_DELAY_MS);
1160	>	assertTrue(l.tryAcquireSharedNanos(0, nanos));
1161	>	assertTrue(l.isSignalled());
1162	>	assertTrue(l.tryAcquireSharedNanos(0, nanos));
1163	>	assertTrue(l.isSignalled());
1164	>	}});
1165	>
1166	>	waitForQueuedThread(l, t);
1167	>	assertFalse(l.isSignalled());
1168	>	assertThreadBlocks(t, Thread.State.TIMED_WAITING);
1169	>	assertTrue(l.releaseShared(0));
1170	>	assertTrue(l.isSignalled());
1171	>	awaitTermination(t);
1172		}
1173
1174		/**
1175	<	* acquireSharedTimed throws IE if interrupted before released
1175	>	* acquireSharedInterruptibly is interruptible
1176		*/
1177	<	public void testAcquireSharedNanos_InterruptedException() {
1177	>	public void testAcquireSharedInterruptibly_Interruptible() {
1178		final BooleanLatch l = new BooleanLatch();
1179	<	Thread t = new Thread(new Runnable() {
1180	<	public void run() {
1181	<	try {
1182	<	threadAssertFalse(l.isSignalled());
1183	<	l.acquireSharedNanos(0, SMALL_DELAY_MS* 1000 * 1000);
1184	<	threadShouldThrow();
1185	<	} catch(InterruptedException success){}
1186	<	}
1187	<	});
1188	<	t.start();
1189	<	try {
1190	<	Thread.sleep(SHORT_DELAY_MS);
1191	<	assertFalse(l.isSignalled());
1192	<	t.interrupt();
1193	<	t.join();
1194	<	} catch (InterruptedException e){
1195	<	unexpectedException();
1196	<	}
1179	>	Thread t = newStartedThread(new CheckedInterruptedRunnable() {
1180	>	public void realRun() throws InterruptedException {
1181	>	assertFalse(l.isSignalled());
1182	>	l.acquireSharedInterruptibly(0);
1183	>	}});
1184	>
1185	>	waitForQueuedThread(l, t);
1186	>	assertFalse(l.isSignalled());
1187	>	t.interrupt();
1188	>	awaitTermination(t);
1189	>	assertFalse(l.isSignalled());
1190	>	}
1191	>
1192	>	/**
1193	>	* tryAcquireSharedNanos is interruptible
1194	>	*/
1195	>	public void testTryAcquireSharedNanos_Interruptible() {
1196	>	final BooleanLatch l = new BooleanLatch();
1197	>	Thread t = newStartedThread(new CheckedInterruptedRunnable() {
1198	>	public void realRun() throws InterruptedException {
1199	>	assertFalse(l.isSignalled());
1200	>	long nanos = MILLISECONDS.toNanos(2 * LONG_DELAY_MS);
1201	>	l.tryAcquireSharedNanos(0, nanos);
1202	>	}});
1203	>
1204	>	waitForQueuedThread(l, t);
1205	>	assertFalse(l.isSignalled());
1206	>	t.interrupt();
1207	>	awaitTermination(t);
1208	>	assertFalse(l.isSignalled());
1209		}
1210
1211		/**
1212	<	* acquireSharedTimed times out if not released before timeout
1212	>	* tryAcquireSharedNanos times out if not released before timeout
1213		*/
1214	<	public void testAcquireSharedNanos_Timeout() {
1214	>	public void testTryAcquireSharedNanos_Timeout() {
1215		final BooleanLatch l = new BooleanLatch();
1216	<	Thread t = new Thread(new Runnable() {
1217	<	public void run() {
1218	<	try {
1219	<	threadAssertFalse(l.isSignalled());
1220	<	threadAssertFalse(l.acquireSharedNanos(0, SMALL_DELAY_MS* 1000 * 1000));
1221	<	} catch(InterruptedException ie){
1222	<	threadUnexpectedException();
1223	<	}
1216	>	final BooleanLatch observedQueued = new BooleanLatch();
1217	>	Thread t = newStartedThread(new CheckedRunnable() {
1218	>	public void realRun() throws InterruptedException {
1219	>	assertFalse(l.isSignalled());
1220	>	for (long millis = timeoutMillis();
1221	>	!observedQueued.isSignalled();
1222	>	millis *= 2) {
1223	>	long nanos = MILLISECONDS.toNanos(millis);
1224	>	long startTime = System.nanoTime();
1225	>	assertFalse(l.tryAcquireSharedNanos(0, nanos));
1226	>	assertTrue(millisElapsedSince(startTime) >= millis);
1227		}
1228	<	});
1229	<	t.start();
1230	<	try {
1231	<	Thread.sleep(SHORT_DELAY_MS);
1232	<	assertFalse(l.isSignalled());
1233	<	t.join();
1234	<	} catch (InterruptedException e){
1235	<	unexpectedException();
1228	>	assertFalse(l.isSignalled());
1229	>	}});
1230	>
1231	>	waitForQueuedThread(l, t);
1232	>	observedQueued.releaseShared(0);
1233	>	assertFalse(l.isSignalled());
1234	>	awaitTermination(t);
1235	>	assertFalse(l.isSignalled());
1236	>	}
1237	>
1238	>	/**
1239	>	* awaitNanos/timed await with 0 wait times out immediately
1240	>	*/
1241	>	public void testAwait_Zero() throws InterruptedException {
1242	>	final Mutex sync = new Mutex();
1243	>	final ConditionObject c = sync.newCondition();
1244	>	sync.acquire();
1245	>	assertTrue(c.awaitNanos(0L) <= 0);
1246	>	assertFalse(c.await(0L, NANOSECONDS));
1247	>	sync.release();
1248	>	}
1249	>
1250	>	/**
1251	>	* awaitNanos/timed await with maximum negative wait times does not underflow
1252	>	*/
1253	>	public void testAwait_NegativeInfinity() throws InterruptedException {
1254	>	final Mutex sync = new Mutex();
1255	>	final ConditionObject c = sync.newCondition();
1256	>	sync.acquire();
1257	>	assertTrue(c.awaitNanos(Long.MIN_VALUE) <= 0);
1258	>	assertFalse(c.await(Long.MIN_VALUE, NANOSECONDS));
1259	>	sync.release();
1260	>	}
1261	>
1262	>	/**
1263	>	* JDK-8191483: AbstractQueuedSynchronizer cancel/cancel race
1264	>	* ant -Djsr166.tckTestClass=AbstractQueuedSynchronizerTest -Djsr166.methodFilter=testCancelCancelRace -Djsr166.runsPerTest=100 tck
1265	>	*/
1266	>	public void testCancelCancelRace() throws InterruptedException {
1267	>	class Sync extends AbstractQueuedSynchronizer {
1268	>	protected boolean tryAcquire(int acquires) {
1269	>	return !hasQueuedPredecessors() && compareAndSetState(0, 1);
1270	>	}
1271	>	protected boolean tryRelease(int releases) {
1272	>	return compareAndSetState(1, 0);
1273	>	}
1274		}
1275	+
1276	+	Sync s = new Sync();
1277	+	s.acquire(1);           // acquire to force other threads to enqueue
1278	+
1279	+	// try to trigger double cancel race with two background threads
1280	+	ArrayList<Thread> threads = new ArrayList<>();
1281	+	Runnable failedAcquire = () -> {
1282	+	try {
1283	+	s.acquireInterruptibly(1);
1284	+	shouldThrow();
1285	+	} catch (InterruptedException success) {}
1286	+	};
1287	+	for (int i = 0; i < 2; i++) {
1288	+	Thread thread = new Thread(failedAcquire);
1289	+	thread.start();
1290	+	threads.add(thread);
1291	+	}
1292	+	Thread.sleep(100);
1293	+	for (Thread thread : threads) thread.interrupt();
1294	+	for (Thread thread : threads) awaitTermination(thread);
1295	+
1296	+	s.release(1);
1297	+
1298	+	// no one holds lock now, we should be able to acquire
1299	+	if (!s.tryAcquire(1))
1300	+	throw new RuntimeException(
1301	+	String.format(
1302	+	"Broken: hasQueuedPredecessors=%s hasQueuedThreads=%s queueLength=%d firstQueuedThread=%s",
1303	+	s.hasQueuedPredecessors(),
1304	+	s.hasQueuedThreads(),
1305	+	s.getQueueLength(),
1306	+	s.getFirstQueuedThread()));
1307	+	}
1308	+
1309	+	/**
1310	+	* Tests scenario for
1311	+	* JDK-8191937: Lost interrupt in AbstractQueuedSynchronizer when tryAcquire methods throw
1312	+	* ant -Djsr166.tckTestClass=AbstractQueuedSynchronizerTest -Djsr166.methodFilter=testInterruptedFailingAcquire -Djsr166.runsPerTest=10000 tck
1313	+	*/
1314	+	public void testInterruptedFailingAcquire() throws Throwable {
1315	+	class PleaseThrow extends RuntimeException {}
1316	+	final PleaseThrow ex = new PleaseThrow();
1317	+
1318	+	// A synchronizer only offering a choice of failure modes
1319	+	class Sync extends AbstractQueuedSynchronizer {
1320	+	volatile boolean pleaseThrow;
1321	+	@Override protected boolean tryAcquire(int ignored) {
1322	+	if (pleaseThrow) throw ex;
1323	+	return false;
1324	+	}
1325	+	@Override protected int tryAcquireShared(int ignored) {
1326	+	if (pleaseThrow) throw ex;
1327	+	return -1;
1328	+	}
1329	+	@Override protected boolean tryRelease(int ignored) {
1330	+	return true;
1331	+	}
1332	+	@Override protected boolean tryReleaseShared(int ignored) {
1333	+	return true;
1334	+	}
1335	+	}
1336	+
1337	+	final Sync s = new Sync();
1338	+	final boolean acquireInterruptibly = randomBoolean();
1339	+	final Action[] uninterruptibleAcquireActions = {
1340	+	() -> s.acquire(1),
1341	+	() -> s.acquireShared(1),
1342	+	};
1343	+	final long nanosTimeout = MILLISECONDS.toNanos(2 * LONG_DELAY_MS);
1344	+	final Action[] interruptibleAcquireActions = {
1345	+	() -> s.acquireInterruptibly(1),
1346	+	() -> s.acquireSharedInterruptibly(1),
1347	+	() -> s.tryAcquireNanos(1, nanosTimeout),
1348	+	() -> s.tryAcquireSharedNanos(1, nanosTimeout),
1349	+	};
1350	+	final Action[] releaseActions = {
1351	+	() -> s.release(1),
1352	+	() -> s.releaseShared(1),
1353	+	};
1354	+	final Action acquireAction = acquireInterruptibly
1355	+	? chooseRandomly(interruptibleAcquireActions)
1356	+	: chooseRandomly(uninterruptibleAcquireActions);
1357	+	final Action releaseAction
1358	+	= chooseRandomly(releaseActions);
1359	+
1360	+	// From os_posix.cpp:
1361	+	//
1362	+	// NOTE that since there is no "lock" around the interrupt and
1363	+	// is_interrupted operations, there is the possibility that the
1364	+	// interrupted flag (in osThread) will be "false" but that the
1365	+	// low-level events will be in the signaled state. This is
1366	+	// intentional. The effect of this is that Object.wait() and
1367	+	// LockSupport.park() will appear to have a spurious wakeup, which
1368	+	// is allowed and not harmful, and the possibility is so rare that
1369	+	// it is not worth the added complexity to add yet another lock.
1370	+	final Thread thread = newStartedThread(new CheckedRunnable() {
1371	+	public void realRun() throws Throwable {
1372	+	try {
1373	+	acquireAction.run();
1374	+	shouldThrow();
1375	+	} catch (InterruptedException possible) {
1376	+	assertTrue(acquireInterruptibly);
1377	+	assertFalse(Thread.interrupted());
1378	+	} catch (PleaseThrow possible) {
1379	+	awaitInterrupted();
1380	+	}
1381	+	}});
1382	+	for (long startTime = 0L;; ) {
1383	+	waitForThreadToEnterWaitState(thread);
1384	+	if (s.getFirstQueuedThread() == thread
1385	+	&& s.hasQueuedPredecessors()
1386	+	&& s.hasQueuedThreads()
1387	+	&& s.getQueueLength() == 1
1388	+	&& s.hasContended())
1389	+	break;
1390	+	if (startTime == 0L)
1391	+	startTime = System.nanoTime();
1392	+	else if (millisElapsedSince(startTime) > LONG_DELAY_MS)
1393	+	fail("timed out waiting for AQS state: "
1394	+	+ "thread state=" + thread.getState()
1395	+	+ ", queued threads=" + s.getQueuedThreads());
1396	+	Thread.yield();
1397	+	}
1398	+
1399	+	s.pleaseThrow = true;
1400	+	// release and interrupt, in random order
1401	+	if (randomBoolean()) {
1402	+	thread.interrupt();
1403	+	releaseAction.run();
1404	+	} else {
1405	+	releaseAction.run();
1406	+	thread.interrupt();
1407	+	}
1408	+	awaitTermination(thread);
1409	+
1410	+	assertNull(s.getFirstQueuedThread());
1411	+	assertFalse(s.hasQueuedPredecessors());
1412	+	assertFalse(s.hasQueuedThreads());
1413	+	assertEquals(0, s.getQueueLength());
1414	+	assertTrue(s.getQueuedThreads().isEmpty());
1415	+	assertTrue(s.hasContended());
1416		}
1417	<
1417	>
1418		}

Diff Legend

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