| 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 |