tryLock 未释放的资源

Question

以下代码已被 Fortify 标记为违规（锁的“未释放资源”）

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

你能解释一下为什么吗？ InterruptedException try/catch 是否应该有 finally 语句？我认为内部尝试也可以处理这种情况。

Answer 1

我可能有一个不错的解决方案：

long timeout = ...;
Lock someLock = ...;
try {
    if (!someLock.tryLock(timeout, TimeUnit.MILLISECONDS)) {
        // TODO: print some error;
        return;
    }
} catch (InterruptedException e) {
    // TODO: print some error;
    return;
}

try{
    // TODO: Some Logic
} finally {
    someLock.unlock();
}

Answer 2

Fortify 文档将unreleased resource bug 描述为：

程序可能无法释放系统资源。

您的示例并非如此。如果 tryLock 返回 false 或抛出异常，则表示没有获取锁，没有进入 try 块，也没有要释放的内容（因此外部 try 块中不需要 finally 块）。如果 tryLock 返回 true，则进入内部 try 块，并在 finally 中释放锁。

您所拥有的似乎与API documentation 建议您这样做的方式相同：

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

唯一的区别是您的示例使用了超时的 tryLock 覆盖，在这种情况下它返回 false。所以从发布的内容来看，这似乎没问题。