1 /**
2 * Copyright (c) 2021-2022 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 #ifndef PANDA_RUNTIME_MEM_GC_DYNAMIC_GC_MARKER_DYNAMIC_INL_H
17 #define PANDA_RUNTIME_MEM_GC_DYNAMIC_GC_MARKER_DYNAMIC_INL_H
18
19 #include "runtime/mem/gc/gc_marker.h"
20 #include "runtime/include/coretypes/dyn_objects.h"
21
22 namespace panda::mem {
23 template <typename Marker>
HandleObject(GCMarkingStackType * objects_stack,const ObjectHeader * object,const BaseClass * base_cls)24 void GCMarker<Marker, LANG_TYPE_DYNAMIC, false>::HandleObject(GCMarkingStackType *objects_stack,
25 const ObjectHeader *object, const BaseClass *base_cls)
26 {
27 ASSERT(base_cls->IsDynamicClass());
28 auto *cls = static_cast<const HClass *>(base_cls);
29 // Handle dyn_class
30 ObjectHeader *dyn_class = cls->GetManagedObject();
31 if (AsMarker()->MarkIfNotMarked(dyn_class)) {
32 objects_stack->PushToStack(object, dyn_class);
33 }
34 // mark object data
35 uint32_t obj_body_size = cls->GetObjectSize() - ObjectHeader::ObjectHeaderSize();
36 ASSERT(obj_body_size % TaggedValue::TaggedTypeSize() == 0);
37 uint32_t num_of_fields = obj_body_size / TaggedValue::TaggedTypeSize();
38 size_t start_addr = reinterpret_cast<uintptr_t>(object) + ObjectHeader::ObjectHeaderSize();
39 for (uint32_t i = 0; i < num_of_fields; i++) {
40 uint32_t field_offset = i * TaggedValue::TaggedTypeSize();
41 if (cls->IsNativeField(ObjectHeader::ObjectHeaderSize() + field_offset)) {
42 continue;
43 }
44 auto *field_addr = reinterpret_cast<std::atomic<TaggedType> *>(start_addr + field_offset);
45 // Atomic with relaxed order reason: to correct read the value
46 TaggedValue tagged_value(field_addr->load(std::memory_order_relaxed));
47 if (!tagged_value.IsHeapObject()) {
48 continue;
49 }
50
51 ObjectHeader *object_header = tagged_value.GetHeapObject();
52 if (AsMarker()->MarkIfNotMarked(object_header)) {
53 objects_stack->PushToStack(object, object_header);
54 }
55 }
56 }
57
58 template <typename Marker>
HandleClass(GCMarkingStackType * objects_stack,const coretypes::DynClass * cls)59 void GCMarker<Marker, LANG_TYPE_DYNAMIC, false>::HandleClass(GCMarkingStackType *objects_stack,
60 const coretypes::DynClass *cls)
61 {
62 // mark Hclass Data & Prototype
63 HClass *klass = const_cast<coretypes::DynClass *>(cls)->GetHClass();
64 // klass_size is sizeof DynClass include JSHClass, which is saved in root DynClass.
65 size_t klass_size = cls->ClassAddr<HClass>()->GetObjectSize();
66
67 uintptr_t start_addr = reinterpret_cast<uintptr_t>(klass) + sizeof(HClass);
68 size_t body_size = klass_size - sizeof(coretypes::DynClass) - sizeof(HClass);
69 size_t num_of_fields = body_size / TaggedValue::TaggedTypeSize();
70 for (size_t i = 0; i < num_of_fields; i++) {
71 auto *addr = reinterpret_cast<std::atomic<TaggedType> *>(start_addr + i * TaggedValue::TaggedTypeSize());
72 // Atomic with relaxed order reason: to correct read the value
73 coretypes::TaggedValue tagged_value(addr->load(std::memory_order_relaxed));
74 if (!tagged_value.IsHeapObject()) {
75 continue;
76 }
77 ObjectHeader *object_header = tagged_value.GetHeapObject();
78 if (AsMarker()->MarkIfNotMarked(object_header)) {
79 objects_stack->PushToStack(cls, object_header);
80 }
81 }
82 }
83
84 template <typename Marker>
HandleArrayClass(GCMarkingStackType * objects_stack,const coretypes::Array * array_object,const BaseClass * cls)85 void GCMarker<Marker, LANG_TYPE_DYNAMIC, false>::HandleArrayClass(GCMarkingStackType *objects_stack,
86 const coretypes::Array *array_object,
87 [[maybe_unused]] const BaseClass *cls)
88 {
89 LOG(DEBUG, GC) << "Dyn Array object: " << GetDebugInfoAboutObject(array_object);
90 auto array_length = array_object->GetLength();
91 ASSERT(cls->IsDynamicClass());
92 for (coretypes::array_size_t i = 0; i < array_length; i++) {
93 TaggedValue array_element(array_object->Get<TaggedType, true, true>(i));
94 if (!array_element.IsHeapObject()) {
95 continue;
96 }
97 ObjectHeader *element_object = array_element.GetHeapObject();
98 if (AsMarker()->MarkIfNotMarked(element_object)) {
99 objects_stack->PushToStack(array_object, element_object);
100 }
101 }
102 }
103
104 template <typename Marker>
MarkInstance(GCMarkingStackType * objects_stack,const ReferenceCheckPredicateT & ref_pred,const ObjectHeader * object,const BaseClass * base_cls)105 void GCMarker<Marker, LANG_TYPE_DYNAMIC, false>::MarkInstance(GCMarkingStackType *objects_stack,
106 const ReferenceCheckPredicateT &ref_pred,
107 const ObjectHeader *object, const BaseClass *base_cls)
108 {
109 ASSERT(base_cls->IsDynamicClass());
110 if (GetGC()->IsReference(nullptr, object, ref_pred)) {
111 GetGC()->ProcessReference(objects_stack, nullptr, object, GC::EmptyReferenceProcessPredicate);
112 return;
113 }
114 auto *cls = static_cast<const HClass *>(base_cls);
115 // push to stack after marked, so just return here.
116 if (cls->IsNativePointer() || cls->IsString()) {
117 return;
118 }
119 if (cls->IsHClass()) {
120 auto dyn_class = static_cast<const panda::coretypes::DynClass *>(object);
121 HandleClass(objects_stack, dyn_class);
122 } else if (cls->IsArray()) {
123 auto *array_object = static_cast<const panda::coretypes::Array *>(object);
124 HandleArrayClass(objects_stack, array_object, cls);
125 } else {
126 HandleObject(objects_stack, object, cls);
127 }
128 }
129 } // namespace panda::mem
130
131 #endif // PANDA_RUNTIME_MEM_GC_DYNAMIC_GC_MARKER_DYNAMIC_INL_H
132