blob: 7a5155399298e8e7ce8834d80bd38c8ce397adc9 [file] [log] [blame]
Ian Rogers2dd0e2c2013-01-24 12:42:14 -08001/*
2 * Copyright (C) 2011 The Android Open Source Project
3 *
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
7 *
8 * http://www.apache.org/licenses/LICENSE-2.0
9 *
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
15 */
16
Brian Carlstromfc0e3212013-07-17 14:40:12 -070017#ifndef ART_RUNTIME_GC_COLLECTOR_MARK_SWEEP_INL_H_
18#define ART_RUNTIME_GC_COLLECTOR_MARK_SWEEP_INL_H_
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080019
Ian Rogers1d54e732013-05-02 21:10:01 -070020#include "gc/collector/mark_sweep.h"
21
22#include "gc/heap.h"
Brian Carlstromea46f952013-07-30 01:26:50 -070023#include "mirror/art_field.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080024#include "mirror/class.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080025#include "mirror/object_array.h"
26
27namespace art {
Ian Rogers1d54e732013-05-02 21:10:01 -070028namespace gc {
29namespace collector {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080030
31template <typename MarkVisitor>
Mathieu Chartier11409ae2013-09-23 11:49:36 -070032inline void MarkSweep::ScanObjectVisit(mirror::Object* obj, const MarkVisitor& visitor) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080033 DCHECK(obj != NULL);
34 if (kIsDebugBuild && !IsMarked(obj)) {
35 heap_->DumpSpaces();
36 LOG(FATAL) << "Scanning unmarked object " << obj;
37 }
38 mirror::Class* klass = obj->GetClass();
39 DCHECK(klass != NULL);
Mathieu Chartier94c32c52013-08-09 11:14:04 -070040 if (UNLIKELY(klass->IsArrayClass())) {
41 if (kCountScannedTypes) {
42 ++array_count_;
43 }
44 if (klass->IsObjectArrayClass()) {
45 VisitObjectArrayReferences(obj->AsObjectArray<mirror::Object>(), visitor);
46 }
Mathieu Chartier590fee92013-09-13 13:46:47 -070047 } else if (UNLIKELY(klass == mirror::Class::GetJavaLangClass())) {
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080048 if (kCountScannedTypes) {
49 ++class_count_;
50 }
51 VisitClassReferences(klass, obj, visitor);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080052 } else {
53 if (kCountScannedTypes) {
54 ++other_count_;
55 }
56 VisitOtherReferences(klass, obj, visitor);
57 if (UNLIKELY(klass->IsReferenceClass())) {
Mathieu Chartier590fee92013-09-13 13:46:47 -070058 DelayReferenceReferent(klass, obj);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080059 }
60 }
61}
62
63template <typename Visitor>
Mathieu Chartier11409ae2013-09-23 11:49:36 -070064inline void MarkSweep::VisitObjectReferences(mirror::Object* obj, const Visitor& visitor,
65 bool visit_class)
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080066 SHARED_LOCKS_REQUIRED(Locks::heap_bitmap_lock_,
67 Locks::mutator_lock_) {
68 DCHECK(obj != NULL);
69 DCHECK(obj->GetClass() != NULL);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080070 mirror::Class* klass = obj->GetClass();
71 DCHECK(klass != NULL);
Mathieu Chartier11409ae2013-09-23 11:49:36 -070072 if (visit_class) {
Mathieu Chartier590fee92013-09-13 13:46:47 -070073 visitor(obj, klass, mirror::Object::ClassOffset(), false);
Mathieu Chartier11409ae2013-09-23 11:49:36 -070074 }
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080075 if (klass == mirror::Class::GetJavaLangClass()) {
76 DCHECK_EQ(klass->GetClass(), mirror::Class::GetJavaLangClass());
77 VisitClassReferences(klass, obj, visitor);
78 } else {
79 if (klass->IsArrayClass()) {
80 visitor(obj, klass, mirror::Object::ClassOffset(), false);
81 if (klass->IsObjectArrayClass()) {
82 VisitObjectArrayReferences(obj->AsObjectArray<mirror::Object>(), visitor);
83 }
84 } else {
85 VisitOtherReferences(klass, obj, visitor);
86 }
87 }
88}
89
90template <typename Visitor>
Mathieu Chartier590fee92013-09-13 13:46:47 -070091inline void MarkSweep::VisitInstanceFieldsReferences(mirror::Class* klass, mirror::Object* obj,
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080092 const Visitor& visitor)
93 SHARED_LOCKS_REQUIRED(Locks::heap_bitmap_lock_, Locks::mutator_lock_) {
94 DCHECK(obj != NULL);
95 DCHECK(klass != NULL);
96 VisitFieldsReferences(obj, klass->GetReferenceInstanceOffsets(), false, visitor);
97}
98
99template <typename Visitor>
Mathieu Chartier11409ae2013-09-23 11:49:36 -0700100inline void MarkSweep::VisitClassReferences(mirror::Class* klass, mirror::Object* obj,
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800101 const Visitor& visitor)
102 SHARED_LOCKS_REQUIRED(Locks::heap_bitmap_lock_, Locks::mutator_lock_) {
103 VisitInstanceFieldsReferences(klass, obj, visitor);
104 VisitStaticFieldsReferences(obj->AsClass(), visitor);
105}
106
107template <typename Visitor>
Mathieu Chartier11409ae2013-09-23 11:49:36 -0700108inline void MarkSweep::VisitStaticFieldsReferences(mirror::Class* klass, const Visitor& visitor)
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800109 SHARED_LOCKS_REQUIRED(Locks::heap_bitmap_lock_, Locks::mutator_lock_) {
110 DCHECK(klass != NULL);
111 VisitFieldsReferences(klass, klass->GetReferenceStaticOffsets(), true, visitor);
112}
113
114template <typename Visitor>
Mathieu Chartier11409ae2013-09-23 11:49:36 -0700115inline void MarkSweep::VisitFieldsReferences(mirror::Object* obj, uint32_t ref_offsets,
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800116 bool is_static, const Visitor& visitor) {
117 if (LIKELY(ref_offsets != CLASS_WALK_SUPER)) {
118 // Found a reference offset bitmap. Mark the specified offsets.
119 while (ref_offsets != 0) {
120 size_t right_shift = CLZ(ref_offsets);
121 MemberOffset field_offset = CLASS_OFFSET_FROM_CLZ(right_shift);
Mathieu Chartier11409ae2013-09-23 11:49:36 -0700122 mirror::Object* ref = obj->GetFieldObject<mirror::Object*>(field_offset, false);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800123 visitor(obj, ref, field_offset, is_static);
124 ref_offsets &= ~(CLASS_HIGH_BIT >> right_shift);
125 }
126 } else {
127 // There is no reference offset bitmap. In the non-static case,
128 // walk up the class inheritance hierarchy and find reference
129 // offsets the hard way. In the static case, just consider this
130 // class.
131 for (const mirror::Class* klass = is_static ? obj->AsClass() : obj->GetClass();
132 klass != NULL;
133 klass = is_static ? NULL : klass->GetSuperClass()) {
134 size_t num_reference_fields = (is_static
135 ? klass->NumReferenceStaticFields()
136 : klass->NumReferenceInstanceFields());
137 for (size_t i = 0; i < num_reference_fields; ++i) {
Brian Carlstromea46f952013-07-30 01:26:50 -0700138 mirror::ArtField* field = (is_static ? klass->GetStaticField(i)
139 : klass->GetInstanceField(i));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800140 MemberOffset field_offset = field->GetOffset();
Mathieu Chartier11409ae2013-09-23 11:49:36 -0700141 mirror::Object* ref = obj->GetFieldObject<mirror::Object*>(field_offset, false);
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800142 visitor(obj, ref, field_offset, is_static);
143 }
144 }
145 }
146}
147
148template <typename Visitor>
Mathieu Chartier11409ae2013-09-23 11:49:36 -0700149inline void MarkSweep::VisitObjectArrayReferences(mirror::ObjectArray<mirror::Object>* array,
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800150 const Visitor& visitor) {
Mathieu Chartier94c32c52013-08-09 11:14:04 -0700151 const size_t length = static_cast<size_t>(array->GetLength());
152 for (size_t i = 0; i < length; ++i) {
Mathieu Chartier11409ae2013-09-23 11:49:36 -0700153 mirror::Object* element = array->GetWithoutChecks(static_cast<int32_t>(i));
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800154 const size_t width = sizeof(mirror::Object*);
Mathieu Chartier94c32c52013-08-09 11:14:04 -0700155 MemberOffset offset(i * width + mirror::Array::DataOffset(width).Int32Value());
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800156 visitor(array, element, offset, false);
157 }
158}
159
Ian Rogers1d54e732013-05-02 21:10:01 -0700160} // namespace collector
161} // namespace gc
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800162} // namespace art
163
Brian Carlstromfc0e3212013-07-17 14:40:12 -0700164#endif // ART_RUNTIME_GC_COLLECTOR_MARK_SWEEP_INL_H_