在Java 8接口方法中不允许“synchronized”的原因是什么?

问题描述 投票:205回答:2

在Java 8中,我可以轻松地写:

interface Interface1 {
    default void method1() {
        synchronized (this) {
            // Something
        }
    }

    static void method2() {
        synchronized (Interface1.class) {
            // Something
        }
    }
}

我将获得完全同步语义,我也可以在类中使用。但是,我不能在方法声明中使用synchronized修饰符:

interface Interface2 {
    default synchronized void method1() {
        //  ^^^^^^^^^^^^ Modifier 'synchronized' not allowed here
    }

    static synchronized void method2() {
        // ^^^^^^^^^^^^ Modifier 'synchronized' not allowed here
    }
}

现在,人们可以争辩说两个界面的行为方式相同,只是Interface2method1()method2()上建立了一个契约,这比Interface1的强度要强一些。当然,我们也可能认为default实现不应该对具体实现状态做出任何假设,或者这样的关键字根本不会减轻它的重量。

Question:

JSR-335专家组决定不在接口方法上支持synchronized的原因是什么?

java java-8 synchronized default-method jsr335
2个回答
255
投票

虽然起初看起来很明显人们会想要在默认方法上支持synchronized修饰符,但事实证明这样做会很危险,因此被禁止。

同步方法是一种方法的简写,其行为就像整个主体被包含在其锁定对象是接收器的synchronized块中一样。将此语义扩展到默认方法似乎也是明智的;毕竟,它们也是带接收器的实例方法。 (请注意,synchronized方法完全是一种语法优化;它们不是必需的,它们比相应的synchronized块更紧凑。有一个合理的论据要说这是一个过早的语法优化,并且同步方法引起的问题比他们解决的问题多,但是很久以前这艘船已经航行了。)

那么,他们为什么危险?同步是关于锁定。锁定是关于协调对可变状态的共享访问。每个对象都应该有一个同步策略,用于确定哪些锁保护哪些状态变量。 (参见Java Concurrency in Practice,第2.4节。)

许多对象使用Java Monitor Pattern(JCiP 4.1)作为其同步策略,其中对象的状态由其内部锁保护。关于这种模式没有任何魔力或特殊之处,但它很方便,并且在方法上使用synchronized关键字隐含地假设了这种模式。

拥有该状态的类可以确定该对象的同步策略。但是接口不拥有混合它们的对象的状态。因此,在接口中使用synchronized方法假定一个特定的同步策略,但是你没有合理的假设基础,所以很可能是使用同步不会提供额外的线程安全性(您可能在错误的锁上进行同步)。这会给你一种错误的信心,你已经对线程安全做了一些事情,并且没有错误消息告诉你你正在假设错误的同步策略。

为单个源文件持续维护同步策略已经足够困难了;确保子类正确遵守其超类定义的同步策略更加困难。在这种松散耦合的类(一个接口和可能实现它的许多类)之间尝试这样做几乎是不可能的,并且非常容易出错。

鉴于所有这些论点反对,会有什么争论?看起来他们主要是让界面表现得更像特质。虽然这是一个可以理解的愿望,但默认方法的设计中心是界面演变,而不是“Traits--”。在两者可以持续实现的情况下,我们努力做到这一点,但如果一方与另一方发生冲突,我们必须选择支持主要的设计目标。


0
投票
public class ParentSync {

public synchronized void parentStart() {
    System.out.println("I am " + this.getClass() + " . parentStarting. now:" + nowStr());
    try {
        Thread.sleep(30000);
    } catch (InterruptedException e) {
        e.printStackTrace();
    }
    System.out.println("I am " + this.getClass() + " . parentFinished. now" + nowStr());
}

private String nowStr() {
    return new SimpleDateFormat("yyyy-MM-dd HH:mm:ss").format(new Date());
}
}


public class SonSync1 extends ParentSync {
public void sonStart() {
    System.out.println("I am " + this.getClass() + ". sonStarting,calling parent now ... ");
    super.parentStart();
    System.out.println("I am " + this.getClass() + ". sonFinished");
}
}



public class SonSync2 extends ParentSync {

public void sonStart() {
    System.out.println("I am " + this.getClass() + ". sonStarting,calling parent now ... ");
    super.parentStart();
    System.out.println("I am " + this.getClass() + ". sonFinished");
}
}



public class SyncTest {
public static void main(String[] args) throws Exception {

    new Thread(() -> {
        new SonSync1().sonStart();
    }).start();

    new Thread(() -> {
        new SonSync2().sonStart();
    }).start();

    System.in.read();
}
}

结果:

I am class com.common.interface18_design.whynotsync_onmethod.SonSync1. sonStarting,calling parent now ... 
I am class com.common.interface18_design.whynotsync_onmethod.SonSync2. sonStarting,calling parent now ... 
I am class com.common.interface18_design.whynotsync_onmethod.SonSync2 . parentStarting. now:2019-04-18 09:50:08
I am class com.common.interface18_design.whynotsync_onmethod.SonSync1 . parentStarting. now:2019-04-18 09:50:08
I am class com.common.interface18_design.whynotsync_onmethod.SonSync1 . parentFinished. now2019-04-18 09:50:38
I am class com.common.interface18_design.whynotsync_onmethod.SonSync1. sonFinished
I am class com.common.interface18_design.whynotsync_onmethod.SonSync2 . parentFinished. now2019-04-18 09:50:38
I am class com.common.interface18_design.whynotsync_onmethod.SonSync2. sonFinished

(抱歉以父类为例)

从结果中,我们可以知道父类锁拥有每个子类,SonSync1和SonSync2对象具有不同的对象锁。每个锁都是独立的。所以在这种情况下,我认为在父类或公共接口中使用synchronized是没有危险的。任何人都可以解释更多吗?

© www.soinside.com 2019 - 2024. All rights reserved.