Line data Source code
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
3 : // found in the LICENSE file.
4 :
5 : #include "src/heap/store-buffer.h"
6 :
7 : #include <algorithm>
8 :
9 : #include "src/base/bits.h"
10 : #include "src/base/macros.h"
11 : #include "src/base/template-utils.h"
12 : #include "src/counters.h"
13 : #include "src/heap/incremental-marking.h"
14 : #include "src/heap/store-buffer-inl.h"
15 : #include "src/isolate.h"
16 : #include "src/objects-inl.h"
17 : #include "src/v8.h"
18 :
19 : namespace v8 {
20 : namespace internal {
21 :
22 62442 : StoreBuffer::StoreBuffer(Heap* heap)
23 62442 : : heap_(heap), top_(nullptr), current_(0), mode_(NOT_IN_GC) {
24 312210 : for (int i = 0; i < kStoreBuffers; i++) {
25 124884 : start_[i] = nullptr;
26 124884 : limit_[i] = nullptr;
27 124884 : lazy_top_[i] = nullptr;
28 : }
29 62442 : task_running_ = false;
30 62442 : insertion_callback = &InsertDuringRuntime;
31 62442 : deletion_callback = &DeleteDuringRuntime;
32 62442 : }
33 :
34 62442 : void StoreBuffer::SetUp() {
35 62442 : v8::PageAllocator* page_allocator = GetPlatformPageAllocator();
36 : // Round up the requested size in order to fulfill the VirtualMemory's
37 : // requrements on the requested size alignment. This may cause a bit of
38 : // memory wastage if the actual CommitPageSize() will be bigger than the
39 : // kMinExpectedOSPageSize value but this is a trade-off for keeping the
40 : // store buffer overflow check in write barriers cheap.
41 : const size_t requested_size = RoundUp(kStoreBufferSize * kStoreBuffers,
42 124884 : page_allocator->CommitPageSize());
43 : // Allocate buffer memory aligned at least to kStoreBufferSize. This lets us
44 : // use a bit test to detect the ends of the buffers.
45 : STATIC_ASSERT(base::bits::IsPowerOfTwo(kStoreBufferSize));
46 : const size_t alignment =
47 124884 : std::max<size_t>(kStoreBufferSize, page_allocator->AllocatePageSize());
48 : void* hint = AlignedAddress(heap_->GetRandomMmapAddr(), alignment);
49 124884 : VirtualMemory reservation(page_allocator, requested_size, hint, alignment);
50 62442 : if (!reservation.IsReserved()) {
51 0 : heap_->FatalProcessOutOfMemory("StoreBuffer::SetUp");
52 : }
53 :
54 : Address start = reservation.address();
55 : const size_t allocated_size = reservation.size();
56 :
57 62442 : start_[0] = reinterpret_cast<Address*>(start);
58 62442 : limit_[0] = start_[0] + (kStoreBufferSize / kSystemPointerSize);
59 62442 : start_[1] = limit_[0];
60 62442 : limit_[1] = start_[1] + (kStoreBufferSize / kSystemPointerSize);
61 :
62 : // Sanity check the buffers.
63 : Address* vm_limit = reinterpret_cast<Address*>(start + allocated_size);
64 : USE(vm_limit);
65 : for (int i = 0; i < kStoreBuffers; i++) {
66 : DCHECK(reinterpret_cast<Address>(start_[i]) >= reservation.address());
67 : DCHECK(reinterpret_cast<Address>(limit_[i]) >= reservation.address());
68 : DCHECK(start_[i] <= vm_limit);
69 : DCHECK(limit_[i] <= vm_limit);
70 : DCHECK_EQ(0, reinterpret_cast<Address>(limit_[i]) & kStoreBufferMask);
71 : }
72 :
73 : // Set RW permissions only on the pages we use.
74 62442 : const size_t used_size = RoundUp(requested_size, CommitPageSize());
75 62442 : if (!reservation.SetPermissions(start, used_size,
76 : PageAllocator::kReadWrite)) {
77 0 : heap_->FatalProcessOutOfMemory("StoreBuffer::SetUp");
78 : }
79 62442 : current_ = 0;
80 62442 : top_ = start_[current_];
81 62442 : virtual_memory_.TakeControl(&reservation);
82 62442 : }
83 :
84 62427 : void StoreBuffer::TearDown() {
85 62427 : if (virtual_memory_.IsReserved()) virtual_memory_.Free();
86 62427 : top_ = nullptr;
87 312135 : for (int i = 0; i < kStoreBuffers; i++) {
88 124854 : start_[i] = nullptr;
89 124854 : limit_[i] = nullptr;
90 124854 : lazy_top_[i] = nullptr;
91 : }
92 62427 : }
93 :
94 11682 : void StoreBuffer::DeleteDuringRuntime(StoreBuffer* store_buffer, Address start,
95 : Address end) {
96 : DCHECK(store_buffer->mode() == StoreBuffer::NOT_IN_GC);
97 11682 : store_buffer->InsertDeletionIntoStoreBuffer(start, end);
98 11682 : }
99 :
100 110646183 : void StoreBuffer::InsertDuringRuntime(StoreBuffer* store_buffer, Address slot) {
101 : DCHECK(store_buffer->mode() == StoreBuffer::NOT_IN_GC);
102 110646183 : store_buffer->InsertIntoStoreBuffer(slot);
103 110646139 : }
104 :
105 17476 : void StoreBuffer::DeleteDuringGarbageCollection(StoreBuffer* store_buffer,
106 : Address start, Address end) {
107 : // In GC the store buffer has to be empty at any time.
108 : DCHECK(store_buffer->Empty());
109 : DCHECK(store_buffer->mode() != StoreBuffer::NOT_IN_GC);
110 : Page* page = Page::FromAddress(start);
111 17476 : if (end) {
112 : RememberedSet<OLD_TO_NEW>::RemoveRange(page, start, end,
113 17476 : SlotSet::PREFREE_EMPTY_BUCKETS);
114 : } else {
115 0 : RememberedSet<OLD_TO_NEW>::Remove(page, start);
116 : }
117 17476 : }
118 :
119 12 : void StoreBuffer::InsertDuringGarbageCollection(StoreBuffer* store_buffer,
120 : Address slot) {
121 : DCHECK(store_buffer->mode() != StoreBuffer::NOT_IN_GC);
122 12 : RememberedSet<OLD_TO_NEW>::Insert(Page::FromAddress(slot), slot);
123 12 : }
124 :
125 189888 : void StoreBuffer::SetMode(StoreBufferMode mode) {
126 189888 : mode_ = mode;
127 189888 : if (mode == NOT_IN_GC) {
128 94944 : insertion_callback = &InsertDuringRuntime;
129 94944 : deletion_callback = &DeleteDuringRuntime;
130 : } else {
131 94944 : insertion_callback = &InsertDuringGarbageCollection;
132 94944 : deletion_callback = &DeleteDuringGarbageCollection;
133 : }
134 189888 : }
135 :
136 53187 : int StoreBuffer::StoreBufferOverflow(Isolate* isolate) {
137 83367 : isolate->heap()->store_buffer()->FlipStoreBuffers();
138 83367 : isolate->counters()->store_buffer_overflows()->Increment();
139 : // Called by RecordWriteCodeStubAssembler, which doesnt accept void type
140 53187 : return 0;
141 : }
142 :
143 83367 : void StoreBuffer::FlipStoreBuffers() {
144 83367 : base::MutexGuard guard(&mutex_);
145 83367 : int other = (current_ + 1) % kStoreBuffers;
146 83367 : MoveEntriesToRememberedSet(other);
147 83367 : lazy_top_[current_] = top_;
148 83367 : current_ = other;
149 83367 : top_ = start_[current_];
150 :
151 83367 : if (!task_running_ && FLAG_concurrent_store_buffer) {
152 75128 : task_running_ = true;
153 150256 : V8::GetCurrentPlatform()->CallOnWorkerThread(
154 300512 : base::make_unique<Task>(heap_->isolate(), this));
155 : }
156 83367 : }
157 :
158 348350 : void StoreBuffer::MoveEntriesToRememberedSet(int index) {
159 348350 : if (!lazy_top_[index]) return;
160 : DCHECK_GE(index, 0);
161 : DCHECK_LT(index, kStoreBuffers);
162 : Address last_inserted_addr = kNullAddress;
163 : MemoryChunk* chunk = nullptr;
164 :
165 201089236 : for (Address* current = start_[index]; current < lazy_top_[index];
166 : current++) {
167 200910956 : Address addr = *current;
168 401677979 : if (chunk == nullptr ||
169 : MemoryChunk::BaseAddress(addr) != chunk->address()) {
170 : chunk = MemoryChunk::FromAnyPointerAddress(addr);
171 : }
172 200910956 : if (IsDeletionAddress(addr)) {
173 : last_inserted_addr = kNullAddress;
174 6885 : current++;
175 6885 : Address end = *current;
176 : DCHECK(!IsDeletionAddress(end));
177 : addr = UnmarkDeletionAddress(addr);
178 6885 : if (end) {
179 : RememberedSet<OLD_TO_NEW>::RemoveRange(chunk, addr, end,
180 6184 : SlotSet::PREFREE_EMPTY_BUCKETS);
181 : } else {
182 701 : RememberedSet<OLD_TO_NEW>::Remove(chunk, addr);
183 : }
184 : } else {
185 : DCHECK(!IsDeletionAddress(addr));
186 200904071 : if (addr != last_inserted_addr) {
187 132191514 : RememberedSet<OLD_TO_NEW>::Insert(chunk, addr);
188 : last_inserted_addr = addr;
189 : }
190 : }
191 : }
192 178280 : lazy_top_[index] = nullptr;
193 : }
194 :
195 94944 : void StoreBuffer::MoveAllEntriesToRememberedSet() {
196 94944 : base::MutexGuard guard(&mutex_);
197 94944 : int other = (current_ + 1) % kStoreBuffers;
198 94944 : MoveEntriesToRememberedSet(other);
199 94944 : lazy_top_[current_] = top_;
200 94944 : MoveEntriesToRememberedSet(current_);
201 94944 : top_ = start_[current_];
202 94944 : }
203 :
204 75095 : void StoreBuffer::ConcurrentlyProcessStoreBuffer() {
205 75095 : base::MutexGuard guard(&mutex_);
206 75095 : int other = (current_ + 1) % kStoreBuffers;
207 75095 : MoveEntriesToRememberedSet(other);
208 75095 : task_running_ = false;
209 75095 : }
210 :
211 : } // namespace internal
212 122036 : } // namespace v8
|