blob: 51b8113a0d912e78b67213145c07664bad4d8d0c [file] [log] [blame]
danno@chromium.orgfa458e42012-02-01 10:48:36 +00001// Copyright 2012 the V8 project authors. All rights reserved.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002// Redistribution and use in source and binary forms, with or without
3// modification, are permitted provided that the following conditions are
4// met:
5//
6// * Redistributions of source code must retain the above copyright
7// notice, this list of conditions and the following disclaimer.
8// * Redistributions in binary form must reproduce the above
9// copyright notice, this list of conditions and the following
10// disclaimer in the documentation and/or other materials provided
11// with the distribution.
12// * Neither the name of Google Inc. nor the names of its
13// contributors may be used to endorse or promote products derived
14// from this software without specific prior written permission.
15//
16// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
17// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
18// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
19// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
20// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
21// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
22// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
26// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27
danno@chromium.orgfa458e42012-02-01 10:48:36 +000028#include <string.h>
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000029
danno@chromium.orgfa458e42012-02-01 10:48:36 +000030#include "v8.h"
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000031#include "zone-inl.h"
32
kasperl@chromium.org71affb52009-05-26 05:44:31 +000033namespace v8 {
34namespace internal {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000035
36
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000037// Segments represent chunks of memory: They have starting address
38// (encoded in the this pointer) and a size in bytes. Segments are
39// chained together forming a LIFO structure with the newest segment
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +000040// available as segment_head_. Segments are allocated using malloc()
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000041// and de-allocated using free().
42
43class Segment {
44 public:
danno@chromium.orgb6451162011-08-17 14:33:23 +000045 void Initialize(Segment* next, int size) {
46 next_ = next;
47 size_ = size;
48 }
49
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000050 Segment* next() const { return next_; }
51 void clear_next() { next_ = NULL; }
52
53 int size() const { return size_; }
54 int capacity() const { return size_ - sizeof(Segment); }
55
56 Address start() const { return address(sizeof(Segment)); }
57 Address end() const { return address(size_); }
58
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000059 private:
60 // Computes the address of the nth byte in this segment.
61 Address address(int n) const {
62 return Address(this) + n;
63 }
64
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000065 Segment* next_;
66 int size_;
67};
68
69
yangguo@chromium.org5a11aaf2012-06-20 11:29:00 +000070Zone::Zone(Isolate* isolate)
danno@chromium.orgb6451162011-08-17 14:33:23 +000071 : zone_excess_limit_(256 * MB),
72 segment_bytes_allocated_(0),
73 position_(0),
74 limit_(0),
75 scope_nesting_(0),
yangguo@chromium.org5a11aaf2012-06-20 11:29:00 +000076 segment_head_(NULL),
77 isolate_(isolate) {
danno@chromium.orgb6451162011-08-17 14:33:23 +000078}
79unsigned Zone::allocation_size_ = 0;
80
81ZoneScope::~ZoneScope() {
yangguo@chromium.org5a11aaf2012-06-20 11:29:00 +000082 if (ShouldDeleteOnExit()) zone_->DeleteAll();
83 zone_->scope_nesting_--;
danno@chromium.orgb6451162011-08-17 14:33:23 +000084}
85
86
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +000087// Creates a new segment, sets it size, and pushes it to the front
88// of the segment chain. Returns the new segment.
89Segment* Zone::NewSegment(int size) {
90 Segment* result = reinterpret_cast<Segment*>(Malloced::New(size));
91 adjust_segment_bytes_allocated(size);
92 if (result != NULL) {
danno@chromium.orgb6451162011-08-17 14:33:23 +000093 result->Initialize(segment_head_, size);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +000094 segment_head_ = result;
95 }
96 return result;
97}
98
99
100// Deletes the given segment. Does not touch the segment chain.
101void Zone::DeleteSegment(Segment* segment, int size) {
102 adjust_segment_bytes_allocated(-size);
103 Malloced::Delete(segment);
104}
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000105
106
107void Zone::DeleteAll() {
108#ifdef DEBUG
109 // Constant byte value used for zapping dead memory in debug mode.
110 static const unsigned char kZapDeadByte = 0xcd;
111#endif
112
113 // Find a segment with a suitable size to keep around.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000114 Segment* keep = segment_head_;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000115 while (keep != NULL && keep->size() > kMaximumKeptSegmentSize) {
116 keep = keep->next();
117 }
118
119 // Traverse the chained list of segments, zapping (in debug mode)
120 // and freeing every segment except the one we wish to keep.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000121 Segment* current = segment_head_;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000122 while (current != NULL) {
123 Segment* next = current->next();
124 if (current == keep) {
125 // Unlink the segment we wish to keep from the list.
126 current->clear_next();
127 } else {
ager@chromium.orga74f0da2008-12-03 16:05:52 +0000128 int size = current->size();
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000129#ifdef DEBUG
130 // Zap the entire current segment (including the header).
ager@chromium.orga74f0da2008-12-03 16:05:52 +0000131 memset(current, kZapDeadByte, size);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000132#endif
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000133 DeleteSegment(current, size);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000134 }
135 current = next;
136 }
137
138 // If we have found a segment we want to keep, we must recompute the
139 // variables 'position' and 'limit' to prepare for future allocate
140 // attempts. Otherwise, we must clear the position and limit to
141 // force a new segment to be allocated on demand.
142 if (keep != NULL) {
143 Address start = keep->start();
144 position_ = RoundUp(start, kAlignment);
145 limit_ = keep->end();
146#ifdef DEBUG
147 // Zap the contents of the kept segment (but not the header).
148 memset(start, kZapDeadByte, keep->capacity());
149#endif
150 } else {
151 position_ = limit_ = 0;
152 }
153
154 // Update the head segment to be the kept segment (if any).
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000155 segment_head_ = keep;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000156}
157
158
danno@chromium.orgb6451162011-08-17 14:33:23 +0000159void Zone::DeleteKeptSegment() {
160 if (segment_head_ != NULL) {
161 DeleteSegment(segment_head_, segment_head_->size());
162 segment_head_ = NULL;
163 }
164}
165
166
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000167Address Zone::NewExpand(int size) {
168 // Make sure the requested size is already properly aligned and that
169 // there isn't enough room in the Zone to satisfy the request.
170 ASSERT(size == RoundDown(size, kAlignment));
kmillikin@chromium.org83e16822011-09-13 08:21:47 +0000171 ASSERT(size > limit_ - position_);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000172
173 // Compute the new segment size. We use a 'high water mark'
174 // strategy, where we increase the segment size every time we expand
175 // except that we employ a maximum segment size when we delete. This
176 // is to avoid excessive malloc() and free() overhead.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000177 Segment* head = segment_head_;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000178 int old_size = (head == NULL) ? 0 : head->size();
ager@chromium.org8bb60582008-12-11 12:02:20 +0000179 static const int kSegmentOverhead = sizeof(Segment) + kAlignment;
kmillikin@chromium.org83e16822011-09-13 08:21:47 +0000180 int new_size_no_overhead = size + (old_size << 1);
181 int new_size = kSegmentOverhead + new_size_no_overhead;
182 // Guard against integer overflow.
183 if (new_size_no_overhead < size || new_size < kSegmentOverhead) {
184 V8::FatalProcessOutOfMemory("Zone");
185 return NULL;
186 }
ager@chromium.org8bb60582008-12-11 12:02:20 +0000187 if (new_size < kMinimumSegmentSize) {
188 new_size = kMinimumSegmentSize;
189 } else if (new_size > kMaximumSegmentSize) {
190 // Limit the size of new segments to avoid growing the segment size
191 // exponentially, thus putting pressure on contiguous virtual address space.
192 // All the while making sure to allocate a segment large enough to hold the
193 // requested size.
194 new_size = Max(kSegmentOverhead + size, kMaximumSegmentSize);
195 }
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000196 Segment* segment = NewSegment(new_size);
kasperl@chromium.orge959c182009-07-27 08:59:04 +0000197 if (segment == NULL) {
198 V8::FatalProcessOutOfMemory("Zone");
199 return NULL;
200 }
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000201
202 // Recompute 'top' and 'limit' based on the new segment.
203 Address result = RoundUp(segment->start(), kAlignment);
204 position_ = result + size;
kmillikin@chromium.org83e16822011-09-13 08:21:47 +0000205 // Check for address overflow.
206 if (position_ < result) {
207 V8::FatalProcessOutOfMemory("Zone");
208 return NULL;
209 }
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000210 limit_ = segment->end();
211 ASSERT(position_ <= limit_);
212 return result;
213}
214
215
216} } // namespace v8::internal