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(0));
76 EXPECT_EQ(value, array->Get(1));
77 vm->CollectGarbage(TriggerGCType::OLD_GC);
78 EXPECT_EQ(newObj1.GetTaggedValue(), array->Get(0));
79 EXPECT_EQ(JSTaggedValue::Undefined(), array->Get(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(), array);
99 thread->GetEcmaVM()->CollectGarbage(TriggerGCType::OLD_GC);
100 EXPECT_EQ(newObj1->GetElements(), 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(), value);
111 thread->GetEcmaVM()->CollectGarbage(TriggerGCType::OLD_GC);
112 value = array.GetTaggedValue();
113 value.CreateWeakRef();
114 EXPECT_EQ(newObj1->GetElements(), 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(i) != JSTaggedValue::Undefined());
184 }
185 }
186 }
187 } // namespace panda::test
188