OLD | NEW |
1 // Copyright 2009 the V8 project authors. All rights reserved. | 1 // Copyright 2009 the V8 project authors. All rights reserved. |
2 // Redistribution and use in source and binary forms, with or without | 2 // Redistribution and use in source and binary forms, with or without |
3 // modification, are permitted provided that the following conditions are | 3 // modification, are permitted provided that the following conditions are |
4 // met: | 4 // met: |
5 // | 5 // |
6 // * Redistributions of source code must retain the above copyright | 6 // * Redistributions of source code must retain the above copyright |
7 // notice, this list of conditions and the following disclaimer. | 7 // notice, this list of conditions and the following disclaimer. |
8 // * Redistributions in binary form must reproduce the above | 8 // * Redistributions in binary form must reproduce the above |
9 // copyright notice, this list of conditions and the following | 9 // copyright notice, this list of conditions and the following |
10 // disclaimer in the documentation and/or other materials provided | 10 // disclaimer in the documentation and/or other materials provided |
(...skipping 544 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
555 collector == MARK_COMPACTOR ? kGCTypeMarkSweepCompact : kGCTypeScavenge; | 555 collector == MARK_COMPACTOR ? kGCTypeMarkSweepCompact : kGCTypeScavenge; |
556 | 556 |
557 for (int i = 0; i < gc_prologue_callbacks_.length(); ++i) { | 557 for (int i = 0; i < gc_prologue_callbacks_.length(); ++i) { |
558 if (gc_type & gc_prologue_callbacks_[i].gc_type) { | 558 if (gc_type & gc_prologue_callbacks_[i].gc_type) { |
559 gc_prologue_callbacks_[i].callback(gc_type, kNoGCCallbackFlags); | 559 gc_prologue_callbacks_[i].callback(gc_type, kNoGCCallbackFlags); |
560 } | 560 } |
561 } | 561 } |
562 | 562 |
563 EnsureFromSpaceIsCommitted(); | 563 EnsureFromSpaceIsCommitted(); |
564 | 564 |
| 565 // Perform mark-sweep with optional compaction. |
565 if (collector == MARK_COMPACTOR) { | 566 if (collector == MARK_COMPACTOR) { |
566 // Perform mark-sweep with optional compaction. | |
567 MarkCompact(tracer); | 567 MarkCompact(tracer); |
| 568 } |
568 | 569 |
| 570 // Always perform a scavenge to make room in new space. |
| 571 Scavenge(); |
| 572 |
| 573 // Update the old space promotion limits after the scavenge due to |
| 574 // promotions during scavenge. |
| 575 if (collector == MARK_COMPACTOR) { |
569 int old_gen_size = PromotedSpaceSize(); | 576 int old_gen_size = PromotedSpaceSize(); |
570 old_gen_promotion_limit_ = | 577 old_gen_promotion_limit_ = |
571 old_gen_size + Max(kMinimumPromotionLimit, old_gen_size / 3); | 578 old_gen_size + Max(kMinimumPromotionLimit, old_gen_size / 3); |
572 old_gen_allocation_limit_ = | 579 old_gen_allocation_limit_ = |
573 old_gen_size + Max(kMinimumAllocationLimit, old_gen_size / 2); | 580 old_gen_size + Max(kMinimumAllocationLimit, old_gen_size / 2); |
574 old_gen_exhausted_ = false; | 581 old_gen_exhausted_ = false; |
575 } else { | |
576 Scavenge(); | |
577 } | 582 } |
578 | 583 |
579 Counters::objs_since_last_young.Set(0); | 584 Counters::objs_since_last_young.Set(0); |
580 | 585 |
581 if (collector == MARK_COMPACTOR) { | 586 if (collector == MARK_COMPACTOR) { |
582 DisableAssertNoAllocation allow_allocation; | 587 DisableAssertNoAllocation allow_allocation; |
583 GCTracer::ExternalScope scope(tracer); | 588 GCTracer::ExternalScope scope(tracer); |
584 GlobalHandles::PostGarbageCollectionProcessing(); | 589 GlobalHandles::PostGarbageCollectionProcessing(); |
585 } | 590 } |
586 | 591 |
(...skipping 165 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
752 object->Iterate(&v); | 757 object->Iterate(&v); |
753 | 758 |
754 HeapObjectIterator data_it(Heap::old_data_space()); | 759 HeapObjectIterator data_it(Heap::old_data_space()); |
755 for (HeapObject* object = data_it.next(); | 760 for (HeapObject* object = data_it.next(); |
756 object != NULL; object = data_it.next()) | 761 object != NULL; object = data_it.next()) |
757 object->Iterate(&v); | 762 object->Iterate(&v); |
758 } | 763 } |
759 #endif | 764 #endif |
760 | 765 |
761 | 766 |
762 void Heap::CheckNewSpaceExpansionCriteria() { | |
763 if (new_space_.Capacity() < new_space_.MaximumCapacity() && | |
764 survived_since_last_expansion_ > new_space_.Capacity()) { | |
765 // Grow the size of new space if there is room to grow and enough | |
766 // data has survived scavenge since the last expansion. | |
767 new_space_.Grow(); | |
768 survived_since_last_expansion_ = 0; | |
769 } | |
770 } | |
771 | |
772 | |
773 void Heap::Scavenge() { | 767 void Heap::Scavenge() { |
774 #ifdef DEBUG | 768 #ifdef DEBUG |
775 if (FLAG_enable_slow_asserts) VerifyNonPointerSpacePointers(); | 769 if (FLAG_enable_slow_asserts) VerifyNonPointerSpacePointers(); |
776 #endif | 770 #endif |
777 | 771 |
778 gc_state_ = SCAVENGE; | 772 gc_state_ = SCAVENGE; |
779 | 773 |
780 // Implements Cheney's copying algorithm | 774 // Implements Cheney's copying algorithm |
781 LOG(ResourceEvent("scavenge", "begin")); | 775 LOG(ResourceEvent("scavenge", "begin")); |
782 | 776 |
783 // Clear descriptor cache. | 777 // Clear descriptor cache. |
784 DescriptorLookupCache::Clear(); | 778 DescriptorLookupCache::Clear(); |
785 | 779 |
786 // Used for updating survived_since_last_expansion_ at function end. | 780 // Used for updating survived_since_last_expansion_ at function end. |
787 int survived_watermark = PromotedSpaceSize(); | 781 int survived_watermark = PromotedSpaceSize(); |
788 | 782 |
789 CheckNewSpaceExpansionCriteria(); | 783 if (new_space_.Capacity() < new_space_.MaximumCapacity() && |
| 784 survived_since_last_expansion_ > new_space_.Capacity()) { |
| 785 // Grow the size of new space if there is room to grow and enough |
| 786 // data has survived scavenge since the last expansion. |
| 787 new_space_.Grow(); |
| 788 survived_since_last_expansion_ = 0; |
| 789 } |
790 | 790 |
791 // Flip the semispaces. After flipping, to space is empty, from space has | 791 // Flip the semispaces. After flipping, to space is empty, from space has |
792 // live objects. | 792 // live objects. |
793 new_space_.Flip(); | 793 new_space_.Flip(); |
794 new_space_.ResetAllocationInfo(); | 794 new_space_.ResetAllocationInfo(); |
795 | 795 |
796 // We need to sweep newly copied objects which can be either in the | 796 // We need to sweep newly copied objects which can be either in the |
797 // to space or promoted to the old generation. For to-space | 797 // to space or promoted to the old generation. For to-space |
798 // objects, we treat the bottom of the to space as a queue. Newly | 798 // objects, we treat the bottom of the to space as a queue. Newly |
799 // copied and unswept objects lie between a 'front' mark and the | 799 // copied and unswept objects lie between a 'front' mark and the |
(...skipping 30 matching lines...) Expand all Loading... |
830 if (cell->IsJSGlobalPropertyCell()) { | 830 if (cell->IsJSGlobalPropertyCell()) { |
831 Address value_address = | 831 Address value_address = |
832 reinterpret_cast<Address>(cell) + | 832 reinterpret_cast<Address>(cell) + |
833 (JSGlobalPropertyCell::kValueOffset - kHeapObjectTag); | 833 (JSGlobalPropertyCell::kValueOffset - kHeapObjectTag); |
834 scavenge_visitor.VisitPointer(reinterpret_cast<Object**>(value_address)); | 834 scavenge_visitor.VisitPointer(reinterpret_cast<Object**>(value_address)); |
835 } | 835 } |
836 } | 836 } |
837 | 837 |
838 new_space_front = DoScavenge(&scavenge_visitor, new_space_front); | 838 new_space_front = DoScavenge(&scavenge_visitor, new_space_front); |
839 | 839 |
840 UpdateNewSpaceReferencesInExternalStringTable( | 840 ScavengeExternalStringTable(); |
841 &UpdateNewSpaceReferenceInExternalStringTableEntry); | |
842 | |
843 ASSERT(new_space_front == new_space_.top()); | 841 ASSERT(new_space_front == new_space_.top()); |
844 | 842 |
845 // Set age mark. | 843 // Set age mark. |
846 new_space_.set_age_mark(new_space_.top()); | 844 new_space_.set_age_mark(new_space_.top()); |
847 | 845 |
848 // Update how much has survived scavenge. | 846 // Update how much has survived scavenge. |
849 IncrementYoungSurvivorsCounter( | 847 survived_since_last_expansion_ += |
850 (PromotedSpaceSize() - survived_watermark) + new_space_.Size()); | 848 (PromotedSpaceSize() - survived_watermark) + new_space_.Size(); |
851 | 849 |
852 LOG(ResourceEvent("scavenge", "end")); | 850 LOG(ResourceEvent("scavenge", "end")); |
853 | 851 |
854 gc_state_ = NOT_IN_GC; | 852 gc_state_ = NOT_IN_GC; |
855 } | 853 } |
856 | 854 |
857 | 855 |
858 String* Heap::UpdateNewSpaceReferenceInExternalStringTableEntry(Object** p) { | 856 void Heap::ScavengeExternalStringTable() { |
859 MapWord first_word = HeapObject::cast(*p)->map_word(); | |
860 | |
861 if (!first_word.IsForwardingAddress()) { | |
862 // Unreachable external string can be finalized. | |
863 FinalizeExternalString(String::cast(*p)); | |
864 return NULL; | |
865 } | |
866 | |
867 // String is still reachable. | |
868 return String::cast(first_word.ToForwardingAddress()); | |
869 } | |
870 | |
871 | |
872 void Heap::UpdateNewSpaceReferencesInExternalStringTable( | |
873 ExternalStringTableUpdaterCallback updater_func) { | |
874 ExternalStringTable::Verify(); | 857 ExternalStringTable::Verify(); |
875 | 858 |
876 if (ExternalStringTable::new_space_strings_.is_empty()) return; | 859 if (ExternalStringTable::new_space_strings_.is_empty()) return; |
877 | 860 |
878 Object** start = &ExternalStringTable::new_space_strings_[0]; | 861 Object** start = &ExternalStringTable::new_space_strings_[0]; |
879 Object** end = start + ExternalStringTable::new_space_strings_.length(); | 862 Object** end = start + ExternalStringTable::new_space_strings_.length(); |
880 Object** last = start; | 863 Object** last = start; |
881 | 864 |
882 for (Object** p = start; p < end; ++p) { | 865 for (Object** p = start; p < end; ++p) { |
883 ASSERT(Heap::InFromSpace(*p)); | 866 ASSERT(Heap::InFromSpace(*p)); |
884 String* target = updater_func(p); | 867 MapWord first_word = HeapObject::cast(*p)->map_word(); |
885 | 868 |
886 if (target == NULL) continue; | 869 if (!first_word.IsForwardingAddress()) { |
| 870 // Unreachable external string can be finalized. |
| 871 FinalizeExternalString(String::cast(*p)); |
| 872 continue; |
| 873 } |
887 | 874 |
| 875 // String is still reachable. |
| 876 String* target = String::cast(first_word.ToForwardingAddress()); |
888 ASSERT(target->IsExternalString()); | 877 ASSERT(target->IsExternalString()); |
889 | 878 |
890 if (Heap::InNewSpace(target)) { | 879 if (Heap::InNewSpace(target)) { |
891 // String is still in new space. Update the table entry. | 880 // String is still in new space. Update the table entry. |
892 *last = target; | 881 *last = target; |
893 ++last; | 882 ++last; |
894 } else { | 883 } else { |
895 // String got promoted. Move it to the old string list. | 884 // String got promoted. Move it to the old string list. |
896 ExternalStringTable::AddOldString(target); | 885 ExternalStringTable::AddOldString(target); |
897 } | 886 } |
(...skipping 3501 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
4399 void ExternalStringTable::TearDown() { | 4388 void ExternalStringTable::TearDown() { |
4400 new_space_strings_.Free(); | 4389 new_space_strings_.Free(); |
4401 old_space_strings_.Free(); | 4390 old_space_strings_.Free(); |
4402 } | 4391 } |
4403 | 4392 |
4404 | 4393 |
4405 List<Object*> ExternalStringTable::new_space_strings_; | 4394 List<Object*> ExternalStringTable::new_space_strings_; |
4406 List<Object*> ExternalStringTable::old_space_strings_; | 4395 List<Object*> ExternalStringTable::old_space_strings_; |
4407 | 4396 |
4408 } } // namespace v8::internal | 4397 } } // namespace v8::internal |
OLD | NEW |