打破同步块？

Question

我有这个：

synchronized(c){
   if (!items.hasNext() && (c.getFinishedCount() == c.getStartedCount())) {
      f.done(null, results);
      return;
    }

    if(c.isBelowCapacity()){
      RunMap(items,m,results,c,s,f);
    }
}

但是当我调用RunMap()或f.done()时，最终我不需要在c上同步，当我执行条件检查/ if语句时，我只需要在c上同步。

我应该只是使c上的方法同步，然后摆脱同步块吗？

Answer 1

我应该只是使c上的方法同步，然后摆脱同步块吗？

不，更好的方法是在同步块中进行检查，然后再完成其余的工作：

boolean bFDone = false;
boolean bRunMap = false;

synchronized (c) {
    bFDone = !items.hasNext() && (c.getFinishedCount() == c.getStartedCount());
    bRunMap = !bFDone && c.isBelowCapacity();
}

if (bFDone) {
    f.done(null, results);
} else if (bRunMap) {
    RunMap(items,m,results,c,s,f);
}

这个版本的最大优点是，所有易失性代码实际上是同步的，其余的（可能很慢）的东西后来发生。

正如在本答案的评论中正确提到的，只有在您的初始假设正确时，这才能正常工作，即整个块不需要同步。如果您需要立即对条件做出反应，那么该块实际上需要同步（完全）。

Answer 2

使c的方法同步可能是一个坏主意。首先，它意味着无论何时调用它们，无论上下文如何，它们都将被同步，这可能不是您的意思。其次，它无法帮助原子地解决!items.hasNext()和c.getFinishedCount() == c.getStartedCount()的条件。

一种选择是在boolean块中初始化synchronized变量，然后在它们之外执行相关调用：

final boolean isDone;
synchronized(c) {
    isDone = !items.hasNext() && (c.getFinishedCount() == c.getStartedCount());
}

if (isDone) {
    f.done(null, results);
    return;
}

final boolean isBelowCapacity;
synchronized(c) {
    isBelowCapacity =  c.isBelowCapacity();
}

if (isBelowCapacity) {
    RunMap(items,m,results,c,s,f);
}