Возможные ошибки FindBugs: UL_UNRELEASED_LOCK_EXCEPTION_PATH?

Question

У меня есть код, как это:

public class Thingy { 
    private final Lock lock = new ReentrantLock(); 
    private boolean shutdown; 
    public void shutdown() { 
    lock.lock(); 
    shutdown = true; 
    lock.unlock(); 
    } 
} 

И FindBugs жалуется, что «Thingy.shutdown() не освобождает блокировку на всех путях исключения», и что я должен обернуть shutdown = true; линию в примерочных, наконец, но, как насколько я вижу, что это не может быть плохо.

Я ошибаюсь или это ложноположительно?

Answer 1

Чтобы быть справедливым, это довольно сложно (не будучи полноправным компилятором и не выполняет анализ), чтобы определить, может ли какой-либо данный фрагмент кода вызывать исключение или нет.

Но я согласен, в этом случае это ложный позитив. И даже если это не так - даже если есть какой-то темный угол спецификации JLS/JVM, который говорит, что назначение может каким-то образом исключение - если вы попадете в это состояние, вам придется больше беспокоиться, чем un -описанный замок!

Answer 2

Это правда, но так же факт, что использование замка здесь не так. Вам нужно только volatile.

На самом деле вам даже не нужно, поскольку вы никогда не читаете значение, поэтому вы можете полностью исключить переменную и блокировку.

Точка, которая для простой записи, указывает на то, что что-то, вероятно, неверно, это просто предупреждение неправильного.