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

Side by Side Diff: src/heap/spaces.h

Issue 1703823002: Replace slots buffer with remembered set. (Closed) Base URL: https://chromium.googlesource.com/v8/v8.git@master
Patch Set: Address comments Created 4 years, 10 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 | « src/heap/slots-buffer.cc ('k') | src/heap/spaces.cc » ('j') | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
1 // Copyright 2011 the V8 project authors. All rights reserved. 1 // Copyright 2011 the V8 project authors. All rights reserved.
2 // Use of this source code is governed by a BSD-style license that can be 2 // Use of this source code is governed by a BSD-style license that can be
3 // found in the LICENSE file. 3 // found in the LICENSE file.
4 4
5 #ifndef V8_HEAP_SPACES_H_ 5 #ifndef V8_HEAP_SPACES_H_
6 #define V8_HEAP_SPACES_H_ 6 #define V8_HEAP_SPACES_H_
7 7
8 #include "src/allocation.h" 8 #include "src/allocation.h"
9 #include "src/atomic-utils.h" 9 #include "src/atomic-utils.h"
10 #include "src/base/atomicops.h" 10 #include "src/base/atomicops.h"
(...skipping 14 matching lines...) Expand all
25 class CompactionSpaceCollection; 25 class CompactionSpaceCollection;
26 class FreeList; 26 class FreeList;
27 class Isolate; 27 class Isolate;
28 class MemoryAllocator; 28 class MemoryAllocator;
29 class MemoryChunk; 29 class MemoryChunk;
30 class PagedSpace; 30 class PagedSpace;
31 class SemiSpace; 31 class SemiSpace;
32 class SkipList; 32 class SkipList;
33 class SlotsBuffer; 33 class SlotsBuffer;
34 class SlotSet; 34 class SlotSet;
35 class TypedSlotSet;
35 class Space; 36 class Space;
36 37
37 // ----------------------------------------------------------------------------- 38 // -----------------------------------------------------------------------------
38 // Heap structures: 39 // Heap structures:
39 // 40 //
40 // A JS heap consists of a young generation, an old generation, and a large 41 // A JS heap consists of a young generation, an old generation, and a large
41 // object space. The young generation is divided into two semispaces. A 42 // object space. The young generation is divided into two semispaces. A
42 // scavenger implements Cheney's copying algorithm. The old generation is 43 // scavenger implements Cheney's copying algorithm. The old generation is
43 // separated into a map space and an old object space. The map space contains 44 // separated into a map space and an old object space. The map space contains
44 // all (and only) map objects, the rest of old objects go into the old space. 45 // all (and only) map objects, the rest of old objects go into the old space.
(...skipping 340 matching lines...) Expand 10 before | Expand all | Expand 10 after
385 static const intptr_t kLiveBytesOffset = 386 static const intptr_t kLiveBytesOffset =
386 kSizeOffset + kPointerSize // size_t size 387 kSizeOffset + kPointerSize // size_t size
387 + kIntptrSize // intptr_t flags_ 388 + kIntptrSize // intptr_t flags_
388 + kPointerSize // Address area_start_ 389 + kPointerSize // Address area_start_
389 + kPointerSize // Address area_end_ 390 + kPointerSize // Address area_end_
390 + 2 * kPointerSize // base::VirtualMemory reservation_ 391 + 2 * kPointerSize // base::VirtualMemory reservation_
391 + kPointerSize // Address owner_ 392 + kPointerSize // Address owner_
392 + kPointerSize // Heap* heap_ 393 + kPointerSize // Heap* heap_
393 + kIntSize; // int progress_bar_ 394 + kIntSize; // int progress_bar_
394 395
395 static const size_t kSlotsBufferOffset = 396 static const size_t kOldToNewSlotsOffset =
396 kLiveBytesOffset + kIntSize; // int live_byte_count_ 397 kLiveBytesOffset + kIntSize; // int live_byte_count_
397 398
398 static const size_t kWriteBarrierCounterOffset = 399 static const size_t kWriteBarrierCounterOffset =
399 kSlotsBufferOffset + kPointerSize // SlotsBuffer* slots_buffer_; 400 kOldToNewSlotsOffset + kPointerSize // SlotSet* old_to_new_slots_;
400 + kPointerSize // SlotSet* old_to_new_slots_; 401 + kPointerSize // SlotSet* old_to_old_slots_;
401 + kPointerSize // SlotSet* old_to_old_slots_; 402 + kPointerSize // TypedSlotSet* typed_old_to_old_slots_;
402 + kPointerSize; // SkipList* skip_list_; 403 + kPointerSize; // SkipList* skip_list_;
403 404
404 static const size_t kMinHeaderSize = 405 static const size_t kMinHeaderSize =
405 kWriteBarrierCounterOffset + 406 kWriteBarrierCounterOffset +
406 kIntptrSize // intptr_t write_barrier_counter_ 407 kIntptrSize // intptr_t write_barrier_counter_
407 + kPointerSize // AtomicValue high_water_mark_ 408 + kPointerSize // AtomicValue high_water_mark_
408 + kPointerSize // base::Mutex* mutex_ 409 + kPointerSize // base::Mutex* mutex_
409 + kPointerSize // base::AtomicWord parallel_sweeping_ 410 + kPointerSize // base::AtomicWord parallel_sweeping_
410 + kPointerSize // AtomicValue parallel_compaction_ 411 + kPointerSize // AtomicValue parallel_compaction_
411 + 2 * kPointerSize // AtomicNumber free-list statistics 412 + 2 * kPointerSize // AtomicNumber free-list statistics
412 + kPointerSize // AtomicValue next_chunk_ 413 + kPointerSize // AtomicValue next_chunk_
(...skipping 89 matching lines...) Expand 10 before | Expand all | Expand 10 after
502 } 503 }
503 504
504 size_t size() const { return size_; } 505 size_t size() const { return size_; }
505 506
506 inline Heap* heap() const { return heap_; } 507 inline Heap* heap() const { return heap_; }
507 508
508 inline SkipList* skip_list() { return skip_list_; } 509 inline SkipList* skip_list() { return skip_list_; }
509 510
510 inline void set_skip_list(SkipList* skip_list) { skip_list_ = skip_list; } 511 inline void set_skip_list(SkipList* skip_list) { skip_list_ = skip_list; }
511 512
512 inline SlotsBuffer* slots_buffer() { return slots_buffer_; }
513
514 inline SlotsBuffer** slots_buffer_address() { return &slots_buffer_; }
515
516 inline SlotSet* old_to_new_slots() { return old_to_new_slots_; } 513 inline SlotSet* old_to_new_slots() { return old_to_new_slots_; }
517 inline SlotSet* old_to_old_slots() { return old_to_old_slots_; } 514 inline SlotSet* old_to_old_slots() { return old_to_old_slots_; }
515 inline TypedSlotSet* typed_old_to_old_slots() {
516 return typed_old_to_old_slots_;
517 }
518 518
519 void AllocateOldToNewSlots(); 519 void AllocateOldToNewSlots();
520 void ReleaseOldToNewSlots(); 520 void ReleaseOldToNewSlots();
521 void AllocateOldToOldSlots(); 521 void AllocateOldToOldSlots();
522 void ReleaseOldToOldSlots(); 522 void ReleaseOldToOldSlots();
523 void AllocateTypedOldToOldSlots();
524 void ReleaseTypedOldToOldSlots();
523 525
524 Address area_start() { return area_start_; } 526 Address area_start() { return area_start_; }
525 Address area_end() { return area_end_; } 527 Address area_end() { return area_end_; }
526 int area_size() { return static_cast<int>(area_end() - area_start()); } 528 int area_size() { return static_cast<int>(area_end() - area_start()); }
527 529
528 bool CommitArea(size_t requested); 530 bool CommitArea(size_t requested);
529 531
530 // Approximate amount of physical memory committed for this chunk. 532 // Approximate amount of physical memory committed for this chunk.
531 size_t CommittedPhysicalMemory() { return high_water_mark_.Value(); } 533 size_t CommittedPhysicalMemory() { return high_water_mark_.Value(); }
532 534
(...skipping 53 matching lines...) Expand 10 before | Expand all | Expand 10 after
586 DCHECK(!(IsFlagSet(NEVER_EVACUATE) && IsFlagSet(EVACUATION_CANDIDATE))); 588 DCHECK(!(IsFlagSet(NEVER_EVACUATE) && IsFlagSet(EVACUATION_CANDIDATE)));
587 return IsFlagSet(EVACUATION_CANDIDATE); 589 return IsFlagSet(EVACUATION_CANDIDATE);
588 } 590 }
589 591
590 bool CanAllocate() { 592 bool CanAllocate() {
591 return !IsEvacuationCandidate() && !IsFlagSet(NEVER_ALLOCATE_ON_PAGE); 593 return !IsEvacuationCandidate() && !IsFlagSet(NEVER_ALLOCATE_ON_PAGE);
592 } 594 }
593 595
594 void MarkEvacuationCandidate() { 596 void MarkEvacuationCandidate() {
595 DCHECK(!IsFlagSet(NEVER_EVACUATE)); 597 DCHECK(!IsFlagSet(NEVER_EVACUATE));
596 DCHECK_NULL(slots_buffer_); 598 DCHECK_NULL(old_to_old_slots_);
599 DCHECK_NULL(typed_old_to_old_slots_);
597 SetFlag(EVACUATION_CANDIDATE); 600 SetFlag(EVACUATION_CANDIDATE);
598 } 601 }
599 602
600 void ClearEvacuationCandidate() { 603 void ClearEvacuationCandidate() {
601 DCHECK(slots_buffer_ == NULL); 604 DCHECK_NULL(old_to_old_slots_);
605 DCHECK_NULL(typed_old_to_old_slots_);
602 ClearFlag(EVACUATION_CANDIDATE); 606 ClearFlag(EVACUATION_CANDIDATE);
603 } 607 }
604 608
605 bool ShouldSkipEvacuationSlotRecording() { 609 bool ShouldSkipEvacuationSlotRecording() {
606 return (flags_ & kSkipEvacuationSlotsRecordingMask) != 0; 610 return (flags_ & kSkipEvacuationSlotsRecordingMask) != 0;
607 } 611 }
608 612
609 Executability executable() { 613 Executability executable() {
610 return IsFlagSet(IS_EXECUTABLE) ? EXECUTABLE : NOT_EXECUTABLE; 614 return IsFlagSet(IS_EXECUTABLE) ? EXECUTABLE : NOT_EXECUTABLE;
611 } 615 }
(...skipping 64 matching lines...) Expand 10 before | Expand all | Expand 10 after
676 680
677 Heap* heap_; 681 Heap* heap_;
678 682
679 // Used by the incremental marker to keep track of the scanning progress in 683 // Used by the incremental marker to keep track of the scanning progress in
680 // large objects that have a progress bar and are scanned in increments. 684 // large objects that have a progress bar and are scanned in increments.
681 int progress_bar_; 685 int progress_bar_;
682 686
683 // Count of bytes marked black on page. 687 // Count of bytes marked black on page.
684 int live_byte_count_; 688 int live_byte_count_;
685 689
686 SlotsBuffer* slots_buffer_;
687
688 // A single slot set for small pages (of size kPageSize) or an array of slot 690 // A single slot set for small pages (of size kPageSize) or an array of slot
689 // set for large pages. In the latter case the number of entries in the array 691 // set for large pages. In the latter case the number of entries in the array
690 // is ceil(size() / kPageSize). 692 // is ceil(size() / kPageSize).
691 SlotSet* old_to_new_slots_; 693 SlotSet* old_to_new_slots_;
692 SlotSet* old_to_old_slots_; 694 SlotSet* old_to_old_slots_;
695 TypedSlotSet* typed_old_to_old_slots_;
693 696
694 SkipList* skip_list_; 697 SkipList* skip_list_;
695 698
696 intptr_t write_barrier_counter_; 699 intptr_t write_barrier_counter_;
697 700
698 // Assuming the initial allocation on a page is sequential, 701 // Assuming the initial allocation on a page is sequential,
699 // count highest number of bytes ever allocated on the page. 702 // count highest number of bytes ever allocated on the page.
700 AtomicValue<intptr_t> high_water_mark_; 703 AtomicValue<intptr_t> high_water_mark_;
701 704
702 base::Mutex* mutex_; 705 base::Mutex* mutex_;
(...skipping 152 matching lines...) Expand 10 before | Expand all | Expand 10 after
855 class LargePage : public MemoryChunk { 858 class LargePage : public MemoryChunk {
856 public: 859 public:
857 HeapObject* GetObject() { return HeapObject::FromAddress(area_start()); } 860 HeapObject* GetObject() { return HeapObject::FromAddress(area_start()); }
858 861
859 inline LargePage* next_page() { 862 inline LargePage* next_page() {
860 return static_cast<LargePage*>(next_chunk()); 863 return static_cast<LargePage*>(next_chunk());
861 } 864 }
862 865
863 inline void set_next_page(LargePage* page) { set_next_chunk(page); } 866 inline void set_next_page(LargePage* page) { set_next_chunk(page); }
864 867
868 // A limit to guarantee that we do not overflow typed slot offset in
869 // the old to old remembered set.
870 // Note that this limit is higher than what assembler already imposes on
871 // x64 and ia32 architectures.
872 static const int kMaxCodePageSize = 512 * MB;
873
865 private: 874 private:
866 static inline LargePage* Initialize(Heap* heap, MemoryChunk* chunk); 875 static inline LargePage* Initialize(Heap* heap, MemoryChunk* chunk);
867 876
868 friend class MemoryAllocator; 877 friend class MemoryAllocator;
869 }; 878 };
870 879
871 880
872 // ---------------------------------------------------------------------------- 881 // ----------------------------------------------------------------------------
873 // Space is the abstract superclass for all allocation spaces. 882 // Space is the abstract superclass for all allocation spaces.
874 class Space : public Malloced { 883 class Space : public Malloced {
(...skipping 95 matching lines...) Expand 10 before | Expand all | Expand 10 after
970 intptr_t committed_; 979 intptr_t committed_;
971 intptr_t max_committed_; 980 intptr_t max_committed_;
972 }; 981 };
973 982
974 983
975 class MemoryChunkValidator { 984 class MemoryChunkValidator {
976 // Computed offsets should match the compiler generated ones. 985 // Computed offsets should match the compiler generated ones.
977 STATIC_ASSERT(MemoryChunk::kSizeOffset == offsetof(MemoryChunk, size_)); 986 STATIC_ASSERT(MemoryChunk::kSizeOffset == offsetof(MemoryChunk, size_));
978 STATIC_ASSERT(MemoryChunk::kLiveBytesOffset == 987 STATIC_ASSERT(MemoryChunk::kLiveBytesOffset ==
979 offsetof(MemoryChunk, live_byte_count_)); 988 offsetof(MemoryChunk, live_byte_count_));
980 STATIC_ASSERT(MemoryChunk::kSlotsBufferOffset == 989 STATIC_ASSERT(MemoryChunk::kOldToNewSlotsOffset ==
981 offsetof(MemoryChunk, slots_buffer_)); 990 offsetof(MemoryChunk, old_to_new_slots_));
982 STATIC_ASSERT(MemoryChunk::kWriteBarrierCounterOffset == 991 STATIC_ASSERT(MemoryChunk::kWriteBarrierCounterOffset ==
983 offsetof(MemoryChunk, write_barrier_counter_)); 992 offsetof(MemoryChunk, write_barrier_counter_));
984 993
985 // Validate our estimates on the header size. 994 // Validate our estimates on the header size.
986 STATIC_ASSERT(sizeof(MemoryChunk) <= MemoryChunk::kHeaderSize); 995 STATIC_ASSERT(sizeof(MemoryChunk) <= MemoryChunk::kHeaderSize);
987 STATIC_ASSERT(sizeof(LargePage) <= MemoryChunk::kHeaderSize); 996 STATIC_ASSERT(sizeof(LargePage) <= MemoryChunk::kHeaderSize);
988 STATIC_ASSERT(sizeof(Page) <= MemoryChunk::kHeaderSize); 997 STATIC_ASSERT(sizeof(Page) <= MemoryChunk::kHeaderSize);
989 }; 998 };
990 999
991 1000
(...skipping 1989 matching lines...) Expand 10 before | Expand all | Expand 10 after
2981 2990
2982 HeapObject* Next(); 2991 HeapObject* Next();
2983 2992
2984 // implementation of ObjectIterator. 2993 // implementation of ObjectIterator.
2985 virtual HeapObject* next_object() { return Next(); } 2994 virtual HeapObject* next_object() { return Next(); }
2986 2995
2987 private: 2996 private:
2988 LargePage* current_; 2997 LargePage* current_;
2989 }; 2998 };
2990 2999
3000 class LargePageIterator BASE_EMBEDDED {
3001 public:
3002 explicit inline LargePageIterator(LargeObjectSpace* space);
3003
3004 inline LargePage* next();
3005
3006 private:
3007 LargePage* next_page_;
3008 };
2991 3009
2992 // Iterates over the chunks (pages and large object pages) that can contain 3010 // Iterates over the chunks (pages and large object pages) that can contain
2993 // pointers to new space. 3011 // pointers to new space or to evacuation candidates.
2994 class PointerChunkIterator BASE_EMBEDDED { 3012 class MemoryChunkIterator BASE_EMBEDDED {
2995 public: 3013 public:
2996 inline explicit PointerChunkIterator(Heap* heap); 3014 enum Mode { ALL, ALL_BUT_MAP_SPACE, ALL_BUT_CODE_SPACE };
3015 inline explicit MemoryChunkIterator(Heap* heap, Mode mode);
2997 3016
2998 // Return NULL when the iterator is done. 3017 // Return NULL when the iterator is done.
2999 inline MemoryChunk* next(); 3018 inline MemoryChunk* next();
3000 3019
3001 private: 3020 private:
3002 enum State { kOldSpaceState, kMapState, kLargeObjectState, kFinishedState }; 3021 enum State {
3022 kOldSpaceState,
3023 kMapState,
3024 kCodeState,
3025 kLargeObjectState,
3026 kFinishedState
3027 };
3003 State state_; 3028 State state_;
3029 const Mode mode_;
3004 PageIterator old_iterator_; 3030 PageIterator old_iterator_;
3031 PageIterator code_iterator_;
3005 PageIterator map_iterator_; 3032 PageIterator map_iterator_;
3006 LargeObjectIterator lo_iterator_; 3033 LargePageIterator lo_iterator_;
3007 }; 3034 };
3008 3035
3009
3010 #ifdef DEBUG 3036 #ifdef DEBUG
3011 struct CommentStatistic { 3037 struct CommentStatistic {
3012 const char* comment; 3038 const char* comment;
3013 int size; 3039 int size;
3014 int count; 3040 int count;
3015 void Clear() { 3041 void Clear() {
3016 comment = NULL; 3042 comment = NULL;
3017 size = 0; 3043 size = 0;
3018 count = 0; 3044 count = 0;
3019 } 3045 }
3020 // Must be small, since an iteration is used for lookup. 3046 // Must be small, since an iteration is used for lookup.
3021 static const int kMaxComments = 64; 3047 static const int kMaxComments = 64;
3022 }; 3048 };
3023 #endif 3049 #endif
3024 } // namespace internal 3050 } // namespace internal
3025 } // namespace v8 3051 } // namespace v8
3026 3052
3027 #endif // V8_HEAP_SPACES_H_ 3053 #endif // V8_HEAP_SPACES_H_
OLDNEW
« no previous file with comments | « src/heap/slots-buffer.cc ('k') | src/heap/spaces.cc » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698