• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 // Copyright 2016 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 #ifndef V8_HEAP_REMEMBERED_SET_H_
6 #define V8_HEAP_REMEMBERED_SET_H_
7 
8 #include "src/heap/heap.h"
9 #include "src/heap/slot-set.h"
10 #include "src/heap/spaces.h"
11 #include "src/reloc-info.h"
12 #include "src/v8memory.h"
13 
14 namespace v8 {
15 namespace internal {
16 
17 enum RememberedSetIterationMode { SYNCHRONIZED, NON_SYNCHRONIZED };
18 
19 // TODO(ulan): Investigate performance of de-templatizing this class.
20 template <RememberedSetType type>
21 class RememberedSet : public AllStatic {
22  public:
23   // Given a page and a slot in that page, this function adds the slot to the
24   // remembered set.
25   template <AccessMode access_mode = AccessMode::ATOMIC>
Insert(MemoryChunk * chunk,Address slot_addr)26   static void Insert(MemoryChunk* chunk, Address slot_addr) {
27     DCHECK(chunk->Contains(slot_addr));
28     SlotSet* slot_set = chunk->slot_set<type, access_mode>();
29     if (slot_set == nullptr) {
30       slot_set = chunk->AllocateSlotSet<type>();
31     }
32     uintptr_t offset = slot_addr - chunk->address();
33     slot_set[offset / Page::kPageSize].Insert<access_mode>(offset %
34                                                            Page::kPageSize);
35   }
36 
37   // Given a page and a slot in that page, this function returns true if
38   // the remembered set contains the slot.
Contains(MemoryChunk * chunk,Address slot_addr)39   static bool Contains(MemoryChunk* chunk, Address slot_addr) {
40     DCHECK(chunk->Contains(slot_addr));
41     SlotSet* slot_set = chunk->slot_set<type>();
42     if (slot_set == nullptr) {
43       return false;
44     }
45     uintptr_t offset = slot_addr - chunk->address();
46     return slot_set[offset / Page::kPageSize].Contains(offset %
47                                                        Page::kPageSize);
48   }
49 
50   // Given a page and a slot in that page, this function removes the slot from
51   // the remembered set.
52   // If the slot was never added, then the function does nothing.
Remove(MemoryChunk * chunk,Address slot_addr)53   static void Remove(MemoryChunk* chunk, Address slot_addr) {
54     DCHECK(chunk->Contains(slot_addr));
55     SlotSet* slot_set = chunk->slot_set<type>();
56     if (slot_set != nullptr) {
57       uintptr_t offset = slot_addr - chunk->address();
58       slot_set[offset / Page::kPageSize].Remove(offset % Page::kPageSize);
59     }
60   }
61 
62   // Given a page and a range of slots in that page, this function removes the
63   // slots from the remembered set.
RemoveRange(MemoryChunk * chunk,Address start,Address end,SlotSet::EmptyBucketMode mode)64   static void RemoveRange(MemoryChunk* chunk, Address start, Address end,
65                           SlotSet::EmptyBucketMode mode) {
66     SlotSet* slot_set = chunk->slot_set<type>();
67     if (slot_set != nullptr) {
68       uintptr_t start_offset = start - chunk->address();
69       uintptr_t end_offset = end - chunk->address();
70       DCHECK_LT(start_offset, end_offset);
71       if (end_offset < static_cast<uintptr_t>(Page::kPageSize)) {
72         slot_set->RemoveRange(static_cast<int>(start_offset),
73                               static_cast<int>(end_offset), mode);
74       } else {
75         // The large page has multiple slot sets.
76         // Compute slot set indicies for the range [start_offset, end_offset).
77         int start_chunk = static_cast<int>(start_offset / Page::kPageSize);
78         int end_chunk = static_cast<int>((end_offset - 1) / Page::kPageSize);
79         int offset_in_start_chunk =
80             static_cast<int>(start_offset % Page::kPageSize);
81         // Note that using end_offset % Page::kPageSize would be incorrect
82         // because end_offset is one beyond the last slot to clear.
83         int offset_in_end_chunk = static_cast<int>(
84             end_offset - static_cast<uintptr_t>(end_chunk) * Page::kPageSize);
85         if (start_chunk == end_chunk) {
86           slot_set[start_chunk].RemoveRange(offset_in_start_chunk,
87                                             offset_in_end_chunk, mode);
88         } else {
89           // Clear all slots from start_offset to the end of first chunk.
90           slot_set[start_chunk].RemoveRange(offset_in_start_chunk,
91                                             Page::kPageSize, mode);
92           // Clear all slots in intermediate chunks.
93           for (int i = start_chunk + 1; i < end_chunk; i++) {
94             slot_set[i].RemoveRange(0, Page::kPageSize, mode);
95           }
96           // Clear slots from the beginning of the last page to end_offset.
97           slot_set[end_chunk].RemoveRange(0, offset_in_end_chunk, mode);
98         }
99       }
100     }
101   }
102 
103   // Iterates and filters the remembered set with the given callback.
104   // The callback should take (Address slot) and return SlotCallbackResult.
105   template <typename Callback>
Iterate(Heap * heap,RememberedSetIterationMode mode,Callback callback)106   static void Iterate(Heap* heap, RememberedSetIterationMode mode,
107                       Callback callback) {
108     IterateMemoryChunks(heap, [mode, callback](MemoryChunk* chunk) {
109       if (mode == SYNCHRONIZED) chunk->mutex()->Lock();
110       Iterate(chunk, callback);
111       if (mode == SYNCHRONIZED) chunk->mutex()->Unlock();
112     });
113   }
114 
115   // Iterates over all memory chunks that contains non-empty slot sets.
116   // The callback should take (MemoryChunk* chunk) and return void.
117   template <typename Callback>
IterateMemoryChunks(Heap * heap,Callback callback)118   static void IterateMemoryChunks(Heap* heap, Callback callback) {
119     MemoryChunkIterator it(heap);
120     MemoryChunk* chunk;
121     while ((chunk = it.next()) != nullptr) {
122       SlotSet* slots = chunk->slot_set<type>();
123       TypedSlotSet* typed_slots = chunk->typed_slot_set<type>();
124       if (slots != nullptr || typed_slots != nullptr ||
125           chunk->invalidated_slots() != nullptr) {
126         callback(chunk);
127       }
128     }
129   }
130 
131   // Iterates and filters the remembered set in the given memory chunk with
132   // the given callback. The callback should take (Address slot) and return
133   // SlotCallbackResult.
134   //
135   // Notice that |mode| can only be of FREE* or PREFREE* if there are no other
136   // threads concurrently inserting slots.
137   template <typename Callback>
Iterate(MemoryChunk * chunk,Callback callback,SlotSet::EmptyBucketMode mode)138   static void Iterate(MemoryChunk* chunk, Callback callback,
139                       SlotSet::EmptyBucketMode mode) {
140     SlotSet* slots = chunk->slot_set<type>();
141     if (slots != nullptr) {
142       size_t pages = (chunk->size() + Page::kPageSize - 1) / Page::kPageSize;
143       int new_count = 0;
144       for (size_t page = 0; page < pages; page++) {
145         new_count += slots[page].Iterate(callback, mode);
146       }
147       // Only old-to-old slot sets are released eagerly. Old-new-slot sets are
148       // released by the sweeper threads.
149       if (type == OLD_TO_OLD && new_count == 0) {
150         chunk->ReleaseSlotSet<OLD_TO_OLD>();
151       }
152     }
153   }
154 
NumberOfPreFreedEmptyBuckets(MemoryChunk * chunk)155   static int NumberOfPreFreedEmptyBuckets(MemoryChunk* chunk) {
156     DCHECK(type == OLD_TO_NEW);
157     int result = 0;
158     SlotSet* slots = chunk->slot_set<type>();
159     if (slots != nullptr) {
160       size_t pages = (chunk->size() + Page::kPageSize - 1) / Page::kPageSize;
161       for (size_t page = 0; page < pages; page++) {
162         result += slots[page].NumberOfPreFreedEmptyBuckets();
163       }
164     }
165     return result;
166   }
167 
PreFreeEmptyBuckets(MemoryChunk * chunk)168   static void PreFreeEmptyBuckets(MemoryChunk* chunk) {
169     DCHECK(type == OLD_TO_NEW);
170     SlotSet* slots = chunk->slot_set<type>();
171     if (slots != nullptr) {
172       size_t pages = (chunk->size() + Page::kPageSize - 1) / Page::kPageSize;
173       for (size_t page = 0; page < pages; page++) {
174         slots[page].PreFreeEmptyBuckets();
175       }
176     }
177   }
178 
FreeEmptyBuckets(MemoryChunk * chunk)179   static void FreeEmptyBuckets(MemoryChunk* chunk) {
180     DCHECK(type == OLD_TO_NEW);
181     SlotSet* slots = chunk->slot_set<type>();
182     if (slots != nullptr) {
183       size_t pages = (chunk->size() + Page::kPageSize - 1) / Page::kPageSize;
184       for (size_t page = 0; page < pages; page++) {
185         slots[page].FreeEmptyBuckets();
186         slots[page].FreeToBeFreedBuckets();
187       }
188     }
189   }
190 
191   // Given a page and a typed slot in that page, this function adds the slot
192   // to the remembered set.
InsertTyped(Page * page,Address host_addr,SlotType slot_type,Address slot_addr)193   static void InsertTyped(Page* page, Address host_addr, SlotType slot_type,
194                           Address slot_addr) {
195     TypedSlotSet* slot_set = page->typed_slot_set<type>();
196     if (slot_set == nullptr) {
197       slot_set = page->AllocateTypedSlotSet<type>();
198     }
199     if (host_addr == kNullAddress) {
200       host_addr = page->address();
201     }
202     uintptr_t offset = slot_addr - page->address();
203     uintptr_t host_offset = host_addr - page->address();
204     DCHECK_LT(offset, static_cast<uintptr_t>(TypedSlotSet::kMaxOffset));
205     DCHECK_LT(host_offset, static_cast<uintptr_t>(TypedSlotSet::kMaxOffset));
206     slot_set->Insert(slot_type, static_cast<uint32_t>(host_offset),
207                      static_cast<uint32_t>(offset));
208   }
209 
210   // Given a page and a range of typed slots in that page, this function removes
211   // the slots from the remembered set.
RemoveRangeTyped(MemoryChunk * page,Address start,Address end)212   static void RemoveRangeTyped(MemoryChunk* page, Address start, Address end) {
213     TypedSlotSet* slots = page->typed_slot_set<type>();
214     if (slots != nullptr) {
215       slots->Iterate(
216           [start, end](SlotType slot_type, Address host_addr,
217                        Address slot_addr) {
218             return start <= slot_addr && slot_addr < end ? REMOVE_SLOT
219                                                          : KEEP_SLOT;
220           },
221           TypedSlotSet::PREFREE_EMPTY_CHUNKS);
222     }
223   }
224 
225   // Iterates and filters the remembered set with the given callback.
226   // The callback should take (SlotType slot_type, SlotAddress slot) and return
227   // SlotCallbackResult.
228   template <typename Callback>
IterateTyped(Heap * heap,RememberedSetIterationMode mode,Callback callback)229   static void IterateTyped(Heap* heap, RememberedSetIterationMode mode,
230                            Callback callback) {
231     IterateMemoryChunks(heap, [mode, callback](MemoryChunk* chunk) {
232       if (mode == SYNCHRONIZED) chunk->mutex()->Lock();
233       IterateTyped(chunk, callback);
234       if (mode == SYNCHRONIZED) chunk->mutex()->Unlock();
235     });
236   }
237 
238   // Iterates and filters typed old to old pointers in the given memory chunk
239   // with the given callback. The callback should take (SlotType slot_type,
240   // Address slot_addr) and return SlotCallbackResult.
241   template <typename Callback>
IterateTyped(MemoryChunk * chunk,Callback callback)242   static void IterateTyped(MemoryChunk* chunk, Callback callback) {
243     TypedSlotSet* slots = chunk->typed_slot_set<type>();
244     if (slots != nullptr) {
245       int new_count = slots->Iterate(callback, TypedSlotSet::KEEP_EMPTY_CHUNKS);
246       if (new_count == 0) {
247         chunk->ReleaseTypedSlotSet<type>();
248       }
249     }
250   }
251 
252   // Clear all old to old slots from the remembered set.
ClearAll(Heap * heap)253   static void ClearAll(Heap* heap) {
254     STATIC_ASSERT(type == OLD_TO_OLD);
255     MemoryChunkIterator it(heap);
256     MemoryChunk* chunk;
257     while ((chunk = it.next()) != nullptr) {
258       chunk->ReleaseSlotSet<OLD_TO_OLD>();
259       chunk->ReleaseTypedSlotSet<OLD_TO_OLD>();
260       chunk->ReleaseInvalidatedSlots();
261     }
262   }
263 
264   // Eliminates all stale slots from the remembered set, i.e.
265   // slots that are not part of live objects anymore. This method must be
266   // called after marking, when the whole transitive closure is known and
267   // must be called before sweeping when mark bits are still intact.
268   static void ClearInvalidTypedSlots(Heap* heap, MemoryChunk* chunk);
269 
270  private:
271   static bool IsValidSlot(Heap* heap, MemoryChunk* chunk, Object** slot);
272 };
273 
274 class UpdateTypedSlotHelper {
275  public:
276   // Updates a code entry slot using an untyped slot callback.
277   // The callback accepts Object** and returns SlotCallbackResult.
278   template <typename Callback>
UpdateCodeEntry(Address entry_address,Callback callback)279   static SlotCallbackResult UpdateCodeEntry(Address entry_address,
280                                             Callback callback) {
281     Object* code = Code::GetObjectFromEntryAddress(entry_address);
282     Object* old_code = code;
283     SlotCallbackResult result =
284         callback(reinterpret_cast<MaybeObject**>(&code));
285     DCHECK(!HasWeakHeapObjectTag(code));
286     if (code != old_code) {
287       Memory<Address>(entry_address) = reinterpret_cast<Code*>(code)->entry();
288     }
289     return result;
290   }
291 
292   // Updates a code target slot using an untyped slot callback.
293   // The callback accepts Object** and returns SlotCallbackResult.
294   template <typename Callback>
UpdateCodeTarget(RelocInfo * rinfo,Callback callback)295   static SlotCallbackResult UpdateCodeTarget(RelocInfo* rinfo,
296                                              Callback callback) {
297     DCHECK(RelocInfo::IsCodeTargetMode(rinfo->rmode()));
298     Code* old_target = Code::GetCodeFromTargetAddress(rinfo->target_address());
299     Object* new_target = old_target;
300     SlotCallbackResult result =
301         callback(reinterpret_cast<MaybeObject**>(&new_target));
302     DCHECK(!HasWeakHeapObjectTag(new_target));
303     if (new_target != old_target) {
304       rinfo->set_target_address(
305           Code::cast(new_target)->raw_instruction_start());
306     }
307     return result;
308   }
309 
310   // Updates an embedded pointer slot using an untyped slot callback.
311   // The callback accepts Object** and returns SlotCallbackResult.
312   template <typename Callback>
UpdateEmbeddedPointer(Heap * heap,RelocInfo * rinfo,Callback callback)313   static SlotCallbackResult UpdateEmbeddedPointer(Heap* heap, RelocInfo* rinfo,
314                                                   Callback callback) {
315     DCHECK(rinfo->rmode() == RelocInfo::EMBEDDED_OBJECT);
316     HeapObject* old_target = rinfo->target_object();
317     Object* new_target = old_target;
318     SlotCallbackResult result =
319         callback(reinterpret_cast<MaybeObject**>(&new_target));
320     DCHECK(!HasWeakHeapObjectTag(new_target));
321     if (new_target != old_target) {
322       rinfo->set_target_object(heap, HeapObject::cast(new_target));
323     }
324     return result;
325   }
326 
327   // Updates a typed slot using an untyped slot callback.
328   // The callback accepts MaybeObject** and returns SlotCallbackResult.
329   template <typename Callback>
UpdateTypedSlot(Heap * heap,SlotType slot_type,Address addr,Callback callback)330   static SlotCallbackResult UpdateTypedSlot(Heap* heap, SlotType slot_type,
331                                             Address addr, Callback callback) {
332     switch (slot_type) {
333       case CODE_TARGET_SLOT: {
334         RelocInfo rinfo(addr, RelocInfo::CODE_TARGET, 0, nullptr);
335         return UpdateCodeTarget(&rinfo, callback);
336       }
337       case CODE_ENTRY_SLOT: {
338         return UpdateCodeEntry(addr, callback);
339       }
340       case EMBEDDED_OBJECT_SLOT: {
341         RelocInfo rinfo(addr, RelocInfo::EMBEDDED_OBJECT, 0, nullptr);
342         return UpdateEmbeddedPointer(heap, &rinfo, callback);
343       }
344       case OBJECT_SLOT: {
345         return callback(reinterpret_cast<MaybeObject**>(addr));
346       }
347       case CLEARED_SLOT:
348         break;
349     }
350     UNREACHABLE();
351   }
352 };
353 
SlotTypeForRelocInfoMode(RelocInfo::Mode rmode)354 inline SlotType SlotTypeForRelocInfoMode(RelocInfo::Mode rmode) {
355   if (RelocInfo::IsCodeTargetMode(rmode)) {
356     return CODE_TARGET_SLOT;
357   } else if (RelocInfo::IsEmbeddedObject(rmode)) {
358     return EMBEDDED_OBJECT_SLOT;
359   }
360   UNREACHABLE();
361 }
362 
363 }  // namespace internal
364 }  // namespace v8
365 
366 #endif  // V8_HEAP_REMEMBERED_SET_H_
367