Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(76)

Side by Side Diff: Source/platform/heap/ThreadState.cpp

Issue 1191483002: Revert of Oilpan: adjust GC policy under memory pressure. (Closed) Base URL: https://chromium.googlesource.com/chromium/blink.git@master
Patch Set: Created 5 years, 6 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch
« no previous file with comments | « Source/platform/heap/ThreadState.h ('k') | no next file » | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
1 /* 1 /*
2 * Copyright (C) 2013 Google Inc. All rights reserved. 2 * Copyright (C) 2013 Google Inc. All rights reserved.
3 * 3 *
4 * Redistribution and use in source and binary forms, with or without 4 * Redistribution and use in source and binary forms, with or without
5 * modification, are permitted provided that the following conditions are 5 * modification, are permitted provided that the following conditions are
6 * met: 6 * met:
7 * 7 *
8 * * Redistributions of source code must retain the above copyright 8 * * Redistributions of source code must retain the above copyright
9 * notice, this list of conditions and the following disclaimer. 9 * notice, this list of conditions and the following disclaimer.
10 * * Redistributions in binary form must reproduce the above 10 * * Redistributions in binary form must reproduce the above
(...skipping 514 matching lines...) Expand 10 before | Expand all | Expand 10 after
525 return mutex; 525 return mutex;
526 } 526 }
527 527
528 // TODO(haraken): We should improve the GC heuristics. 528 // TODO(haraken): We should improve the GC heuristics.
529 // These heuristics affect performance significantly. 529 // These heuristics affect performance significantly.
530 bool ThreadState::shouldScheduleIdleGC() 530 bool ThreadState::shouldScheduleIdleGC()
531 { 531 {
532 if (gcState() != NoGCScheduled) 532 if (gcState() != NoGCScheduled)
533 return false; 533 return false;
534 #if ENABLE(IDLE_GC) 534 #if ENABLE(IDLE_GC)
535 // Avoid potential overflow by truncating to Kb.
536 size_t allocatedObjectSizeKb = Heap::allocatedObjectSize() >> 10;
537 // The estimated size is updated when the main thread finishes lazy 535 // The estimated size is updated when the main thread finishes lazy
538 // sweeping. If this thread reaches here before the main thread finishes 536 // sweeping. If this thread reaches here before the main thread finishes
539 // lazy sweeping, the thread will use the estimated size of the last GC. 537 // lazy sweeping, the thread will use the estimated size of the last GC.
540 size_t estimatedLiveObjectSizeKb = Heap::estimatedLiveObjectSize() >> 10; 538 size_t estimatedLiveObjectSize = Heap::estimatedLiveObjectSize();
539 size_t allocatedObjectSize = Heap::allocatedObjectSize();
541 // Heap::markedObjectSize() may be underestimated if any thread has not 540 // Heap::markedObjectSize() may be underestimated if any thread has not
542 // finished completeSweep(). 541 // finished completeSweep().
543 size_t currentObjectSizeKb = allocatedObjectSizeKb + ((Heap::markedObjectSiz e() + WTF::Partitions::totalSizeOfCommittedPages()) >> 10); 542 size_t currentObjectSize = allocatedObjectSize + Heap::markedObjectSize() + WTF::Partitions::totalSizeOfCommittedPages();
544 // Schedule an idle GC if Oilpan has allocated more than 1 MB since 543 // Schedule an idle GC if Oilpan has allocated more than 1 MB since
545 // the last GC and the current memory usage is >50% larger than 544 // the last GC and the current memory usage is >50% larger than
546 // the estimated live memory usage. 545 // the estimated live memory usage.
547 return allocatedObjectSizeKb >= 1024 && currentObjectSizeKb > estimatedLiveO bjectSizeKb * 3 / 2; 546 return allocatedObjectSize >= 1024 * 1024 && currentObjectSize > estimatedLi veObjectSize * 3 / 2;
548 #else 547 #else
549 return false; 548 return false;
550 #endif 549 #endif
551 } 550 }
552 551
553 // TODO(haraken): We should improve the GC heuristics. 552 // TODO(haraken): We should improve the GC heuristics.
554 // These heuristics affect performance significantly. 553 // These heuristics affect performance significantly.
555 bool ThreadState::shouldSchedulePreciseGC() 554 bool ThreadState::shouldSchedulePreciseGC()
556 { 555 {
557 if (gcState() != NoGCScheduled) 556 if (gcState() != NoGCScheduled)
558 return false; 557 return false;
559 #if ENABLE(IDLE_GC) 558 #if ENABLE(IDLE_GC)
560 return false; 559 return false;
561 #else 560 #else
562 // Avoid potential overflow by truncating to Kb.
563 size_t allocatedObjectSizeKb = Heap::allocatedObjectSize() >> 10;
564 // The estimated size is updated when the main thread finishes lazy 561 // The estimated size is updated when the main thread finishes lazy
565 // sweeping. If this thread reaches here before the main thread finishes 562 // sweeping. If this thread reaches here before the main thread finishes
566 // lazy sweeping, the thread will use the estimated size of the last GC. 563 // lazy sweeping, the thread will use the estimated size of the last GC.
567 size_t estimatedLiveObjectSizeKb = Heap::estimatedLiveObjectSize() >> 10; 564 size_t estimatedLiveObjectSize = Heap::estimatedLiveObjectSize();
565 size_t allocatedObjectSize = Heap::allocatedObjectSize();
568 // Heap::markedObjectSize() may be underestimated if any thread has not 566 // Heap::markedObjectSize() may be underestimated if any thread has not
569 // finished completeSweep(). 567 // finished completeSweep().
570 size_t currentObjectSizeKb = allocatedObjectSizeKb + ((Heap::markedObjectSiz e() + WTF::Partitions::totalSizeOfCommittedPages()) >> 10); 568 size_t currentObjectSize = allocatedObjectSize + Heap::markedObjectSize() + WTF::Partitions::totalSizeOfCommittedPages();
571 // Schedule a precise GC if Oilpan has allocated more than 1 MB since 569 // Schedule a precise GC if Oilpan has allocated more than 1 MB since
572 // the last GC and the current memory usage is >50% larger than 570 // the last GC and the current memory usage is >50% larger than
573 // the estimated live memory usage. 571 // the estimated live memory usage.
574 return allocatedObjectSizeKb >= 1024 && currentObjectSizeKb > estimatedLiveO bjectSizeKb * 3 / 2; 572 return allocatedObjectSize >= 1024 * 1024 && currentObjectSize > estimatedLi veObjectSize * 3 / 2;
575 #endif 573 #endif
576 } 574 }
577 575
578 bool ThreadState::shouldForceMemoryPressureGC()
579 {
580 // Avoid potential overflow by truncating to Kb.
581 size_t currentObjectSizeKb = (Heap::allocatedObjectSize() + Heap::markedObje ctSize() + WTF::Partitions::totalSizeOfCommittedPages()) >> 10;
582 size_t estimatedLiveObjectSizeKb = (Heap::estimatedLiveObjectSize()) >> 10;
583 if (currentObjectSizeKb < 300 * 1024)
584 return false;
585
586 // If we're consuming too much memory, trigger a conservative GC
587 // aggressively. This is a safe guard to avoid OOM.
588 return currentObjectSizeKb > (estimatedLiveObjectSizeKb * 3) / 2;
589 }
590
591 // TODO(haraken): We should improve the GC heuristics. 576 // TODO(haraken): We should improve the GC heuristics.
592 // These heuristics affect performance significantly. 577 // These heuristics affect performance significantly.
593 bool ThreadState::shouldForceConservativeGC() 578 bool ThreadState::shouldForceConservativeGC()
594 { 579 {
595 if (UNLIKELY(isGCForbidden())) 580 if (UNLIKELY(isGCForbidden()))
596 return false; 581 return false;
597 582
598 if (shouldForceMemoryPressureGC())
599 return true;
600
601 // Avoid potential overflow by truncating to Kb.
602 size_t allocatedObjectSizeKb = Heap::allocatedObjectSize() >> 10;
603 // The estimated size is updated when the main thread finishes lazy 583 // The estimated size is updated when the main thread finishes lazy
604 // sweeping. If this thread reaches here before the main thread finishes 584 // sweeping. If this thread reaches here before the main thread finishes
605 // lazy sweeping, the thread will use the estimated size of the last GC. 585 // lazy sweeping, the thread will use the estimated size of the last GC.
606 size_t estimatedLiveObjectSizeKb = Heap::estimatedLiveObjectSize() >> 10; 586 size_t estimatedLiveObjectSize = Heap::estimatedLiveObjectSize();
587 size_t allocatedObjectSize = Heap::allocatedObjectSize();
607 // Heap::markedObjectSize() may be underestimated if any thread has not 588 // Heap::markedObjectSize() may be underestimated if any thread has not
608 // finished completeSweep(). 589 // finished completeSweep().
609 size_t currentObjectSizeKb = allocatedObjectSizeKb + ((Heap::markedObjectSiz e() + WTF::Partitions::totalSizeOfCommittedPages()) >> 10); 590 size_t currentObjectSize = allocatedObjectSize + Heap::markedObjectSize() + WTF::Partitions::totalSizeOfCommittedPages();
610 591 if (currentObjectSize >= 300 * 1024 * 1024) {
592 // If we're consuming too much memory, trigger a conservative GC
593 // aggressively. This is a safe guard to avoid OOM.
594 return currentObjectSize > estimatedLiveObjectSize * 3 / 2;
595 }
611 // Schedule a conservative GC if Oilpan has allocated more than 32 MB since 596 // Schedule a conservative GC if Oilpan has allocated more than 32 MB since
612 // the last GC and the current memory usage is >400% larger than 597 // the last GC and the current memory usage is >400% larger than
613 // the estimated live memory usage. 598 // the estimated live memory usage.
614 // TODO(haraken): 400% is too large. Lower the heap growing factor. 599 // TODO(haraken): 400% is too large. Lower the heap growing factor.
615 return allocatedObjectSizeKb >= 32 * 1024 && currentObjectSizeKb > 5 * estim atedLiveObjectSizeKb; 600 return allocatedObjectSize >= 32 * 1024 * 1024 && currentObjectSize > 5 * es timatedLiveObjectSize;
616 } 601 }
617 602
618 void ThreadState::scheduleGCIfNeeded() 603 void ThreadState::scheduleGCIfNeeded()
619 { 604 {
620 checkThread(); 605 checkThread();
621 // Allocation is allowed during sweeping, but those allocations should not 606 // Allocation is allowed during sweeping, but those allocations should not
622 // trigger nested GCs. 607 // trigger nested GCs.
623 if (isSweepingInProgress()) 608 if (isSweepingInProgress())
624 return; 609 return;
625 ASSERT(!sweepForbidden()); 610 ASSERT(!sweepForbidden());
(...skipping 171 matching lines...) Expand 10 before | Expand all | Expand 10 after
797 m_gcState = gcState; 782 m_gcState = gcState;
798 } 783 }
799 784
800 #undef VERIFY_STATE_TRANSITION 785 #undef VERIFY_STATE_TRANSITION
801 786
802 ThreadState::GCState ThreadState::gcState() const 787 ThreadState::GCState ThreadState::gcState() const
803 { 788 {
804 return m_gcState; 789 return m_gcState;
805 } 790 }
806 791
807 void ThreadState::didV8MajorGC(bool forceGC) 792 void ThreadState::didV8GC()
808 { 793 {
809 checkThread(); 794 checkThread();
810 if (isMainThread()) { 795 if (isMainThread()) {
811 // Lower the estimated live object size because the V8 major GC is 796 // Lower the estimated live object size because the V8 major GC is
812 // expected to have collected a lot of DOM wrappers and dropped 797 // expected to have collected a lot of DOM wrappers and dropped
813 // references to their DOM objects. 798 // references to their DOM objects.
814 Heap::setEstimatedLiveObjectSize(Heap::estimatedLiveObjectSize() / 2); 799 Heap::setEstimatedLiveObjectSize(Heap::estimatedLiveObjectSize() / 2);
815
816 if (forceGC) {
817 // This single GC is not enough for two reasons:
818 // (1) The GC is not precise because the GC scans on-stack pointer s conservatively.
819 // (2) One GC is not enough to break a chain of persistent handles . It's possible that
820 // some heap allocated objects own objects that contain persis tent handles
821 // pointing to other heap allocated objects. To break the chai n, we need multiple GCs.
822 //
823 // Regarding (1), we force a precise GC at the end of the current ev ent loop. So if you want
824 // to collect all garbage, you need to wait until the next event loo p.
825 // Regarding (2), it would be OK in practice to trigger only one GC per gcEpilogue, because
826 // GCController.collectAll() forces 7 V8's GC.
827 Heap::collectGarbage(ThreadState::HeapPointersOnStack, ThreadState:: GCWithSweep, Heap::ForcedGC);
828
829 // Forces a precise GC at the end of the current event loop.
830 ThreadState::current()->setGCState(ThreadState::FullGCScheduled);
831 return;
832 }
833
834 // If under memory pressure, complete sweeping before initiating
835 // the urgent conservative GC.
836 if (shouldForceMemoryPressureGC())
837 completeSweep();
838
839 // Schedule an Oilpan GC to avoid the following scenario:
840 // (1) A DOM object X holds a v8::Persistent to a V8 object.
841 // Assume that X is small but the V8 object is huge.
842 // The v8::Persistent is released when X is destructed.
843 // (2) X's DOM wrapper is created.
844 // (3) The DOM wrapper becomes unreachable.
845 // (4) V8 triggers a GC. The V8's GC collects the DOM wrapper.
846 // However, X is not collected until a next Oilpan's GC is
847 // triggered.
848 // (5) If a lot of such DOM objects are created, we end up with
849 // a situation where V8's GC collects the DOM wrappers but
850 // the DOM objects are not collected forever. (Note that
851 // Oilpan's GC is not triggered unless Oilpan's heap gets full.)
852 // (6) V8 hits OOM.
853 scheduleGCIfNeeded();
854 } 800 }
855 } 801 }
856 802
857 void ThreadState::runScheduledGC(StackState stackState) 803 void ThreadState::runScheduledGC(StackState stackState)
858 { 804 {
859 checkThread(); 805 checkThread();
860 if (stackState != NoHeapPointersOnStack) 806 if (stackState != NoHeapPointersOnStack)
861 return; 807 return;
862 808
863 // If a safe point is entered while initiating a GC, we clearly do 809 // If a safe point is entered while initiating a GC, we clearly do
(...skipping 597 matching lines...) Expand 10 before | Expand all | Expand 10 after
1461 json->beginArray(it->key.ascii().data()); 1407 json->beginArray(it->key.ascii().data());
1462 for (size_t age = 0; age <= maxHeapObjectAge; ++age) 1408 for (size_t age = 0; age <= maxHeapObjectAge; ++age)
1463 json->pushInteger(it->value.ages[age]); 1409 json->pushInteger(it->value.ages[age]);
1464 json->endArray(); 1410 json->endArray();
1465 } 1411 }
1466 TRACE_EVENT_OBJECT_SNAPSHOT_WITH_ID(TRACE_DISABLED_BY_DEFAULT("blink_gc"), s tatsName, this, json.release()); 1412 TRACE_EVENT_OBJECT_SNAPSHOT_WITH_ID(TRACE_DISABLED_BY_DEFAULT("blink_gc"), s tatsName, this, json.release());
1467 } 1413 }
1468 #endif 1414 #endif
1469 1415
1470 } // namespace blink 1416 } // namespace blink
OLDNEW
« no previous file with comments | « Source/platform/heap/ThreadState.h ('k') | no next file » | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698