打破同步块？

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()orf.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);}