blob: 4fe8027c2d75a52461d5dd68dbf3944977feb7a8 [file] [log] [blame]
Andreas Gampefda57142016-09-08 20:29:18 -07001/*
2 * Copyright (C) 2016 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
17#include "system_weak.h"
18
19#include <stdint.h>
20#include <stdio.h>
21#include <memory>
22
23#include "base/mutex.h"
24#include "collector_type.h"
25#include "common_runtime_test.h"
Andreas Gampec15a2f42017-04-21 12:09:39 -070026#include "gc_root-inl.h"
Andreas Gampefda57142016-09-08 20:29:18 -070027#include "handle_scope-inl.h"
28#include "heap.h"
Mathieu Chartier8d1a9962016-08-17 16:39:45 -070029#include "mirror/object-inl.h"
Andreas Gampefda57142016-09-08 20:29:18 -070030#include "mirror/string.h"
Mathieu Chartier0795f232016-09-27 18:43:30 -070031#include "scoped_thread_state_change-inl.h"
Andreas Gampefda57142016-09-08 20:29:18 -070032#include "thread_list.h"
33
34namespace art {
35namespace gc {
36
37class SystemWeakTest : public CommonRuntimeTest {
38};
39
40struct CountingSystemWeakHolder : public SystemWeakHolder {
41 CountingSystemWeakHolder()
42 : SystemWeakHolder(kAllocTrackerLock),
43 allow_count_(0),
44 disallow_count_(0),
45 sweep_count_(0) {}
46
Roland Levillainbbc6e7e2018-08-24 16:58:47 +010047 void Allow() override
Andreas Gampefda57142016-09-08 20:29:18 -070048 REQUIRES_SHARED(Locks::mutator_lock_)
49 REQUIRES(!allow_disallow_lock_) {
50 SystemWeakHolder::Allow();
51
52 allow_count_++;
53 }
54
Roland Levillainbbc6e7e2018-08-24 16:58:47 +010055 void Disallow() override
Andreas Gampefda57142016-09-08 20:29:18 -070056 REQUIRES_SHARED(Locks::mutator_lock_)
57 REQUIRES(!allow_disallow_lock_) {
58 SystemWeakHolder::Disallow();
59
60 disallow_count_++;
61 }
62
Roland Levillainbbc6e7e2018-08-24 16:58:47 +010063 void Broadcast(bool broadcast_for_checkpoint) override
Andreas Gampefda57142016-09-08 20:29:18 -070064 REQUIRES(!allow_disallow_lock_) {
Hiroshi Yamauchi30493242016-11-03 13:06:52 -070065 SystemWeakHolder::Broadcast(broadcast_for_checkpoint);
Andreas Gampefda57142016-09-08 20:29:18 -070066
Hiroshi Yamauchi30493242016-11-03 13:06:52 -070067 if (!broadcast_for_checkpoint) {
68 // Don't count the broadcasts for running checkpoints.
69 allow_count_++;
70 }
Andreas Gampefda57142016-09-08 20:29:18 -070071 }
72
Roland Levillainbbc6e7e2018-08-24 16:58:47 +010073 void Sweep(IsMarkedVisitor* visitor) override
Andreas Gampefda57142016-09-08 20:29:18 -070074 REQUIRES_SHARED(Locks::mutator_lock_)
75 REQUIRES(!allow_disallow_lock_) {
76 MutexLock mu(Thread::Current(), allow_disallow_lock_);
77 mirror::Object* old_object = weak_.Read<kWithoutReadBarrier>();
78 mirror::Object* new_object = old_object == nullptr ? nullptr : visitor->IsMarked(old_object);
79 weak_ = GcRoot<mirror::Object>(new_object);
80
81 sweep_count_++;
82 }
83
84 GcRoot<mirror::Object> Get()
85 REQUIRES_SHARED(Locks::mutator_lock_)
86 REQUIRES(!allow_disallow_lock_) {
87 Thread* self = Thread::Current();
88 MutexLock mu(self, allow_disallow_lock_);
89 Wait(self);
90
91 return weak_;
92 }
93
94 void Set(GcRoot<mirror::Object> obj)
95 REQUIRES_SHARED(Locks::mutator_lock_)
96 REQUIRES(!allow_disallow_lock_) {
97 Thread* self = Thread::Current();
98 MutexLock mu(self, allow_disallow_lock_);
99 Wait(self);
100
101 weak_ = obj;
102 }
103
104 size_t allow_count_;
105 size_t disallow_count_;
106 size_t sweep_count_;
107 GcRoot<mirror::Object> weak_ GUARDED_BY(allow_disallow_lock_);
108};
109
110static bool CollectorDoesAllowOrBroadcast() {
111 CollectorType type = Runtime::Current()->GetHeap()->CurrentCollectorType();
112 switch (type) {
113 case CollectorType::kCollectorTypeCMS:
114 case CollectorType::kCollectorTypeCC:
Alex Light91fc0912018-10-22 12:27:35 -0700115 case CollectorType::kCollectorTypeSS:
Alex Light065f7cc2018-10-23 09:25:22 -0700116 case CollectorType::kCollectorTypeGSS:
Andreas Gampefda57142016-09-08 20:29:18 -0700117 return true;
118
119 default:
120 return false;
121 }
122}
123
124static bool CollectorDoesDisallow() {
125 CollectorType type = Runtime::Current()->GetHeap()->CurrentCollectorType();
126 switch (type) {
127 case CollectorType::kCollectorTypeCMS:
128 return true;
129
130 default:
131 return false;
132 }
133}
134
135TEST_F(SystemWeakTest, Keep) {
136 CountingSystemWeakHolder cswh;
137 Runtime::Current()->AddSystemWeakHolder(&cswh);
138
139 ScopedObjectAccess soa(Thread::Current());
140
141 StackHandleScope<1> hs(soa.Self());
142
143 // We use Strings because they are very easy to allocate.
144 Handle<mirror::String> s(hs.NewHandle(mirror::String::AllocFromModifiedUtf8(soa.Self(), "ABC")));
145 cswh.Set(GcRoot<mirror::Object>(s.Get()));
146
147 // Trigger a GC.
Andreas Gampe98ea9d92018-10-19 14:06:15 -0700148 Runtime::Current()->GetHeap()->CollectGarbage(/* clear_soft_references= */ false);
Andreas Gampefda57142016-09-08 20:29:18 -0700149
150 // Expect the holder to have been called.
151 EXPECT_EQ(CollectorDoesAllowOrBroadcast() ? 1U : 0U, cswh.allow_count_);
152 EXPECT_EQ(CollectorDoesDisallow() ? 1U : 0U, cswh.disallow_count_);
153 EXPECT_EQ(1U, cswh.sweep_count_);
154
155 // Expect the weak to not be cleared.
156 EXPECT_FALSE(cswh.Get().IsNull());
157 EXPECT_EQ(cswh.Get().Read(), s.Get());
158}
159
160TEST_F(SystemWeakTest, Discard) {
161 CountingSystemWeakHolder cswh;
162 Runtime::Current()->AddSystemWeakHolder(&cswh);
163
164 ScopedObjectAccess soa(Thread::Current());
165
166 cswh.Set(GcRoot<mirror::Object>(mirror::String::AllocFromModifiedUtf8(soa.Self(), "ABC")));
167
168 // Trigger a GC.
Andreas Gampe98ea9d92018-10-19 14:06:15 -0700169 Runtime::Current()->GetHeap()->CollectGarbage(/* clear_soft_references= */ false);
Andreas Gampefda57142016-09-08 20:29:18 -0700170
171 // Expect the holder to have been called.
172 EXPECT_EQ(CollectorDoesAllowOrBroadcast() ? 1U : 0U, cswh.allow_count_);
173 EXPECT_EQ(CollectorDoesDisallow() ? 1U : 0U, cswh.disallow_count_);
174 EXPECT_EQ(1U, cswh.sweep_count_);
175
176 // Expect the weak to be cleared.
177 EXPECT_TRUE(cswh.Get().IsNull());
178}
179
180TEST_F(SystemWeakTest, Remove) {
181 CountingSystemWeakHolder cswh;
182 Runtime::Current()->AddSystemWeakHolder(&cswh);
183
184 ScopedObjectAccess soa(Thread::Current());
185
186 StackHandleScope<1> hs(soa.Self());
187
188 // We use Strings because they are very easy to allocate.
189 Handle<mirror::String> s(hs.NewHandle(mirror::String::AllocFromModifiedUtf8(soa.Self(), "ABC")));
190 cswh.Set(GcRoot<mirror::Object>(s.Get()));
191
192 // Trigger a GC.
Andreas Gampe98ea9d92018-10-19 14:06:15 -0700193 Runtime::Current()->GetHeap()->CollectGarbage(/* clear_soft_references= */ false);
Andreas Gampefda57142016-09-08 20:29:18 -0700194
195 // Expect the holder to have been called.
196 ASSERT_EQ(CollectorDoesAllowOrBroadcast() ? 1U : 0U, cswh.allow_count_);
197 ASSERT_EQ(CollectorDoesDisallow() ? 1U : 0U, cswh.disallow_count_);
198 ASSERT_EQ(1U, cswh.sweep_count_);
199
200 // Expect the weak to not be cleared.
201 ASSERT_FALSE(cswh.Get().IsNull());
202 ASSERT_EQ(cswh.Get().Read(), s.Get());
203
204 // Remove the holder.
205 Runtime::Current()->RemoveSystemWeakHolder(&cswh);
206
207 // Trigger another GC.
Andreas Gampe98ea9d92018-10-19 14:06:15 -0700208 Runtime::Current()->GetHeap()->CollectGarbage(/* clear_soft_references= */ false);
Andreas Gampefda57142016-09-08 20:29:18 -0700209
210 // Expectation: no change in the numbers.
211 EXPECT_EQ(CollectorDoesAllowOrBroadcast() ? 1U : 0U, cswh.allow_count_);
212 EXPECT_EQ(CollectorDoesDisallow() ? 1U : 0U, cswh.disallow_count_);
213 EXPECT_EQ(1U, cswh.sweep_count_);
214}
215
216} // namespace gc
217} // namespace art