ViewVC Help

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

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

Comparing jsr166/src/test/tck/StampedLockTest.java (file contents):
Revision 1.22 by jsr166, Tue Jun 7 22:19:52 2016 UTC vs.
Revision 1.45 by jsr166, Wed Aug 12 16:12:23 2020 UTC

#	Line 5 | Line 5
5		* http://creativecommons.org/publicdomain/zero/1.0/
6		*/
7
8	+	import static java.util.concurrent.TimeUnit.DAYS;
9		import static java.util.concurrent.TimeUnit.MILLISECONDS;
10
11	+	import static java.util.concurrent.locks.StampedLock.isLockStamp;
12	+	import static java.util.concurrent.locks.StampedLock.isOptimisticReadStamp;
13	+	import static java.util.concurrent.locks.StampedLock.isReadLockStamp;
14	+	import static java.util.concurrent.locks.StampedLock.isWriteLockStamp;
15	+
16	+	import java.util.ArrayList;
17	+	import java.util.List;
18	+	import java.util.concurrent.Callable;
19	+	import java.util.concurrent.CompletableFuture;
20		import java.util.concurrent.CountDownLatch;
21	+	import java.util.concurrent.Future;
22	+	import java.util.concurrent.ThreadLocalRandom;
23	+	import java.util.concurrent.TimeUnit;
24	+	import java.util.concurrent.atomic.AtomicBoolean;
25		import java.util.concurrent.locks.Lock;
26		import java.util.concurrent.locks.StampedLock;
27	+	import java.util.function.BiConsumer;
28	+	import java.util.function.Consumer;
29	+	import java.util.function.Function;
30
31		import junit.framework.Test;
32		import junit.framework.TestSuite;
#	Line 23 | Line 40 | public class StampedLockTest extends JSR
40		}
41
42		/**
26	–	* A runnable calling writeLockInterruptibly
27	–	*/
28	–	class InterruptibleLockRunnable extends CheckedRunnable {
29	–	final StampedLock lock;
30	–	InterruptibleLockRunnable(StampedLock l) { lock = l; }
31	–	public void realRun() throws InterruptedException {
32	–	lock.writeLockInterruptibly();
33	–	}
34	–	}
35	–
36	–	/**
37	–	* A runnable calling writeLockInterruptibly that expects to be
38	–	* interrupted
39	–	*/
40	–	class InterruptedLockRunnable extends CheckedInterruptedRunnable {
41	–	final StampedLock lock;
42	–	InterruptedLockRunnable(StampedLock l) { lock = l; }
43	–	public void realRun() throws InterruptedException {
44	–	lock.writeLockInterruptibly();
45	–	}
46	–	}
47	–
48	–	/**
43		* Releases write lock, checking isWriteLocked before and after
44		*/
45	<	void releaseWriteLock(StampedLock lock, long s) {
45	>	void releaseWriteLock(StampedLock lock, long stamp) {
46		assertTrue(lock.isWriteLocked());
47	<	lock.unlockWrite(s);
47	>	assertValid(lock, stamp);
48	>	lock.unlockWrite(stamp);
49		assertFalse(lock.isWriteLocked());
50	+	assertFalse(lock.validate(stamp));
51		}
52
53		/**
54	<	* Constructed StampedLock is in unlocked state
54	>	* Releases read lock, checking isReadLocked before and after
55		*/
56	<	public void testConstructor() {
57	<	StampedLock lock;
58	<	lock = new StampedLock();
59	<	assertFalse(lock.isWriteLocked());
56	>	void releaseReadLock(StampedLock lock, long stamp) {
57	>	assertTrue(lock.isReadLocked());
58	>	assertValid(lock, stamp);
59	>	lock.unlockRead(stamp);
60		assertFalse(lock.isReadLocked());
61	<	assertEquals(lock.getReadLockCount(), 0);
61	>	assertTrue(lock.validate(stamp));
62		}
63
64	<	/**
65	<	* write-locking and read-locking an unlocked lock succeed
66	<	*/
71	<	public void testLock() {
72	<	StampedLock lock = new StampedLock();
73	<	assertFalse(lock.isWriteLocked());
74	<	assertFalse(lock.isReadLocked());
75	<	assertEquals(lock.getReadLockCount(), 0);
76	<	long s = lock.writeLock();
77	<	assertTrue(lock.isWriteLocked());
78	<	assertFalse(lock.isReadLocked());
79	<	assertEquals(lock.getReadLockCount(), 0);
80	<	lock.unlockWrite(s);
81	<	assertFalse(lock.isWriteLocked());
82	<	assertFalse(lock.isReadLocked());
83	<	assertEquals(lock.getReadLockCount(), 0);
84	<	long rs = lock.readLock();
85	<	assertFalse(lock.isWriteLocked());
86	<	assertTrue(lock.isReadLocked());
87	<	assertEquals(lock.getReadLockCount(), 1);
88	<	lock.unlockRead(rs);
89	<	assertFalse(lock.isWriteLocked());
90	<	assertFalse(lock.isReadLocked());
91	<	assertEquals(lock.getReadLockCount(), 0);
64	>	long assertNonZero(long v) {
65	>	assertTrue(v != 0L);
66	>	return v;
67		}
68
69	<	/**
70	<	* unlock releases either a read or write lock
71	<	*/
72	<	public void testUnlock() {
98	<	StampedLock lock = new StampedLock();
99	<	assertFalse(lock.isWriteLocked());
100	<	assertFalse(lock.isReadLocked());
101	<	assertEquals(lock.getReadLockCount(), 0);
102	<	long s = lock.writeLock();
103	<	assertTrue(lock.isWriteLocked());
104	<	assertFalse(lock.isReadLocked());
105	<	assertEquals(lock.getReadLockCount(), 0);
106	<	lock.unlock(s);
107	<	assertFalse(lock.isWriteLocked());
108	<	assertFalse(lock.isReadLocked());
109	<	assertEquals(lock.getReadLockCount(), 0);
110	<	long rs = lock.readLock();
111	<	assertFalse(lock.isWriteLocked());
112	<	assertTrue(lock.isReadLocked());
113	<	assertEquals(lock.getReadLockCount(), 1);
114	<	lock.unlock(rs);
115	<	assertFalse(lock.isWriteLocked());
116	<	assertFalse(lock.isReadLocked());
117	<	assertEquals(lock.getReadLockCount(), 0);
69	>	long assertValid(StampedLock lock, long stamp) {
70	>	assertTrue(stamp != 0L);
71	>	assertTrue(lock.validate(stamp));
72	>	return stamp;
73		}
74
75	<	/**
121	<	* tryUnlockRead/Write succeeds if locked in associated mode else
122	<	* returns false
123	<	*/
124	<	public void testTryUnlock() {
125	<	StampedLock lock = new StampedLock();
126	<	assertFalse(lock.isWriteLocked());
75	>	void assertUnlocked(StampedLock lock) {
76		assertFalse(lock.isReadLocked());
128	–	assertEquals(lock.getReadLockCount(), 0);
129	–	long s = lock.writeLock();
130	–	assertTrue(lock.isWriteLocked());
131	–	assertFalse(lock.isReadLocked());
132	–	assertEquals(lock.getReadLockCount(), 0);
133	–	assertFalse(lock.tryUnlockRead());
134	–	assertTrue(lock.tryUnlockWrite());
135	–	assertFalse(lock.tryUnlockWrite());
136	–	assertFalse(lock.tryUnlockRead());
137	–	assertFalse(lock.isWriteLocked());
138	–	assertFalse(lock.isReadLocked());
139	–	assertEquals(lock.getReadLockCount(), 0);
140	–	long rs = lock.readLock();
141	–	assertFalse(lock.isWriteLocked());
142	–	assertTrue(lock.isReadLocked());
143	–	assertEquals(lock.getReadLockCount(), 1);
144	–	assertFalse(lock.tryUnlockWrite());
145	–	assertTrue(lock.tryUnlockRead());
146	–	assertFalse(lock.tryUnlockRead());
147	–	assertFalse(lock.tryUnlockWrite());
77		assertFalse(lock.isWriteLocked());
78	<	assertFalse(lock.isReadLocked());
79	<	assertEquals(lock.getReadLockCount(), 0);
78	>	assertEquals(0, lock.getReadLockCount());
79	>	assertValid(lock, lock.tryOptimisticRead());
80		}
81
82	<	/**
83	<	* write-unlocking an unlocked lock throws IllegalMonitorStateException
84	<	*/
85	<	public void testWriteUnlock_IMSE() {
86	<	StampedLock lock = new StampedLock();
87	<	try {
88	<	lock.unlockWrite(0L);
89	<	shouldThrow();
90	<	} catch (IllegalMonitorStateException success) {}
82	>	List<Action> lockLockers(Lock lock) {
83	>	return List.of(
84	>	() -> lock.lock(),
85	>	() -> lock.lockInterruptibly(),
86	>	() -> lock.tryLock(),
87	>	() -> lock.tryLock(Long.MIN_VALUE, DAYS),
88	>	() -> lock.tryLock(0L, DAYS),
89	>	() -> lock.tryLock(Long.MAX_VALUE, DAYS));
90	>	}
91	>
92	>	List<Function<StampedLock, Long>> readLockers() {
93	>	return List.of(
94	>	sl -> sl.readLock(),
95	>	sl -> sl.tryReadLock(),
96	>	sl -> readLockInterruptiblyUninterrupted(sl),
97	>	sl -> tryReadLockUninterrupted(sl, Long.MIN_VALUE, DAYS),
98	>	sl -> tryReadLockUninterrupted(sl, 0L, DAYS),
99	>	sl -> sl.tryConvertToReadLock(sl.tryOptimisticRead()));
100	>	}
101	>
102	>	List<BiConsumer<StampedLock, Long>> readUnlockers() {
103	>	return List.of(
104	>	(sl, stamp) -> sl.unlockRead(stamp),
105	>	(sl, stamp) -> assertTrue(sl.tryUnlockRead()),
106	>	(sl, stamp) -> sl.asReadLock().unlock(),
107	>	(sl, stamp) -> sl.unlock(stamp),
108	>	(sl, stamp) -> assertValid(sl, sl.tryConvertToOptimisticRead(stamp)));
109	>	}
110	>
111	>	List<Function<StampedLock, Long>> writeLockers() {
112	>	return List.of(
113	>	sl -> sl.writeLock(),
114	>	sl -> sl.tryWriteLock(),
115	>	sl -> writeLockInterruptiblyUninterrupted(sl),
116	>	sl -> tryWriteLockUninterrupted(sl, Long.MIN_VALUE, DAYS),
117	>	sl -> tryWriteLockUninterrupted(sl, 0L, DAYS),
118	>	sl -> sl.tryConvertToWriteLock(sl.tryOptimisticRead()));
119	>	}
120	>
121	>	List<BiConsumer<StampedLock, Long>> writeUnlockers() {
122	>	return List.of(
123	>	(sl, stamp) -> sl.unlockWrite(stamp),
124	>	(sl, stamp) -> assertTrue(sl.tryUnlockWrite()),
125	>	(sl, stamp) -> sl.asWriteLock().unlock(),
126	>	(sl, stamp) -> sl.unlock(stamp),
127	>	(sl, stamp) -> assertValid(sl, sl.tryConvertToOptimisticRead(stamp)));
128		}
129
130		/**
131	<	* write-unlocking an unlocked lock throws IllegalMonitorStateException
131	>	* Constructed StampedLock is in unlocked state
132		*/
133	<	public void testWriteUnlock_IMSE2() {
134	<	StampedLock lock = new StampedLock();
169	<	long s = lock.writeLock();
170	<	lock.unlockWrite(s);
171	<	try {
172	<	lock.unlockWrite(s);
173	<	shouldThrow();
174	<	} catch (IllegalMonitorStateException success) {}
133	>	public void testConstructor() {
134	>	assertUnlocked(new StampedLock());
135		}
136
137		/**
138	<	* write-unlocking after readlock throws IllegalMonitorStateException
138	>	* write-locking, then unlocking, an unlocked lock succeed
139		*/
140	<	public void testWriteUnlock_IMSE3() {
140	>	public void testWriteLock_lockUnlock() {
141		StampedLock lock = new StampedLock();
142	<	long s = lock.readLock();
143	<	try {
144	<	lock.unlockWrite(s);
145	<	shouldThrow();
146	<	} catch (IllegalMonitorStateException success) {}
142	>
143	>	for (Function<StampedLock, Long> writeLocker : writeLockers())
144	>	for (BiConsumer<StampedLock, Long> writeUnlocker : writeUnlockers()) {
145	>	assertFalse(lock.isWriteLocked());
146	>	assertFalse(lock.isReadLocked());
147	>	assertEquals(0, lock.getReadLockCount());
148	>
149	>	long s = writeLocker.apply(lock);
150	>	assertValid(lock, s);
151	>	assertTrue(lock.isWriteLocked());
152	>	assertFalse(lock.isReadLocked());
153	>	assertEquals(0, lock.getReadLockCount());
154	>	writeUnlocker.accept(lock, s);
155	>	assertUnlocked(lock);
156	>	}
157		}
158
159		/**
160	<	* read-unlocking an unlocked lock throws IllegalMonitorStateException
160	>	* read-locking, then unlocking, an unlocked lock succeed
161		*/
162	<	public void testReadUnlock_IMSE() {
162	>	public void testReadLock_lockUnlock() {
163		StampedLock lock = new StampedLock();
164	<	long s = lock.readLock();
165	<	lock.unlockRead(s);
166	<	try {
167	<	lock.unlockRead(s);
168	<	shouldThrow();
169	<	} catch (IllegalMonitorStateException success) {}
164	>
165	>	for (Function<StampedLock, Long> readLocker : readLockers())
166	>	for (BiConsumer<StampedLock, Long> readUnlocker : readUnlockers()) {
167	>	long s = 42;
168	>	for (int i = 0; i < 2; i++) {
169	>	s = assertValid(lock, readLocker.apply(lock));
170	>	assertFalse(lock.isWriteLocked());
171	>	assertTrue(lock.isReadLocked());
172	>	assertEquals(i + 1, lock.getReadLockCount());
173	>	}
174	>	for (int i = 0; i < 2; i++) {
175	>	assertFalse(lock.isWriteLocked());
176	>	assertTrue(lock.isReadLocked());
177	>	assertEquals(2 - i, lock.getReadLockCount());
178	>	readUnlocker.accept(lock, s);
179	>	}
180	>	assertUnlocked(lock);
181	>	}
182		}
183
184		/**
185	<	* read-unlocking an unlocked lock throws IllegalMonitorStateException
185	>	* tryUnlockWrite fails if not write locked
186		*/
187	<	public void testReadUnlock_IMSE2() {
187	>	public void testTryUnlockWrite_failure() {
188		StampedLock lock = new StampedLock();
189	<	try {
190	<	lock.unlockRead(0L);
191	<	shouldThrow();
192	<	} catch (IllegalMonitorStateException success) {}
189	>	assertFalse(lock.tryUnlockWrite());
190	>
191	>	for (Function<StampedLock, Long> readLocker : readLockers())
192	>	for (BiConsumer<StampedLock, Long> readUnlocker : readUnlockers()) {
193	>	long s = assertValid(lock, readLocker.apply(lock));
194	>	assertFalse(lock.tryUnlockWrite());
195	>	assertTrue(lock.isReadLocked());
196	>	readUnlocker.accept(lock, s);
197	>	assertUnlocked(lock);
198	>	}
199		}
200
201		/**
202	<	* read-unlocking after writeLock throws IllegalMonitorStateException
202	>	* tryUnlockRead fails if not read locked
203		*/
204	<	public void testReadUnlock_IMSE3() {
204	>	public void testTryUnlockRead_failure() {
205		StampedLock lock = new StampedLock();
206	<	long s = lock.writeLock();
207	<	try {
208	<	lock.unlockRead(s);
209	<	shouldThrow();
210	<	} catch (IllegalMonitorStateException success) {}
206	>	assertFalse(lock.tryUnlockRead());
207	>
208	>	for (Function<StampedLock, Long> writeLocker : writeLockers())
209	>	for (BiConsumer<StampedLock, Long> writeUnlocker : writeUnlockers()) {
210	>	long s = writeLocker.apply(lock);
211	>	assertFalse(lock.tryUnlockRead());
212	>	assertTrue(lock.isWriteLocked());
213	>	writeUnlocker.accept(lock, s);
214	>	assertUnlocked(lock);
215	>	}
216		}
217
218		/**
219	<	* validate(0) fails
219	>	* validate(0L) fails
220		*/
221		public void testValidate0() {
222		StampedLock lock = new StampedLock();
#	Line 231 | Line 224 | public class StampedLockTest extends JSR
224		}
225
226		/**
227	<	* A stamp obtained from a successful lock operation validates
227	>	* A stamp obtained from a successful lock operation validates while the lock is held
228		*/
229		public void testValidate() throws InterruptedException {
230		StampedLock lock = new StampedLock();
231	<	long s = lock.writeLock();
232	<	assertTrue(lock.validate(s));
233	<	lock.unlockWrite(s);
234	<	s = lock.readLock();
235	<	assertTrue(lock.validate(s));
236	<	lock.unlockRead(s);
237	<	assertTrue((s = lock.tryWriteLock()) != 0L);
238	<	assertTrue(lock.validate(s));
239	<	lock.unlockWrite(s);
240	<	assertTrue((s = lock.tryReadLock()) != 0L);
241	<	assertTrue(lock.validate(s));
242	<	lock.unlockRead(s);
243	<	assertTrue((s = lock.tryWriteLock(100L, MILLISECONDS)) != 0L);
244	<	assertTrue(lock.validate(s));
252	<	lock.unlockWrite(s);
253	<	assertTrue((s = lock.tryReadLock(100L, MILLISECONDS)) != 0L);
254	<	assertTrue(lock.validate(s));
255	<	lock.unlockRead(s);
256	<	assertTrue((s = lock.tryOptimisticRead()) != 0L);
231	>
232	>	for (Function<StampedLock, Long> readLocker : readLockers())
233	>	for (BiConsumer<StampedLock, Long> readUnlocker : readUnlockers()) {
234	>	long s = assertNonZero(readLocker.apply(lock));
235	>	assertTrue(lock.validate(s));
236	>	readUnlocker.accept(lock, s);
237	>	}
238	>
239	>	for (Function<StampedLock, Long> writeLocker : writeLockers())
240	>	for (BiConsumer<StampedLock, Long> writeUnlocker : writeUnlockers()) {
241	>	long s = assertNonZero(writeLocker.apply(lock));
242	>	assertTrue(lock.validate(s));
243	>	writeUnlocker.accept(lock, s);
244	>	}
245		}
246
247		/**
#	Line 261 | Line 249 | public class StampedLockTest extends JSR
249		*/
250		public void testValidate2() throws InterruptedException {
251		StampedLock lock = new StampedLock();
252	<	long s;
265	<	assertTrue((s = lock.writeLock()) != 0L);
252	>	long s = assertNonZero(lock.writeLock());
253		assertTrue(lock.validate(s));
254		assertFalse(lock.validate(lock.tryWriteLock()));
255	<	assertFalse(lock.validate(lock.tryWriteLock(10L, MILLISECONDS)));
255	>	assertFalse(lock.validate(lock.tryWriteLock(randomExpiredTimeout(),
256	>	randomTimeUnit())));
257		assertFalse(lock.validate(lock.tryReadLock()));
258	<	assertFalse(lock.validate(lock.tryReadLock(10L, MILLISECONDS)));
258	>	assertFalse(lock.validate(lock.tryWriteLock(randomExpiredTimeout(),
259	>	randomTimeUnit())));
260		assertFalse(lock.validate(lock.tryOptimisticRead()));
261		lock.unlockWrite(s);
262		}
263
264	+	void assertThrowInterruptedExceptionWhenPreInterrupted(Action[] actions) {
265	+	for (Action action : actions) {
266	+	Thread.currentThread().interrupt();
267	+	try {
268	+	action.run();
269	+	shouldThrow();
270	+	}
271	+	catch (InterruptedException success) {}
272	+	catch (Throwable fail) { threadUnexpectedException(fail); }
273	+	assertFalse(Thread.interrupted());
274	+	}
275	+	}
276	+
277		/**
278	<	* writeLockInterruptibly is interruptible
278	>	* interruptible operations throw InterruptedException when pre-interrupted
279		*/
280	<	public void testWriteLockInterruptibly_Interruptible()
279	<	throws InterruptedException {
280	<	final CountDownLatch running = new CountDownLatch(1);
280	>	public void testInterruptibleOperationsThrowInterruptedExceptionWhenPreInterrupted() {
281		final StampedLock lock = new StampedLock();
282	–	long s = lock.writeLock();
283	–	Thread t = newStartedThread(new CheckedInterruptedRunnable() {
284	–	public void realRun() throws InterruptedException {
285	–	running.countDown();
286	–	lock.writeLockInterruptibly();
287	–	}});
282
283	<	running.await();
284	<	waitForThreadToEnterWaitState(t, 100);
285	<	t.interrupt();
286	<	awaitTermination(t);
287	<	releaseWriteLock(lock, s);
283	>	Action[] interruptibleLockActions = {
284	>	() -> lock.writeLockInterruptibly(),
285	>	() -> lock.tryWriteLock(Long.MIN_VALUE, DAYS),
286	>	() -> lock.tryWriteLock(Long.MAX_VALUE, DAYS),
287	>	() -> lock.readLockInterruptibly(),
288	>	() -> lock.tryReadLock(Long.MIN_VALUE, DAYS),
289	>	() -> lock.tryReadLock(Long.MAX_VALUE, DAYS),
290	>	() -> lock.asWriteLock().lockInterruptibly(),
291	>	() -> lock.asWriteLock().tryLock(0L, DAYS),
292	>	() -> lock.asWriteLock().tryLock(Long.MAX_VALUE, DAYS),
293	>	() -> lock.asReadLock().lockInterruptibly(),
294	>	() -> lock.asReadLock().tryLock(0L, DAYS),
295	>	() -> lock.asReadLock().tryLock(Long.MAX_VALUE, DAYS),
296	>	};
297	>	shuffle(interruptibleLockActions);
298	>
299	>	assertThrowInterruptedExceptionWhenPreInterrupted(interruptibleLockActions);
300	>	{
301	>	long s = lock.writeLock();
302	>	assertThrowInterruptedExceptionWhenPreInterrupted(interruptibleLockActions);
303	>	lock.unlockWrite(s);
304	>	}
305	>	{
306	>	long s = lock.readLock();
307	>	assertThrowInterruptedExceptionWhenPreInterrupted(interruptibleLockActions);
308	>	lock.unlockRead(s);
309	>	}
310	>	}
311	>
312	>	void assertThrowInterruptedExceptionWhenInterrupted(Action[] actions) {
313	>	int n = actions.length;
314	>	Future<?>[] futures = new Future<?>[n];
315	>	CountDownLatch threadsStarted = new CountDownLatch(n);
316	>	CountDownLatch done = new CountDownLatch(n);
317	>
318	>	for (int i = 0; i < n; i++) {
319	>	Action action = actions[i];
320	>	futures[i] = cachedThreadPool.submit(new CheckedRunnable() {
321	>	public void realRun() throws Throwable {
322	>	threadsStarted.countDown();
323	>	try {
324	>	action.run();
325	>	shouldThrow();
326	>	}
327	>	catch (InterruptedException success) {}
328	>	catch (Throwable fail) { threadUnexpectedException(fail); }
329	>	assertFalse(Thread.interrupted());
330	>	done.countDown();
331	>	}});
332	>	}
333	>
334	>	await(threadsStarted);
335	>	assertEquals(n, done.getCount());
336	>	for (Future<?> future : futures) // Interrupt all the tasks
337	>	future.cancel(true);
338	>	await(done);
339		}
340
341		/**
342	<	* timed tryWriteLock is interruptible
342	>	* interruptible operations throw InterruptedException when write locked and interrupted
343		*/
344	<	public void testWriteTryLock_Interruptible() throws InterruptedException {
300	<	final CountDownLatch running = new CountDownLatch(1);
344	>	public void testInterruptibleOperationsThrowInterruptedExceptionWriteLockedInterrupted() {
345		final StampedLock lock = new StampedLock();
346	<	long s = lock.writeLock();
303	<	Thread t = newStartedThread(new CheckedInterruptedRunnable() {
304	<	public void realRun() throws InterruptedException {
305	<	running.countDown();
306	<	lock.tryWriteLock(2 * LONG_DELAY_MS, MILLISECONDS);
307	<	}});
346	>	long stamp = lock.writeLock();
347
348	<	running.await();
349	<	waitForThreadToEnterWaitState(t, 100);
350	<	t.interrupt();
351	<	awaitTermination(t);
352	<	releaseWriteLock(lock, s);
348	>	Action[] interruptibleLockBlockingActions = {
349	>	() -> lock.writeLockInterruptibly(),
350	>	() -> lock.tryWriteLock(Long.MAX_VALUE, DAYS),
351	>	() -> lock.readLockInterruptibly(),
352	>	() -> lock.tryReadLock(Long.MAX_VALUE, DAYS),
353	>	() -> lock.asWriteLock().lockInterruptibly(),
354	>	() -> lock.asWriteLock().tryLock(Long.MAX_VALUE, DAYS),
355	>	() -> lock.asReadLock().lockInterruptibly(),
356	>	() -> lock.asReadLock().tryLock(Long.MAX_VALUE, DAYS),
357	>	};
358	>	shuffle(interruptibleLockBlockingActions);
359	>
360	>	assertThrowInterruptedExceptionWhenInterrupted(interruptibleLockBlockingActions);
361	>
362	>	releaseWriteLock(lock, stamp);
363		}
364
365		/**
366	<	* readLockInterruptibly is interruptible
366	>	* interruptible operations throw InterruptedException when read locked and interrupted
367		*/
368	<	public void testReadLockInterruptibly_Interruptible()
320	<	throws InterruptedException {
321	<	final CountDownLatch running = new CountDownLatch(1);
368	>	public void testInterruptibleOperationsThrowInterruptedExceptionReadLockedInterrupted() {
369		final StampedLock lock = new StampedLock();
370	<	long s = lock.writeLock();
324	<	Thread t = newStartedThread(new CheckedInterruptedRunnable() {
325	<	public void realRun() throws InterruptedException {
326	<	running.countDown();
327	<	lock.readLockInterruptibly();
328	<	}});
370	>	long stamp = lock.readLock();
371
372	<	running.await();
373	<	waitForThreadToEnterWaitState(t, 100);
374	<	t.interrupt();
375	<	awaitTermination(t);
376	<	releaseWriteLock(lock, s);
372	>	Action[] interruptibleLockBlockingActions = {
373	>	() -> lock.writeLockInterruptibly(),
374	>	() -> lock.tryWriteLock(Long.MAX_VALUE, DAYS),
375	>	() -> lock.asWriteLock().lockInterruptibly(),
376	>	() -> lock.asWriteLock().tryLock(Long.MAX_VALUE, DAYS),
377	>	};
378	>	shuffle(interruptibleLockBlockingActions);
379	>
380	>	assertThrowInterruptedExceptionWhenInterrupted(interruptibleLockBlockingActions);
381	>
382	>	releaseReadLock(lock, stamp);
383		}
384
385		/**
386	<	* timed tryReadLock is interruptible
386	>	* Non-interruptible operations ignore and preserve interrupt status
387		*/
388	<	public void testReadTryLock_Interruptible() throws InterruptedException {
341	<	final CountDownLatch running = new CountDownLatch(1);
388	>	public void testNonInterruptibleOperationsIgnoreInterrupts() {
389		final StampedLock lock = new StampedLock();
390	<	long s = lock.writeLock();
344	<	Thread t = newStartedThread(new CheckedInterruptedRunnable() {
345	<	public void realRun() throws InterruptedException {
346	<	running.countDown();
347	<	lock.tryReadLock(2 * LONG_DELAY_MS, MILLISECONDS);
348	<	}});
390	>	Thread.currentThread().interrupt();
391
392	<	running.await();
393	<	waitForThreadToEnterWaitState(t, 100);
394	<	t.interrupt();
395	<	awaitTermination(t);
396	<	releaseWriteLock(lock, s);
392	>	for (BiConsumer<StampedLock, Long> readUnlocker : readUnlockers()) {
393	>	long s = assertValid(lock, lock.readLock());
394	>	readUnlocker.accept(lock, s);
395	>	s = assertValid(lock, lock.tryReadLock());
396	>	readUnlocker.accept(lock, s);
397	>	}
398	>
399	>	lock.asReadLock().lock();
400	>	lock.asReadLock().unlock();
401	>
402	>	for (BiConsumer<StampedLock, Long> writeUnlocker : writeUnlockers()) {
403	>	long s = assertValid(lock, lock.writeLock());
404	>	writeUnlocker.accept(lock, s);
405	>	s = assertValid(lock, lock.tryWriteLock());
406	>	writeUnlocker.accept(lock, s);
407	>	}
408	>
409	>	lock.asWriteLock().lock();
410	>	lock.asWriteLock().unlock();
411	>
412	>	assertTrue(Thread.interrupted());
413		}
414
415		/**
416		* tryWriteLock on an unlocked lock succeeds
417		*/
418	<	public void testWriteTryLock() {
418	>	public void testTryWriteLock() {
419		final StampedLock lock = new StampedLock();
420		long s = lock.tryWriteLock();
421		assertTrue(s != 0L);
422		assertTrue(lock.isWriteLocked());
423	<	long s2 = lock.tryWriteLock();
366	<	assertEquals(s2, 0L);
423	>	assertEquals(0L, lock.tryWriteLock());
424		releaseWriteLock(lock, s);
425		}
426
427		/**
428		* tryWriteLock fails if locked
429		*/
430	<	public void testWriteTryLockWhenLocked() {
430	>	public void testTryWriteLockWhenLocked() {
431		final StampedLock lock = new StampedLock();
432		long s = lock.writeLock();
433		Thread t = newStartedThread(new CheckedRunnable() {
434		public void realRun() {
435	<	long ws = lock.tryWriteLock();
379	<	assertTrue(ws == 0L);
435	>	assertEquals(0L, lock.tryWriteLock());
436		}});
437
438	+	assertEquals(0L, lock.tryWriteLock());
439		awaitTermination(t);
440		releaseWriteLock(lock, s);
441		}
#	Line 386 | Line 443 | public class StampedLockTest extends JSR
443		/**
444		* tryReadLock fails if write-locked
445		*/
446	<	public void testReadTryLockWhenLocked() {
446	>	public void testTryReadLockWhenLocked() {
447		final StampedLock lock = new StampedLock();
448		long s = lock.writeLock();
449		Thread t = newStartedThread(new CheckedRunnable() {
450		public void realRun() {
451	<	long rs = lock.tryReadLock();
395	<	assertEquals(rs, 0L);
451	>	assertEquals(0L, lock.tryReadLock());
452		}});
453
454	+	assertEquals(0L, lock.tryReadLock());
455		awaitTermination(t);
456		releaseWriteLock(lock, s);
457		}
#	Line 408 | Line 465 | public class StampedLockTest extends JSR
465		Thread t = newStartedThread(new CheckedRunnable() {
466		public void realRun() throws InterruptedException {
467		long s2 = lock.tryReadLock();
468	<	assertTrue(s2 != 0L);
468	>	assertValid(lock, s2);
469		lock.unlockRead(s2);
470		long s3 = lock.tryReadLock(LONG_DELAY_MS, MILLISECONDS);
471	<	assertTrue(s3 != 0L);
471	>	assertValid(lock, s3);
472		lock.unlockRead(s3);
473		long s4 = lock.readLock();
474	+	assertValid(lock, s4);
475		lock.unlockRead(s4);
476	+	lock.asReadLock().lock();
477	+	lock.asReadLock().unlock();
478	+	lock.asReadLock().lockInterruptibly();
479	+	lock.asReadLock().unlock();
480	+	lock.asReadLock().tryLock(Long.MIN_VALUE, DAYS);
481	+	lock.asReadLock().unlock();
482		}});
483
484		awaitTermination(t);
#	Line 422 | Line 486 | public class StampedLockTest extends JSR
486		}
487
488		/**
489	<	* A writelock succeeds only after a reading thread unlocks
489	>	* writeLock() succeeds only after a reading thread unlocks
490		*/
491		public void testWriteAfterReadLock() throws InterruptedException {
492	<	final CountDownLatch running = new CountDownLatch(1);
492	>	final CountDownLatch aboutToLock = new CountDownLatch(1);
493		final StampedLock lock = new StampedLock();
494		long rs = lock.readLock();
495		Thread t = newStartedThread(new CheckedRunnable() {
496		public void realRun() {
497	<	running.countDown();
497	>	aboutToLock.countDown();
498		long s = lock.writeLock();
499	+	assertTrue(lock.isWriteLocked());
500	+	assertFalse(lock.isReadLocked());
501		lock.unlockWrite(s);
502		}});
503
504	<	running.await();
505	<	waitForThreadToEnterWaitState(t, 100);
504	>	await(aboutToLock);
505	>	assertThreadBlocks(t, Thread.State.WAITING);
506		assertFalse(lock.isWriteLocked());
507	+	assertTrue(lock.isReadLocked());
508		lock.unlockRead(rs);
509		awaitTermination(t);
510	<	assertFalse(lock.isWriteLocked());
510	>	assertUnlocked(lock);
511		}
512
513		/**
514	<	* A writelock succeeds only after reading threads unlock
514	>	* writeLock() succeeds only after reading threads unlock
515		*/
516		public void testWriteAfterMultipleReadLocks() {
517		final StampedLock lock = new StampedLock();
#	Line 463 | Line 530 | public class StampedLockTest extends JSR
530		lock.unlockWrite(ws);
531		}});
532
533	+	assertTrue(lock.isReadLocked());
534		assertFalse(lock.isWriteLocked());
535		lock.unlockRead(s);
536		awaitTermination(t2);
537	<	assertFalse(lock.isWriteLocked());
537	>	assertUnlocked(lock);
538		}
539
540		/**
541	<	* Readlocks succeed only after a writing thread unlocks
541	>	* readLock() succeed only after a writing thread unlocks
542		*/
543		public void testReadAfterWriteLock() {
544		final StampedLock lock = new StampedLock();
545	+	final CountDownLatch threadsStarted = new CountDownLatch(2);
546		final long s = lock.writeLock();
547	<	Thread t1 = newStartedThread(new CheckedRunnable() {
547	>	final Runnable acquireReleaseReadLock = new CheckedRunnable() {
548		public void realRun() {
549	+	threadsStarted.countDown();
550		long rs = lock.readLock();
551	+	assertTrue(lock.isReadLocked());
552	+	assertFalse(lock.isWriteLocked());
553		lock.unlockRead(rs);
554	<	}});
555	<	Thread t2 = newStartedThread(new CheckedRunnable() {
556	<	public void realRun() {
557	<	long rs = lock.readLock();
558	<	lock.unlockRead(rs);
559	<	}});
560	<
554	>	}};
555	>	Thread t1 = newStartedThread(acquireReleaseReadLock);
556	>	Thread t2 = newStartedThread(acquireReleaseReadLock);
557	>
558	>	await(threadsStarted);
559	>	assertThreadBlocks(t1, Thread.State.WAITING);
560	>	assertThreadBlocks(t2, Thread.State.WAITING);
561	>	assertTrue(lock.isWriteLocked());
562	>	assertFalse(lock.isReadLocked());
563		releaseWriteLock(lock, s);
564		awaitTermination(t1);
565		awaitTermination(t2);
566	+	assertUnlocked(lock);
567		}
568
569		/**
570	<	* tryReadLock succeeds if readlocked but not writelocked
570	>	* tryReadLock succeeds if read locked but not write locked
571		*/
572		public void testTryLockWhenReadLocked() {
573		final StampedLock lock = new StampedLock();
#	Line 500 | Line 575 | public class StampedLockTest extends JSR
575		Thread t = newStartedThread(new CheckedRunnable() {
576		public void realRun() {
577		long rs = lock.tryReadLock();
578	<	threadAssertTrue(rs != 0L);
578	>	assertValid(lock, rs);
579		lock.unlockRead(rs);
580		}});
581
#	Line 509 | Line 584 | public class StampedLockTest extends JSR
584		}
585
586		/**
587	<	* tryWriteLock fails when readlocked
587	>	* tryWriteLock fails when read locked
588		*/
589	<	public void testWriteTryLockWhenReadLocked() {
589	>	public void testTryWriteLockWhenReadLocked() {
590		final StampedLock lock = new StampedLock();
591		long s = lock.readLock();
592		Thread t = newStartedThread(new CheckedRunnable() {
593		public void realRun() {
594	<	long ws = lock.tryWriteLock();
520	<	threadAssertEquals(ws, 0L);
594	>	assertEquals(0L, lock.tryWriteLock());
595		}});
596
597		awaitTermination(t);
#	Line 525 | Line 599 | public class StampedLockTest extends JSR
599		}
600
601		/**
602	<	* timed tryWriteLock times out if locked
602	>	* timed lock operations time out if lock not available
603		*/
604	<	public void testWriteTryLock_Timeout() {
604	>	public void testTimedLock_Timeout() throws Exception {
605	>	ArrayList<Future<?>> futures = new ArrayList<>();
606	>
607	>	// Write locked
608		final StampedLock lock = new StampedLock();
609	<	long s = lock.writeLock();
610	<	Thread t = newStartedThread(new CheckedRunnable() {
609	>	long stamp = lock.writeLock();
610	>	assertEquals(0L, lock.tryReadLock(0L, DAYS));
611	>	assertEquals(0L, lock.tryReadLock(Long.MIN_VALUE, DAYS));
612	>	assertFalse(lock.asReadLock().tryLock(0L, DAYS));
613	>	assertFalse(lock.asReadLock().tryLock(Long.MIN_VALUE, DAYS));
614	>	assertEquals(0L, lock.tryWriteLock(0L, DAYS));
615	>	assertEquals(0L, lock.tryWriteLock(Long.MIN_VALUE, DAYS));
616	>	assertFalse(lock.asWriteLock().tryLock(0L, DAYS));
617	>	assertFalse(lock.asWriteLock().tryLock(Long.MIN_VALUE, DAYS));
618	>
619	>	futures.add(cachedThreadPool.submit(new CheckedRunnable() {
620		public void realRun() throws InterruptedException {
621		long startTime = System.nanoTime();
622	<	long timeoutMillis = 10;
623	<	long ws = lock.tryWriteLock(timeoutMillis, MILLISECONDS);
624	<	assertEquals(ws, 0L);
539	<	assertTrue(millisElapsedSince(startTime) >= timeoutMillis);
540	<	}});
622	>	assertEquals(0L, lock.tryWriteLock(timeoutMillis(), MILLISECONDS));
623	>	assertTrue(millisElapsedSince(startTime) >= timeoutMillis());
624	>	}}));
625
626	<	awaitTermination(t);
627	<	releaseWriteLock(lock, s);
628	<	}
626	>	futures.add(cachedThreadPool.submit(new CheckedRunnable() {
627	>	public void realRun() throws InterruptedException {
628	>	long startTime = System.nanoTime();
629	>	assertEquals(0L, lock.tryReadLock(timeoutMillis(), MILLISECONDS));
630	>	assertTrue(millisElapsedSince(startTime) >= timeoutMillis());
631	>	}}));
632	>
633	>	// Read locked
634	>	final StampedLock lock2 = new StampedLock();
635	>	long stamp2 = lock2.readLock();
636	>	assertEquals(0L, lock2.tryWriteLock(0L, DAYS));
637	>	assertEquals(0L, lock2.tryWriteLock(Long.MIN_VALUE, DAYS));
638	>	assertFalse(lock2.asWriteLock().tryLock(0L, DAYS));
639	>	assertFalse(lock2.asWriteLock().tryLock(Long.MIN_VALUE, DAYS));
640
641	<	/**
547	<	* timed tryReadLock times out if write-locked
548	<	*/
549	<	public void testReadTryLock_Timeout() {
550	<	final StampedLock lock = new StampedLock();
551	<	long s = lock.writeLock();
552	<	Thread t = newStartedThread(new CheckedRunnable() {
641	>	futures.add(cachedThreadPool.submit(new CheckedRunnable() {
642		public void realRun() throws InterruptedException {
643		long startTime = System.nanoTime();
644	<	long timeoutMillis = 10;
645	<	long rs = lock.tryReadLock(timeoutMillis, MILLISECONDS);
646	<	assertEquals(rs, 0L);
558	<	assertTrue(millisElapsedSince(startTime) >= timeoutMillis);
559	<	}});
644	>	assertEquals(0L, lock2.tryWriteLock(timeoutMillis(), MILLISECONDS));
645	>	assertTrue(millisElapsedSince(startTime) >= timeoutMillis());
646	>	}}));
647
648	<	awaitTermination(t);
649	<	assertTrue(lock.isWriteLocked());
650	<	lock.unlockWrite(s);
648	>	for (Future<?> future : futures)
649	>	assertNull(future.get());
650	>
651	>	releaseWriteLock(lock, stamp);
652	>	releaseReadLock(lock2, stamp2);
653		}
654
655		/**
656	<	* writeLockInterruptibly succeeds if unlocked, else is interruptible
656	>	* writeLockInterruptibly succeeds if unlocked
657		*/
658		public void testWriteLockInterruptibly() throws InterruptedException {
570	–	final CountDownLatch running = new CountDownLatch(1);
659		final StampedLock lock = new StampedLock();
660		long s = lock.writeLockInterruptibly();
573	–	Thread t = newStartedThread(new CheckedInterruptedRunnable() {
574	–	public void realRun() throws InterruptedException {
575	–	running.countDown();
576	–	lock.writeLockInterruptibly();
577	–	}});
578	–
579	–	running.await();
580	–	waitForThreadToEnterWaitState(t, 100);
581	–	t.interrupt();
661		assertTrue(lock.isWriteLocked());
583	–	awaitTermination(t);
662		releaseWriteLock(lock, s);
663		}
664
665		/**
666	<	* readLockInterruptibly succeeds if lock free else is interruptible
666	>	* readLockInterruptibly succeeds if lock free
667		*/
668		public void testReadLockInterruptibly() throws InterruptedException {
591	–	final CountDownLatch running = new CountDownLatch(1);
669		final StampedLock lock = new StampedLock();
670	<	long s;
671	<	s = lock.readLockInterruptibly();
670	>
671	>	long s = assertValid(lock, lock.readLockInterruptibly());
672	>	assertTrue(lock.isReadLocked());
673		lock.unlockRead(s);
596	–	s = lock.writeLockInterruptibly();
597	–	Thread t = newStartedThread(new CheckedInterruptedRunnable() {
598	–	public void realRun() throws InterruptedException {
599	–	running.countDown();
600	–	lock.readLockInterruptibly();
601	–	}});
674
675	<	running.await();
676	<	waitForThreadToEnterWaitState(t, 100);
677	<	t.interrupt();
606	<	awaitTermination(t);
607	<	releaseWriteLock(lock, s);
675	>	lock.asReadLock().lockInterruptibly();
676	>	assertTrue(lock.isReadLocked());
677	>	lock.asReadLock().unlock();
678		}
679
680		/**
#	Line 636 | Line 706 | public class StampedLockTest extends JSR
706		}
707
708		/**
709	<	* tryOptimisticRead succeeds and validates if unlocked, fails if locked
709	>	* tryOptimisticRead succeeds and validates if unlocked, fails if
710	>	* exclusively locked
711		*/
712		public void testValidateOptimistic() throws InterruptedException {
713		StampedLock lock = new StampedLock();
714	<	long s, p;
715	<	assertTrue((p = lock.tryOptimisticRead()) != 0L);
716	<	assertTrue(lock.validate(p));
717	<	assertTrue((s = lock.writeLock()) != 0L);
718	<	assertFalse((p = lock.tryOptimisticRead()) != 0L);
719	<	assertTrue(lock.validate(s));
720	<	lock.unlockWrite(s);
721	<	assertTrue((p = lock.tryOptimisticRead()) != 0L);
722	<	assertTrue(lock.validate(p));
723	<	assertTrue((s = lock.readLock()) != 0L);
724	<	assertTrue(lock.validate(s));
725	<	assertTrue((p = lock.tryOptimisticRead()) != 0L);
726	<	assertTrue(lock.validate(p));
727	<	lock.unlockRead(s);
728	<	assertTrue((s = lock.tryWriteLock()) != 0L);
729	<	assertTrue(lock.validate(s));
730	<	assertFalse((p = lock.tryOptimisticRead()) != 0L);
660	<	lock.unlockWrite(s);
661	<	assertTrue((s = lock.tryReadLock()) != 0L);
662	<	assertTrue(lock.validate(s));
663	<	assertTrue((p = lock.tryOptimisticRead()) != 0L);
664	<	lock.unlockRead(s);
665	<	assertTrue(lock.validate(p));
666	<	assertTrue((s = lock.tryWriteLock(100L, MILLISECONDS)) != 0L);
667	<	assertFalse((p = lock.tryOptimisticRead()) != 0L);
668	<	assertTrue(lock.validate(s));
669	<	lock.unlockWrite(s);
670	<	assertTrue((s = lock.tryReadLock(100L, MILLISECONDS)) != 0L);
671	<	assertTrue(lock.validate(s));
672	<	assertTrue((p = lock.tryOptimisticRead()) != 0L);
673	<	lock.unlockRead(s);
674	<	assertTrue((p = lock.tryOptimisticRead()) != 0L);
714	>
715	>	assertValid(lock, lock.tryOptimisticRead());
716	>
717	>	for (Function<StampedLock, Long> writeLocker : writeLockers()) {
718	>	long s = assertValid(lock, writeLocker.apply(lock));
719	>	assertEquals(0L, lock.tryOptimisticRead());
720	>	releaseWriteLock(lock, s);
721	>	}
722	>
723	>	for (Function<StampedLock, Long> readLocker : readLockers()) {
724	>	long s = assertValid(lock, readLocker.apply(lock));
725	>	long p = assertValid(lock, lock.tryOptimisticRead());
726	>	releaseReadLock(lock, s);
727	>	assertTrue(lock.validate(p));
728	>	}
729	>
730	>	assertValid(lock, lock.tryOptimisticRead());
731		}
732
733		/**
734		* tryOptimisticRead stamp does not validate if a write lock intervenes
735		*/
736		public void testValidateOptimisticWriteLocked() {
737	<	StampedLock lock = new StampedLock();
738	<	long s, p;
739	<	assertTrue((p = lock.tryOptimisticRead()) != 0L);
684	<	assertTrue((s = lock.writeLock()) != 0L);
737	>	final StampedLock lock = new StampedLock();
738	>	final long p = assertValid(lock, lock.tryOptimisticRead());
739	>	final long s = assertValid(lock, lock.writeLock());
740		assertFalse(lock.validate(p));
741	<	assertFalse((p = lock.tryOptimisticRead()) != 0L);
741	>	assertEquals(0L, lock.tryOptimisticRead());
742		assertTrue(lock.validate(s));
743		lock.unlockWrite(s);
744		}
#	Line 694 | Line 749 | public class StampedLockTest extends JSR
749		*/
750		public void testValidateOptimisticWriteLocked2()
751		throws InterruptedException {
752	<	final CountDownLatch running = new CountDownLatch(1);
752	>	final CountDownLatch locked = new CountDownLatch(1);
753		final StampedLock lock = new StampedLock();
754	<	long s, p;
755	<	assertTrue((p = lock.tryOptimisticRead()) != 0L);
754	>	final long p = assertValid(lock, lock.tryOptimisticRead());
755	>
756		Thread t = newStartedThread(new CheckedInterruptedRunnable() {
757		public void realRun() throws InterruptedException {
758		lock.writeLockInterruptibly();
759	<	running.countDown();
759	>	locked.countDown();
760		lock.writeLockInterruptibly();
761		}});
762
763	<	running.await();
763	>	await(locked);
764		assertFalse(lock.validate(p));
765	<	assertFalse((p = lock.tryOptimisticRead()) != 0L);
765	>	assertEquals(0L, lock.tryOptimisticRead());
766	>	assertThreadBlocks(t, Thread.State.WAITING);
767		t.interrupt();
768		awaitTermination(t);
769	+	assertTrue(lock.isWriteLocked());
770		}
771
772		/**
773	<	* tryConvertToOptimisticRead succeeds and validates if successfully locked,
773	>	* tryConvertToOptimisticRead succeeds and validates if successfully locked
774		*/
775		public void testTryConvertToOptimisticRead() throws InterruptedException {
776		StampedLock lock = new StampedLock();
777	<	long s, p;
777	>	long s, p, q;
778		assertEquals(0L, lock.tryConvertToOptimisticRead(0L));
779
780	<	assertTrue((s = lock.tryOptimisticRead()) != 0L);
724	<	assertEquals(s, lock.tryConvertToOptimisticRead(s));
725	<	assertTrue(lock.validate(s));
726	<
727	<	assertTrue((p = lock.readLock()) != 0L);
728	<	assertTrue((s = lock.tryOptimisticRead()) != 0L);
780	>	s = assertValid(lock, lock.tryOptimisticRead());
781		assertEquals(s, lock.tryConvertToOptimisticRead(s));
782		assertTrue(lock.validate(s));
731	–	lock.unlockRead(p);
732	–
733	–	assertTrue((s = lock.writeLock()) != 0L);
734	–	assertTrue((p = lock.tryConvertToOptimisticRead(s)) != 0L);
735	–	assertTrue(lock.validate(p));
783
784	<	assertTrue((s = lock.readLock()) != 0L);
785	<	assertTrue(lock.validate(s));
786	<	assertTrue((p = lock.tryConvertToOptimisticRead(s)) != 0L);
787	<	assertTrue(lock.validate(p));
788	<
789	<	assertTrue((s = lock.tryWriteLock()) != 0L);
790	<	assertTrue(lock.validate(s));
744	<	assertTrue((p = lock.tryConvertToOptimisticRead(s)) != 0L);
745	<	assertTrue(lock.validate(p));
746	<
747	<	assertTrue((s = lock.tryReadLock()) != 0L);
748	<	assertTrue(lock.validate(s));
749	<	assertTrue((p = lock.tryConvertToOptimisticRead(s)) != 0L);
750	<	assertTrue(lock.validate(p));
751	<
752	<	assertTrue((s = lock.tryWriteLock(100L, MILLISECONDS)) != 0L);
753	<	assertTrue((p = lock.tryConvertToOptimisticRead(s)) != 0L);
754	<	assertTrue(lock.validate(p));
784	>	for (Function<StampedLock, Long> writeLocker : writeLockers()) {
785	>	s = assertValid(lock, writeLocker.apply(lock));
786	>	p = assertValid(lock, lock.tryConvertToOptimisticRead(s));
787	>	assertFalse(lock.validate(s));
788	>	assertTrue(lock.validate(p));
789	>	assertUnlocked(lock);
790	>	}
791
792	<	assertTrue((s = lock.tryReadLock(100L, MILLISECONDS)) != 0L);
793	<	assertTrue(lock.validate(s));
794	<	assertTrue((p = lock.tryConvertToOptimisticRead(s)) != 0L);
795	<	assertTrue(lock.validate(p));
792	>	for (Function<StampedLock, Long> readLocker : readLockers()) {
793	>	s = assertValid(lock, readLocker.apply(lock));
794	>	q = assertValid(lock, lock.tryOptimisticRead());
795	>	assertEquals(q, lock.tryConvertToOptimisticRead(q));
796	>	assertTrue(lock.validate(q));
797	>	assertTrue(lock.isReadLocked());
798	>	p = assertValid(lock, lock.tryConvertToOptimisticRead(s));
799	>	assertTrue(lock.validate(p));
800	>	assertTrue(lock.validate(s));
801	>	assertUnlocked(lock);
802	>	assertEquals(q, lock.tryConvertToOptimisticRead(q));
803	>	assertTrue(lock.validate(q));
804	>	}
805		}
806
807		/**
808	<	* tryConvertToReadLock succeeds and validates if successfully locked
764	<	* or lock free;
808	>	* tryConvertToReadLock succeeds for valid stamps
809		*/
810		public void testTryConvertToReadLock() throws InterruptedException {
811		StampedLock lock = new StampedLock();
812		long s, p;
813
814	<	assertFalse((p = lock.tryConvertToReadLock(0L)) != 0L);
771	<
772	<	assertTrue((s = lock.tryOptimisticRead()) != 0L);
773	<	assertTrue((p = lock.tryConvertToReadLock(s)) != 0L);
774	<	assertTrue(lock.isReadLocked());
775	<	assertEquals(1, lock.getReadLockCount());
776	<	lock.unlockRead(p);
814	>	assertEquals(0L, lock.tryConvertToReadLock(0L));
815
816	<	assertTrue((s = lock.writeLock()) != 0L);
817	<	assertTrue((p = lock.tryConvertToReadLock(s)) != 0L);
780	<	assertTrue(lock.validate(p));
781	<	assertTrue(lock.isReadLocked());
782	<	assertEquals(1, lock.getReadLockCount());
783	<	lock.unlockRead(p);
784	<
785	<	assertTrue((s = lock.readLock()) != 0L);
786	<	assertTrue(lock.validate(s));
787	<	assertEquals(s, lock.tryConvertToReadLock(s));
788	<	assertTrue(lock.validate(s));
816	>	s = assertValid(lock, lock.tryOptimisticRead());
817	>	p = assertValid(lock, lock.tryConvertToReadLock(s));
818		assertTrue(lock.isReadLocked());
819		assertEquals(1, lock.getReadLockCount());
791	–	lock.unlockRead(s);
792	–
793	–	assertTrue((s = lock.tryWriteLock()) != 0L);
820		assertTrue(lock.validate(s));
795	–	assertTrue((p = lock.tryConvertToReadLock(s)) != 0L);
796	–	assertTrue(lock.validate(p));
797	–	assertEquals(1, lock.getReadLockCount());
821		lock.unlockRead(p);
822
823	<	assertTrue((s = lock.tryReadLock()) != 0L);
824	<	assertTrue(lock.validate(s));
825	<	assertEquals(s, lock.tryConvertToReadLock(s));
803	<	assertTrue(lock.validate(s));
823	>	s = assertValid(lock, lock.tryOptimisticRead());
824	>	lock.readLock();
825	>	p = assertValid(lock, lock.tryConvertToReadLock(s));
826		assertTrue(lock.isReadLocked());
827	<	assertEquals(1, lock.getReadLockCount());
806	<	lock.unlockRead(s);
807	<
808	<	assertTrue((s = lock.tryWriteLock(100L, MILLISECONDS)) != 0L);
809	<	assertTrue((p = lock.tryConvertToReadLock(s)) != 0L);
810	<	assertTrue(lock.validate(p));
811	<	assertTrue(lock.isReadLocked());
812	<	assertEquals(1, lock.getReadLockCount());
827	>	assertEquals(2, lock.getReadLockCount());
828		lock.unlockRead(p);
829	+	lock.unlockRead(p);
830	+	assertUnlocked(lock);
831
832	<	assertTrue((s = lock.tryReadLock(100L, MILLISECONDS)) != 0L);
833	<	assertTrue(lock.validate(s));
834	<	assertEquals(s, lock.tryConvertToReadLock(s));
835	<	assertTrue(lock.validate(s));
836	<	assertTrue(lock.isReadLocked());
837	<	assertEquals(1, lock.getReadLockCount());
838	<	lock.unlockRead(s);
832	>	for (BiConsumer<StampedLock, Long> readUnlocker : readUnlockers()) {
833	>	for (Function<StampedLock, Long> writeLocker : writeLockers()) {
834	>	s = assertValid(lock, writeLocker.apply(lock));
835	>	p = assertValid(lock, lock.tryConvertToReadLock(s));
836	>	assertFalse(lock.validate(s));
837	>	assertTrue(lock.isReadLocked());
838	>	assertEquals(1, lock.getReadLockCount());
839	>	readUnlocker.accept(lock, p);
840	>	}
841	>
842	>	for (Function<StampedLock, Long> readLocker : readLockers()) {
843	>	s = assertValid(lock, readLocker.apply(lock));
844	>	assertEquals(s, lock.tryConvertToReadLock(s));
845	>	assertTrue(lock.validate(s));
846	>	assertTrue(lock.isReadLocked());
847	>	assertEquals(1, lock.getReadLockCount());
848	>	readUnlocker.accept(lock, s);
849	>	}
850	>	}
851		}
852
853		/**
854	<	* tryConvertToWriteLock succeeds and validates if successfully locked
826	<	* or lock free;
854	>	* tryConvertToWriteLock succeeds if lock available; fails if multiply read locked
855		*/
856		public void testTryConvertToWriteLock() throws InterruptedException {
857		StampedLock lock = new StampedLock();
858		long s, p;
859
860	<	assertFalse((p = lock.tryConvertToWriteLock(0L)) != 0L);
860	>	assertEquals(0L, lock.tryConvertToWriteLock(0L));
861
862		assertTrue((s = lock.tryOptimisticRead()) != 0L);
863		assertTrue((p = lock.tryConvertToWriteLock(s)) != 0L);
864	+	assertTrue(lock.isWriteLocked());
865		lock.unlockWrite(p);
866
867	<	assertTrue((s = lock.writeLock()) != 0L);
868	<	assertEquals(s, lock.tryConvertToWriteLock(s));
869	<	assertTrue(lock.validate(s));
870	<	lock.unlockWrite(s);
871	<
872	<	assertTrue((s = lock.readLock()) != 0L);
873	<	assertTrue(lock.validate(s));
874	<	assertTrue((p = lock.tryConvertToWriteLock(s)) != 0L);
875	<	assertTrue(lock.validate(p));
876	<	lock.unlockWrite(p);
877	<
878	<	assertTrue((s = lock.tryWriteLock()) != 0L);
879	<	assertTrue(lock.validate(s));
880	<	assertEquals(s, lock.tryConvertToWriteLock(s));
881	<	assertTrue(lock.validate(s));
882	<	lock.unlockWrite(s);
883	<
884	<	assertTrue((s = lock.tryReadLock()) != 0L);
856	<	assertTrue(lock.validate(s));
857	<	assertTrue((p = lock.tryConvertToWriteLock(s)) != 0L);
858	<	assertTrue(lock.validate(p));
859	<	lock.unlockWrite(p);
860	<
861	<	assertTrue((s = lock.tryWriteLock(100L, MILLISECONDS)) != 0L);
862	<	assertTrue((p = lock.tryConvertToWriteLock(s)) != 0L);
863	<	assertTrue(lock.validate(p));
864	<	lock.unlockWrite(p);
867	>	for (BiConsumer<StampedLock, Long> writeUnlocker : writeUnlockers()) {
868	>	for (Function<StampedLock, Long> writeLocker : writeLockers()) {
869	>	s = assertValid(lock, writeLocker.apply(lock));
870	>	assertEquals(s, lock.tryConvertToWriteLock(s));
871	>	assertTrue(lock.validate(s));
872	>	assertTrue(lock.isWriteLocked());
873	>	writeUnlocker.accept(lock, s);
874	>	}
875	>
876	>	for (Function<StampedLock, Long> readLocker : readLockers()) {
877	>	s = assertValid(lock, readLocker.apply(lock));
878	>	p = assertValid(lock, lock.tryConvertToWriteLock(s));
879	>	assertFalse(lock.validate(s));
880	>	assertTrue(lock.validate(p));
881	>	assertTrue(lock.isWriteLocked());
882	>	writeUnlocker.accept(lock, p);
883	>	}
884	>	}
885
886	<	assertTrue((s = lock.tryReadLock(100L, MILLISECONDS)) != 0L);
887	<	assertTrue(lock.validate(s));
888	<	assertTrue((p = lock.tryConvertToWriteLock(s)) != 0L);
889	<	assertTrue(lock.validate(p));
890	<	lock.unlockWrite(p);
886	>	// failure if multiply read locked
887	>	for (Function<StampedLock, Long> readLocker : readLockers()) {
888	>	s = assertValid(lock, readLocker.apply(lock));
889	>	p = assertValid(lock, readLocker.apply(lock));
890	>	assertEquals(0L, lock.tryConvertToWriteLock(s));
891	>	assertTrue(lock.validate(s));
892	>	assertTrue(lock.validate(p));
893	>	assertEquals(2, lock.getReadLockCount());
894	>	lock.unlock(p);
895	>	lock.unlock(s);
896	>	assertUnlocked(lock);
897	>	}
898		}
899
900		/**
901		* asWriteLock can be locked and unlocked
902		*/
903	<	public void testAsWriteLock() {
903	>	public void testAsWriteLock() throws Throwable {
904		StampedLock sl = new StampedLock();
905		Lock lock = sl.asWriteLock();
906	<	lock.lock();
907	<	assertFalse(lock.tryLock());
908	<	lock.unlock();
909	<	assertTrue(lock.tryLock());
906	>	for (Action locker : lockLockers(lock)) {
907	>	locker.run();
908	>	assertTrue(sl.isWriteLocked());
909	>	assertFalse(sl.isReadLocked());
910	>	assertFalse(lock.tryLock());
911	>	lock.unlock();
912	>	assertUnlocked(sl);
913	>	}
914		}
915
916		/**
917		* asReadLock can be locked and unlocked
918		*/
919	<	public void testAsReadLock() {
919	>	public void testAsReadLock() throws Throwable {
920		StampedLock sl = new StampedLock();
921		Lock lock = sl.asReadLock();
922	<	lock.lock();
923	<	lock.unlock();
924	<	assertTrue(lock.tryLock());
922	>	for (Action locker : lockLockers(lock)) {
923	>	locker.run();
924	>	assertTrue(sl.isReadLocked());
925	>	assertFalse(sl.isWriteLocked());
926	>	assertEquals(1, sl.getReadLockCount());
927	>	locker.run();
928	>	assertTrue(sl.isReadLocked());
929	>	assertEquals(2, sl.getReadLockCount());
930	>	lock.unlock();
931	>	lock.unlock();
932	>	assertUnlocked(sl);
933	>	}
934		}
935
936		/**
937		* asReadWriteLock.writeLock can be locked and unlocked
938		*/
939	<	public void testAsReadWriteLockWriteLock() {
939	>	public void testAsReadWriteLockWriteLock() throws Throwable {
940		StampedLock sl = new StampedLock();
941		Lock lock = sl.asReadWriteLock().writeLock();
942	<	lock.lock();
943	<	assertFalse(lock.tryLock());
944	<	lock.unlock();
945	<	assertTrue(lock.tryLock());
942	>	for (Action locker : lockLockers(lock)) {
943	>	locker.run();
944	>	assertTrue(sl.isWriteLocked());
945	>	assertFalse(sl.isReadLocked());
946	>	assertFalse(lock.tryLock());
947	>	lock.unlock();
948	>	assertUnlocked(sl);
949	>	}
950		}
951
952		/**
953		* asReadWriteLock.readLock can be locked and unlocked
954		*/
955	<	public void testAsReadWriteLockReadLock() {
955	>	public void testAsReadWriteLockReadLock() throws Throwable {
956		StampedLock sl = new StampedLock();
957		Lock lock = sl.asReadWriteLock().readLock();
958	<	lock.lock();
959	<	lock.unlock();
960	<	assertTrue(lock.tryLock());
958	>	for (Action locker : lockLockers(lock)) {
959	>	locker.run();
960	>	assertTrue(sl.isReadLocked());
961	>	assertFalse(sl.isWriteLocked());
962	>	assertEquals(1, sl.getReadLockCount());
963	>	locker.run();
964	>	assertTrue(sl.isReadLocked());
965	>	assertEquals(2, sl.getReadLockCount());
966	>	lock.unlock();
967	>	lock.unlock();
968	>	assertUnlocked(sl);
969	>	}
970		}
971
972		/**
#	Line 933 | Line 986 | public class StampedLockTest extends JSR
986		* IllegalMonitorStateException
987		*/
988		public void testCannotUnlockOptimisticReadStamps() {
989	<	Runnable[] actions = {
990	<	() -> {
991	<	StampedLock sl = new StampedLock();
992	<	long stamp = sl.tryOptimisticRead();
993	<	assertTrue(stamp != 0);
994	<	sl.unlockRead(stamp);
995	<	},
996	<	() -> {
997	<	StampedLock sl = new StampedLock();
998	<	long stamp = sl.tryOptimisticRead();
999	<	sl.unlock(stamp);
1000	<	},
989	>	{
990	>	StampedLock sl = new StampedLock();
991	>	long stamp = assertValid(sl, sl.tryOptimisticRead());
992	>	assertThrows(IllegalMonitorStateException.class,
993	>	() -> sl.unlockRead(stamp));
994	>	}
995	>	{
996	>	StampedLock sl = new StampedLock();
997	>	long stamp = sl.tryOptimisticRead();
998	>	assertThrows(IllegalMonitorStateException.class,
999	>	() -> sl.unlock(stamp));
1000	>	}
1001
1002	<	() -> {
1003	<	StampedLock sl = new StampedLock();
1004	<	long stamp = sl.tryOptimisticRead();
1005	<	sl.writeLock();
1006	<	sl.unlock(stamp);
1007	<	},
1008	<	() -> {
1009	<	StampedLock sl = new StampedLock();
1002	>	{
1003	>	StampedLock sl = new StampedLock();
1004	>	long stamp = sl.tryOptimisticRead();
1005	>	sl.writeLock();
1006	>	assertThrows(IllegalMonitorStateException.class,
1007	>	() -> sl.unlock(stamp));
1008	>	}
1009	>	{
1010	>	StampedLock sl = new StampedLock();
1011	>	sl.readLock();
1012	>	long stamp = assertValid(sl, sl.tryOptimisticRead());
1013	>	assertThrows(IllegalMonitorStateException.class,
1014	>	() -> sl.unlockRead(stamp));
1015	>	}
1016	>	{
1017	>	StampedLock sl = new StampedLock();
1018	>	sl.readLock();
1019	>	long stamp = assertValid(sl, sl.tryOptimisticRead());
1020	>	assertThrows(IllegalMonitorStateException.class,
1021	>	() -> sl.unlock(stamp));
1022	>	}
1023	>
1024	>	{
1025	>	StampedLock sl = new StampedLock();
1026	>	long stamp = sl.tryConvertToOptimisticRead(sl.writeLock());
1027	>	assertValid(sl, stamp);
1028	>	sl.writeLock();
1029	>	assertThrows(IllegalMonitorStateException.class,
1030	>	() -> sl.unlockWrite(stamp));
1031	>	}
1032	>	{
1033	>	StampedLock sl = new StampedLock();
1034	>	long stamp = sl.tryConvertToOptimisticRead(sl.writeLock());
1035	>	sl.writeLock();
1036	>	assertThrows(IllegalMonitorStateException.class,
1037	>	() -> sl.unlock(stamp));
1038	>	}
1039	>	{
1040	>	StampedLock sl = new StampedLock();
1041	>	long stamp = sl.tryConvertToOptimisticRead(sl.writeLock());
1042	>	sl.readLock();
1043	>	assertThrows(IllegalMonitorStateException.class,
1044	>	() -> sl.unlockRead(stamp));
1045	>	}
1046	>	{
1047	>	StampedLock sl = new StampedLock();
1048	>	long stamp = sl.tryConvertToOptimisticRead(sl.writeLock());
1049	>	sl.readLock();
1050	>	assertThrows(IllegalMonitorStateException.class,
1051	>	() -> sl.unlock(stamp));
1052	>	}
1053	>
1054	>	{
1055	>	StampedLock sl = new StampedLock();
1056	>	long stamp = sl.tryConvertToOptimisticRead(sl.readLock());
1057	>	assertValid(sl, stamp);
1058	>	sl.writeLock();
1059	>	assertThrows(IllegalMonitorStateException.class,
1060	>	() -> sl.unlockWrite(stamp));
1061	>	}
1062	>	{
1063	>	StampedLock sl = new StampedLock();
1064	>	long stamp = sl.tryConvertToOptimisticRead(sl.readLock());
1065	>	sl.writeLock();
1066	>	assertThrows(IllegalMonitorStateException.class,
1067	>	() -> sl.unlock(stamp));
1068	>	}
1069	>	{
1070	>	StampedLock sl = new StampedLock();
1071	>	long stamp = sl.tryConvertToOptimisticRead(sl.readLock());
1072	>	sl.readLock();
1073	>	assertThrows(IllegalMonitorStateException.class,
1074	>	() -> sl.unlockRead(stamp));
1075	>	}
1076	>	{
1077	>	StampedLock sl = new StampedLock();
1078	>	sl.readLock();
1079	>	long stamp = sl.tryConvertToOptimisticRead(sl.readLock());
1080	>	assertValid(sl, stamp);
1081	>	sl.readLock();
1082	>	assertThrows(IllegalMonitorStateException.class,
1083	>	() -> sl.unlockRead(stamp));
1084	>	}
1085	>	{
1086	>	StampedLock sl = new StampedLock();
1087	>	long stamp = sl.tryConvertToOptimisticRead(sl.readLock());
1088	>	sl.readLock();
1089	>	assertThrows(IllegalMonitorStateException.class,
1090	>	() -> sl.unlock(stamp));
1091	>	}
1092	>	{
1093	>	StampedLock sl = new StampedLock();
1094	>	sl.readLock();
1095	>	long stamp = sl.tryConvertToOptimisticRead(sl.readLock());
1096	>	sl.readLock();
1097	>	assertThrows(IllegalMonitorStateException.class,
1098	>	() -> sl.unlock(stamp));
1099	>	}
1100	>	}
1101	>
1102	>	static long writeLockInterruptiblyUninterrupted(StampedLock sl) {
1103	>	try { return sl.writeLockInterruptibly(); }
1104	>	catch (InterruptedException ex) { throw new AssertionError(ex); }
1105	>	}
1106	>
1107	>	static long tryWriteLockUninterrupted(StampedLock sl, long time, TimeUnit unit) {
1108	>	try { return sl.tryWriteLock(time, unit); }
1109	>	catch (InterruptedException ex) { throw new AssertionError(ex); }
1110	>	}
1111	>
1112	>	static long readLockInterruptiblyUninterrupted(StampedLock sl) {
1113	>	try { return sl.readLockInterruptibly(); }
1114	>	catch (InterruptedException ex) { throw new AssertionError(ex); }
1115	>	}
1116	>
1117	>	static long tryReadLockUninterrupted(StampedLock sl, long time, TimeUnit unit) {
1118	>	try { return sl.tryReadLock(time, unit); }
1119	>	catch (InterruptedException ex) { throw new AssertionError(ex); }
1120	>	}
1121	>
1122	>	/**
1123	>	* Invalid stamps result in IllegalMonitorStateException
1124	>	*/
1125	>	public void testInvalidStampsThrowIllegalMonitorStateException() {
1126	>	final StampedLock sl = new StampedLock();
1127	>
1128	>	assertThrows(IllegalMonitorStateException.class,
1129	>	() -> sl.unlockWrite(0L),
1130	>	() -> sl.unlockRead(0L),
1131	>	() -> sl.unlock(0L));
1132	>
1133	>	final long optimisticStamp = sl.tryOptimisticRead();
1134	>	final long readStamp = sl.readLock();
1135	>	sl.unlockRead(readStamp);
1136	>	final long writeStamp = sl.writeLock();
1137	>	sl.unlockWrite(writeStamp);
1138	>	assertTrue(optimisticStamp != 0L && readStamp != 0L && writeStamp != 0L);
1139	>	final long[] noLongerValidStamps = { optimisticStamp, readStamp, writeStamp };
1140	>	final Runnable assertNoLongerValidStampsThrow = () -> {
1141	>	for (long noLongerValidStamp : noLongerValidStamps)
1142	>	assertThrows(IllegalMonitorStateException.class,
1143	>	() -> sl.unlockWrite(noLongerValidStamp),
1144	>	() -> sl.unlockRead(noLongerValidStamp),
1145	>	() -> sl.unlock(noLongerValidStamp));
1146	>	};
1147	>	assertNoLongerValidStampsThrow.run();
1148	>
1149	>	for (Function<StampedLock, Long> readLocker : readLockers())
1150	>	for (BiConsumer<StampedLock, Long> readUnlocker : readUnlockers()) {
1151	>	final long stamp = readLocker.apply(sl);
1152	>	assertValid(sl, stamp);
1153	>	assertNoLongerValidStampsThrow.run();
1154	>	assertThrows(IllegalMonitorStateException.class,
1155	>	() -> sl.unlockWrite(stamp),
1156	>	() -> sl.unlockRead(sl.tryOptimisticRead()),
1157	>	() -> sl.unlockRead(0L));
1158	>	readUnlocker.accept(sl, stamp);
1159	>	assertUnlocked(sl);
1160	>	assertNoLongerValidStampsThrow.run();
1161	>	}
1162	>
1163	>	for (Function<StampedLock, Long> writeLocker : writeLockers())
1164	>	for (BiConsumer<StampedLock, Long> writeUnlocker : writeUnlockers()) {
1165	>	final long stamp = writeLocker.apply(sl);
1166	>	assertValid(sl, stamp);
1167	>	assertNoLongerValidStampsThrow.run();
1168	>	assertThrows(IllegalMonitorStateException.class,
1169	>	() -> sl.unlockRead(stamp),
1170	>	() -> sl.unlockWrite(0L));
1171	>	writeUnlocker.accept(sl, stamp);
1172	>	assertUnlocked(sl);
1173	>	assertNoLongerValidStampsThrow.run();
1174	>	}
1175	>	}
1176	>
1177	>	/**
1178	>	* Read locks can be very deeply nested
1179	>	*/
1180	>	public void testDeeplyNestedReadLocks() {
1181	>	final StampedLock lock = new StampedLock();
1182	>	final int depth = 300;
1183	>	final long[] stamps = new long[depth];
1184	>	final List<Function<StampedLock, Long>> readLockers = readLockers();
1185	>	final List<BiConsumer<StampedLock, Long>> readUnlockers = readUnlockers();
1186	>	for (int i = 0; i < depth; i++) {
1187	>	Function<StampedLock, Long> readLocker
1188	>	= readLockers.get(i % readLockers.size());
1189	>	long stamp = readLocker.apply(lock);
1190	>	assertEquals(i + 1, lock.getReadLockCount());
1191	>	assertTrue(lock.isReadLocked());
1192	>	stamps[i] = stamp;
1193	>	}
1194	>	for (int i = 0; i < depth; i++) {
1195	>	BiConsumer<StampedLock, Long> readUnlocker
1196	>	= readUnlockers.get(i % readUnlockers.size());
1197	>	assertEquals(depth - i, lock.getReadLockCount());
1198	>	assertTrue(lock.isReadLocked());
1199	>	readUnlocker.accept(lock, stamps[depth - 1 - i]);
1200	>	}
1201	>	assertUnlocked(lock);
1202	>	}
1203	>
1204	>	/**
1205	>	* Stamped locks are not reentrant.
1206	>	*/
1207	>	public void testNonReentrant() throws InterruptedException {
1208	>	final StampedLock lock = new StampedLock();
1209	>	long stamp;
1210	>
1211	>	stamp = lock.writeLock();
1212	>	assertValid(lock, stamp);
1213	>	assertEquals(0L, lock.tryWriteLock(0L, DAYS));
1214	>	assertEquals(0L, lock.tryReadLock(0L, DAYS));
1215	>	assertValid(lock, stamp);
1216	>	lock.unlockWrite(stamp);
1217	>
1218	>	stamp = lock.tryWriteLock(1L, DAYS);
1219	>	assertEquals(0L, lock.tryWriteLock(0L, DAYS));
1220	>	assertValid(lock, stamp);
1221	>	lock.unlockWrite(stamp);
1222	>
1223	>	stamp = lock.readLock();
1224	>	assertEquals(0L, lock.tryWriteLock(0L, DAYS));
1225	>	assertValid(lock, stamp);
1226	>	lock.unlockRead(stamp);
1227	>	}
1228	>
1229	>	/**
1230	>	* """StampedLocks have no notion of ownership. Locks acquired in
1231	>	* one thread can be released or converted in another."""
1232	>	*/
1233	>	public void testNoOwnership() throws Throwable {
1234	>	ArrayList<Future<?>> futures = new ArrayList<>();
1235	>	for (Function<StampedLock, Long> writeLocker : writeLockers())
1236	>	for (BiConsumer<StampedLock, Long> writeUnlocker : writeUnlockers()) {
1237	>	StampedLock lock = new StampedLock();
1238	>	long stamp = writeLocker.apply(lock);
1239	>	futures.add(cachedThreadPool.submit(new CheckedRunnable() {
1240	>	public void realRun() {
1241	>	writeUnlocker.accept(lock, stamp);
1242	>	assertUnlocked(lock);
1243	>	assertFalse(lock.validate(stamp));
1244	>	}}));
1245	>	}
1246	>	for (Future<?> future : futures)
1247	>	assertNull(future.get());
1248	>	}
1249	>
1250	>	/** Tries out sample usage code from StampedLock javadoc. */
1251	>	public void testSampleUsage() throws Throwable {
1252	>	class Point {
1253	>	private double x, y;
1254	>	private final StampedLock sl = new StampedLock();
1255	>
1256	>	void move(double deltaX, double deltaY) { // an exclusively locked method
1257	>	long stamp = sl.writeLock();
1258	>	try {
1259	>	x += deltaX;
1260	>	y += deltaY;
1261	>	} finally {
1262	>	sl.unlockWrite(stamp);
1263	>	}
1264	>	}
1265	>
1266	>	double distanceFromOrigin() { // A read-only method
1267	>	double currentX, currentY;
1268		long stamp = sl.tryOptimisticRead();
1269	<	sl.readLock();
1270	<	sl.unlockRead(stamp);
1271	<	},
1272	<	() -> {
1273	<	StampedLock sl = new StampedLock();
1269	>	do {
1270	>	if (stamp == 0L)
1271	>	stamp = sl.readLock();
1272	>	try {
1273	>	// possibly racy reads
1274	>	currentX = x;
1275	>	currentY = y;
1276	>	} finally {
1277	>	stamp = sl.tryConvertToOptimisticRead(stamp);
1278	>	}
1279	>	} while (stamp == 0);
1280	>	return Math.hypot(currentX, currentY);
1281	>	}
1282	>
1283	>	double distanceFromOrigin2() {
1284		long stamp = sl.tryOptimisticRead();
1285	<	sl.readLock();
1286	<	sl.unlock(stamp);
1287	<	},
1285	>	try {
1286	>	retryHoldingLock:
1287	>	for (;; stamp = sl.readLock()) {
1288	>	if (stamp == 0L)
1289	>	continue retryHoldingLock;
1290	>	// possibly racy reads
1291	>	double currentX = x;
1292	>	double currentY = y;
1293	>	if (!sl.validate(stamp))
1294	>	continue retryHoldingLock;
1295	>	return Math.hypot(currentX, currentY);
1296	>	}
1297	>	} finally {
1298	>	if (StampedLock.isReadLockStamp(stamp))
1299	>	sl.unlockRead(stamp);
1300	>	}
1301	>	}
1302	>
1303	>	void moveIfAtOrigin(double newX, double newY) {
1304	>	long stamp = sl.readLock();
1305	>	try {
1306	>	while (x == 0.0 && y == 0.0) {
1307	>	long ws = sl.tryConvertToWriteLock(stamp);
1308	>	if (ws != 0L) {
1309	>	stamp = ws;
1310	>	x = newX;
1311	>	y = newY;
1312	>	return;
1313	>	}
1314	>	else {
1315	>	sl.unlockRead(stamp);
1316	>	stamp = sl.writeLock();
1317	>	}
1318	>	}
1319	>	} finally {
1320	>	sl.unlock(stamp);
1321	>	}
1322	>	}
1323	>	}
1324
1325	<	() -> {
1326	<	StampedLock sl = new StampedLock();
1327	<	long stamp = sl.tryConvertToOptimisticRead(sl.writeLock());
1328	<	assertTrue(stamp != 0);
1329	<	sl.writeLock();
1330	<	sl.unlockWrite(stamp);
1331	<	},
1332	<	() -> {
1333	<	StampedLock sl = new StampedLock();
1334	<	long stamp = sl.tryConvertToOptimisticRead(sl.writeLock());
1335	<	sl.writeLock();
1336	<	sl.unlock(stamp);
1337	<	},
1338	<	() -> {
1339	<	StampedLock sl = new StampedLock();
1340	<	long stamp = sl.tryConvertToOptimisticRead(sl.writeLock());
1341	<	sl.readLock();
1342	<	sl.unlockRead(stamp);
1343	<	},
1344	<	() -> {
1345	<	StampedLock sl = new StampedLock();
1346	<	long stamp = sl.tryConvertToOptimisticRead(sl.writeLock());
1347	<	sl.readLock();
1348	<	sl.unlock(stamp);
1349	<	},
1325	>	Point p = new Point();
1326	>	p.move(3.0, 4.0);
1327	>	assertEquals(5.0, p.distanceFromOrigin());
1328	>	p.moveIfAtOrigin(5.0, 12.0);
1329	>	assertEquals(5.0, p.distanceFromOrigin2());
1330	>	}
1331	>
1332	>	/**
1333	>	* Stamp inspection methods work as expected, and do not inspect
1334	>	* the state of the lock itself.
1335	>	*/
1336	>	public void testStampStateInspectionMethods() {
1337	>	StampedLock lock = new StampedLock();
1338	>
1339	>	assertFalse(isWriteLockStamp(0L));
1340	>	assertFalse(isReadLockStamp(0L));
1341	>	assertFalse(isLockStamp(0L));
1342	>	assertFalse(isOptimisticReadStamp(0L));
1343	>
1344	>	{
1345	>	long stamp = lock.writeLock();
1346	>	for (int i = 0; i < 2; i++) {
1347	>	assertTrue(isWriteLockStamp(stamp));
1348	>	assertFalse(isReadLockStamp(stamp));
1349	>	assertTrue(isLockStamp(stamp));
1350	>	assertFalse(isOptimisticReadStamp(stamp));
1351	>	if (i == 0)
1352	>	lock.unlockWrite(stamp);
1353	>	}
1354	>	}
1355
1356	+	{
1357	+	long stamp = lock.readLock();
1358	+	for (int i = 0; i < 2; i++) {
1359	+	assertFalse(isWriteLockStamp(stamp));
1360	+	assertTrue(isReadLockStamp(stamp));
1361	+	assertTrue(isLockStamp(stamp));
1362	+	assertFalse(isOptimisticReadStamp(stamp));
1363	+	if (i == 0)
1364	+	lock.unlockRead(stamp);
1365	+	}
1366	+	}
1367	+
1368	+	{
1369	+	long optimisticStamp = lock.tryOptimisticRead();
1370	+	long readStamp = lock.tryConvertToReadLock(optimisticStamp);
1371	+	long writeStamp = lock.tryConvertToWriteLock(readStamp);
1372	+	for (int i = 0; i < 2; i++) {
1373	+	assertFalse(isWriteLockStamp(optimisticStamp));
1374	+	assertFalse(isReadLockStamp(optimisticStamp));
1375	+	assertFalse(isLockStamp(optimisticStamp));
1376	+	assertTrue(isOptimisticReadStamp(optimisticStamp));
1377	+
1378	+	assertFalse(isWriteLockStamp(readStamp));
1379	+	assertTrue(isReadLockStamp(readStamp));
1380	+	assertTrue(isLockStamp(readStamp));
1381	+	assertFalse(isOptimisticReadStamp(readStamp));
1382	+
1383	+	assertTrue(isWriteLockStamp(writeStamp));
1384	+	assertFalse(isReadLockStamp(writeStamp));
1385	+	assertTrue(isLockStamp(writeStamp));
1386	+	assertFalse(isOptimisticReadStamp(writeStamp));
1387	+	if (i == 0)
1388	+	lock.unlockWrite(writeStamp);
1389	+	}
1390	+	}
1391	+	}
1392	+
1393	+	/**
1394	+	* Multiple threads repeatedly contend for the same lock.
1395	+	*/
1396	+	public void testConcurrentAccess() throws Exception {
1397	+	final StampedLock sl = new StampedLock();
1398	+	final Lock wl = sl.asWriteLock();
1399	+	final Lock rl = sl.asReadLock();
1400	+	final long testDurationMillis = expensiveTests ? 1000 : 2;
1401	+	final int nTasks = ThreadLocalRandom.current().nextInt(1, 10);
1402	+	final AtomicBoolean done = new AtomicBoolean(false);
1403	+	final List<CompletableFuture> futures = new ArrayList<>();
1404	+	final List<Callable<Long>> stampedWriteLockers = List.of(
1405	+	() -> sl.writeLock(),
1406	+	() -> writeLockInterruptiblyUninterrupted(sl),
1407	+	() -> tryWriteLockUninterrupted(sl, LONG_DELAY_MS, MILLISECONDS),
1408		() -> {
1409	<	StampedLock sl = new StampedLock();
1410	<	long stamp = sl.tryConvertToOptimisticRead(sl.readLock());
1411	<	assertTrue(stamp != 0);
1412	<	sl.writeLock();
999	<	sl.unlockWrite(stamp);
1409	>	long stamp;
1410	>	do { stamp = sl.tryConvertToWriteLock(sl.tryOptimisticRead()); }
1411	>	while (stamp == 0L);
1412	>	return stamp;
1413		},
1414		() -> {
1415	<	StampedLock sl = new StampedLock();
1416	<	long stamp = sl.tryConvertToOptimisticRead(sl.readLock());
1417	<	sl.writeLock();
1005	<	sl.unlock(stamp);
1415	>	long stamp;
1416	>	do { stamp = sl.tryWriteLock(); } while (stamp == 0L);
1417	>	return stamp;
1418		},
1419		() -> {
1420	<	StampedLock sl = new StampedLock();
1421	<	long stamp = sl.tryConvertToOptimisticRead(sl.readLock());
1422	<	sl.readLock();
1423	<	sl.unlockRead(stamp);
1424	<	},
1420	>	long stamp;
1421	>	do { stamp = sl.tryWriteLock(0L, DAYS); } while (stamp == 0L);
1422	>	return stamp;
1423	>	});
1424	>	final List<Callable<Long>> stampedReadLockers = List.of(
1425	>	() -> sl.readLock(),
1426	>	() -> readLockInterruptiblyUninterrupted(sl),
1427	>	() -> tryReadLockUninterrupted(sl, LONG_DELAY_MS, MILLISECONDS),
1428		() -> {
1429	<	StampedLock sl = new StampedLock();
1430	<	sl.readLock();
1431	<	long stamp = sl.tryConvertToOptimisticRead(sl.readLock());
1432	<	assertTrue(stamp != 0);
1018	<	sl.readLock();
1019	<	sl.unlockRead(stamp);
1429	>	long stamp;
1430	>	do { stamp = sl.tryConvertToReadLock(sl.tryOptimisticRead()); }
1431	>	while (stamp == 0L);
1432	>	return stamp;
1433		},
1434		() -> {
1435	<	StampedLock sl = new StampedLock();
1436	<	long stamp = sl.tryConvertToOptimisticRead(sl.readLock());
1437	<	sl.readLock();
1025	<	sl.unlock(stamp);
1435	>	long stamp;
1436	>	do { stamp = sl.tryReadLock(); } while (stamp == 0L);
1437	>	return stamp;
1438		},
1439		() -> {
1440	<	StampedLock sl = new StampedLock();
1441	<	sl.readLock();
1442	<	long stamp = sl.tryConvertToOptimisticRead(sl.readLock());
1443	<	sl.readLock();
1444	<	sl.unlock(stamp);
1445	<	},
1440	>	long stamp;
1441	>	do { stamp = sl.tryReadLock(0L, DAYS); } while (stamp == 0L);
1442	>	return stamp;
1443	>	});
1444	>	final List<Consumer<Long>> stampedWriteUnlockers = List.of(
1445	>	stamp -> sl.unlockWrite(stamp),
1446	>	stamp -> sl.unlock(stamp),
1447	>	stamp -> assertTrue(sl.tryUnlockWrite()),
1448	>	stamp -> wl.unlock(),
1449	>	stamp -> sl.tryConvertToOptimisticRead(stamp));
1450	>	final List<Consumer<Long>> stampedReadUnlockers = List.of(
1451	>	stamp -> sl.unlockRead(stamp),
1452	>	stamp -> sl.unlock(stamp),
1453	>	stamp -> assertTrue(sl.tryUnlockRead()),
1454	>	stamp -> rl.unlock(),
1455	>	stamp -> sl.tryConvertToOptimisticRead(stamp));
1456	>	final Action writer = () -> {
1457	>	// repeatedly acquires write lock
1458	>	var locker = chooseRandomly(stampedWriteLockers);
1459	>	var unlocker = chooseRandomly(stampedWriteUnlockers);
1460	>	while (!done.getAcquire()) {
1461	>	long stamp = locker.call();
1462	>	try {
1463	>	assertTrue(isWriteLockStamp(stamp));
1464	>	assertTrue(sl.isWriteLocked());
1465	>	assertFalse(isReadLockStamp(stamp));
1466	>	assertFalse(sl.isReadLocked());
1467	>	assertEquals(0, sl.getReadLockCount());
1468	>	assertTrue(sl.validate(stamp));
1469	>	} finally {
1470	>	unlocker.accept(stamp);
1471	>	}
1472	>	}
1473		};
1474	<
1475	<	assertThrows(IllegalMonitorStateException.class, actions);
1474	>	final Action reader = () -> {
1475	>	// repeatedly acquires read lock
1476	>	var locker = chooseRandomly(stampedReadLockers);
1477	>	var unlocker = chooseRandomly(stampedReadUnlockers);
1478	>	while (!done.getAcquire()) {
1479	>	long stamp = locker.call();
1480	>	try {
1481	>	assertFalse(isWriteLockStamp(stamp));
1482	>	assertFalse(sl.isWriteLocked());
1483	>	assertTrue(isReadLockStamp(stamp));
1484	>	assertTrue(sl.isReadLocked());
1485	>	assertTrue(sl.getReadLockCount() > 0);
1486	>	assertTrue(sl.validate(stamp));
1487	>	} finally {
1488	>	unlocker.accept(stamp);
1489	>	}
1490	>	}
1491	>	};
1492	>	for (int i = nTasks; i--> 0; ) {
1493	>	Action task = chooseRandomly(writer, reader);
1494	>	futures.add(CompletableFuture.runAsync(checkedRunnable(task)));
1495	>	}
1496	>	Thread.sleep(testDurationMillis);
1497	>	done.setRelease(true);
1498	>	for (var future : futures)
1499	>	checkTimedGet(future, null);
1500		}
1501
1502		}

Diff Legend

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