синхронизация Java и обработка исключений

Question

Если у меня есть синхронизированный блок и где-то внутри этого блока выдается исключение, которое не перехватывается в синхронизированном блоке, будет ли снята блокировка, когда исключение распространяется из него? (Синхронизированный блок)

synchronized( mutex )
{
    throw new Exception( "" );
}

Answer 1

Блокировка всегда снимается.

Из JLS §14.19 :

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

Answer 2

Да, блокировка снята.

С здесь :

Механизм исключений платформы Java интегрирован с ее моделью синхронизации (§17), так что блокировки освобождаются как синхронизированные операторы (§14.18) и вызовы синхронизированных методов (§8.4.3.6, §15.12) завершаются внезапно.

Answer 3

Не должно быть никаких проблем. Блокировка снимается независимо от пути выполнения (возврат, исключение ...). Подробнее см. this .