• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 /*
2  * Copyright (c) 2021 Huawei Device Co., Ltd.
3  * Licensed under the Apache License, Version 2.0 (the "License");
4  * you may not use this file except in compliance with the License.
5  * You may obtain a copy of the License at
6  *
7  *     http://www.apache.org/licenses/LICENSE-2.0
8  *
9  * Unless required by applicable law or agreed to in writing, software
10  * distributed under the License is distributed on an "AS IS" BASIS,
11  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12  * See the License for the specific language governing permissions and
13  * limitations under the License.
14  */
15 
16 #include "ecmascript/ecma_vm.h"
17 #include "ecmascript/global_env.h"
18 #include "ecmascript/js_handle.h"
19 #include "ecmascript/object_factory.h"
20 #include "ecmascript/tagged_array-inl.h"
21 #include "ecmascript/mem/concurrent_marker.h"
22 #include "ecmascript/mem/partial_gc.h"
23 #include "ecmascript/tests/ecma_test_common.h"
24 
25 using namespace panda::ecmascript;
26 
27 namespace panda::test {
28 class WeakRefOldGCTest : public BaseTestWithScope<false> {
29 public:
SetUp()30     void SetUp() override
31     {
32         JSRuntimeOptions options;
33         instance = JSNApi::CreateEcmaVM(options);
34         ASSERT_TRUE(instance != nullptr) << "Cannot create EcmaVM";
35         thread = instance->GetJSThread();
36         thread->ManagedCodeBegin();
37         scope = new EcmaHandleScope(thread);
38         auto heap = const_cast<Heap *>(thread->GetEcmaVM()->GetHeap());
39         heap->GetConcurrentMarker()->EnableConcurrentMarking(EnableConcurrentMarkType::ENABLE);
40         heap->GetSweeper()->EnableConcurrentSweep(EnableConcurrentSweepType::ENABLE);
41     }
42 };
43 
JSObjectTestCreate(JSThread * thread)44 static JSObject *JSObjectTestCreate(JSThread *thread)
45 {
46     [[maybe_unused]] ecmascript::EcmaHandleScope scope(thread);
47     EcmaVM *ecmaVM = thread->GetEcmaVM();
48     auto globalEnv = ecmaVM->GetGlobalEnv();
49     JSFunction *jsFunc = globalEnv->GetObjectFunction().GetObject<JSFunction>();
50     JSHandle<JSTaggedValue> jsFunc1(thread, jsFunc);
51     JSHandle<JSObject> newObj =
52         ecmaVM->GetFactory()->NewJSObjectByConstructor(JSHandle<JSFunction>(jsFunc1), jsFunc1);
53     return *newObj;
54 }
55 
ArrayTestCreate(JSThread * thread)56 static TaggedArray *ArrayTestCreate(JSThread *thread)
57 {
58     [[maybe_unused]] ecmascript::EcmaHandleScope scope(thread);
59     // 2 : test case
60     JSHandle<TaggedArray> array = thread->GetEcmaVM()->GetFactory()->NewTaggedArray(2);
61     return *array;
62 }
63 
HWTEST_F_L0(WeakRefOldGCTest,ArrayNonMovable)64 HWTEST_F_L0(WeakRefOldGCTest, ArrayNonMovable)
65 {
66     auto vm = thread->GetEcmaVM();
67     auto array = vm->GetFactory()->NewTaggedArray(2, JSTaggedValue::Undefined(), true);
68     JSHandle<JSObject> newObj1(thread, JSObjectTestCreate(thread));
69     array->Set(thread, 0, newObj1.GetTaggedValue());
70 
71     JSObject *newObj2 = JSObjectTestCreate(thread);
72     JSTaggedValue value(newObj2);
73     value.CreateWeakRef();
74     array->Set(thread, 1, value);
75     EXPECT_EQ(newObj1.GetTaggedValue(), array->Get(thread, 0));
76     EXPECT_EQ(value, array->Get(thread, 1));
77     vm->CollectGarbage(TriggerGCType::OLD_GC);
78     EXPECT_EQ(newObj1.GetTaggedValue(), array->Get(thread, 0));
79     EXPECT_EQ(JSTaggedValue::Undefined(), array->Get(thread, 1));
80 }
81 
HWTEST_F_L0(WeakRefOldGCTest,ArrayUndefined)82 HWTEST_F_L0(WeakRefOldGCTest, ArrayUndefined)
83 {
84     EcmaTestCommon::ArrayUndefinedGcCommon(thread, TriggerGCType::OLD_GC);
85 }
86 
HWTEST_F_L0(WeakRefOldGCTest,ArrayKeep)87 HWTEST_F_L0(WeakRefOldGCTest, ArrayKeep)
88 {
89     EcmaTestCommon::ArrayKeepGcCommon(thread, TriggerGCType::OLD_GC);
90 }
91 
HWTEST_F_L0(WeakRefOldGCTest,ObjectUndefined)92 HWTEST_F_L0(WeakRefOldGCTest, ObjectUndefined)
93 {
94     JSHandle<JSObject> newObj1(thread, JSObjectTestCreate(thread));
95     JSTaggedValue array(ArrayTestCreate(thread));
96     array.CreateWeakRef();
97     newObj1->SetElements(thread, array);
98     EXPECT_EQ(newObj1->GetElements(thread), array);
99     thread->GetEcmaVM()->CollectGarbage(TriggerGCType::OLD_GC);
100     EXPECT_EQ(newObj1->GetElements(thread), JSTaggedValue::Undefined());
101 }
102 
HWTEST_F_L0(WeakRefOldGCTest,ObjectKeep)103 HWTEST_F_L0(WeakRefOldGCTest, ObjectKeep)
104 {
105     JSHandle<JSObject> newObj1(thread, JSObjectTestCreate(thread));
106     JSHandle<TaggedArray> array(thread, ArrayTestCreate(thread));
107     JSTaggedValue value = array.GetTaggedValue();
108     value.CreateWeakRef();
109     newObj1->SetElements(thread, value);
110     EXPECT_EQ(newObj1->GetElements(thread), value);
111     thread->GetEcmaVM()->CollectGarbage(TriggerGCType::OLD_GC);
112     value = array.GetTaggedValue();
113     value.CreateWeakRef();
114     EXPECT_EQ(newObj1->GetElements(thread), value);
115 }
116 
HWTEST_F_L0(WeakRefOldGCTest,WeakRefTest)117 HWTEST_F_L0(WeakRefOldGCTest, WeakRefTest)
118 {
119     ObjectFactory *factory = thread->GetEcmaVM()->GetFactory();
120     std::vector<JSHandle<TaggedArray>> srcArrayHandleRecord;
121     std::vector<JSHandle<TaggedArray>> dstOldArrayHandleRecord;
122     std::vector<JSHandle<TaggedArray>> dstNewArrayHandleRecord;
123     for (int i = 0; i < 128; i++) {
124         JSHandle<TaggedArray> arrayHandle = factory->NewTaggedArray(64, JSTaggedValue::True(),
125                                                                     MemSpaceType::OLD_SPACE);
126         srcArrayHandleRecord.emplace_back(arrayHandle);
127     }
128     for (int i = 0; i < 128; i++) {
129         JSHandle<TaggedArray> arrayHandle = factory->NewTaggedArray(128, JSTaggedValue::True(),
130                                                                     MemSpaceType::OLD_SPACE);
131         dstOldArrayHandleRecord.emplace_back(arrayHandle);
132     }
133     for (int i = 0; i < 128; i++) {
134         JSHandle<TaggedArray> arrayHandle = factory->NewTaggedArray(128, JSTaggedValue::True(),
135                                                                     MemSpaceType::SEMI_SPACE);
136         dstNewArrayHandleRecord.emplace_back(arrayHandle);
137     }
138     for (auto it : srcArrayHandleRecord) {
139         uint32_t countIndex = 0;
140         std::random_device randomDevice;
141         std::shuffle(dstOldArrayHandleRecord.begin(), dstOldArrayHandleRecord.end(), std::mt19937(randomDevice()));
142         for (auto it2 : dstOldArrayHandleRecord) {
143             if (Region::ObjectAddressToRange(it2.GetTaggedValue().GetTaggedObject())->InGeneralOldSpace()) {
144                 JSTaggedValue valueWeak = it2.GetTaggedValue().CreateAndGetWeakRef();
145                 it->Set<true>(thread, countIndex, valueWeak);
146                 if (++countIndex >= 40) {
147                     break;
148                 }
149             }
150         }
151     }
152     auto heap = const_cast<Heap *>(thread->GetEcmaVM()->GetHeap());
153     if (heap->CheckOngoingConcurrentMarking()) {
154         heap->GetConcurrentMarker()->Reset();
155     }
156     heap->SetMarkType(MarkType::MARK_FULL);
157     heap->TriggerConcurrentMarking();
158     std::this_thread::sleep_for(std::chrono::seconds(3));
159     for (auto it : srcArrayHandleRecord) {
160         uint32_t countIndex = 0;
161         std::random_device randomDevice;
162         std::shuffle(dstNewArrayHandleRecord.begin(), dstNewArrayHandleRecord.end(), std::mt19937(randomDevice()));
163         for (auto it2 : dstNewArrayHandleRecord) {
164             if (Region::ObjectAddressToRange(it2.GetTaggedValue().GetTaggedObject())->InYoungSpace()) {
165                 JSTaggedValue valueWeak = it2.GetTaggedValue().CreateAndGetWeakRef();
166                 it->Set<true>(thread, countIndex, valueWeak);
167                 if (++countIndex >= 40) {
168                     break;
169                 }
170             }
171         }
172     }
173     auto partialGc = heap->GetPartialGC();
174     partialGc->RunPhases();
175     for (auto it : dstOldArrayHandleRecord) {
176         EXPECT_TRUE(it.GetTaggedValue() != JSTaggedValue::Undefined());
177     }
178     for (auto it : dstNewArrayHandleRecord) {
179         EXPECT_TRUE(it.GetTaggedValue() != JSTaggedValue::Undefined());
180     }
181     for (auto it : srcArrayHandleRecord) {
182         for (uint32_t i = 0; i < 40; i++) {
183             EXPECT_TRUE(it->Get(thread, i) != JSTaggedValue::Undefined());
184         }
185     }
186 }
187 }  // namespace panda::test
188