OLD | NEW |
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_STORE_BUFFER_H_ | 5 #ifndef V8_STORE_BUFFER_H_ |
6 #define V8_STORE_BUFFER_H_ | 6 #define V8_STORE_BUFFER_H_ |
7 | 7 |
8 #include "src/allocation.h" | 8 #include "src/allocation.h" |
9 #include "src/base/logging.h" | 9 #include "src/base/logging.h" |
10 #include "src/base/platform/platform.h" | 10 #include "src/base/platform/platform.h" |
11 #include "src/cancelable-task.h" | 11 #include "src/cancelable-task.h" |
12 #include "src/globals.h" | 12 #include "src/globals.h" |
13 #include "src/heap/remembered-set.h" | |
14 #include "src/heap/slot-set.h" | 13 #include "src/heap/slot-set.h" |
15 | 14 |
16 namespace v8 { | 15 namespace v8 { |
17 namespace internal { | 16 namespace internal { |
18 | 17 |
19 // Intermediate buffer that accumulates old-to-new stores from the generated | 18 // Intermediate buffer that accumulates old-to-new stores from the generated |
20 // code. Moreover, it stores invalid old-to-new slots with two entries. | 19 // code. Moreover, it stores invalid old-to-new slots with two entries. |
21 // The first is a tagged address of the start of the invalid range, the second | 20 // The first is a tagged address of the start of the invalid range, the second |
22 // one is the end address of the invalid range or null if there is just one slot | 21 // one is the end address of the invalid range or null if there is just one slot |
23 // that needs to be removed from the remembered set. On buffer overflow the | 22 // that needs to be removed from the remembered set. On buffer overflow the |
24 // slots are moved to the remembered set. | 23 // slots are moved to the remembered set. |
25 class StoreBuffer { | 24 class StoreBuffer { |
26 public: | 25 public: |
27 static const int kStoreBufferSize = 1 << (14 + kPointerSizeLog2); | 26 static const int kStoreBufferSize = 1 << (14 + kPointerSizeLog2); |
28 static const int kStoreBufferMask = kStoreBufferSize - 1; | 27 static const int kStoreBufferMask = kStoreBufferSize - 1; |
29 static const int kStoreBuffers = 2; | 28 static const int kStoreBuffers = 2; |
30 static const intptr_t kDeletionTag = 1; | 29 static const intptr_t kDeletionTag = 1; |
31 | 30 |
32 V8_EXPORT_PRIVATE static void StoreBufferOverflow(Isolate* isolate); | 31 static void StoreBufferOverflow(Isolate* isolate); |
33 | 32 |
34 explicit StoreBuffer(Heap* heap); | 33 explicit StoreBuffer(Heap* heap); |
35 void SetUp(); | 34 void SetUp(); |
36 void TearDown(); | 35 void TearDown(); |
37 | 36 |
38 // Used to add entries from generated code. | 37 // Used to add entries from generated code. |
39 inline Address* top_address() { return reinterpret_cast<Address*>(&top_); } | 38 inline Address* top_address() { return reinterpret_cast<Address*>(&top_); } |
40 | 39 |
41 // Moves entries from a specific store buffer to the remembered set. This | 40 // Moves entries from a specific store buffer to the remembered set. This |
42 // method takes a lock. | 41 // method takes a lock. |
(...skipping 15 matching lines...) Expand all Loading... |
58 inline Address UnmarkDeletionAddress(Address address) { | 57 inline Address UnmarkDeletionAddress(Address address) { |
59 return reinterpret_cast<Address>(reinterpret_cast<intptr_t>(address) & | 58 return reinterpret_cast<Address>(reinterpret_cast<intptr_t>(address) & |
60 ~kDeletionTag); | 59 ~kDeletionTag); |
61 } | 60 } |
62 | 61 |
63 // If we only want to delete a single slot, end should be set to null which | 62 // If we only want to delete a single slot, end should be set to null which |
64 // will be written into the second field. When processing the store buffer | 63 // will be written into the second field. When processing the store buffer |
65 // the more efficient Remove method will be called in this case. | 64 // the more efficient Remove method will be called in this case. |
66 void DeleteEntry(Address start, Address end = nullptr); | 65 void DeleteEntry(Address start, Address end = nullptr); |
67 | 66 |
68 void InsertEntry(Address slot) { | |
69 // Insertions coming from the GC are directly inserted into the remembered | |
70 // set. Insertions coming from the runtime are added to the store buffer to | |
71 // allow concurrent processing. | |
72 if (heap_->gc_state() == Heap::NOT_IN_GC) { | |
73 if (top_ + sizeof(Address) > limit_[current_]) { | |
74 StoreBufferOverflow(heap_->isolate()); | |
75 } | |
76 *top_ = slot; | |
77 top_++; | |
78 } else { | |
79 // In GC the store buffer has to be empty at any time. | |
80 DCHECK(Empty()); | |
81 RememberedSet<OLD_TO_NEW>::Insert(Page::FromAddress(slot), slot); | |
82 } | |
83 } | |
84 | |
85 // Used by the concurrent processing thread to transfer entries from the | 67 // Used by the concurrent processing thread to transfer entries from the |
86 // store buffer to the remembered set. | 68 // store buffer to the remembered set. |
87 void ConcurrentlyProcessStoreBuffer(); | 69 void ConcurrentlyProcessStoreBuffer(); |
88 | 70 |
89 bool Empty() { | 71 bool Empty() { |
90 for (int i = 0; i < kStoreBuffers; i++) { | 72 for (int i = 0; i < kStoreBuffers; i++) { |
91 if (lazy_top_[i]) { | 73 if (lazy_top_[i]) { |
92 return false; | 74 return false; |
93 } | 75 } |
94 } | 76 } |
(...skipping 47 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
142 // Points to the current buffer in use. | 124 // Points to the current buffer in use. |
143 int current_; | 125 int current_; |
144 | 126 |
145 base::VirtualMemory* virtual_memory_; | 127 base::VirtualMemory* virtual_memory_; |
146 }; | 128 }; |
147 | 129 |
148 } // namespace internal | 130 } // namespace internal |
149 } // namespace v8 | 131 } // namespace v8 |
150 | 132 |
151 #endif // V8_STORE_BUFFER_H_ | 133 #endif // V8_STORE_BUFFER_H_ |
OLD | NEW |