tryLock неизданные ресурс

Question

ниже код был помечен как нарушения Fortify («неизданный ресурсов» для замка)

try { 
    if (lock.tryLock(1, TimeUnit.SECONDS)) { 
    try { 
     //do something 
    } 
    finally { 
     lock.unlock(); 
    } 
} 
catch (InterruptedException e) { 
    // something 
} 

Не могли бы вы объяснить, почему? Должно ли быть выражение finally для InterruptedException try/catch? Я думал, что внутренняя попытка будет справляться и с этим делом.

Answer 1

Fortify документация описывает unreleased resource bug как:

Программа потенциально может не выпустить системный ресурс.

Это не относится к вашему примеру. Если tryLock возвращает false или генерирует исключение, блокировка не была получена, блок try не вводится, и нет ничего, что можно было бы отменить (поэтому в внешнем блоке try не требуется окончательный блок). Если tryLock возвращает true, внутренний блок try вводится и блокировка освобождается в конце.

То, что вы, кажется, идентичен тому, как API documentation рекомендует вам сделать это:

Lock lock = ...; 
    if (lock.tryLock()) { 
     try { 
      // manipulate protected state 
     } finally { 
      lock.unlock(); 
     } 
    } else { 
     // perform alternative actions 
    } 

Единственным отличием является ваш пример использует переопределение tryLock, что тайм-аут, в этом случае она возвращает ложь. Поэтому из того, что опубликовано, кажется, все в порядке.