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.7 by dl, Fri Jan 2 21:06:38 2004 UTC vs.
Revision 1.71 by jsr166, Thu Aug 15 16:01:30 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, from the AbstractQueuedSynchronizer
33	<	* javadoc.  All tests exercise this as a sample user extension.
34	<	* Other methods/features of AbstractQueuedSynchronizerTest are
35	<	* tested implicitly in ReentrantLock, ReentrantReadWriteLock, and
36	<	* Semaphore test classes
37	<	*/
38	<	static class Mutex implements Lock, java.io.Serializable {
39	<	private static class Sync extends AbstractQueuedSynchronizer {
40	<	boolean isLocked() { return getState() == 1; }
41	<
42	<	public boolean tryAcquireExclusive(boolean isQueued, int acquires) {
43	<	assert acquires == 1; // Does not use multiple acquires
44	<	return compareAndSetState(0, 1);
45	<	}
46	<
47	<	public boolean tryReleaseExclusive(int releases) {
48	<	setState(0);
49	<	return true;
50	<	}
51	<
52	<	public void checkConditionAccess(Thread thread, boolean waiting) {
53	<	if (getState() == 0) throw new IllegalMonitorStateException();
54	<	}
55	<
56	<	Condition newCondition() { return new ConditionObject(); }
57	<
58	<	private void readObject(ObjectInputStream s) throws IOException, ClassNotFoundException {
59	<	s.defaultReadObject();
60	<	setState(0); // reset to unlocked state
61	<	}
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	>	/** 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 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	<	private final Sync sync = new Sync();
79	<	public boolean tryLock() {
59	<	return sync.tryAcquireExclusive(false, 1);
77	>
78	>	public void acquire() {
79	>	acquire(LOCKED);
80		}
81	<	public void lock() {
82	<	sync.acquireExclusiveUninterruptibly(1);
81	>
82	>	public void acquireInterruptibly() throws InterruptedException {
83	>	acquireInterruptibly(LOCKED);
84		}
85	<	public void lockInterruptibly() throws InterruptedException {
86	<	sync.acquireExclusiveInterruptibly(1);
85	>
86	>	public void release() {
87	>	release(LOCKED);
88		}
89	<	public boolean tryLock(long timeout, TimeUnit unit) throws InterruptedException {
90	<	return sync.acquireExclusiveTimed(1, unit.toNanos(timeout));
89	>
90	>	/** Faux-Implements Lock.newCondition(). */
91	>	public ConditionObject newCondition() {
92	>	return new ConditionObject();
93		}
70	–	public void unlock() { sync.releaseExclusive(1); }
71	–	public Condition newCondition() { return sync.newCondition(); }
72	–	public boolean isLocked() { return sync.isLocked(); }
73	–	public boolean hasQueuedThreads() { return sync.hasQueuedThreads(); }
94		}
95
96		/**
97	<	* A runnable calling lockInterruptibly
97	>	* A minimal latch class, to test shared mode.
98		*/
99	<	class InterruptibleLockRunnable implements Runnable {
100	<	final Mutex lock;
101	<	InterruptibleLockRunnable(Mutex l) { lock = l; }
102	<	public void run() {
103	<	try {
104	<	lock.lockInterruptibly();
105	<	} catch(InterruptedException success){}
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;
104	>	}
105	>
106	>	public boolean tryReleaseShared(int ignore) {
107	>	setState(1);
108	>	return true;
109		}
110		}
111
112	+	/**
113	+	* A runnable calling acquireInterruptibly that does not expect to
114	+	* be interrupted.
115	+	*/
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 lockInterruptibly that expects to be
126	<	* interrupted
125	>	* A runnable calling acquireInterruptibly that expects to be
126	>	* interrupted.
127		*/
128	<	class InterruptedLockRunnable implements Runnable {
129	<	final Mutex lock;
130	<	InterruptedLockRunnable(Mutex l) { lock = l; }
131	<	public void run() {
132	<	try {
99	<	lock.lockInterruptibly();
100	<	threadShouldThrow();
101	<	} catch(InterruptedException success){}
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	<
135	>
136	>	/** A constant to clarify calls to checking methods below. */
137	>	static final Thread[] NO_THREADS = new Thread[0];
138	>
139		/**
140	<	* locking an unlocked lock succeeds
140	>	* Spin-waits until sync.isQueued(t) becomes true.
141		*/
142	<	public void testLock() {
143	<	Mutex rl = new Mutex();
144	<	rl.lock();
145	<	assertTrue(rl.isLocked());
146	<	rl.unlock();
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
152		/**
153	<	* tryLock on an unlocked lock succeeds
153	>	* Checks that sync has exactly the given queued threads.
154		*/
155	<	public void testTryLock() {
156	<	Mutex rl = new Mutex();
157	<	assertTrue(rl.tryLock());
158	<	assertTrue(rl.isLocked());
159	<	rl.unlock();
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	<	* hasQueuedThreads reports whether there are waiting threads
167	>	* Checks that sync has exactly the given (exclusive) queued threads.
168		*/
169	<	public void testhasQueuedThreads() {
170	<	final Mutex lock = new Mutex();
171	<	Thread t1 = new Thread(new InterruptedLockRunnable(lock));
172	<	Thread t2 = new Thread(new InterruptibleLockRunnable(lock));
173	<	try {
174	<	assertFalse(lock.hasQueuedThreads());
175	<	lock.lock();
176	<	t1.start();
177	<	Thread.sleep(SHORT_DELAY_MS);
178	<	assertTrue(lock.hasQueuedThreads());
179	<	t2.start();
180	<	Thread.sleep(SHORT_DELAY_MS);
181	<	assertTrue(lock.hasQueuedThreads());
182	<	t1.interrupt();
183	<	Thread.sleep(SHORT_DELAY_MS);
184	<	assertTrue(lock.hasQueuedThreads());
185	<	lock.unlock();
186	<	Thread.sleep(SHORT_DELAY_MS);
187	<	assertFalse(lock.hasQueuedThreads());
188	<	t1.join();
189	<	t2.join();
190	<	} catch(Exception e){
191	<	unexpectedException();
192	<	}
193	<	}
194	<
195	<	/**
196	<	* timed tryLock is interruptible.
197	<	*/
198	<	public void testInterruptedException2() {
158	<	final Mutex lock = new Mutex();
159	<	lock.lock();
160	<	Thread t = new Thread(new Runnable() {
161	<	public void run() {
162	<	try {
163	<	lock.tryLock(MEDIUM_DELAY_MS,TimeUnit.MILLISECONDS);
164	<	threadShouldThrow();
165	<	} catch(InterruptedException success){}
166	<	}
167	<	});
168	<	try {
169	<	t.start();
170	<	t.interrupt();
171	<	} catch(Exception e){
172	<	unexpectedException();
173	<	}
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	>	* Checks that sync has exactly the given (shared) queued threads.
180	>	*/
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	+	* Checks that condition c has exactly the given waiter threads.
203	+	*/
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	<	* TryLock on a locked lock fails
218	<	*/
219	<	public void testTryLockWhenLocked() {
220	<	final Mutex lock = new Mutex();
221	<	lock.lock();
222	<	Thread t = new Thread(new Runnable() {
223	<	public void run() {
224	<	threadAssertFalse(lock.tryLock());
225	<	}
226	<	});
227	<	try {
228	<	t.start();
229	<	t.join();
230	<	lock.unlock();
231	<	} catch(Exception e){
232	<	unexpectedException();
233	<	}
234	<	}
235	<
236	<	/**
237	<	* Timed tryLock on a locked lock times out
238	<	*/
200	<	public void testTryLock_Timeout() {
201	<	final Mutex lock = new Mutex();
202	<	lock.lock();
203	<	Thread t = new Thread(new Runnable() {
204	<	public void run() {
205	<	try {
206	<	threadAssertFalse(lock.tryLock(1, TimeUnit.MILLISECONDS));
207	<	} catch (Exception ex) {
208	<	threadUnexpectedException();
209	<	}
210	<	}
211	<	});
212	<	try {
213	<	t.start();
214	<	t.join();
215	<	lock.unlock();
216	<	} catch(Exception e){
217	<	unexpectedException();
218	<	}
219	<	}
220	<
221	<
222	<	/**
223	<	* isLocked is true when locked and false when not
224	<	*/
225	<	public void testIsLocked() {
226	<	final Mutex lock = new Mutex();
227	<	lock.lock();
228	<	assertTrue(lock.isLocked());
229	<	lock.unlock();
230	<	assertFalse(lock.isLocked());
231	<	Thread t = new Thread(new Runnable() {
232	<	public void run() {
233	<	lock.lock();
234	<	try {
235	<	Thread.sleep(SMALL_DELAY_MS);
236	<	}
237	<	catch(Exception e) {
238	<	threadUnexpectedException();
239	<	}
240	<	lock.unlock();
241	<	}
242	<	});
243	<	try {
244	<	t.start();
245	<	Thread.sleep(SHORT_DELAY_MS);
246	<	assertTrue(lock.isLocked());
247	<	t.join();
248	<	assertFalse(lock.isLocked());
249	<	} catch(Exception e){
250	<	unexpectedException();
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	+	* 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	<	* lockInterruptibly is interruptible.
309	<	*/
310	<	public void testLockInterruptibly1() {
311	<	final Mutex lock = new Mutex();
312	<	lock.lock();
313	<	Thread t = new Thread(new InterruptedLockRunnable(lock));
314	<	try {
315	<	t.start();
316	<	t.interrupt();
317	<	lock.unlock();
318	<	t.join();
319	<	} catch(Exception e){
320	<	unexpectedException();
321	<	}
322	<	}
323	<
324	<	/**
325	<	* lockInterruptibly succeeds when unlocked, else is interruptible
326	<	*/
327	<	public void testLockInterruptibly2() {
328	<	final Mutex lock = new Mutex();
329	<	try {
330	<	lock.lockInterruptibly();
331	<	} catch(Exception e) {
332	<	unexpectedException();
281	<	}
282	<	Thread t = new Thread(new InterruptedLockRunnable(lock));
283	<	try {
284	<	t.start();
285	<	t.interrupt();
286	<	assertTrue(lock.isLocked());
287	<	t.join();
288	<	} catch(Exception e){
289	<	unexpectedException();
290	<	}
291	<	}
292	<
293	<	/**
294	<	* Calling await without holding lock throws IllegalMonitorStateException
295	<	*/
296	<	public void testAwait_IllegalMonitor() {
297	<	final Mutex lock = new Mutex();
298	<	final Condition c = lock.newCondition();
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	<	c.await();
334	>	sync.isQueued(null);
335		shouldThrow();
336	<	}
337	<	catch (IllegalMonitorStateException success) {
338	<	}
339	<	catch (Exception ex) {
340	<	unexpectedException();
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 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	>	* 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	<	* Calling signal without holding lock throws IllegalMonitorStateException
639	>	* Calling signal without holding sync throws IllegalMonitorStateException
640		*/
641	<	public void testSignal_IllegalMonitor() {
642	<	final Mutex lock = new Mutex();
643	<	final Condition c = lock.newCondition();
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	<	}
648	<	catch (IllegalMonitorStateException success) {
321	<	}
322	<	catch (Exception ex) {
323	<	unexpectedException();
324	<	}
647	>	} catch (IllegalMonitorStateException success) {}
648	>	assertHasWaitersUnlocked(sync, c, NO_THREADS);
649		}
650
651		/**
652	<	* awaitNanos without a signal times out
652	>	* Calling signalAll without holding sync throws IllegalMonitorStateException
653		*/
654	<	public void testAwaitNanos_Timeout() {
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	<	lock.lock();
659	<	long t = c.awaitNanos(100);
660	<	assertTrue(t <= 0);
337	<	lock.unlock();
338	<	}
339	<	catch (Exception ex) {
340	<	unexpectedException();
341	<	}
658	>	c.signalAll();
659	>	shouldThrow();
660	>	} catch (IllegalMonitorStateException success) {}
661		}
662
663		/**
664	<	*  timed await without a signal times out
664	>	* await/awaitNanos/awaitUntil without a signal times out
665		*/
666	<	public void testAwait_Timeout() {
667	<	final Mutex lock = new Mutex();
668	<	final Condition c = lock.newCondition();
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	>	* hasWaiters(null) throws NullPointerException
709	>	*/
710	>	public void testHasWaitersNPE() {
711	>	final Mutex sync = new Mutex();
712		try {
713	<	lock.lock();
714	<	assertFalse(c.await(SHORT_DELAY_MS, TimeUnit.MILLISECONDS));
715	<	lock.unlock();
354	<	}
355	<	catch (Exception ex) {
356	<	unexpectedException();
357	<	}
713	>	sync.hasWaiters(null);
714	>	shouldThrow();
715	>	} catch (NullPointerException success) {}
716		}
717
718		/**
719	<	* awaitUntil without a signal times out
719	>	* getWaitQueueLength(null) throws NullPointerException
720		*/
721	<	public void testAwaitUntil_Timeout() {
722	<	final Mutex lock = new Mutex();
365	<	final Condition c = lock.newCondition();
721	>	public void testGetWaitQueueLengthNPE() {
722	>	final Mutex sync = new Mutex();
723		try {
724	<	lock.lock();
725	<	java.util.Date d = new java.util.Date();
726	<	assertFalse(c.awaitUntil(new java.util.Date(d.getTime() + 10)));
727	<	lock.unlock();
728	<	}
729	<	catch (Exception ex) {
730	<	unexpectedException();
731	<	}
724	>	sync.getWaitQueueLength(null);
725	>	shouldThrow();
726	>	} catch (NullPointerException success) {}
727	>	}
728	>
729	>	/**
730	>	* getWaitingThreads(null) throws NullPointerException
731	>	*/
732	>	public void testGetWaitingThreadsNPE() {
733	>	final Mutex sync = new Mutex();
734	>	try {
735	>	sync.getWaitingThreads(null);
736	>	shouldThrow();
737	>	} catch (NullPointerException success) {}
738		}
739
740		/**
741	<	* await returns when signalled
741	>	* hasWaiters throws IllegalArgumentException if not owned
742		*/
743	<	public void testAwait() {
744	<	final Mutex lock = new Mutex();
745	<	final Condition c = lock.newCondition();
746	<	Thread t = new Thread(new Runnable() {
747	<	public void run() {
748	<	try {
749	<	lock.lock();
750	<	c.await();
751	<	lock.unlock();
752	<	}
390	<	catch(InterruptedException e) {
391	<	threadUnexpectedException();
392	<	}
393	<	}
394	<	});
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	>	sync2.hasWaiters(c);
749	>	shouldThrow();
750	>	} catch (IllegalArgumentException success) {}
751	>	assertHasWaitersUnlocked(sync, c, NO_THREADS);
752	>	}
753
754	+	/**
755	+	* hasWaiters throws IllegalMonitorStateException if not synced
756	+	*/
757	+	public void testHasWaitersIMSE() {
758	+	final Mutex sync = new Mutex();
759	+	final ConditionObject c = sync.newCondition();
760		try {
761	<	t.start();
762	<	Thread.sleep(SHORT_DELAY_MS);
763	<	lock.lock();
764	<	c.signal();
765	<	lock.unlock();
766	<	t.join(SHORT_DELAY_MS);
767	<	assertFalse(t.isAlive());
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	>	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	>	* tryReleaseShared setting state changes getState
1106	>	*/
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	>	* releaseShared has no effect when already signalled
1116	>	*/
1117	>	public void testReleaseShared() {
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();
1131	>
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	>
1150	>	/**
1151	>	* tryAcquireSharedNanos returns after release, but not before
1152	>	*/
1153	>	public void testTryAcquireSharedNanos() {
1154	>	final BooleanLatch l = new BooleanLatch();
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	>	* acquireSharedInterruptibly is interruptible
1176	>	*/
1177	>	public void testAcquireSharedInterruptibly_Interruptible() {
1178	>	final BooleanLatch l = new BooleanLatch();
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	>	* tryAcquireSharedNanos times out if not released before timeout
1213	>	*/
1214	>	public void testTryAcquireSharedNanos_Timeout() {
1215	>	final BooleanLatch l = new BooleanLatch();
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	>	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	<	catch (Exception ex) {
1276	<	unexpectedException();
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	+	break;
1389	+	if (startTime == 0L)
1390	+	startTime = System.nanoTime();
1391	+	else if (millisElapsedSince(startTime) > LONG_DELAY_MS)
1392	+	fail("timed out waiting for AQS state: "
1393	+	+ "thread state=" + thread.getState()
1394	+	+ ", queued threads=" + s.getQueuedThreads());
1395	+	Thread.yield();
1396	+	}
1397	+
1398	+	s.pleaseThrow = true;
1399	+	// release and interrupt, in random order
1400	+	if (randomBoolean()) {
1401	+	thread.interrupt();
1402	+	releaseAction.run();
1403	+	} else {
1404	+	releaseAction.run();
1405	+	thread.interrupt();
1406	+	}
1407	+	awaitTermination(thread);
1408	+
1409	+	assertNull(s.getFirstQueuedThread());
1410	+	assertFalse(s.hasQueuedPredecessors());
1411	+	assertFalse(s.hasQueuedThreads());
1412	+	assertEquals(0, s.getQueueLength());
1413	+	assertTrue(s.getQueuedThreads().isEmpty());
1414		}
1415	<
1415	>
1416		}

Diff Legend

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