Mercurial > hg > graal-jvmci-8

comparison src/share/vm/gc_implementation/concurrentMarkSweep/concurrentMarkSweepGeneration.cpp @ 10186:b06ac540229e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
8013132: Add a flag to turn off the output of the verbose verification code Reviewed-by: johnc, brutisso
author stefank
date Wed, 24 Apr 2013 20:13:37 +0200
parents ebded0261dfc
children 2f50bc369470
comparison
equal deleted inserted replaced
10185:d50cc62e94ff 10186:b06ac540229e
2442 break; 2442 break;
2443 case Marking: 2443 case Marking:
2444 // initial marking in checkpointRootsInitialWork has been completed 2444 // initial marking in checkpointRootsInitialWork has been completed
2445 if (VerifyDuringGC && 2445 if (VerifyDuringGC &&
2446 GenCollectedHeap::heap()->total_collections() >= VerifyGCStartAt) { 2446 GenCollectedHeap::heap()->total_collections() >= VerifyGCStartAt) {
2447 gclog_or_tty->print("Verify before initial mark: "); 2447 Universe::verify("Verify before initial mark: ");
2448 Universe::verify();
2449 } 2448 }
2450 { 2449 {
2451 bool res = markFromRoots(false); 2450 bool res = markFromRoots(false);
2452 assert(res && _collectorState == FinalMarking, "Collector state should " 2451 assert(res && _collectorState == FinalMarking, "Collector state should "
2453 "have changed"); 2452 "have changed");
2454 break; 2453 break;
2455 } 2454 }
2456 case FinalMarking: 2455 case FinalMarking:
2457 if (VerifyDuringGC && 2456 if (VerifyDuringGC &&
2458 GenCollectedHeap::heap()->total_collections() >= VerifyGCStartAt) { 2457 GenCollectedHeap::heap()->total_collections() >= VerifyGCStartAt) {
2459 gclog_or_tty->print("Verify before re-mark: "); 2458 Universe::verify("Verify before re-mark: ");
2460 Universe::verify();
2461 } 2459 }
2462 checkpointRootsFinal(false, clear_all_soft_refs, 2460 checkpointRootsFinal(false, clear_all_soft_refs,
2463 init_mark_was_synchronous); 2461 init_mark_was_synchronous);
2464 assert(_collectorState == Sweeping, "Collector state should not " 2462 assert(_collectorState == Sweeping, "Collector state should not "
2465 "have changed within checkpointRootsFinal()"); 2463 "have changed within checkpointRootsFinal()");
2466 break; 2464 break;
2467 case Sweeping: 2465 case Sweeping:
2468 // final marking in checkpointRootsFinal has been completed 2466 // final marking in checkpointRootsFinal has been completed
2469 if (VerifyDuringGC && 2467 if (VerifyDuringGC &&
2470 GenCollectedHeap::heap()->total_collections() >= VerifyGCStartAt) { 2468 GenCollectedHeap::heap()->total_collections() >= VerifyGCStartAt) {
2471 gclog_or_tty->print("Verify before sweep: "); 2469 Universe::verify("Verify before sweep: ");
2472 Universe::verify();
2473 } 2470 }
2474 sweep(false); 2471 sweep(false);
2475 assert(_collectorState == Resizing, "Incorrect state"); 2472 assert(_collectorState == Resizing, "Incorrect state");
2476 break; 2473 break;
2477 case Resizing: { 2474 case Resizing: {
2482 } 2479 }
2483 case Resetting: 2480 case Resetting:
2484 // The heap has been resized. 2481 // The heap has been resized.
2485 if (VerifyDuringGC && 2482 if (VerifyDuringGC &&
2486 GenCollectedHeap::heap()->total_collections() >= VerifyGCStartAt) { 2483 GenCollectedHeap::heap()->total_collections() >= VerifyGCStartAt) {
2487 gclog_or_tty->print("Verify before reset: "); 2484 Universe::verify("Verify before reset: ");
2488 Universe::verify();
2489 } 2485 }
2490 reset(false); 2486 reset(false);
2491 assert(_collectorState == Idling, "Collector state should " 2487 assert(_collectorState == Idling, "Collector state should "
2492 "have changed"); 2488 "have changed");
2493 break; 2489 break;
2851 } 2847 }
2852 2848
2853 bool failed() { return _failed; } 2849 bool failed() { return _failed; }
2854 }; 2850 };
2855 2851
2856 bool CMSCollector::verify_after_remark() { 2852 bool CMSCollector::verify_after_remark(bool silent) {
2857 gclog_or_tty->print(" [Verifying CMS Marking... "); 2853 if (!silent) gclog_or_tty->print(" [Verifying CMS Marking... ");
2858 MutexLockerEx ml(verification_mark_bm()->lock(), Mutex::_no_safepoint_check_flag); 2854 MutexLockerEx ml(verification_mark_bm()->lock(), Mutex::_no_safepoint_check_flag);
2859 static bool init = false; 2855 static bool init = false;
2860 2856
2861 assert(SafepointSynchronize::is_at_safepoint(), 2857 assert(SafepointSynchronize::is_at_safepoint(),
2862 "Else mutations in object graph will make answer suspect"); 2858 "Else mutations in object graph will make answer suspect");
2913 verify_after_remark_work_2(); 2909 verify_after_remark_work_2();
2914 } else { 2910 } else {
2915 warning("Unrecognized value %d for CMSRemarkVerifyVariant", 2911 warning("Unrecognized value %d for CMSRemarkVerifyVariant",
2916 CMSRemarkVerifyVariant); 2912 CMSRemarkVerifyVariant);
2917 } 2913 }
2918 gclog_or_tty->print(" done] "); 2914 if (!silent) gclog_or_tty->print(" done] ");
2919 return true; 2915 return true;
2920 } 2916 }
2921 2917
2922 void CMSCollector::verify_after_remark_work_1() { 2918 void CMSCollector::verify_after_remark_work_1() {
2923 ResourceMark rm; 2919 ResourceMark rm;