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

Side by Side Diff: src/zone.cc

Issue 2299753002: Made zone segments aligned in memory and included a pointer to the zone in the header. Larger objec…
Patch Set: Addressing review 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.h ('k') | no next file » | 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 #include "src/zone.h" 5 #include "src/zone.h"
6 6
7 #include <cstring> 7 #include <cstring>
8 8
9 #include "src/v8.h" 9 #include "src/v8.h"
10 10
(...skipping 25 matching lines...) Expand all
36 } while (false) 36 } while (false)
37 37
38 const size_t kASanRedzoneBytes = 0; 38 const size_t kASanRedzoneBytes = 0;
39 39
40 #endif // V8_USE_ADDRESS_SANITIZER 40 #endif // V8_USE_ADDRESS_SANITIZER
41 41
42 } // namespace 42 } // namespace
43 43
44 44
45 // Segments represent chunks of memory: They have starting address 45 // Segments represent chunks of memory: They have starting address
46 // (encoded in the this pointer) and a size in bytes. Segments are 46 // (encoded in the this pointer) and a VirtualMemory instance. Segments are
47 // chained together forming a LIFO structure with the newest segment 47 // chained together forming a LIFO structure with the newest segment
48 // available as segment_head_. Segments are allocated using malloc() 48 // available as segment_head_. Segments are allocated aligned via the
49 // and de-allocated using free(). 49 // VirtualMemory instance and released using it.
50 50
51 class Segment { 51 class Segment {
52 public: 52 public:
53 void Initialize(Segment* next, size_t size) { 53 void Initialize(Zone* zone, v8::base::VirtualMemory* virtual_memory) {
54 next_ = next; 54 DCHECK_EQ(reinterpret_cast<uintptr_t>(this) & Zone::kSegmentAlignmentMask,
55 size_ = size; 55 reinterpret_cast<uintptr_t>(this));
56
57 next_ = nullptr;
58 zone_ = zone;
59 virtual_memory_.Reset();
60 virtual_memory_.TakeControl(virtual_memory);
56 } 61 }
57 62
63 Zone* zone() const { return zone_; }
58 Segment* next() const { return next_; } 64 Segment* next() const { return next_; }
59 void clear_next() { next_ = nullptr; } 65 void set_next(Segment* const value) { next_ = value; }
60 66
61 size_t size() const { return size_; } 67 size_t size() const { return virtual_memory_.size(); }
62 size_t capacity() const { return size_ - sizeof(Segment); } 68
69 size_t capacity() const { return size() - sizeof(Segment); }
63 70
64 Address start() const { return address(sizeof(Segment)); } 71 Address start() const { return address(sizeof(Segment)); }
65 Address end() const { return address(size_); } 72 Address end() const { return address(size()); }
73
74 bool is_big_object_segment() const {
75 return size() > Zone::kMaximumSegmentSize;
76 }
77
78 void Release() {
79 #ifdef ENABLE_HANDLE_ZAPPING
80 v8::base::VirtualMemory vm = v8::base::VirtualMemory();
81 vm.TakeControl(&virtual_memory_);
Jakob Kummerow 2016/09/05 12:05:23 Question still stands: why do you need |vm| at all
82 // Un-poison first so the zapping doesn't trigger ASan complaints.
83 ASAN_UNPOISON_MEMORY_REGION(vm.address(), vm.size());
84 // Zap the entire current segment (including the header).
85 memset(vm.address(), kZapDeadByte, vm.size());
86
87 vm.Release();
88 #else
89 virtual_memory_.Release();
90 #endif
91 }
92
93 void Reset() {
94 // Un-poison so neither the zapping not the reusing does trigger ASan
95 // complaints.
96 ASAN_UNPOISON_MEMORY_REGION(virtual_memory_.address(),
97 virtual_memory_.size());
98 #ifdef ENABLE_HANDLE_ZAPPING
99 // Zap the entire current segment (including the header).
100 memset(reinterpret_cast<void*>(start()), kZapDeadByte, capacity());
101 #endif
102 next_ = nullptr;
103 }
66 104
67 private: 105 private:
106 #ifdef ENABLE_HANDLE_ZAPPING
107 // Constant byte value used for zapping dead memory in debug mode.
108 static const unsigned char kZapDeadByte = 0xcd;
109 #endif
110
68 // Computes the address of the nth byte in this segment. 111 // Computes the address of the nth byte in this segment.
69 Address address(size_t n) const { return Address(this) + n; } 112 Address address(size_t n) const { return Address(this) + n; }
70 113
114 Zone* zone_;
71 Segment* next_; 115 Segment* next_;
72 size_t size_; 116 v8::base::VirtualMemory virtual_memory_;
117
118 DISALLOW_COPY_AND_ASSIGN(Segment);
73 }; 119 };
74 120
75 Zone::Zone(base::AccountingAllocator* allocator) 121 Zone::Zone(base::AccountingAllocator* allocator)
76 : allocation_size_(0), 122 : allocation_size_(0),
77 segment_bytes_allocated_(0), 123 segment_bytes_allocated_(0),
78 position_(0), 124 position_(0),
79 limit_(0), 125 limit_(0),
80 allocator_(allocator), 126 allocator_(allocator),
81 segment_head_(nullptr) {} 127 segment_head_(nullptr) {}
82 128
83 Zone::~Zone() { 129 Zone::~Zone() {
84 DeleteAll(); 130 DeleteAll();
85 DeleteKeptSegment(); 131 DeleteKeptSegment();
86 132
87 DCHECK(segment_bytes_allocated_ == 0); 133 DCHECK(segment_bytes_allocated_ == 0);
88 } 134 }
89 135
136 Segment* Zone::GetZoneSegmentFromPointer(const void* ptr) {
137 return reinterpret_cast<Segment*>(reinterpret_cast<uintptr_t>(ptr) &
138 kSegmentAlignmentMask);
139 }
140
141 Zone* Zone::GetZoneFromPointer(const void* ptr) {
142 return GetZoneSegmentFromPointer(ptr)->zone();
143 }
90 144
91 void* Zone::New(size_t size) { 145 void* Zone::New(size_t size) {
146 Address result = position_;
147
148 // In case the requested size is zero, we still want to return a pointer
149 // to a valid segment, so the zone is obtainable from it.
150 if (size == 0) {
151 // there has to be a normal segment to reference
152 if (segment_head_ == nullptr || segment_head_->is_big_object_segment()) {
153 // We create a segment of minimal size.
154 result = NewNormalSegment(kAlignment);
155 }
156
157 DCHECK(!GetZoneSegmentFromPointer(result)->is_big_object_segment());
158 DCHECK_EQ(GetZoneFromPointer(result), this);
159 return reinterpret_cast<void*>(result);
160 }
161
162 // Large objects are a special case and get their own segment to live in.
163 if (CalculateSegmentSize(size) > kMaximumSegmentSize) {
164 result = NewLargeObjectSegment(size);
165 DCHECK(GetZoneSegmentFromPointer(result)->is_big_object_segment());
166 return reinterpret_cast<void*>(result);
167 }
168
92 // Round up the requested size to fit the alignment. 169 // Round up the requested size to fit the alignment.
93 size = RoundUp(size, kAlignment); 170 size = RoundUp(size, kAlignment);
94 171
95 // If the allocation size is divisible by 8 then we return an 8-byte aligned 172 // If the allocation size is divisible by 8 then we return an 8-byte aligned
96 // address. 173 // address.
97 if (kPointerSize == 4 && kAlignment == 4) { 174 if (kPointerSize == 4 && kAlignment == 4) {
98 position_ += ((~size) & 4) & (reinterpret_cast<intptr_t>(position_) & 4); 175 position_ += ((~size) & 4) & (reinterpret_cast<intptr_t>(position_) & 4);
99 } else { 176 } else {
100 DCHECK(kAlignment >= kPointerSize); 177 DCHECK(kAlignment >= kPointerSize);
101 } 178 }
102 179
103 // Check if the requested size is available without expanding. 180 // Check if the requested size is available without expanding.
104 Address result = position_;
105 181
106 const size_t size_with_redzone = size + kASanRedzoneBytes; 182 const size_t size_with_redzone = size + kASanRedzoneBytes;
107 const uintptr_t limit = reinterpret_cast<uintptr_t>(limit_); 183 const uintptr_t limit = reinterpret_cast<uintptr_t>(limit_);
108 const uintptr_t position = reinterpret_cast<uintptr_t>(position_); 184 const uintptr_t position = reinterpret_cast<uintptr_t>(position_);
109 // position_ > limit_ can be true after the alignment correction above. 185 // position_ > limit_ can be true after the alignment correction above.
110 if (limit < position || size_with_redzone > limit - position) { 186 if (limit < position || size_with_redzone > limit - position) {
111 result = NewExpand(size_with_redzone); 187 result = NewNormalSegment(size_with_redzone);
112 } else { 188 } else {
113 position_ += size_with_redzone; 189 position_ += size_with_redzone;
114 } 190 }
115 191
116 Address redzone_position = result + size; 192 Address redzone_position = result + size;
117 DCHECK(redzone_position + kASanRedzoneBytes == position_); 193 DCHECK(redzone_position + kASanRedzoneBytes == position_);
118 ASAN_POISON_MEMORY_REGION(redzone_position, kASanRedzoneBytes); 194 ASAN_POISON_MEMORY_REGION(redzone_position, kASanRedzoneBytes);
119 195
120 // Check that the result has the proper alignment and return it. 196 // Check that the result has the proper alignment and return it.
121 DCHECK(IsAddressAligned(result, kAlignment, 0)); 197 DCHECK(IsAddressAligned(result, kAlignment, 0));
198 DCHECK(!GetZoneSegmentFromPointer(result)->is_big_object_segment());
199 DCHECK_EQ(GetZoneFromPointer(result), this);
122 allocation_size_ += size; 200 allocation_size_ += size;
123 return reinterpret_cast<void*>(result); 201 return reinterpret_cast<void*>(result);
124 } 202 }
125 203
126 204
127 void Zone::DeleteAll() { 205 void Zone::DeleteAll() {
128 #ifdef DEBUG
129 // Constant byte value used for zapping dead memory in debug mode.
130 static const unsigned char kZapDeadByte = 0xcd;
131 #endif
132
133 // Find a segment with a suitable size to keep around. 206 // Find a segment with a suitable size to keep around.
134 Segment* keep = nullptr; 207 Segment* keep = nullptr;
135 // Traverse the chained list of segments, zapping (in debug mode) 208 // Traverse the chained list of segments, zapping (in debug mode)
136 // and freeing every segment except the one we wish to keep. 209 // and freeing every segment except the one we wish to keep.
137 for (Segment* current = segment_head_; current;) { 210 for (Segment* current = segment_head_; current;) {
138 Segment* next = current->next(); 211 Segment* next = current->next();
139 if (!keep && current->size() <= kMaximumKeptSegmentSize) { 212 if (!keep && current->size() <= kMaximumKeptSegmentSize) {
140 // Unlink the segment we wish to keep from the list. 213 // Unlink the segment we wish to keep from the list.
141 keep = current; 214 keep = current;
142 keep->clear_next(); 215 keep->Reset();
143 } else { 216 } else {
144 size_t size = current->size(); 217 segment_bytes_allocated_ -= current->size();
145 #ifdef DEBUG 218 allocator_->ChangeCurrentMemoryUsage(
146 // Un-poison first so the zapping doesn't trigger ASan complaints. 219 -static_cast<int64_t>(current->size()));
147 ASAN_UNPOISON_MEMORY_REGION(current, size); 220 current->Release();
148 // Zap the entire current segment (including the header).
149 memset(current, kZapDeadByte, size);
150 #endif
151 DeleteSegment(current, size);
152 } 221 }
153 current = next; 222 current = next;
154 } 223 }
155 224
156 // If we have found a segment we want to keep, we must recompute the 225 // If we have found a segment we want to keep, we must recompute the
157 // variables 'position' and 'limit' to prepare for future allocate 226 // variables 'position' and 'limit' to prepare for future allocate
158 // attempts. Otherwise, we must clear the position and limit to 227 // attempts. Otherwise, we must clear the position and limit to
159 // force a new segment to be allocated on demand. 228 // force a new segment to be allocated on demand.
160 if (keep) { 229 if (keep) {
161 Address start = keep->start(); 230 Address start = keep->start();
162 position_ = RoundUp(start, kAlignment); 231 position_ = RoundUp(start, kAlignment);
163 limit_ = keep->end(); 232 limit_ = keep->end();
164 // Un-poison so we can re-use the segment later.
165 ASAN_UNPOISON_MEMORY_REGION(start, keep->capacity());
166 #ifdef DEBUG
167 // Zap the contents of the kept segment (but not the header).
168 memset(start, kZapDeadByte, keep->capacity());
169 #endif
170 } else { 233 } else {
171 position_ = limit_ = 0; 234 position_ = limit_ = 0;
172 } 235 }
173 236
174 allocation_size_ = 0; 237 allocation_size_ = 0;
175 // Update the head segment to be the kept segment (if any). 238 // Update the head segment to be the kept segment (if any).
176 segment_head_ = keep; 239 segment_head_ = keep;
177 } 240 }
178 241
179 242
180 void Zone::DeleteKeptSegment() { 243 void Zone::DeleteKeptSegment() {
181 #ifdef DEBUG
182 // Constant byte value used for zapping dead memory in debug mode.
183 static const unsigned char kZapDeadByte = 0xcd;
184 #endif
185
186 DCHECK(segment_head_ == nullptr || segment_head_->next() == nullptr); 244 DCHECK(segment_head_ == nullptr || segment_head_->next() == nullptr);
187 if (segment_head_ != nullptr) { 245 if (segment_head_ != nullptr) {
188 size_t size = segment_head_->size(); 246 segment_bytes_allocated_ -= segment_head_->size();
189 #ifdef DEBUG 247 allocator_->ChangeCurrentMemoryUsage(
190 // Un-poison first so the zapping doesn't trigger ASan complaints. 248 -static_cast<int64_t>(segment_head_->size()));
191 ASAN_UNPOISON_MEMORY_REGION(segment_head_, size); 249 segment_head_->Release();
192 // Zap the entire kept segment (including the header).
193 memset(segment_head_, kZapDeadByte, size);
194 #endif
195 DeleteSegment(segment_head_, size);
196 segment_head_ = nullptr; 250 segment_head_ = nullptr;
197 } 251 }
198 252
199 DCHECK(segment_bytes_allocated_ == 0); 253 DCHECK(segment_bytes_allocated_ == 0);
200 } 254 }
201 255
202 256
203 // Creates a new segment, sets it size, and pushes it to the front
204 // of the segment chain. Returns the new segment.
205 Segment* Zone::NewSegment(size_t size) { 257 Segment* Zone::NewSegment(size_t size) {
206 Segment* result = reinterpret_cast<Segment*>(allocator_->Allocate(size)); 258 v8::base::VirtualMemory vm(size, kSegmentAlignmentSize);
207 segment_bytes_allocated_ += size; 259
208 if (result != nullptr) { 260 if (!vm.IsReserved()) {
209 result->Initialize(segment_head_, size); 261 V8::FatalProcessOutOfMemory("Zone");
210 segment_head_ = result; 262 return nullptr;
211 } 263 }
264
265 DCHECK_EQ(reinterpret_cast<uintptr_t>(vm.address()) & kSegmentAlignmentMask,
266 reinterpret_cast<uintptr_t>(vm.address()));
267 DCHECK_EQ(vm.size(), size);
268
269 if (!v8::base::VirtualMemory::CommitRegion(vm.address(), vm.size(), false)) {
270 V8::FatalProcessOutOfMemory("Zone");
271 return nullptr;
272 }
273
274 Segment* result = reinterpret_cast<Segment*>(vm.address());
275
276 result->Initialize(this, &vm);
277
278 segment_bytes_allocated_ += result->size();
279 allocator_->ChangeCurrentMemoryUsage(result->size());
280
212 return result; 281 return result;
213 } 282 }
214 283
284 Address Zone::NewLargeObjectSegment(size_t size) {
285 size_t new_size = CalculateSegmentSize(size);
286 Segment* segment = NewSegment(new_size);
215 287
216 // Deletes the given segment. Does not touch the segment chain. 288 if (segment_head_ == nullptr) {
217 void Zone::DeleteSegment(Segment* segment, size_t size) { 289 // This is the only case in which a large object segment becomes head of
218 segment_bytes_allocated_ -= size; 290 // the segment list.
219 allocator_->Free(segment, size); 291 segment_head_ = segment;
292 } else {
293 // Large object segments should be inserted second into the list when
294 // possible.
295 segment->set_next(segment_head_->next());
296 segment_head_->set_next(segment);
297 }
298
299 Address result = RoundUp(segment->start(), kAlignment);
300 DCHECK_EQ(GetZoneFromPointer(segment), this);
301 DCHECK_EQ(GetZoneFromPointer(result), this);
302 return result;
220 } 303 }
221 304
222 305 Address Zone::NewNormalSegment(size_t size) {
223 Address Zone::NewExpand(size_t size) {
224 // Make sure the requested size is already properly aligned and that 306 // Make sure the requested size is already properly aligned and that
225 // there isn't enough room in the Zone to satisfy the request. 307 // there isn't enough room in the Zone to satisfy the request.
226 DCHECK_EQ(size, RoundDown(size, kAlignment)); 308 DCHECK_EQ(size, RoundDown(size, kAlignment));
227 DCHECK(limit_ < position_ || 309 DCHECK(limit_ < position_ ||
228 reinterpret_cast<uintptr_t>(limit_) - 310 reinterpret_cast<uintptr_t>(limit_) -
229 reinterpret_cast<uintptr_t>(position_) < 311 reinterpret_cast<uintptr_t>(position_) <
230 size); 312 size);
231 313
232 // Compute the new segment size. We use a 'high water mark' 314 DCHECK_LE(size, kMaximumSegmentSize + 0);
Jakob Kummerow 2016/09/05 12:05:24 Question still stands: why "+ 0"?
233 // strategy, where we increase the segment size every time we expand 315
234 // except that we employ a maximum segment size when we delete. This 316 size_t new_size = CalculateSegmentSize(size);
235 // is to avoid excessive malloc() and free() overhead. 317 const size_t old_size =
236 Segment* head = segment_head_; 318 (segment_head_ == nullptr) ? 0 : segment_head_->size();
237 const size_t old_size = (head == nullptr) ? 0 : head->size(); 319 new_size = Max(new_size, old_size << 1);
238 static const size_t kSegmentOverhead = sizeof(Segment) + kAlignment; 320 new_size = Min(new_size, kMaximumSegmentSize);
239 const size_t new_size_no_overhead = size + (old_size << 1); 321
240 size_t new_size = kSegmentOverhead + new_size_no_overhead; 322 DCHECK_LE(new_size, kMaximumSegmentSize + 0);
241 const size_t min_new_size = kSegmentOverhead + size; 323
242 // Guard against integer overflow.
243 if (new_size_no_overhead < size || new_size < kSegmentOverhead) {
244 V8::FatalProcessOutOfMemory("Zone");
245 return nullptr;
246 }
247 if (new_size < kMinimumSegmentSize) {
248 new_size = kMinimumSegmentSize;
249 } else if (new_size > kMaximumSegmentSize) {
250 // Limit the size of new segments to avoid growing the segment size
251 // exponentially, thus putting pressure on contiguous virtual address space.
252 // All the while making sure to allocate a segment large enough to hold the
253 // requested size.
254 new_size = Max(min_new_size, kMaximumSegmentSize);
255 }
256 if (new_size > INT_MAX) {
257 V8::FatalProcessOutOfMemory("Zone");
258 return nullptr;
259 }
260 Segment* segment = NewSegment(new_size); 324 Segment* segment = NewSegment(new_size);
261 if (segment == nullptr) { 325
262 V8::FatalProcessOutOfMemory("Zone"); 326 // Put segment in front of the segment list.
263 return nullptr; 327 segment->set_next(segment_head_);
264 } 328 segment_head_ = segment;
329
330 // Normal segments must not be bigger than the alignment size.
331 DCHECK_LE(segment->size(), kSegmentAlignmentSize + 0);
265 332
266 // Recompute 'top' and 'limit' based on the new segment. 333 // Recompute 'top' and 'limit' based on the new segment.
267 Address result = RoundUp(segment->start(), kAlignment); 334 Address result = RoundUp(segment->start(), kAlignment);
268 position_ = result + size; 335 position_ = result + size;
269 // Check for address overflow. 336 // Check for address overflow.
270 // (Should not happen since the segment is guaranteed to accomodate 337 // (Should not happen since the segment is guaranteed to accomodate
271 // size bytes + header and alignment padding) 338 // size bytes + header and alignment padding)
272 DCHECK(reinterpret_cast<uintptr_t>(position_) >= 339 DCHECK_GE(reinterpret_cast<uintptr_t>(position_),
273 reinterpret_cast<uintptr_t>(result)); 340 reinterpret_cast<uintptr_t>(result));
341 DCHECK_EQ(GetZoneFromPointer(segment), this);
342 DCHECK_EQ(GetZoneFromPointer(result), this);
343 DCHECK_EQ(GetZoneFromPointer(segment->end() - 1), this);
274 limit_ = segment->end(); 344 limit_ = segment->end();
275 DCHECK(position_ <= limit_); 345 DCHECK(position_ <= limit_);
276 return result; 346 return result;
277 } 347 }
278 348
349 size_t Zone::CalculateSegmentSize(const size_t requested) {
350 if (UINTPTR_MAX - (sizeof(Segment) + kAlignment) < requested) {
351 V8::FatalProcessOutOfMemory("Zone");
352 }
353
354 return RoundUp(requested + sizeof(Segment) + kAlignment, kMinimumSegmentSize);
355 }
356
279 } // namespace internal 357 } // namespace internal
280 } // namespace v8 358 } // namespace v8
OLDNEW
« no previous file with comments | « src/zone.h ('k') | no next file » | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698