code: public WaitQueue.Signal requestExtraSync()
      {
          WaitQueue.Signal signal = syncComplete.register();
          haveWork.release(1);
          return signal;
      }
docs: Sync immediately, but don't block for the sync to cmplete