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 62421 : StoreBuffer::StoreBuffer(Heap* heap)
23 62421 : : heap_(heap), top_(nullptr), current_(0), mode_(NOT_IN_GC) {
24 312105 : for (int i = 0; i < kStoreBuffers; i++) {
25 124842 : start_[i] = nullptr;
26 124842 : limit_[i] = nullptr;
27 124842 : lazy_top_[i] = nullptr;
28 : }
29 62421 : task_running_ = false;
30 62421 : insertion_callback = &InsertDuringRuntime;
31 62421 : deletion_callback = &DeleteDuringRuntime;
32 62421 : }
33 :
34 62422 : void StoreBuffer::SetUp() {
35 62422 : 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 124844 : 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 124844 : std::max<size_t>(kStoreBufferSize, page_allocator->AllocatePageSize());
48 : void* hint = AlignedAddress(heap_->GetRandomMmapAddr(), alignment);
49 124844 : VirtualMemory reservation(page_allocator, requested_size, hint, alignment);
50 62422 : 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 62422 : start_[0] = reinterpret_cast<Address*>(start);
58 62422 : limit_[0] = start_[0] + (kStoreBufferSize / kSystemPointerSize);
59 62422 : start_[1] = limit_[0];
60 62422 : 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 62422 : const size_t used_size = RoundUp(requested_size, CommitPageSize());
75 62422 : if (!reservation.SetPermissions(start, used_size,
76 : PageAllocator::kReadWrite)) {
77 0 : heap_->FatalProcessOutOfMemory("StoreBuffer::SetUp");
78 : }
79 62422 : current_ = 0;
80 62422 : top_ = start_[current_];
81 62422 : virtual_memory_.TakeControl(&reservation);
82 62422 : }
83 :
84 62407 : void StoreBuffer::TearDown() {
85 62407 : if (virtual_memory_.IsReserved()) virtual_memory_.Free();
86 62407 : top_ = nullptr;
87 312035 : for (int i = 0; i < kStoreBuffers; i++) {
88 124814 : start_[i] = nullptr;
89 124814 : limit_[i] = nullptr;
90 124814 : lazy_top_[i] = nullptr;
91 : }
92 62407 : }
93 :
94 11646 : void StoreBuffer::DeleteDuringRuntime(StoreBuffer* store_buffer, Address start,
95 : Address end) {
96 : DCHECK(store_buffer->mode() == StoreBuffer::NOT_IN_GC);
97 11646 : store_buffer->InsertDeletionIntoStoreBuffer(start, end);
98 11646 : }
99 :
100 110620214 : void StoreBuffer::InsertDuringRuntime(StoreBuffer* store_buffer, Address slot) {
101 : DCHECK(store_buffer->mode() == StoreBuffer::NOT_IN_GC);
102 110620214 : store_buffer->InsertIntoStoreBuffer(slot);
103 110620146 : }
104 :
105 17490 : 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 17490 : if (end) {
112 : RememberedSet<OLD_TO_NEW>::RemoveRange(page, start, end,
113 17490 : SlotSet::PREFREE_EMPTY_BUCKETS);
114 : } else {
115 0 : RememberedSet<OLD_TO_NEW>::Remove(page, start);
116 : }
117 17490 : }
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 193356 : void StoreBuffer::SetMode(StoreBufferMode mode) {
126 193356 : mode_ = mode;
127 193356 : if (mode == NOT_IN_GC) {
128 96678 : insertion_callback = &InsertDuringRuntime;
129 96678 : deletion_callback = &DeleteDuringRuntime;
130 : } else {
131 96678 : insertion_callback = &InsertDuringGarbageCollection;
132 96678 : deletion_callback = &DeleteDuringGarbageCollection;
133 : }
134 193356 : }
135 :
136 61135 : int StoreBuffer::StoreBufferOverflow(Isolate* isolate) {
137 91291 : isolate->heap()->store_buffer()->FlipStoreBuffers();
138 91291 : isolate->counters()->store_buffer_overflows()->Increment();
139 : // Called by RecordWriteCodeStubAssembler, which doesnt accept void type
140 61135 : return 0;
141 : }
142 :
143 91291 : void StoreBuffer::FlipStoreBuffers() {
144 91291 : base::MutexGuard guard(&mutex_);
145 91291 : int other = (current_ + 1) % kStoreBuffers;
146 91291 : MoveEntriesToRememberedSet(other);
147 91291 : lazy_top_[current_] = top_;
148 91291 : current_ = other;
149 91291 : top_ = start_[current_];
150 :
151 91291 : if (!task_running_ && FLAG_concurrent_store_buffer) {
152 81381 : task_running_ = true;
153 162762 : V8::GetCurrentPlatform()->CallOnWorkerThread(
154 325524 : base::make_unique<Task>(heap_->isolate(), this));
155 : }
156 91291 : }
157 :
158 365997 : void StoreBuffer::MoveEntriesToRememberedSet(int index) {
159 365997 : 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 220696002 : for (Address* current = start_[index]; current < lazy_top_[index];
166 : current++) {
167 220508058 : Address addr = *current;
168 440862345 : if (chunk == nullptr ||
169 : MemoryChunk::BaseAddress(addr) != chunk->address()) {
170 : chunk = MemoryChunk::FromAnyPointerAddress(addr);
171 : }
172 220508057 : if (IsDeletionAddress(addr)) {
173 : last_inserted_addr = kNullAddress;
174 5888 : current++;
175 5888 : Address end = *current;
176 : DCHECK(!IsDeletionAddress(end));
177 : addr = UnmarkDeletionAddress(addr);
178 5888 : if (end) {
179 : RememberedSet<OLD_TO_NEW>::RemoveRange(chunk, addr, end,
180 5203 : SlotSet::PREFREE_EMPTY_BUCKETS);
181 : } else {
182 685 : RememberedSet<OLD_TO_NEW>::Remove(chunk, addr);
183 : }
184 : } else {
185 : DCHECK(!IsDeletionAddress(addr));
186 220502169 : if (addr != last_inserted_addr) {
187 132551267 : RememberedSet<OLD_TO_NEW>::Insert(chunk, addr);
188 : last_inserted_addr = addr;
189 : }
190 : }
191 : }
192 187944 : lazy_top_[index] = nullptr;
193 : }
194 :
195 96678 : void StoreBuffer::MoveAllEntriesToRememberedSet() {
196 96678 : base::MutexGuard guard(&mutex_);
197 96678 : int other = (current_ + 1) % kStoreBuffers;
198 96678 : MoveEntriesToRememberedSet(other);
199 96678 : lazy_top_[current_] = top_;
200 96678 : MoveEntriesToRememberedSet(current_);
201 96678 : top_ = start_[current_];
202 96678 : }
203 :
204 81350 : void StoreBuffer::ConcurrentlyProcessStoreBuffer() {
205 81350 : base::MutexGuard guard(&mutex_);
206 81350 : int other = (current_ + 1) % kStoreBuffers;
207 81350 : MoveEntriesToRememberedSet(other);
208 81350 : task_running_ = false;
209 81350 : }
210 :
211 : } // namespace internal
212 121996 : } // namespace v8
|