Ensure ReferenceQueue/Reference synchronization order in enqueueImpl

Signed-off-by: Peter Shipton <[email protected]>

Author: pshipton

jcl/src/java.base/share/classes/java/lang/ref/Reference.java

@@ -194,24 +194,30 @@ public boolean isEnqueued () {
 	@NotCheckpointSafe
 	/*[ENDIF] CRIU_SUPPORT */
 	boolean enqueueImpl() {
-		final ReferenceQueue tempQueue;
-		boolean result;
 		T tempReferent = referent;
-		synchronized(this) {
-			/* Static order for the following code (DO NOT CHANGE) */
-			tempQueue = queue;
-			queue = null;
-			if (state == STATE_ENQUEUED || tempQueue == null) {
-				return false;
-			}
-			result = tempQueue.enqueue(this);
-			if (result) {
-				state = STATE_ENQUEUED;
-				if (null != tempReferent) {
-					reprocess();
+		while(true) {
+			ReferenceQueue tempQueue = queue;
+			synchronized(tempQueue) {
+				synchronized(this) {
+					boolean result;
+					if (tempQueue != queue) {
+						break;
+					}
+					/* Static order for the following code (DO NOT CHANGE) */
+					queue = null;
+					if (state == STATE_ENQUEUED || tempQueue == null) {
+						return false;
+					}
+					result = tempQueue.enqueue(this);
+					if (result) {
+						state = STATE_ENQUEUED;
+						if (null != tempReferent) {
+							reprocess();
+						}
+					}
+					return result;
 				}
 			}
-			return result;
 		}
 	}