Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(4)

Side by Side Diff: src/zone/zone.h

Issue 2344143003: Moved zones and zone related stuff in its own directory. (Closed)
Patch Set: Reaction to comments Created 4 years, 3 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch
« no previous file with comments | « src/zone/accounting-allocator.cc ('k') | src/zone/zone.cc » ('j') | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
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_ZONE_H_
6 #define V8_ZONE_H_ 6 #define V8_ZONE_ZONE_H_
7 7
8 #include <limits> 8 #include <limits>
9 9
10 #include "src/base/accounting-allocator.h"
11 #include "src/base/hashmap.h" 10 #include "src/base/hashmap.h"
12 #include "src/base/logging.h" 11 #include "src/base/logging.h"
13 #include "src/globals.h" 12 #include "src/globals.h"
14 #include "src/list.h" 13 #include "src/list.h"
15 #include "src/splay-tree.h" 14 #include "src/splay-tree.h"
15 #include "src/zone/accounting-allocator.h"
16 16
17 namespace v8 { 17 namespace v8 {
18 namespace internal { 18 namespace internal {
19 19
20 // Forward declarations.
21 class Segment;
22
23
24 // The Zone supports very fast allocation of small chunks of 20 // The Zone supports very fast allocation of small chunks of
25 // memory. The chunks cannot be deallocated individually, but instead 21 // memory. The chunks cannot be deallocated individually, but instead
26 // the Zone supports deallocating all chunks in one fast 22 // the Zone supports deallocating all chunks in one fast
27 // operation. The Zone is used to hold temporary data structures like 23 // operation. The Zone is used to hold temporary data structures like
28 // the abstract syntax tree, which is deallocated after compilation. 24 // the abstract syntax tree, which is deallocated after compilation.
29 // 25 //
30 // Note: There is no need to initialize the Zone; the first time an 26 // Note: There is no need to initialize the Zone; the first time an
31 // allocation is attempted, a segment of memory will be requested 27 // allocation is attempted, a segment of memory will be requested
32 // through a call to malloc(). 28 // through a call to malloc().
33 // 29 //
34 // Note: The implementation is inherently not thread safe. Do not use 30 // Note: The implementation is inherently not thread safe. Do not use
35 // from multi-threaded code. 31 // from multi-threaded code.
36 class Zone final { 32 class Zone final {
37 public: 33 public:
38 explicit Zone(base::AccountingAllocator* allocator); 34 explicit Zone(AccountingAllocator* allocator);
39 ~Zone(); 35 ~Zone();
40 36
41 // Allocate 'size' bytes of memory in the Zone; expands the Zone by 37 // Allocate 'size' bytes of memory in the Zone; expands the Zone by
42 // allocating new segments of memory on demand using malloc(). 38 // allocating new segments of memory on demand using malloc().
43 void* New(size_t size); 39 void* New(size_t size);
44 40
45 template <typename T> 41 template <typename T>
46 T* NewArray(size_t length) { 42 T* NewArray(size_t length) {
47 DCHECK_LT(length, std::numeric_limits<size_t>::max() / sizeof(T)); 43 DCHECK_LT(length, std::numeric_limits<size_t>::max() / sizeof(T));
48 return static_cast<T*>(New(length * sizeof(T))); 44 return static_cast<T*>(New(length * sizeof(T)));
49 } 45 }
50 46
51 // Deletes all objects and free all memory allocated in the Zone. Keeps one 47 // Deletes all objects and free all memory allocated in the Zone. Keeps one
52 // small (size <= kMaximumKeptSegmentSize) segment around if it finds one. 48 // small (size <= kMaximumKeptSegmentSize) segment around if it finds one.
53 void DeleteAll(); 49 void DeleteAll();
54 50
55 // Deletes the last small segment kept around by DeleteAll(). You 51 // Deletes the last small segment kept around by DeleteAll(). You
56 // may no longer allocate in the Zone after a call to this method. 52 // may no longer allocate in the Zone after a call to this method.
57 void DeleteKeptSegment(); 53 void DeleteKeptSegment();
58 54
59 // Returns true if more memory has been allocated in zones than 55 // Returns true if more memory has been allocated in zones than
60 // the limit allows. 56 // the limit allows.
61 bool excess_allocation() const { 57 bool excess_allocation() const {
62 return segment_bytes_allocated_ > kExcessLimit; 58 return segment_bytes_allocated_ > kExcessLimit;
63 } 59 }
64 60
65 size_t allocation_size() const { return allocation_size_; } 61 size_t allocation_size() const { return allocation_size_; }
66 62
67 base::AccountingAllocator* allocator() const { return allocator_; } 63 AccountingAllocator* allocator() const { return allocator_; }
68 64
69 private: 65 private:
70 // All pointers returned from New() have this alignment. In addition, if the 66 // 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 67 // object being allocated has a size that is divisible by 8 then its alignment
72 // will be 8. ASan requires 8-byte alignment. 68 // will be 8. ASan requires 8-byte alignment.
73 #ifdef V8_USE_ADDRESS_SANITIZER 69 #ifdef V8_USE_ADDRESS_SANITIZER
74 static const size_t kAlignment = 8; 70 static const size_t kAlignment = 8;
75 STATIC_ASSERT(kPointerSize <= 8); 71 STATIC_ASSERT(kPointerSize <= 8);
76 #else 72 #else
77 static const size_t kAlignment = kPointerSize; 73 static const size_t kAlignment = kPointerSize;
78 #endif 74 #endif
79 75
80 // Never allocate segments smaller than this size in bytes. 76 // Never allocate segments smaller than this size in bytes.
81 static const size_t kMinimumSegmentSize = 8 * KB; 77 static const size_t kMinimumSegmentSize = 8 * KB;
82 78
(...skipping 17 matching lines...) Expand all
100 // Expand the Zone to hold at least 'size' more bytes and allocate 96 // Expand the Zone to hold at least 'size' more bytes and allocate
101 // the bytes. Returns the address of the newly allocated chunk of 97 // 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 98 // memory in the Zone. Should only be called if there isn't enough
103 // room in the Zone already. 99 // room in the Zone already.
104 Address NewExpand(size_t size); 100 Address NewExpand(size_t size);
105 101
106 // Creates a new segment, sets it size, and pushes it to the front 102 // Creates a new segment, sets it size, and pushes it to the front
107 // of the segment chain. Returns the new segment. 103 // of the segment chain. Returns the new segment.
108 inline Segment* NewSegment(size_t size); 104 inline Segment* NewSegment(size_t size);
109 105
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 106 // The free region in the current (front) segment is represented as
114 // the half-open interval [position, limit). The 'position' variable 107 // the half-open interval [position, limit). The 'position' variable
115 // is guaranteed to be aligned as dictated by kAlignment. 108 // is guaranteed to be aligned as dictated by kAlignment.
116 Address position_; 109 Address position_;
117 Address limit_; 110 Address limit_;
118 111
119 base::AccountingAllocator* allocator_; 112 AccountingAllocator* allocator_;
120 113
121 Segment* segment_head_; 114 Segment* segment_head_;
122 }; 115 };
123 116
124
125 // ZoneObject is an abstraction that helps define classes of objects 117 // ZoneObject is an abstraction that helps define classes of objects
126 // allocated in the Zone. Use it as a base class; see ast.h. 118 // allocated in the Zone. Use it as a base class; see ast.h.
127 class ZoneObject { 119 class ZoneObject {
128 public: 120 public:
129 // Allocate a new ZoneObject of 'size' bytes in the Zone. 121 // Allocate a new ZoneObject of 'size' bytes in the Zone.
130 void* operator new(size_t size, Zone* zone) { return zone->New(size); } 122 void* operator new(size_t size, Zone* zone) { return zone->New(size); }
131 123
132 // Ideally, the delete operator should be private instead of 124 // Ideally, the delete operator should be private instead of
133 // public, but unfortunately the compiler sometimes synthesizes 125 // public, but unfortunately the compiler sometimes synthesizes
134 // (unused) destructors for classes derived from ZoneObject, which 126 // (unused) destructors for classes derived from ZoneObject, which
135 // require the operator to be visible. MSVC requires the delete 127 // require the operator to be visible. MSVC requires the delete
136 // operator to be public. 128 // operator to be public.
137 129
138 // ZoneObjects should never be deleted individually; use 130 // ZoneObjects should never be deleted individually; use
139 // Zone::DeleteAll() to delete all zone objects in one go. 131 // Zone::DeleteAll() to delete all zone objects in one go.
140 void operator delete(void*, size_t) { UNREACHABLE(); } 132 void operator delete(void*, size_t) { UNREACHABLE(); }
141 void operator delete(void* pointer, Zone* zone) { UNREACHABLE(); } 133 void operator delete(void* pointer, Zone* zone) { UNREACHABLE(); }
142 }; 134 };
143 135
144
145 // The ZoneScope is used to automatically call DeleteAll() on a 136 // The ZoneScope is used to automatically call DeleteAll() on a
146 // Zone when the ZoneScope is destroyed (i.e. goes out of scope) 137 // Zone when the ZoneScope is destroyed (i.e. goes out of scope)
147 class ZoneScope final { 138 class ZoneScope final {
148 public: 139 public:
149 explicit ZoneScope(Zone* zone) : zone_(zone) { } 140 explicit ZoneScope(Zone* zone) : zone_(zone) {}
150 ~ZoneScope() { zone_->DeleteAll(); } 141 ~ZoneScope() { zone_->DeleteAll(); }
151 142
152 Zone* zone() const { return zone_; } 143 Zone* zone() const { return zone_; }
153 144
154 private: 145 private:
155 Zone* zone_; 146 Zone* zone_;
156 }; 147 };
157 148
158
159 // The ZoneAllocationPolicy is used to specialize generic data 149 // The ZoneAllocationPolicy is used to specialize generic data
160 // structures to allocate themselves and their elements in the Zone. 150 // structures to allocate themselves and their elements in the Zone.
161 class ZoneAllocationPolicy final { 151 class ZoneAllocationPolicy final {
162 public: 152 public:
163 explicit ZoneAllocationPolicy(Zone* zone) : zone_(zone) { } 153 explicit ZoneAllocationPolicy(Zone* zone) : zone_(zone) {}
164 void* New(size_t size) { return zone()->New(size); } 154 void* New(size_t size) { return zone()->New(size); }
165 static void Delete(void* pointer) {} 155 static void Delete(void* pointer) {}
166 Zone* zone() const { return zone_; } 156 Zone* zone() const { return zone_; }
167 157
168 private: 158 private:
169 Zone* zone_; 159 Zone* zone_;
170 }; 160 };
171 161
172
173 // ZoneLists are growable lists with constant-time access to the 162 // ZoneLists are growable lists with constant-time access to the
174 // elements. The list itself and all its elements are allocated in the 163 // elements. The list itself and all its elements are allocated in the
175 // Zone. ZoneLists cannot be deleted individually; you can delete all 164 // Zone. ZoneLists cannot be deleted individually; you can delete all
176 // objects in the Zone by calling Zone::DeleteAll(). 165 // objects in the Zone by calling Zone::DeleteAll().
177 template <typename T> 166 template <typename T>
178 class ZoneList final : public List<T, ZoneAllocationPolicy> { 167 class ZoneList final : public List<T, ZoneAllocationPolicy> {
179 public: 168 public:
180 // Construct a new ZoneList with the given capacity; the length is 169 // Construct a new ZoneList with the given capacity; the length is
181 // always zero. The capacity must be non-negative. 170 // always zero. The capacity must be non-negative.
182 ZoneList(int capacity, Zone* zone) 171 ZoneList(int capacity, Zone* zone)
183 : List<T, ZoneAllocationPolicy>(capacity, ZoneAllocationPolicy(zone)) { } 172 : List<T, ZoneAllocationPolicy>(capacity, ZoneAllocationPolicy(zone)) {}
184 173
185 void* operator new(size_t size, Zone* zone) { return zone->New(size); } 174 void* operator new(size_t size, Zone* zone) { return zone->New(size); }
186 175
187 // Construct a new ZoneList by copying the elements of the given ZoneList. 176 // Construct a new ZoneList by copying the elements of the given ZoneList.
188 ZoneList(const ZoneList<T>& other, Zone* zone) 177 ZoneList(const ZoneList<T>& other, Zone* zone)
189 : List<T, ZoneAllocationPolicy>(other.length(), 178 : List<T, ZoneAllocationPolicy>(other.length(),
190 ZoneAllocationPolicy(zone)) { 179 ZoneAllocationPolicy(zone)) {
191 AddAll(other, zone); 180 AddAll(other, zone);
192 } 181 }
193 182
(...skipping 21 matching lines...) Expand all
215 } 204 }
216 void Initialize(int capacity, Zone* zone) { 205 void Initialize(int capacity, Zone* zone) {
217 List<T, ZoneAllocationPolicy>::Initialize(capacity, 206 List<T, ZoneAllocationPolicy>::Initialize(capacity,
218 ZoneAllocationPolicy(zone)); 207 ZoneAllocationPolicy(zone));
219 } 208 }
220 209
221 void operator delete(void* pointer) { UNREACHABLE(); } 210 void operator delete(void* pointer) { UNREACHABLE(); }
222 void operator delete(void* pointer, Zone* zone) { UNREACHABLE(); } 211 void operator delete(void* pointer, Zone* zone) { UNREACHABLE(); }
223 }; 212 };
224 213
225
226 // A zone splay tree. The config type parameter encapsulates the 214 // A zone splay tree. The config type parameter encapsulates the
227 // different configurations of a concrete splay tree (see splay-tree.h). 215 // different configurations of a concrete splay tree (see splay-tree.h).
228 // The tree itself and all its elements are allocated in the Zone. 216 // The tree itself and all its elements are allocated in the Zone.
229 template <typename Config> 217 template <typename Config>
230 class ZoneSplayTree final : public SplayTree<Config, ZoneAllocationPolicy> { 218 class ZoneSplayTree final : public SplayTree<Config, ZoneAllocationPolicy> {
231 public: 219 public:
232 explicit ZoneSplayTree(Zone* zone) 220 explicit ZoneSplayTree(Zone* zone)
233 : SplayTree<Config, ZoneAllocationPolicy>(ZoneAllocationPolicy(zone)) {} 221 : SplayTree<Config, ZoneAllocationPolicy>(ZoneAllocationPolicy(zone)) {}
234 ~ZoneSplayTree() { 222 ~ZoneSplayTree() {
235 // Reset the root to avoid unneeded iteration over all tree nodes 223 // Reset the root to avoid unneeded iteration over all tree nodes
236 // in the destructor. For a zone-allocated tree, nodes will be 224 // in the destructor. For a zone-allocated tree, nodes will be
237 // freed by the Zone. 225 // freed by the Zone.
238 SplayTree<Config, ZoneAllocationPolicy>::ResetRoot(); 226 SplayTree<Config, ZoneAllocationPolicy>::ResetRoot();
239 } 227 }
240 228
241 void* operator new(size_t size, Zone* zone) { return zone->New(size); } 229 void* operator new(size_t size, Zone* zone) { return zone->New(size); }
242 230
243 void operator delete(void* pointer) { UNREACHABLE(); } 231 void operator delete(void* pointer) { UNREACHABLE(); }
244 void operator delete(void* pointer, Zone* zone) { UNREACHABLE(); } 232 void operator delete(void* pointer, Zone* zone) { UNREACHABLE(); }
245 }; 233 };
246 234
247 typedef base::TemplateHashMapImpl<ZoneAllocationPolicy> ZoneHashMap; 235 typedef base::TemplateHashMapImpl<ZoneAllocationPolicy> ZoneHashMap;
248 236
249 } // namespace internal 237 } // namespace internal
250 } // namespace v8 238 } // namespace v8
251 239
252 #endif // V8_ZONE_H_ 240 #endif // V8_ZONE_H_
marja 2016/09/19 10:56:50 You need to update this too
OLDNEW
« no previous file with comments | « src/zone/accounting-allocator.cc ('k') | src/zone/zone.cc » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698