Java синхронизированный метод с дорогостоящими параметрами

Question

У меня есть синхронизированный метод, который появляется, чтобы «использовать» синхронизацию значительно дольше, чем следовало бы. Это выглядит примерно так:

public static synchronized void myMethod(MyParameter p) { 
    //body (not expensive) 
} 

Звонок выглядит;

myMethod(generateParameter()); 

Где generateParameter(), как известно, очень дорого (занимает много времени) вызова. Мое мышление заключается в том, что мьютекс в классе myMethod заблокирован во время выполнения generateParameter(), что происходит? Я нахожу, что это другая проблема для отладки, но это то, что, похоже, происходит.

Answer 1

Этого не может быть; сначала выполняется вызов generateParameter(), и его результаты затем передаются в качестве аргумента для вызова myMethod, который затем захватывает мьютексы.

Занимает ли оно длительное время, или оно бесконечно заблокировано? (в тупике)

Answer 2

Нет, это не так.

Метод generateParameter выполнен до звонка до myMethod.

В Java все аргументы метода всегда оцениваются перед вызовом метода.

specification of method call подробно объясняет это (спасибо Виктору Сорокину).

Во время выполнения вызова метода требуется пять шагов. Во-первых, целевая ссылка может быть вычислена. Во-вторых, вычисляются выражения аргументов. В-третьих, проверяется доступность метода для вызова. В-четвертых, фактический код для метода, который должен быть выполнен, находится. В-пятых, создается новый кадр активации, при необходимости выполняется синхронизация, и управление передается коду метода.

Ваш код такой же, как показано ниже, за исключением новой переменной:

MyParameter p = generateParameter(); 
myMethod(p); 

Answer 3

Нить выполнения myMethod входит монитор объекта в начале метода и держит его, пока он не выйдет. Любые операции, выполняемые внутри метода, равны synchronized, но все параметры вызова оцениваются до вызова, поэтому generateParameter не выполняется внутри окна блокировки myMethod.

Если generateParameter имеет любую синхронизацию на нем, он может конкурировать за одну и ту же блокировку, поскольку без явного объекта синхронизации JVM синхронизируется с объектом, метод которого вызывается.

Я настоятельно рекомендую профилировать код, чтобы определить, где он действительно застревает.

Answer 4

«мьютекс на классе MyMethod блокируется во время выполнения generateParameter()»

Насколько я знаю, что замок приобретается не до выполнения функции generateParameter заканчивается.

Answer 5

Вместо static synchronized void myMethod(p) его лучше использовать ReadWriteLock для ваших ресурсов:

MyParameter p = generateParameter(); 

myMethod(p){ 

    ReadWriteLock readWriteLock = new ReentrantReadWriteLock(); 


    readWriteLock.readLock().lock(); 

    // multiple readers can enter this section 
    // if not locked for writing, and not writers waiting 
    // to lock for writing. 

    readWriteLock.readLock().unlock(); 


    readWriteLock.writeLock().lock(); 

    // only one writer can enter this section, 
    // and only if no threads are currently reading. 

    readWriteLock.writeLock().unlock(); 
}