OLD | NEW |
---|---|
1 // Copyright 2012 the V8 project authors. All rights reserved. | 1 // Copyright 2012 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_ZONE_H_ | 5 #ifndef V8_ZONE_H_ |
6 #define V8_ZONE_H_ | 6 #define V8_ZONE_H_ |
7 | 7 |
8 #include <limits> | 8 #include <limits> |
9 | 9 |
10 #include "src/base/accounting-allocator.h" | 10 #include "src/base/accounting-allocator.h" |
11 #include "src/base/hashmap.h" | 11 #include "src/base/hashmap.h" |
12 #include "src/base/logging.h" | 12 #include "src/base/logging.h" |
13 #include "src/base/platform/platform.h" | |
13 #include "src/globals.h" | 14 #include "src/globals.h" |
14 #include "src/list.h" | 15 #include "src/list.h" |
15 #include "src/splay-tree.h" | 16 #include "src/splay-tree.h" |
16 | 17 |
17 namespace v8 { | 18 namespace v8 { |
18 namespace internal { | 19 namespace internal { |
19 | 20 |
20 // Forward declarations. | 21 // Forward declarations. |
21 class Segment; | 22 class Segment; |
22 | 23 |
(...skipping 36 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... | |
59 // Returns true if more memory has been allocated in zones than | 60 // Returns true if more memory has been allocated in zones than |
60 // the limit allows. | 61 // the limit allows. |
61 bool excess_allocation() const { | 62 bool excess_allocation() const { |
62 return segment_bytes_allocated_ > kExcessLimit; | 63 return segment_bytes_allocated_ > kExcessLimit; |
63 } | 64 } |
64 | 65 |
65 size_t allocation_size() const { return allocation_size_; } | 66 size_t allocation_size() const { return allocation_size_; } |
66 | 67 |
67 base::AccountingAllocator* allocator() const { return allocator_; } | 68 base::AccountingAllocator* allocator() const { return allocator_; } |
68 | 69 |
70 // Returns the zone the pointer belongs to. Only works in case the pointer | |
71 // actually lies within a zone segment. | |
72 static Zone* GetZoneFromPointer(const void* ptr); | |
73 | |
69 private: | 74 private: |
75 friend class ZoneObject; | |
76 friend class Segment; | |
70 // All pointers returned from New() have this alignment. In addition, if the | 77 // All pointers returned from New() have this alignment. In addition, if the |
71 // object being allocated has a size that is divisible by 8 then its alignment | 78 // object being allocated has a size that is divisible by 8 then its alignment |
72 // will be 8. ASan requires 8-byte alignment. | 79 // will be 8. ASan requires 8-byte alignment. |
73 #ifdef V8_USE_ADDRESS_SANITIZER | 80 #ifdef V8_USE_ADDRESS_SANITIZER |
74 static const size_t kAlignment = 8; | 81 static const size_t kAlignment = 8; |
75 STATIC_ASSERT(kPointerSize <= 8); | 82 STATIC_ASSERT(kPointerSize <= 8); |
76 #else | 83 #else |
77 static const size_t kAlignment = kPointerSize; | 84 static const size_t kAlignment = kPointerSize; |
78 #endif | 85 #endif |
79 | 86 |
80 // Never allocate segments smaller than this size in bytes. | 87 // Never allocate segments smaller than this size in bytes. |
81 static const size_t kMinimumSegmentSize = 8 * KB; | 88 static const size_t kMinimumSegmentSize = 8 * KB; |
82 | 89 |
83 // Never allocate segments larger than this size in bytes. | 90 // Never allocate segments larger than this size in bytes. |
84 static const size_t kMaximumSegmentSize = 1 * MB; | 91 static const size_t kMaximumSegmentSize = 1 * MB; |
85 | 92 |
93 static const uint8_t kSegmentAlignmentBits = 20; | |
94 | |
95 // Always align new segments to this size. | |
96 static const size_t kSegmentAlignmentSize = 1 << kSegmentAlignmentBits; | |
97 | |
98 static const size_t kSegmentAlignmentMask = | |
99 ~((1 << kSegmentAlignmentBits) - 1); | |
100 | |
101 STATIC_ASSERT(kMaximumSegmentSize <= kSegmentAlignmentSize); | |
102 | |
86 // Never keep segments larger than this size in bytes around. | 103 // Never keep segments larger than this size in bytes around. |
87 static const size_t kMaximumKeptSegmentSize = 64 * KB; | 104 static const size_t kMaximumKeptSegmentSize = 64 * KB; |
88 | 105 |
89 // Report zone excess when allocation exceeds this limit. | 106 // Report zone excess when allocation exceeds this limit. |
90 static const size_t kExcessLimit = 256 * MB; | 107 static const size_t kExcessLimit = 256 * MB; |
91 | 108 |
109 static Segment* GetZoneSegmentFromPointer(const void* ptr); | |
110 | |
92 // The number of bytes allocated in this zone so far. | 111 // The number of bytes allocated in this zone so far. |
93 size_t allocation_size_; | 112 size_t allocation_size_; |
94 | 113 |
95 // The number of bytes allocated in segments. Note that this number | 114 // The number of bytes allocated in segments. Note that this number |
96 // includes memory allocated from the OS but not yet allocated from | 115 // includes memory allocated from the OS but not yet allocated from |
97 // the zone. | 116 // the zone. |
98 size_t segment_bytes_allocated_; | 117 size_t segment_bytes_allocated_; |
99 | 118 |
100 // Expand the Zone to hold at least 'size' more bytes and allocate | 119 Address NewNormalSegment(size_t size); |
jochen (gone - plz use gerrit)
2016/09/02 11:53:42
can you add comments to New{Norma,LargeObject}Segm
| |
101 // the bytes. Returns the address of the newly allocated chunk of | |
102 // memory in the Zone. Should only be called if there isn't enough | |
103 // room in the Zone already. | |
104 Address NewExpand(size_t size); | |
105 | 120 |
106 // Creates a new segment, sets it size, and pushes it to the front | 121 Address NewLargeObjectSegment(size_t size); |
107 // of the segment chain. Returns the new segment. | 122 |
123 size_t CalculateSegmentSize(const size_t requested); | |
124 | |
125 // Creates a new segment, initializes it. Returns the new segment. | |
108 inline Segment* NewSegment(size_t size); | 126 inline Segment* NewSegment(size_t size); |
109 | 127 |
110 // Deletes the given segment. Does not touch the segment chain. | |
111 inline void DeleteSegment(Segment* segment, size_t size); | |
112 | |
113 // The free region in the current (front) segment is represented as | 128 // The free region in the current (front) segment is represented as |
114 // the half-open interval [position, limit). The 'position' variable | 129 // the half-open interval [position, limit). The 'position' variable |
115 // is guaranteed to be aligned as dictated by kAlignment. | 130 // is guaranteed to be aligned as dictated by kAlignment. |
116 Address position_; | 131 Address position_; |
117 Address limit_; | 132 Address limit_; |
118 | 133 |
119 base::AccountingAllocator* allocator_; | 134 base::AccountingAllocator* allocator_; |
120 | 135 |
121 Segment* segment_head_; | 136 Segment* segment_head_; |
122 }; | 137 }; |
123 | 138 |
124 | |
125 // ZoneObject is an abstraction that helps define classes of objects | 139 // ZoneObject is an abstraction that helps define classes of objects |
126 // allocated in the Zone. Use it as a base class; see ast.h. | 140 // allocated in the Zone. Use it as a base class; see ast.h. |
127 class ZoneObject { | 141 class ZoneObject { |
128 public: | 142 public: |
129 // Allocate a new ZoneObject of 'size' bytes in the Zone. | 143 // Allocate a new ZoneObject of 'size' bytes in the Zone. |
130 void* operator new(size_t size, Zone* zone) { return zone->New(size); } | 144 void* operator new(size_t size, Zone* zone) { return zone->New(size); } |
131 | 145 |
146 Zone* zone() const { return Zone::GetZoneFromPointer(this); } | |
jochen (gone - plz use gerrit)
2016/09/02 11:53:42
this means you can rip out the zone() methods from
heimbuef
2016/09/05 12:38:15
We can remove all zone pointers from all ZoneObjec
| |
147 | |
132 // Ideally, the delete operator should be private instead of | 148 // Ideally, the delete operator should be private instead of |
133 // public, but unfortunately the compiler sometimes synthesizes | 149 // public, but unfortunately the compiler sometimes synthesizes |
134 // (unused) destructors for classes derived from ZoneObject, which | 150 // (unused) destructors for classes derived from ZoneObject, which |
135 // require the operator to be visible. MSVC requires the delete | 151 // require the operator to be visible. MSVC requires the delete |
136 // operator to be public. | 152 // operator to be public. |
137 | 153 |
138 // ZoneObjects should never be deleted individually; use | 154 // ZoneObjects should never be deleted individually; use |
139 // Zone::DeleteAll() to delete all zone objects in one go. | 155 // Zone::DeleteAll() to delete all zone objects in one go. |
140 void operator delete(void*, size_t) { UNREACHABLE(); } | 156 void operator delete(void*, size_t) { UNREACHABLE(); } |
141 void operator delete(void* pointer, Zone* zone) { UNREACHABLE(); } | 157 void operator delete(void* pointer, Zone* zone) { UNREACHABLE(); } |
(...skipping 30 matching lines...) Expand all Loading... | |
172 | 188 |
173 // ZoneLists are growable lists with constant-time access to the | 189 // ZoneLists are growable lists with constant-time access to the |
174 // elements. The list itself and all its elements are allocated in the | 190 // elements. The list itself and all its elements are allocated in the |
175 // Zone. ZoneLists cannot be deleted individually; you can delete all | 191 // Zone. ZoneLists cannot be deleted individually; you can delete all |
176 // objects in the Zone by calling Zone::DeleteAll(). | 192 // objects in the Zone by calling Zone::DeleteAll(). |
177 template <typename T> | 193 template <typename T> |
178 class ZoneList final : public List<T, ZoneAllocationPolicy> { | 194 class ZoneList final : public List<T, ZoneAllocationPolicy> { |
179 public: | 195 public: |
180 // Construct a new ZoneList with the given capacity; the length is | 196 // Construct a new ZoneList with the given capacity; the length is |
181 // always zero. The capacity must be non-negative. | 197 // always zero. The capacity must be non-negative. |
198 // The lists storage will be placed in the given zone. | |
182 ZoneList(int capacity, Zone* zone) | 199 ZoneList(int capacity, Zone* zone) |
183 : List<T, ZoneAllocationPolicy>(capacity, ZoneAllocationPolicy(zone)) { } | 200 : List<T, ZoneAllocationPolicy>(capacity, ZoneAllocationPolicy(zone)) {} |
184 | 201 |
185 void* operator new(size_t size, Zone* zone) { return zone->New(size); } | 202 void* operator new(size_t size, Zone* zone) { return zone->New(size); } |
186 | 203 |
187 // Construct a new ZoneList by copying the elements of the given ZoneList. | 204 // Construct a new ZoneList by copying the elements of the given ZoneList. |
188 ZoneList(const ZoneList<T>& other, Zone* zone) | 205 ZoneList(const ZoneList<T>& other, Zone* zone) |
189 : List<T, ZoneAllocationPolicy>(other.length(), | 206 : List<T, ZoneAllocationPolicy>(other.length(), |
190 ZoneAllocationPolicy(zone)) { | 207 ZoneAllocationPolicy(zone)) { |
191 AddAll(other, zone); | 208 AddAll(other, zone); |
192 } | 209 } |
193 | 210 |
194 // We add some convenience wrappers so that we can pass in a Zone | |
195 // instead of a (less convenient) ZoneAllocationPolicy. | |
196 void Add(const T& element, Zone* zone) { | 211 void Add(const T& element, Zone* zone) { |
212 DCHECK_IMPLIES(this->has_storage_zone(), this->storage_zone() == zone); | |
197 List<T, ZoneAllocationPolicy>::Add(element, ZoneAllocationPolicy(zone)); | 213 List<T, ZoneAllocationPolicy>::Add(element, ZoneAllocationPolicy(zone)); |
198 } | 214 } |
215 | |
199 void AddAll(const List<T, ZoneAllocationPolicy>& other, Zone* zone) { | 216 void AddAll(const List<T, ZoneAllocationPolicy>& other, Zone* zone) { |
217 DCHECK_IMPLIES(this->has_storage_zone(), this->storage_zone() == zone); | |
200 List<T, ZoneAllocationPolicy>::AddAll(other, ZoneAllocationPolicy(zone)); | 218 List<T, ZoneAllocationPolicy>::AddAll(other, ZoneAllocationPolicy(zone)); |
201 } | 219 } |
220 | |
202 void AddAll(const Vector<T>& other, Zone* zone) { | 221 void AddAll(const Vector<T>& other, Zone* zone) { |
222 DCHECK_IMPLIES(this->has_storage_zone(), this->storage_zone() == zone); | |
203 List<T, ZoneAllocationPolicy>::AddAll(other, ZoneAllocationPolicy(zone)); | 223 List<T, ZoneAllocationPolicy>::AddAll(other, ZoneAllocationPolicy(zone)); |
204 } | 224 } |
225 | |
205 void InsertAt(int index, const T& element, Zone* zone) { | 226 void InsertAt(int index, const T& element, Zone* zone) { |
227 DCHECK_IMPLIES(this->has_storage_zone(), this->storage_zone() == zone); | |
206 List<T, ZoneAllocationPolicy>::InsertAt(index, element, | 228 List<T, ZoneAllocationPolicy>::InsertAt(index, element, |
207 ZoneAllocationPolicy(zone)); | 229 ZoneAllocationPolicy(zone)); |
208 } | 230 } |
231 | |
209 Vector<T> AddBlock(T value, int count, Zone* zone) { | 232 Vector<T> AddBlock(T value, int count, Zone* zone) { |
233 DCHECK_IMPLIES(this->has_storage_zone(), this->storage_zone() == zone); | |
210 return List<T, ZoneAllocationPolicy>::AddBlock(value, count, | 234 return List<T, ZoneAllocationPolicy>::AddBlock(value, count, |
211 ZoneAllocationPolicy(zone)); | 235 ZoneAllocationPolicy(zone)); |
212 } | 236 } |
237 | |
213 void Allocate(int length, Zone* zone) { | 238 void Allocate(int length, Zone* zone) { |
239 DCHECK_IMPLIES(this->has_storage_zone(), this->storage_zone() == zone); | |
214 List<T, ZoneAllocationPolicy>::Allocate(length, ZoneAllocationPolicy(zone)); | 240 List<T, ZoneAllocationPolicy>::Allocate(length, ZoneAllocationPolicy(zone)); |
215 } | 241 } |
242 | |
216 void Initialize(int capacity, Zone* zone) { | 243 void Initialize(int capacity, Zone* zone) { |
244 DCHECK_IMPLIES(this->has_storage_zone(), this->storage_zone() == zone); | |
217 List<T, ZoneAllocationPolicy>::Initialize(capacity, | 245 List<T, ZoneAllocationPolicy>::Initialize(capacity, |
218 ZoneAllocationPolicy(zone)); | 246 ZoneAllocationPolicy(zone)); |
219 } | 247 } |
220 | 248 |
249 bool has_storage_zone() const { return this->capacity() > 0; } | |
250 | |
251 // Returns the zone the storage is located in | |
252 Zone* storage_zone() const { | |
253 DCHECK(this->has_storage_zone()); | |
254 // ZoneList storage lives in a zone, so this works. | |
255 return Zone::GetZoneFromPointer(this->data()); | |
256 } | |
257 | |
221 void operator delete(void* pointer) { UNREACHABLE(); } | 258 void operator delete(void* pointer) { UNREACHABLE(); } |
222 void operator delete(void* pointer, Zone* zone) { UNREACHABLE(); } | 259 void operator delete(void* pointer, Zone* zone) { UNREACHABLE(); } |
223 }; | 260 }; |
224 | 261 |
225 | 262 |
226 // A zone splay tree. The config type parameter encapsulates the | 263 // A zone splay tree. The config type parameter encapsulates the |
227 // different configurations of a concrete splay tree (see splay-tree.h). | 264 // different configurations of a concrete splay tree (see splay-tree.h). |
228 // The tree itself and all its elements are allocated in the Zone. | 265 // The tree itself and all its elements are allocated in the Zone. |
229 template <typename Config> | 266 template <typename Config> |
230 class ZoneSplayTree final : public SplayTree<Config, ZoneAllocationPolicy> { | 267 class ZoneSplayTree final : public SplayTree<Config, ZoneAllocationPolicy> { |
(...skipping 12 matching lines...) Expand all Loading... | |
243 void operator delete(void* pointer) { UNREACHABLE(); } | 280 void operator delete(void* pointer) { UNREACHABLE(); } |
244 void operator delete(void* pointer, Zone* zone) { UNREACHABLE(); } | 281 void operator delete(void* pointer, Zone* zone) { UNREACHABLE(); } |
245 }; | 282 }; |
246 | 283 |
247 typedef base::TemplateHashMapImpl<ZoneAllocationPolicy> ZoneHashMap; | 284 typedef base::TemplateHashMapImpl<ZoneAllocationPolicy> ZoneHashMap; |
248 | 285 |
249 } // namespace internal | 286 } // namespace internal |
250 } // namespace v8 | 287 } // namespace v8 |
251 | 288 |
252 #endif // V8_ZONE_H_ | 289 #endif // V8_ZONE_H_ |
OLD | NEW |