• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 // Copyright 2014 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 "test/cctest/cctest.h"
29 
30 using namespace v8::internal;
31 
32 
SetUpNewSpaceWithPoisonedMementoAtTop()33 static void SetUpNewSpaceWithPoisonedMementoAtTop() {
34   Isolate* isolate = CcTest::i_isolate();
35   Heap* heap = isolate->heap();
36   NewSpace* new_space = heap->new_space();
37 
38   // Make sure we can allocate some objects without causing a GC later.
39   heap->CollectAllGarbage();
40 
41   // Allocate a string, the GC may suspect a memento behind the string.
42   Handle<SeqOneByteString> string =
43       isolate->factory()->NewRawOneByteString(12).ToHandleChecked();
44   CHECK(*string);
45 
46   // Create an allocation memento behind the string with a garbage allocation
47   // site pointer.
48   AllocationMemento* memento =
49       reinterpret_cast<AllocationMemento*>(new_space->top() + kHeapObjectTag);
50   memento->set_map_no_write_barrier(heap->allocation_memento_map());
51   memento->set_allocation_site(
52       reinterpret_cast<AllocationSite*>(kHeapObjectTag), SKIP_WRITE_BARRIER);
53 }
54 
55 
TEST(Regress340063)56 TEST(Regress340063) {
57   CcTest::InitializeVM();
58   if (!i::FLAG_allocation_site_pretenuring) return;
59   v8::HandleScope scope(CcTest::isolate());
60 
61   SetUpNewSpaceWithPoisonedMementoAtTop();
62 
63   // Call GC to see if we can handle a poisonous memento right after the
64   // current new space top pointer.
65   CcTest::i_isolate()->heap()->CollectAllGarbage(
66       Heap::kAbortIncrementalMarkingMask);
67 }
68 
69 
TEST(Regress470390)70 TEST(Regress470390) {
71   CcTest::InitializeVM();
72   if (!i::FLAG_allocation_site_pretenuring) return;
73   v8::HandleScope scope(CcTest::isolate());
74 
75   SetUpNewSpaceWithPoisonedMementoAtTop();
76 
77   // Set the new space limit to be equal to the top.
78   Address top = CcTest::i_isolate()->heap()->new_space()->top();
79   *(CcTest::i_isolate()->heap()->new_space()->allocation_limit_address()) = top;
80 
81   // Call GC to see if we can handle a poisonous memento right after the
82   // current new space top pointer.
83   CcTest::i_isolate()->heap()->CollectAllGarbage(
84       Heap::kAbortIncrementalMarkingMask);
85 }
86 
87 
TEST(BadMementoAfterTopForceScavenge)88 TEST(BadMementoAfterTopForceScavenge) {
89   CcTest::InitializeVM();
90   if (!i::FLAG_allocation_site_pretenuring) return;
91   v8::HandleScope scope(CcTest::isolate());
92 
93   SetUpNewSpaceWithPoisonedMementoAtTop();
94 
95   // Force GC to test the poisoned memento handling
96   CcTest::i_isolate()->heap()->CollectGarbage(i::NEW_SPACE);
97 }
98