KT-4825 Implement "synchronized" properly via monitorenter/monitorexit

#KT-4825 Fixed

compiler/backend/src/org/jetbrains/jet/codegen/intrinsics/IntrinsicMethods.java

@@ -71,7 +71,8 @@ public class IntrinsicMethods {
         namedMethods.put("kotlin.javaClass.property", new JavaClassProperty());
         namedMethods.put("kotlin.arrays.array", new JavaClassArray());
         namedMethods.put("kotlin.collections.copyToArray", new CopyToArray());
-        namedMethods.put("kotlin.synchronized", new StupidSync());
+        namedMethods.put("kotlin.jvm.internal.unsafe.monitorEnter", MonitorInstruction.MONITOR_ENTER);
+        namedMethods.put("kotlin.jvm.internal.unsafe.monitorExit", MonitorInstruction.MONITOR_EXIT);
 
         ImmutableList<Name> primitiveCastMethods = OperatorConventions.NUMBER_CONVERSIONS.asList();
         for (Name method : primitiveCastMethods) {

compiler/backend/src/org/jetbrains/jet/codegen/intrinsics/MonitorInstruction.java

@@ -1,5 +1,5 @@
 /*
- * Copyright 2010-2013 JetBrains s.r.o.
+ * Copyright 2010-2014 JetBrains s.r.o.
  *
  * Licensed under the Apache License, Version 2.0 (the "License");
  * you may not use this file except in compliance with the License.
@@ -19,25 +19,35 @@ package org.jetbrains.jet.codegen.intrinsics;
 import com.intellij.psi.PsiElement;
 import org.jetbrains.annotations.NotNull;
 import org.jetbrains.annotations.Nullable;
-import org.jetbrains.org.objectweb.asm.Type;
-import org.jetbrains.org.objectweb.asm.commons.InstructionAdapter;
 import org.jetbrains.jet.codegen.ExpressionCodegen;
 import org.jetbrains.jet.codegen.StackValue;
 import org.jetbrains.jet.lang.psi.JetCallExpression;
 import org.jetbrains.jet.lang.psi.JetExpression;
 import org.jetbrains.jet.lang.resolve.BindingContext;
 import org.jetbrains.jet.lang.resolve.calls.model.ResolvedCall;
+import org.jetbrains.org.objectweb.asm.Opcodes;
+import org.jetbrains.org.objectweb.asm.Type;
+import org.jetbrains.org.objectweb.asm.commons.InstructionAdapter;
 
 import java.util.Arrays;
 import java.util.List;
 
-import static org.jetbrains.jet.lang.resolve.java.AsmTypeConstants.FUNCTION0_TYPE;
 import static org.jetbrains.jet.lang.resolve.java.AsmTypeConstants.OBJECT_TYPE;
 
-public class StupidSync extends IntrinsicMethod {
+public class MonitorInstruction extends IntrinsicMethod {
+
+    public static final MonitorInstruction MONITOR_ENTER = new MonitorInstruction(Opcodes.MONITORENTER);
+    public static final MonitorInstruction MONITOR_EXIT = new MonitorInstruction(Opcodes.MONITOREXIT);
+
+    private final int opcode;
+
+    private MonitorInstruction(int opcode) {
+        this.opcode = opcode;
+    }
+
     @NotNull
     @Override
-    public Type generateImpl(
+    protected Type generateImpl(
             @NotNull ExpressionCodegen codegen,
             @NotNull InstructionAdapter v,
             @NotNull Type returnType,
@@ -51,8 +61,14 @@ public class StupidSync extends IntrinsicMethod {
 
         assert resolvedCall != null : "Resolved call for " + element.getText() + " should be not null";
 
-        codegen.pushMethodArgumentsWithoutCallReceiver(resolvedCall, Arrays.asList(OBJECT_TYPE, FUNCTION0_TYPE), false, codegen.defaultCallGenerator);
-        v.invokestatic("kotlin/jvm/internal/Intrinsics", "stupidSync", Type.getMethodDescriptor(OBJECT_TYPE, OBJECT_TYPE, FUNCTION0_TYPE));
-        return OBJECT_TYPE;
+        codegen.pushMethodArgumentsWithoutCallReceiver(
+                resolvedCall,
+                Arrays.asList(OBJECT_TYPE),
+                false,
+                codegen.defaultCallGenerator
+        );
+
+        v.visitInsn(opcode);
+        return Type.VOID_TYPE;
     }
-}
+}

compiler/testData/codegen/boxWithStdlib/fullJdk/synchronized/finally.kt

@@ -0,0 +1,25 @@
+fun box(): String {
+    val obj = "" as java.lang.Object
+
+    try {
+        synchronized (obj) {
+            throw Throwable()
+        }
+    }
+    catch (e: Throwable) {
+        // If monitorexit didn't happen (a finally block failed), this assertion would fail
+        assertThatThreadDoesNotOwnMonitor(obj)
+    }
+
+    return "OK"
+}
+
+fun assertThatThreadDoesNotOwnMonitor(obj: java.lang.Object) {
+    try {
+        obj.wait(1)
+        throw IllegalStateException("Not owning a monitor!")
+    }
+    catch (e: IllegalMonitorStateException) {
+        // OK
+    }
+}

compiler/testData/codegen/boxWithStdlib/fullJdk/synchronized/nestedDifferentObjects.kt

@@ -0,0 +1,13 @@
+fun box(): String {
+    val obj = "" as java.lang.Object
+    val obj2 = "1" as java.lang.Object
+
+    synchronized (obj) {
+        synchronized (obj2) {
+            obj.wait(1)
+            obj2.wait(1)
+        }
+    }
+
+    return "OK"
+}

compiler/testData/codegen/boxWithStdlib/fullJdk/synchronized/nestedSameObject.kt

@@ -0,0 +1,11 @@
+fun box(): String {
+    val obj = "" as java.lang.Object
+
+    synchronized (obj) {
+        synchronized (obj) {
+            obj.wait(1)
+        }
+    }
+
+    return "OK"
+}

compiler/testData/codegen/boxWithStdlib/fullJdk/synchronized/wait.kt

@@ -0,0 +1,16 @@
+fun box(): String {
+    val obj = "" as java.lang.Object
+    try {
+        obj.wait(1)
+        return "Fail: exception should have been thrown"
+    }
+    catch (e: IllegalMonitorStateException) {
+        // OK
+    }
+
+    synchronized (obj) {
+        obj.wait(1)
+    }
+
+    return "OK"
+}

compiler/tests/org/jetbrains/jet/codegen/generated/BlackBoxWithStdlibCodegenTestGenerated.java

@@ -902,6 +902,7 @@ public class BlackBoxWithStdlibCodegenTestGenerated extends AbstractBlackBoxCode
     }
     
     @TestMetadata("compiler/testData/codegen/boxWithStdlib/fullJdk")
+    @InnerTestClasses({FullJdk.Synchronized.class})
     public static class FullJdk extends AbstractBlackBoxCodegenTest {
         public void testAllFilesPresentInFullJdk() throws Exception {
             JetTestUtils.assertAllTestsPresentByMetadata(this.getClass(), "org.jetbrains.jet.generators.tests.TestsPackage", new File("compiler/testData/codegen/boxWithStdlib/fullJdk"), Pattern.compile("^(.+)\\.kt$"), true);
@@ -947,11 +948,45 @@ public class BlackBoxWithStdlibCodegenTestGenerated extends AbstractBlackBoxCode
             doTestWithStdlib("compiler/testData/codegen/boxWithStdlib/fullJdk/kt434.kt");
         }
         
-        @TestMetadata("sync.kt")
-        public void testSync() throws Exception {
-            doTestWithStdlib("compiler/testData/codegen/boxWithStdlib/fullJdk/sync.kt");
+        @TestMetadata("compiler/testData/codegen/boxWithStdlib/fullJdk/synchronized")
+        public static class Synchronized extends AbstractBlackBoxCodegenTest {
+            public void testAllFilesPresentInSynchronized() throws Exception {
+                JetTestUtils.assertAllTestsPresentByMetadata(this.getClass(), "org.jetbrains.jet.generators.tests.TestsPackage", new File("compiler/testData/codegen/boxWithStdlib/fullJdk/synchronized"), Pattern.compile("^(.+)\\.kt$"), true);
+            }
+            
+            @TestMetadata("finally.kt")
+            public void testFinally() throws Exception {
+                doTestWithStdlib("compiler/testData/codegen/boxWithStdlib/fullJdk/synchronized/finally.kt");
+            }
+            
+            @TestMetadata("nestedDifferentObjects.kt")
+            public void testNestedDifferentObjects() throws Exception {
+                doTestWithStdlib("compiler/testData/codegen/boxWithStdlib/fullJdk/synchronized/nestedDifferentObjects.kt");
+            }
+            
+            @TestMetadata("nestedSameObject.kt")
+            public void testNestedSameObject() throws Exception {
+                doTestWithStdlib("compiler/testData/codegen/boxWithStdlib/fullJdk/synchronized/nestedSameObject.kt");
+            }
+            
+            @TestMetadata("sync.kt")
+            public void testSync() throws Exception {
+                doTestWithStdlib("compiler/testData/codegen/boxWithStdlib/fullJdk/synchronized/sync.kt");
+            }
+            
+            @TestMetadata("wait.kt")
+            public void testWait() throws Exception {
+                doTestWithStdlib("compiler/testData/codegen/boxWithStdlib/fullJdk/synchronized/wait.kt");
+            }
+            
         }
         
+        public static Test innerSuite() {
+            TestSuite suite = new TestSuite("FullJdk");
+            suite.addTestSuite(FullJdk.class);
+            suite.addTestSuite(Synchronized.class);
+            return suite;
+        }
     }
     
     @TestMetadata("compiler/testData/codegen/boxWithStdlib/hashPMap")
@@ -1838,7 +1873,7 @@ public class BlackBoxWithStdlibCodegenTestGenerated extends AbstractBlackBoxCode
         suite.addTestSuite(Casts.class);
         suite.addTest(DataClasses.innerSuite());
         suite.addTestSuite(Evaluate.class);
-        suite.addTestSuite(FullJdk.class);
+        suite.addTest(FullJdk.innerSuite());
         suite.addTestSuite(HashPMap.class);
         suite.addTestSuite(JdkAnnotations.class);
         suite.addTestSuite(PlatformNames.class);