blob: 2e071acc73d12a3e563d418ef8a86d5301ac07f2 [file] [log] [blame]
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001// Copyright 2012 the V8 project authors. All rights reserved.
Steve Blocka7e24c12009-10-30 11:49:00 +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
Ben Murdochb8a8cc12014-11-26 15:28:44 +000028#include "src/v8.h"
29#include "test/cctest/cctest.h"
Steve Blocka7e24c12009-10-30 11:49:00 +000030
Ben Murdochb8a8cc12014-11-26 15:28:44 +000031#include "src/accessors.h"
32#include "src/api.h"
Steve Blocka7e24c12009-10-30 11:49:00 +000033
34
35using namespace v8::internal;
36
37
Ben Murdochb8a8cc12014-11-26 15:28:44 +000038static AllocationResult AllocateAfterFailures() {
Steve Blocka7e24c12009-10-30 11:49:00 +000039 static int attempts = 0;
Ben Murdochb8a8cc12014-11-26 15:28:44 +000040
41 if (++attempts < 3) return AllocationResult::Retry();
42 TestHeap* heap = CcTest::test_heap();
Steve Blocka7e24c12009-10-30 11:49:00 +000043
44 // New space.
Ben Murdochb8a8cc12014-11-26 15:28:44 +000045 SimulateFullSpace(heap->new_space());
46 heap->AllocateByteArray(100).ToObjectChecked();
47 heap->AllocateFixedArray(100, NOT_TENURED).ToObjectChecked();
Steve Blocka7e24c12009-10-30 11:49:00 +000048
49 // Make sure we can allocate through optimized allocation functions
50 // for specific kinds.
Ben Murdochb8a8cc12014-11-26 15:28:44 +000051 heap->AllocateFixedArray(100).ToObjectChecked();
52 heap->AllocateHeapNumber(0.42).ToObjectChecked();
Steve Block44f0eee2011-05-26 01:26:41 +010053 Object* object = heap->AllocateJSObject(
Ben Murdochb8a8cc12014-11-26 15:28:44 +000054 *CcTest::i_isolate()->object_function()).ToObjectChecked();
55 heap->CopyJSObject(JSObject::cast(object)).ToObjectChecked();
Steve Blocka7e24c12009-10-30 11:49:00 +000056
57 // Old data space.
Ben Murdochb8a8cc12014-11-26 15:28:44 +000058 SimulateFullSpace(heap->old_data_space());
59 heap->AllocateByteArray(100, TENURED).ToObjectChecked();
Steve Blocka7e24c12009-10-30 11:49:00 +000060
Ben Murdoch3ef787d2012-04-12 10:51:47 +010061 // Old pointer space.
Ben Murdochb8a8cc12014-11-26 15:28:44 +000062 SimulateFullSpace(heap->old_pointer_space());
63 heap->AllocateFixedArray(10000, TENURED).ToObjectChecked();
Ben Murdoch3ef787d2012-04-12 10:51:47 +010064
65 // Large object space.
66 static const int kLargeObjectSpaceFillerLength = 300000;
67 static const int kLargeObjectSpaceFillerSize = FixedArray::SizeFor(
68 kLargeObjectSpaceFillerLength);
Ben Murdochb8a8cc12014-11-26 15:28:44 +000069 DCHECK(kLargeObjectSpaceFillerSize > heap->old_pointer_space()->AreaSize());
Ben Murdoch3ef787d2012-04-12 10:51:47 +010070 while (heap->OldGenerationSpaceAvailable() > kLargeObjectSpaceFillerSize) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +000071 heap->AllocateFixedArray(
72 kLargeObjectSpaceFillerLength, TENURED).ToObjectChecked();
Ben Murdoch3ef787d2012-04-12 10:51:47 +010073 }
Ben Murdochb8a8cc12014-11-26 15:28:44 +000074 heap->AllocateFixedArray(
75 kLargeObjectSpaceFillerLength, TENURED).ToObjectChecked();
Steve Blocka7e24c12009-10-30 11:49:00 +000076
77 // Map space.
Ben Murdochb8a8cc12014-11-26 15:28:44 +000078 SimulateFullSpace(heap->map_space());
Steve Blocka7e24c12009-10-30 11:49:00 +000079 int instance_size = JSObject::kHeaderSize;
Ben Murdochb8a8cc12014-11-26 15:28:44 +000080 heap->AllocateMap(JS_OBJECT_TYPE, instance_size).ToObjectChecked();
Steve Blocka7e24c12009-10-30 11:49:00 +000081
82 // Test that we can allocate in old pointer space and code space.
Ben Murdochb8a8cc12014-11-26 15:28:44 +000083 SimulateFullSpace(heap->code_space());
84 heap->AllocateFixedArray(100, TENURED).ToObjectChecked();
85 heap->CopyCode(CcTest::i_isolate()->builtins()->builtin(
86 Builtins::kIllegal)).ToObjectChecked();
Steve Blocka7e24c12009-10-30 11:49:00 +000087
88 // Return success.
Emily Bernierd0a1eb72015-03-24 16:35:39 -040089 return heap->true_value();
Steve Blocka7e24c12009-10-30 11:49:00 +000090}
91
92
93static Handle<Object> Test() {
Ben Murdochb8a8cc12014-11-26 15:28:44 +000094 CALL_HEAP_FUNCTION(CcTest::i_isolate(), AllocateAfterFailures(), Object);
Steve Blocka7e24c12009-10-30 11:49:00 +000095}
96
97
98TEST(StressHandles) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +000099 v8::HandleScope scope(CcTest::isolate());
100 v8::Handle<v8::Context> env = v8::Context::New(CcTest::isolate());
Steve Blocka7e24c12009-10-30 11:49:00 +0000101 env->Enter();
102 Handle<Object> o = Test();
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400103 CHECK(o->IsTrue());
Steve Blocka7e24c12009-10-30 11:49:00 +0000104 env->Exit();
105}
106
107
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000108void TestGetter(
109 v8::Local<v8::Name> name,
110 const v8::PropertyCallbackInfo<v8::Value>& info) {
111 i::Isolate* isolate = reinterpret_cast<i::Isolate*>(info.GetIsolate());
112 HandleScope scope(isolate);
113 info.GetReturnValue().Set(v8::Utils::ToLocal(Test()));
Steve Blocka7e24c12009-10-30 11:49:00 +0000114}
115
116
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000117void TestSetter(
118 v8::Local<v8::Name> name,
119 v8::Local<v8::Value> value,
120 const v8::PropertyCallbackInfo<void>& info) {
121 UNREACHABLE();
122}
123
124
125Handle<AccessorInfo> TestAccessorInfo(
126 Isolate* isolate, PropertyAttributes attributes) {
127 Handle<String> name = isolate->factory()->NewStringFromStaticChars("get");
128 return Accessors::MakeAccessor(isolate, name, &TestGetter, &TestSetter,
129 attributes);
130}
Steve Blocka7e24c12009-10-30 11:49:00 +0000131
132
133TEST(StressJS) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000134 Isolate* isolate = CcTest::i_isolate();
135 Factory* factory = isolate->factory();
136 v8::HandleScope scope(CcTest::isolate());
137 v8::Handle<v8::Context> env = v8::Context::New(CcTest::isolate());
Steve Blocka7e24c12009-10-30 11:49:00 +0000138 env->Enter();
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000139 Handle<JSFunction> function = factory->NewFunction(
140 factory->function_string());
Steve Blocka7e24c12009-10-30 11:49:00 +0000141 // Force the creation of an initial map and set the code to
142 // something empty.
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000143 factory->NewJSObject(function);
144 function->ReplaceCode(CcTest::i_isolate()->builtins()->builtin(
Steve Block44f0eee2011-05-26 01:26:41 +0100145 Builtins::kEmptyFunction));
Steve Blocka7e24c12009-10-30 11:49:00 +0000146 // Patch the map to have an accessor for "get".
147 Handle<Map> map(function->initial_map());
148 Handle<DescriptorArray> instance_descriptors(map->instance_descriptors());
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000149 DCHECK(instance_descriptors->IsEmpty());
150
151 PropertyAttributes attrs = static_cast<PropertyAttributes>(0);
152 Handle<AccessorInfo> foreign = TestAccessorInfo(isolate, attrs);
153 Map::EnsureDescriptorSlack(map, 1);
154
155 CallbacksDescriptor d(Handle<Name>(Name::cast(foreign->name())),
156 foreign, attrs);
157 map->AppendDescriptor(&d);
158
Steve Blocka7e24c12009-10-30 11:49:00 +0000159 // Add the Foo constructor the global object.
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000160 env->Global()->Set(v8::String::NewFromUtf8(CcTest::isolate(), "Foo"),
161 v8::Utils::ToLocal(function));
Steve Blocka7e24c12009-10-30 11:49:00 +0000162 // Call the accessor through JavaScript.
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000163 v8::Handle<v8::Value> result = v8::Script::Compile(
164 v8::String::NewFromUtf8(CcTest::isolate(), "(new Foo).get"))->Run();
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400165 CHECK_EQ(true, result->BooleanValue());
Steve Blocka7e24c12009-10-30 11:49:00 +0000166 env->Exit();
167}
168
169
170// CodeRange test.
171// Tests memory management in a CodeRange by allocating and freeing blocks,
172// using a pseudorandom generator to choose block sizes geometrically
173// distributed between 2 * Page::kPageSize and 2^5 + 1 * Page::kPageSize.
174// Ensure that the freed chunks are collected and reused by allocating (in
175// total) more than the size of the CodeRange.
176
177// This pseudorandom generator does not need to be particularly good.
178// Use the lower half of the V8::Random() generator.
179unsigned int Pseudorandom() {
180 static uint32_t lo = 2345;
181 lo = 18273 * (lo & 0xFFFF) + (lo >> 16); // Provably not 0.
182 return lo & 0xFFFF;
183}
184
185
186// Plain old data class. Represents a block of allocated memory.
187class Block {
188 public:
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100189 Block(Address base_arg, int size_arg)
Steve Blocka7e24c12009-10-30 11:49:00 +0000190 : base(base_arg), size(size_arg) {}
191
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100192 Address base;
Steve Blocka7e24c12009-10-30 11:49:00 +0000193 int size;
194};
195
196
197TEST(CodeRange) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000198 const size_t code_range_size = 32*MB;
199 CcTest::InitializeVM();
200 CodeRange code_range(reinterpret_cast<Isolate*>(CcTest::isolate()));
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400201 code_range.SetUp(code_range_size +
202 kReservedCodeRangePages * v8::base::OS::CommitPageSize());
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000203 size_t current_allocated = 0;
204 size_t total_allocated = 0;
205 List< ::Block> blocks(1000);
Steve Blocka7e24c12009-10-30 11:49:00 +0000206
207 while (total_allocated < 5 * code_range_size) {
208 if (current_allocated < code_range_size / 10) {
209 // Allocate a block.
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100210 // Geometrically distributed sizes, greater than
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000211 // Page::kMaxRegularHeapObjectSize (which is greater than code page area).
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100212 // TODO(gc): instead of using 3 use some contant based on code_range_size
213 // kMaxHeapObjectSize.
214 size_t requested =
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000215 (Page::kMaxRegularHeapObjectSize << (Pseudorandom() % 3)) +
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100216 Pseudorandom() % 5000 + 1;
Steve Blocka7e24c12009-10-30 11:49:00 +0000217 size_t allocated = 0;
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000218 Address base = code_range.AllocateRawMemory(requested,
219 requested,
220 &allocated);
Ben Murdoch8b112d22011-06-08 16:22:53 +0100221 CHECK(base != NULL);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000222 blocks.Add(::Block(base, static_cast<int>(allocated)));
Steve Blockd0582a62009-12-15 09:54:21 +0000223 current_allocated += static_cast<int>(allocated);
224 total_allocated += static_cast<int>(allocated);
Steve Blocka7e24c12009-10-30 11:49:00 +0000225 } else {
226 // Free a block.
227 int index = Pseudorandom() % blocks.length();
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000228 code_range.FreeRawMemory(blocks[index].base, blocks[index].size);
Steve Blocka7e24c12009-10-30 11:49:00 +0000229 current_allocated -= blocks[index].size;
230 if (index < blocks.length() - 1) {
231 blocks[index] = blocks.RemoveLast();
232 } else {
233 blocks.RemoveLast();
234 }
235 }
236 }
237
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000238 code_range.TearDown();
Steve Blocka7e24c12009-10-30 11:49:00 +0000239}