equal
deleted
inserted
replaced
485 _terminate.exit_stage0(); |
485 _terminate.exit_stage0(); |
486 |
486 |
487 // Flush before termination |
487 // Flush before termination |
488 if (!try_flush(&_work_nterminateflush)) { |
488 if (!try_flush(&_work_nterminateflush)) { |
489 // No more work available, skip further flush attempts |
489 // No more work available, skip further flush attempts |
490 Atomic::store(false, &_work_terminateflush); |
490 Atomic::store(&_work_terminateflush, false); |
491 } |
491 } |
492 |
492 |
493 // Don't terminate, regardless of whether we successfully |
493 // Don't terminate, regardless of whether we successfully |
494 // flushed out more work or not. We've already exited |
494 // flushed out more work or not. We've already exited |
495 // termination stage 0, to allow other threads to continue |
495 // termination stage 0, to allow other threads to continue |