Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 1 | // Copyright 2006-2008 the V8 project authors. All rights reserved. |
| 2 | // 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 | |
| 28 | #include <stdlib.h> |
| 29 | |
| 30 | #include "v8.h" |
| 31 | |
| 32 | #include "global-handles.h" |
| 33 | #include "snapshot.h" |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 34 | #include "cctest.h" |
| 35 | |
| 36 | using namespace v8::internal; |
| 37 | |
| 38 | static v8::Persistent<v8::Context> env; |
| 39 | |
| 40 | static void InitializeVM() { |
| 41 | if (env.IsEmpty()) env = v8::Context::New(); |
| 42 | v8::HandleScope scope; |
| 43 | env->Enter(); |
| 44 | } |
| 45 | |
| 46 | |
Ben Murdoch | 592a9fc | 2012-03-05 11:04:45 +0000 | [diff] [blame^] | 47 | TEST(MarkingDeque) { |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 48 | int mem_size = 20 * kPointerSize; |
| 49 | byte* mem = NewArray<byte>(20*kPointerSize); |
| 50 | Address low = reinterpret_cast<Address>(mem); |
| 51 | Address high = low + mem_size; |
Ben Murdoch | 592a9fc | 2012-03-05 11:04:45 +0000 | [diff] [blame^] | 52 | MarkingDeque s; |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 53 | s.Initialize(low, high); |
| 54 | |
| 55 | Address address = NULL; |
Ben Murdoch | 592a9fc | 2012-03-05 11:04:45 +0000 | [diff] [blame^] | 56 | while (!s.IsFull()) { |
| 57 | s.PushBlack(HeapObject::FromAddress(address)); |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 58 | address += kPointerSize; |
| 59 | } |
| 60 | |
Ben Murdoch | 592a9fc | 2012-03-05 11:04:45 +0000 | [diff] [blame^] | 61 | while (!s.IsEmpty()) { |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 62 | Address value = s.Pop()->address(); |
| 63 | address -= kPointerSize; |
| 64 | CHECK_EQ(address, value); |
| 65 | } |
| 66 | |
| 67 | CHECK_EQ(NULL, address); |
| 68 | DeleteArray(mem); |
| 69 | } |
| 70 | |
| 71 | |
| 72 | TEST(Promotion) { |
Ben Murdoch | b0fe162 | 2011-05-05 13:52:32 +0100 | [diff] [blame] | 73 | // This test requires compaction. If compaction is turned off, we |
| 74 | // skip the entire test. |
| 75 | if (FLAG_never_compact) return; |
| 76 | |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 77 | // Ensure that we get a compacting collection so that objects are promoted |
| 78 | // from new space. |
| 79 | FLAG_gc_global = true; |
| 80 | FLAG_always_compact = true; |
Ben Murdoch | 592a9fc | 2012-03-05 11:04:45 +0000 | [diff] [blame^] | 81 | HEAP->ConfigureHeap(2*256*KB, 8*MB, 8*MB); |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 82 | |
| 83 | InitializeVM(); |
| 84 | |
| 85 | v8::HandleScope sc; |
| 86 | |
| 87 | // Allocate a fixed array in the new space. |
| 88 | int array_size = |
Ben Murdoch | 592a9fc | 2012-03-05 11:04:45 +0000 | [diff] [blame^] | 89 | (Page::kMaxNonCodeHeapObjectSize - FixedArray::kHeaderSize) / |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 90 | (kPointerSize * 4); |
Steve Block | 44f0eee | 2011-05-26 01:26:41 +0100 | [diff] [blame] | 91 | Object* obj = HEAP->AllocateFixedArray(array_size)->ToObjectChecked(); |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 92 | |
| 93 | Handle<FixedArray> array(FixedArray::cast(obj)); |
| 94 | |
| 95 | // Array should be in the new space. |
Steve Block | 44f0eee | 2011-05-26 01:26:41 +0100 | [diff] [blame] | 96 | CHECK(HEAP->InSpace(*array, NEW_SPACE)); |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 97 | |
| 98 | // Call the m-c collector, so array becomes an old object. |
Steve Block | 44f0eee | 2011-05-26 01:26:41 +0100 | [diff] [blame] | 99 | HEAP->CollectGarbage(OLD_POINTER_SPACE); |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 100 | |
| 101 | // Array now sits in the old space |
Steve Block | 44f0eee | 2011-05-26 01:26:41 +0100 | [diff] [blame] | 102 | CHECK(HEAP->InSpace(*array, OLD_POINTER_SPACE)); |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 103 | } |
| 104 | |
| 105 | |
| 106 | TEST(NoPromotion) { |
Ben Murdoch | 592a9fc | 2012-03-05 11:04:45 +0000 | [diff] [blame^] | 107 | HEAP->ConfigureHeap(2*256*KB, 8*MB, 8*MB); |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 108 | |
| 109 | // Test the situation that some objects in new space are promoted to |
| 110 | // the old space |
| 111 | InitializeVM(); |
| 112 | |
| 113 | v8::HandleScope sc; |
| 114 | |
| 115 | // Do a mark compact GC to shrink the heap. |
Steve Block | 44f0eee | 2011-05-26 01:26:41 +0100 | [diff] [blame] | 116 | HEAP->CollectGarbage(OLD_POINTER_SPACE); |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 117 | |
| 118 | // Allocate a big Fixed array in the new space. |
Ben Murdoch | 592a9fc | 2012-03-05 11:04:45 +0000 | [diff] [blame^] | 119 | int max_size = |
| 120 | Min(Page::kMaxNonCodeHeapObjectSize, HEAP->MaxObjectSizeInNewSpace()); |
| 121 | |
| 122 | int length = (max_size - FixedArray::kHeaderSize) / (2*kPointerSize); |
| 123 | Object* obj = i::Isolate::Current()->heap()->AllocateFixedArray(length)-> |
| 124 | ToObjectChecked(); |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 125 | |
| 126 | Handle<FixedArray> array(FixedArray::cast(obj)); |
| 127 | |
| 128 | // Array still stays in the new space. |
Steve Block | 44f0eee | 2011-05-26 01:26:41 +0100 | [diff] [blame] | 129 | CHECK(HEAP->InSpace(*array, NEW_SPACE)); |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 130 | |
| 131 | // Allocate objects in the old space until out of memory. |
| 132 | FixedArray* host = *array; |
| 133 | while (true) { |
John Reck | 5913587 | 2010-11-02 12:39:01 -0700 | [diff] [blame] | 134 | Object* obj; |
Steve Block | 44f0eee | 2011-05-26 01:26:41 +0100 | [diff] [blame] | 135 | { MaybeObject* maybe_obj = HEAP->AllocateFixedArray(100, TENURED); |
John Reck | 5913587 | 2010-11-02 12:39:01 -0700 | [diff] [blame] | 136 | if (!maybe_obj->ToObject(&obj)) break; |
| 137 | } |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 138 | |
| 139 | host->set(0, obj); |
| 140 | host = FixedArray::cast(obj); |
| 141 | } |
| 142 | |
| 143 | // Call mark compact GC, and it should pass. |
Steve Block | 44f0eee | 2011-05-26 01:26:41 +0100 | [diff] [blame] | 144 | HEAP->CollectGarbage(OLD_POINTER_SPACE); |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 145 | |
| 146 | // array should not be promoted because the old space is full. |
Steve Block | 44f0eee | 2011-05-26 01:26:41 +0100 | [diff] [blame] | 147 | CHECK(HEAP->InSpace(*array, NEW_SPACE)); |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 148 | } |
| 149 | |
| 150 | |
| 151 | TEST(MarkCompactCollector) { |
| 152 | InitializeVM(); |
| 153 | |
| 154 | v8::HandleScope sc; |
| 155 | // call mark-compact when heap is empty |
Steve Block | 44f0eee | 2011-05-26 01:26:41 +0100 | [diff] [blame] | 156 | HEAP->CollectGarbage(OLD_POINTER_SPACE); |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 157 | |
| 158 | // keep allocating garbage in new space until it fails |
| 159 | const int ARRAY_SIZE = 100; |
| 160 | Object* array; |
John Reck | 5913587 | 2010-11-02 12:39:01 -0700 | [diff] [blame] | 161 | MaybeObject* maybe_array; |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 162 | do { |
Steve Block | 44f0eee | 2011-05-26 01:26:41 +0100 | [diff] [blame] | 163 | maybe_array = HEAP->AllocateFixedArray(ARRAY_SIZE); |
John Reck | 5913587 | 2010-11-02 12:39:01 -0700 | [diff] [blame] | 164 | } while (maybe_array->ToObject(&array)); |
Steve Block | 44f0eee | 2011-05-26 01:26:41 +0100 | [diff] [blame] | 165 | HEAP->CollectGarbage(NEW_SPACE); |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 166 | |
Steve Block | 44f0eee | 2011-05-26 01:26:41 +0100 | [diff] [blame] | 167 | array = HEAP->AllocateFixedArray(ARRAY_SIZE)->ToObjectChecked(); |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 168 | |
| 169 | // keep allocating maps until it fails |
| 170 | Object* mapp; |
John Reck | 5913587 | 2010-11-02 12:39:01 -0700 | [diff] [blame] | 171 | MaybeObject* maybe_mapp; |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 172 | do { |
Steve Block | 44f0eee | 2011-05-26 01:26:41 +0100 | [diff] [blame] | 173 | maybe_mapp = HEAP->AllocateMap(JS_OBJECT_TYPE, JSObject::kHeaderSize); |
John Reck | 5913587 | 2010-11-02 12:39:01 -0700 | [diff] [blame] | 174 | } while (maybe_mapp->ToObject(&mapp)); |
Steve Block | 44f0eee | 2011-05-26 01:26:41 +0100 | [diff] [blame] | 175 | HEAP->CollectGarbage(MAP_SPACE); |
| 176 | mapp = HEAP->AllocateMap(JS_OBJECT_TYPE, |
John Reck | 5913587 | 2010-11-02 12:39:01 -0700 | [diff] [blame] | 177 | JSObject::kHeaderSize)->ToObjectChecked(); |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 178 | |
| 179 | // allocate a garbage |
John Reck | 5913587 | 2010-11-02 12:39:01 -0700 | [diff] [blame] | 180 | String* func_name = |
Steve Block | 44f0eee | 2011-05-26 01:26:41 +0100 | [diff] [blame] | 181 | String::cast(HEAP->LookupAsciiSymbol("theFunction")->ToObjectChecked()); |
John Reck | 5913587 | 2010-11-02 12:39:01 -0700 | [diff] [blame] | 182 | SharedFunctionInfo* function_share = SharedFunctionInfo::cast( |
Steve Block | 44f0eee | 2011-05-26 01:26:41 +0100 | [diff] [blame] | 183 | HEAP->AllocateSharedFunctionInfo(func_name)->ToObjectChecked()); |
John Reck | 5913587 | 2010-11-02 12:39:01 -0700 | [diff] [blame] | 184 | JSFunction* function = JSFunction::cast( |
Steve Block | 44f0eee | 2011-05-26 01:26:41 +0100 | [diff] [blame] | 185 | HEAP->AllocateFunction(*Isolate::Current()->function_map(), |
John Reck | 5913587 | 2010-11-02 12:39:01 -0700 | [diff] [blame] | 186 | function_share, |
Steve Block | 44f0eee | 2011-05-26 01:26:41 +0100 | [diff] [blame] | 187 | HEAP->undefined_value())->ToObjectChecked()); |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 188 | Map* initial_map = |
Steve Block | 44f0eee | 2011-05-26 01:26:41 +0100 | [diff] [blame] | 189 | Map::cast(HEAP->AllocateMap(JS_OBJECT_TYPE, |
John Reck | 5913587 | 2010-11-02 12:39:01 -0700 | [diff] [blame] | 190 | JSObject::kHeaderSize)->ToObjectChecked()); |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 191 | function->set_initial_map(initial_map); |
Steve Block | 44f0eee | 2011-05-26 01:26:41 +0100 | [diff] [blame] | 192 | Isolate::Current()->context()->global()->SetProperty( |
| 193 | func_name, function, NONE, kNonStrictMode)->ToObjectChecked(); |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 194 | |
Steve Block | 44f0eee | 2011-05-26 01:26:41 +0100 | [diff] [blame] | 195 | JSObject* obj = JSObject::cast( |
| 196 | HEAP->AllocateJSObject(function)->ToObjectChecked()); |
| 197 | HEAP->CollectGarbage(OLD_POINTER_SPACE); |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 198 | |
John Reck | 5913587 | 2010-11-02 12:39:01 -0700 | [diff] [blame] | 199 | func_name = |
Steve Block | 44f0eee | 2011-05-26 01:26:41 +0100 | [diff] [blame] | 200 | String::cast(HEAP->LookupAsciiSymbol("theFunction")->ToObjectChecked()); |
| 201 | CHECK(Isolate::Current()->context()->global()->HasLocalProperty(func_name)); |
| 202 | Object* func_value = Isolate::Current()->context()->global()-> |
| 203 | GetProperty(func_name)->ToObjectChecked(); |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 204 | CHECK(func_value->IsJSFunction()); |
| 205 | function = JSFunction::cast(func_value); |
| 206 | |
Steve Block | 44f0eee | 2011-05-26 01:26:41 +0100 | [diff] [blame] | 207 | obj = JSObject::cast(HEAP->AllocateJSObject(function)->ToObjectChecked()); |
John Reck | 5913587 | 2010-11-02 12:39:01 -0700 | [diff] [blame] | 208 | String* obj_name = |
Steve Block | 44f0eee | 2011-05-26 01:26:41 +0100 | [diff] [blame] | 209 | String::cast(HEAP->LookupAsciiSymbol("theObject")->ToObjectChecked()); |
| 210 | Isolate::Current()->context()->global()->SetProperty( |
| 211 | obj_name, obj, NONE, kNonStrictMode)->ToObjectChecked(); |
John Reck | 5913587 | 2010-11-02 12:39:01 -0700 | [diff] [blame] | 212 | String* prop_name = |
Steve Block | 44f0eee | 2011-05-26 01:26:41 +0100 | [diff] [blame] | 213 | String::cast(HEAP->LookupAsciiSymbol("theSlot")->ToObjectChecked()); |
Ben Murdoch | e0cee9b | 2011-05-25 10:26:03 +0100 | [diff] [blame] | 214 | obj->SetProperty(prop_name, |
| 215 | Smi::FromInt(23), |
| 216 | NONE, |
| 217 | kNonStrictMode)->ToObjectChecked(); |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 218 | |
Steve Block | 44f0eee | 2011-05-26 01:26:41 +0100 | [diff] [blame] | 219 | HEAP->CollectGarbage(OLD_POINTER_SPACE); |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 220 | |
John Reck | 5913587 | 2010-11-02 12:39:01 -0700 | [diff] [blame] | 221 | obj_name = |
Steve Block | 44f0eee | 2011-05-26 01:26:41 +0100 | [diff] [blame] | 222 | String::cast(HEAP->LookupAsciiSymbol("theObject")->ToObjectChecked()); |
| 223 | CHECK(Isolate::Current()->context()->global()->HasLocalProperty(obj_name)); |
| 224 | CHECK(Isolate::Current()->context()->global()-> |
| 225 | GetProperty(obj_name)->ToObjectChecked()->IsJSObject()); |
| 226 | obj = JSObject::cast(Isolate::Current()->context()->global()-> |
| 227 | GetProperty(obj_name)->ToObjectChecked()); |
John Reck | 5913587 | 2010-11-02 12:39:01 -0700 | [diff] [blame] | 228 | prop_name = |
Steve Block | 44f0eee | 2011-05-26 01:26:41 +0100 | [diff] [blame] | 229 | String::cast(HEAP->LookupAsciiSymbol("theSlot")->ToObjectChecked()); |
| 230 | CHECK(obj->GetProperty(prop_name) == Smi::FromInt(23)); |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 231 | } |
| 232 | |
| 233 | |
Ben Murdoch | 592a9fc | 2012-03-05 11:04:45 +0000 | [diff] [blame^] | 234 | // TODO(1600): compaction of map space is temporary removed from GC. |
| 235 | #if 0 |
Leon Clarke | d91b9f7 | 2010-01-27 17:25:45 +0000 | [diff] [blame] | 236 | static Handle<Map> CreateMap() { |
Steve Block | 44f0eee | 2011-05-26 01:26:41 +0100 | [diff] [blame] | 237 | return FACTORY->NewMap(JS_OBJECT_TYPE, JSObject::kHeaderSize); |
Leon Clarke | d91b9f7 | 2010-01-27 17:25:45 +0000 | [diff] [blame] | 238 | } |
| 239 | |
| 240 | |
| 241 | TEST(MapCompact) { |
| 242 | FLAG_max_map_space_pages = 16; |
| 243 | InitializeVM(); |
| 244 | |
| 245 | { |
| 246 | v8::HandleScope sc; |
| 247 | // keep allocating maps while pointers are still encodable and thus |
| 248 | // mark compact is permitted. |
Steve Block | 44f0eee | 2011-05-26 01:26:41 +0100 | [diff] [blame] | 249 | Handle<JSObject> root = FACTORY->NewJSObjectFromMap(CreateMap()); |
Leon Clarke | d91b9f7 | 2010-01-27 17:25:45 +0000 | [diff] [blame] | 250 | do { |
| 251 | Handle<Map> map = CreateMap(); |
| 252 | map->set_prototype(*root); |
Steve Block | 44f0eee | 2011-05-26 01:26:41 +0100 | [diff] [blame] | 253 | root = FACTORY->NewJSObjectFromMap(map); |
| 254 | } while (HEAP->map_space()->MapPointersEncodable()); |
Leon Clarke | d91b9f7 | 2010-01-27 17:25:45 +0000 | [diff] [blame] | 255 | } |
| 256 | // Now, as we don't have any handles to just allocated maps, we should |
| 257 | // be able to trigger map compaction. |
| 258 | // To give an additional chance to fail, try to force compaction which |
| 259 | // should be impossible right now. |
Ben Murdoch | 592a9fc | 2012-03-05 11:04:45 +0000 | [diff] [blame^] | 260 | HEAP->CollectAllGarbage(Heap::kForceCompactionMask); |
Leon Clarke | d91b9f7 | 2010-01-27 17:25:45 +0000 | [diff] [blame] | 261 | // And now map pointers should be encodable again. |
Steve Block | 44f0eee | 2011-05-26 01:26:41 +0100 | [diff] [blame] | 262 | CHECK(HEAP->map_space()->MapPointersEncodable()); |
Leon Clarke | d91b9f7 | 2010-01-27 17:25:45 +0000 | [diff] [blame] | 263 | } |
Ben Murdoch | 592a9fc | 2012-03-05 11:04:45 +0000 | [diff] [blame^] | 264 | #endif |
Leon Clarke | d91b9f7 | 2010-01-27 17:25:45 +0000 | [diff] [blame] | 265 | |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 266 | static int gc_starts = 0; |
| 267 | static int gc_ends = 0; |
| 268 | |
| 269 | static void GCPrologueCallbackFunc() { |
| 270 | CHECK(gc_starts == gc_ends); |
| 271 | gc_starts++; |
| 272 | } |
| 273 | |
| 274 | |
| 275 | static void GCEpilogueCallbackFunc() { |
| 276 | CHECK(gc_starts == gc_ends + 1); |
| 277 | gc_ends++; |
| 278 | } |
| 279 | |
| 280 | |
| 281 | TEST(GCCallback) { |
| 282 | InitializeVM(); |
| 283 | |
Steve Block | 44f0eee | 2011-05-26 01:26:41 +0100 | [diff] [blame] | 284 | HEAP->SetGlobalGCPrologueCallback(&GCPrologueCallbackFunc); |
| 285 | HEAP->SetGlobalGCEpilogueCallback(&GCEpilogueCallbackFunc); |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 286 | |
| 287 | // Scavenge does not call GC callback functions. |
Steve Block | 44f0eee | 2011-05-26 01:26:41 +0100 | [diff] [blame] | 288 | HEAP->PerformScavenge(); |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 289 | |
| 290 | CHECK_EQ(0, gc_starts); |
| 291 | CHECK_EQ(gc_ends, gc_starts); |
| 292 | |
Steve Block | 44f0eee | 2011-05-26 01:26:41 +0100 | [diff] [blame] | 293 | HEAP->CollectGarbage(OLD_POINTER_SPACE); |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 294 | CHECK_EQ(1, gc_starts); |
| 295 | CHECK_EQ(gc_ends, gc_starts); |
| 296 | } |
| 297 | |
| 298 | |
| 299 | static int NumberOfWeakCalls = 0; |
| 300 | static void WeakPointerCallback(v8::Persistent<v8::Value> handle, void* id) { |
Steve Block | 44f0eee | 2011-05-26 01:26:41 +0100 | [diff] [blame] | 301 | ASSERT(id == reinterpret_cast<void*>(1234)); |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 302 | NumberOfWeakCalls++; |
Kristian Monsen | 50ef84f | 2010-07-29 15:18:00 +0100 | [diff] [blame] | 303 | handle.Dispose(); |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 304 | } |
| 305 | |
| 306 | TEST(ObjectGroups) { |
| 307 | InitializeVM(); |
Ben Murdoch | 8b112d2 | 2011-06-08 16:22:53 +0100 | [diff] [blame] | 308 | GlobalHandles* global_handles = Isolate::Current()->global_handles(); |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 309 | |
| 310 | NumberOfWeakCalls = 0; |
| 311 | v8::HandleScope handle_scope; |
| 312 | |
| 313 | Handle<Object> g1s1 = |
Steve Block | 44f0eee | 2011-05-26 01:26:41 +0100 | [diff] [blame] | 314 | global_handles->Create(HEAP->AllocateFixedArray(1)->ToObjectChecked()); |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 315 | Handle<Object> g1s2 = |
Ben Murdoch | 8b112d2 | 2011-06-08 16:22:53 +0100 | [diff] [blame] | 316 | global_handles->Create(HEAP->AllocateFixedArray(1)->ToObjectChecked()); |
Steve Block | 44f0eee | 2011-05-26 01:26:41 +0100 | [diff] [blame] | 317 | Handle<Object> g1c1 = |
Ben Murdoch | 8b112d2 | 2011-06-08 16:22:53 +0100 | [diff] [blame] | 318 | global_handles->Create(HEAP->AllocateFixedArray(1)->ToObjectChecked()); |
Steve Block | 44f0eee | 2011-05-26 01:26:41 +0100 | [diff] [blame] | 319 | global_handles->MakeWeak(g1s1.location(), |
| 320 | reinterpret_cast<void*>(1234), |
| 321 | &WeakPointerCallback); |
| 322 | global_handles->MakeWeak(g1s2.location(), |
| 323 | reinterpret_cast<void*>(1234), |
| 324 | &WeakPointerCallback); |
| 325 | global_handles->MakeWeak(g1c1.location(), |
| 326 | reinterpret_cast<void*>(1234), |
| 327 | &WeakPointerCallback); |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 328 | |
| 329 | Handle<Object> g2s1 = |
Steve Block | 44f0eee | 2011-05-26 01:26:41 +0100 | [diff] [blame] | 330 | global_handles->Create(HEAP->AllocateFixedArray(1)->ToObjectChecked()); |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 331 | Handle<Object> g2s2 = |
Steve Block | 44f0eee | 2011-05-26 01:26:41 +0100 | [diff] [blame] | 332 | global_handles->Create(HEAP->AllocateFixedArray(1)->ToObjectChecked()); |
| 333 | Handle<Object> g2c1 = |
| 334 | global_handles->Create(HEAP->AllocateFixedArray(1)->ToObjectChecked()); |
| 335 | global_handles->MakeWeak(g2s1.location(), |
| 336 | reinterpret_cast<void*>(1234), |
| 337 | &WeakPointerCallback); |
| 338 | global_handles->MakeWeak(g2s2.location(), |
| 339 | reinterpret_cast<void*>(1234), |
| 340 | &WeakPointerCallback); |
| 341 | global_handles->MakeWeak(g2c1.location(), |
| 342 | reinterpret_cast<void*>(1234), |
| 343 | &WeakPointerCallback); |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 344 | |
Steve Block | 44f0eee | 2011-05-26 01:26:41 +0100 | [diff] [blame] | 345 | Handle<Object> root = global_handles->Create(*g1s1); // make a root. |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 346 | |
| 347 | // Connect group 1 and 2, make a cycle. |
| 348 | Handle<FixedArray>::cast(g1s2)->set(0, *g2s2); |
| 349 | Handle<FixedArray>::cast(g2s1)->set(0, *g1s1); |
| 350 | |
| 351 | { |
| 352 | Object** g1_objects[] = { g1s1.location(), g1s2.location() }; |
Steve Block | 44f0eee | 2011-05-26 01:26:41 +0100 | [diff] [blame] | 353 | Object** g1_children[] = { g1c1.location() }; |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 354 | Object** g2_objects[] = { g2s1.location(), g2s2.location() }; |
Steve Block | 44f0eee | 2011-05-26 01:26:41 +0100 | [diff] [blame] | 355 | Object** g2_children[] = { g2c1.location() }; |
| 356 | global_handles->AddObjectGroup(g1_objects, 2, NULL); |
Ben Murdoch | 8b112d2 | 2011-06-08 16:22:53 +0100 | [diff] [blame] | 357 | global_handles->AddImplicitReferences( |
| 358 | Handle<HeapObject>::cast(g1s1).location(), g1_children, 1); |
Steve Block | 44f0eee | 2011-05-26 01:26:41 +0100 | [diff] [blame] | 359 | global_handles->AddObjectGroup(g2_objects, 2, NULL); |
Ben Murdoch | 8b112d2 | 2011-06-08 16:22:53 +0100 | [diff] [blame] | 360 | global_handles->AddImplicitReferences( |
| 361 | Handle<HeapObject>::cast(g2s2).location(), g2_children, 1); |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 362 | } |
| 363 | // Do a full GC |
Steve Block | 44f0eee | 2011-05-26 01:26:41 +0100 | [diff] [blame] | 364 | HEAP->CollectGarbage(OLD_POINTER_SPACE); |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 365 | |
| 366 | // All object should be alive. |
| 367 | CHECK_EQ(0, NumberOfWeakCalls); |
| 368 | |
| 369 | // Weaken the root. |
Steve Block | 44f0eee | 2011-05-26 01:26:41 +0100 | [diff] [blame] | 370 | global_handles->MakeWeak(root.location(), |
| 371 | reinterpret_cast<void*>(1234), |
| 372 | &WeakPointerCallback); |
| 373 | // But make children strong roots---all the objects (except for children) |
| 374 | // should be collectable now. |
| 375 | global_handles->ClearWeakness(g1c1.location()); |
| 376 | global_handles->ClearWeakness(g2c1.location()); |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 377 | |
| 378 | // Groups are deleted, rebuild groups. |
| 379 | { |
| 380 | Object** g1_objects[] = { g1s1.location(), g1s2.location() }; |
Steve Block | 44f0eee | 2011-05-26 01:26:41 +0100 | [diff] [blame] | 381 | Object** g1_children[] = { g1c1.location() }; |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 382 | Object** g2_objects[] = { g2s1.location(), g2s2.location() }; |
Steve Block | 44f0eee | 2011-05-26 01:26:41 +0100 | [diff] [blame] | 383 | Object** g2_children[] = { g2c1.location() }; |
| 384 | global_handles->AddObjectGroup(g1_objects, 2, NULL); |
Ben Murdoch | 8b112d2 | 2011-06-08 16:22:53 +0100 | [diff] [blame] | 385 | global_handles->AddImplicitReferences( |
| 386 | Handle<HeapObject>::cast(g1s1).location(), g1_children, 1); |
Steve Block | 44f0eee | 2011-05-26 01:26:41 +0100 | [diff] [blame] | 387 | global_handles->AddObjectGroup(g2_objects, 2, NULL); |
Ben Murdoch | 8b112d2 | 2011-06-08 16:22:53 +0100 | [diff] [blame] | 388 | global_handles->AddImplicitReferences( |
| 389 | Handle<HeapObject>::cast(g2s2).location(), g2_children, 1); |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 390 | } |
| 391 | |
Steve Block | 44f0eee | 2011-05-26 01:26:41 +0100 | [diff] [blame] | 392 | HEAP->CollectGarbage(OLD_POINTER_SPACE); |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 393 | |
| 394 | // All objects should be gone. 5 global handles in total. |
| 395 | CHECK_EQ(5, NumberOfWeakCalls); |
Steve Block | 44f0eee | 2011-05-26 01:26:41 +0100 | [diff] [blame] | 396 | |
| 397 | // And now make children weak again and collect them. |
| 398 | global_handles->MakeWeak(g1c1.location(), |
| 399 | reinterpret_cast<void*>(1234), |
| 400 | &WeakPointerCallback); |
| 401 | global_handles->MakeWeak(g2c1.location(), |
| 402 | reinterpret_cast<void*>(1234), |
| 403 | &WeakPointerCallback); |
| 404 | |
| 405 | HEAP->CollectGarbage(OLD_POINTER_SPACE); |
| 406 | CHECK_EQ(7, NumberOfWeakCalls); |
Steve Block | a7e24c1 | 2009-10-30 11:49:00 +0000 | [diff] [blame] | 407 | } |
Ben Murdoch | 8b112d2 | 2011-06-08 16:22:53 +0100 | [diff] [blame] | 408 | |
| 409 | |
| 410 | class TestRetainedObjectInfo : public v8::RetainedObjectInfo { |
| 411 | public: |
| 412 | TestRetainedObjectInfo() : has_been_disposed_(false) {} |
| 413 | |
| 414 | bool has_been_disposed() { return has_been_disposed_; } |
| 415 | |
| 416 | virtual void Dispose() { |
| 417 | ASSERT(!has_been_disposed_); |
| 418 | has_been_disposed_ = true; |
| 419 | } |
| 420 | |
| 421 | virtual bool IsEquivalent(v8::RetainedObjectInfo* other) { |
| 422 | return other == this; |
| 423 | } |
| 424 | |
| 425 | virtual intptr_t GetHash() { return 0; } |
| 426 | |
| 427 | virtual const char* GetLabel() { return "whatever"; } |
| 428 | |
| 429 | private: |
| 430 | bool has_been_disposed_; |
| 431 | }; |
| 432 | |
| 433 | |
| 434 | TEST(EmptyObjectGroups) { |
| 435 | InitializeVM(); |
| 436 | GlobalHandles* global_handles = Isolate::Current()->global_handles(); |
| 437 | |
| 438 | v8::HandleScope handle_scope; |
| 439 | |
| 440 | Handle<Object> object = |
| 441 | global_handles->Create(HEAP->AllocateFixedArray(1)->ToObjectChecked()); |
| 442 | |
| 443 | TestRetainedObjectInfo info; |
| 444 | global_handles->AddObjectGroup(NULL, 0, &info); |
| 445 | ASSERT(info.has_been_disposed()); |
| 446 | |
| 447 | global_handles->AddImplicitReferences( |
| 448 | Handle<HeapObject>::cast(object).location(), NULL, 0); |
| 449 | } |