blob: 897ab0125193c928946af6b6b503cd28ccff4501 [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
47 void Allow() OVERRIDE
48 REQUIRES_SHARED(Locks::mutator_lock_)
49 REQUIRES(!allow_disallow_lock_) {
50 SystemWeakHolder::Allow();
51
52 allow_count_++;
53 }
54
55 void Disallow() OVERRIDE
56 REQUIRES_SHARED(Locks::mutator_lock_)
57 REQUIRES(!allow_disallow_lock_) {
58 SystemWeakHolder::Disallow();
59
60 disallow_count_++;
61 }
62
Hiroshi Yamauchi30493242016-11-03 13:06:52 -070063 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
73 void Sweep(IsMarkedVisitor* visitor) OVERRIDE
74 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:
115 return true;
116
117 default:
118 return false;
119 }
120}
121
122static bool CollectorDoesDisallow() {
123 CollectorType type = Runtime::Current()->GetHeap()->CurrentCollectorType();
124 switch (type) {
125 case CollectorType::kCollectorTypeCMS:
126 return true;
127
128 default:
129 return false;
130 }
131}
132
133TEST_F(SystemWeakTest, Keep) {
134 CountingSystemWeakHolder cswh;
135 Runtime::Current()->AddSystemWeakHolder(&cswh);
136
137 ScopedObjectAccess soa(Thread::Current());
138
139 StackHandleScope<1> hs(soa.Self());
140
141 // We use Strings because they are very easy to allocate.
142 Handle<mirror::String> s(hs.NewHandle(mirror::String::AllocFromModifiedUtf8(soa.Self(), "ABC")));
143 cswh.Set(GcRoot<mirror::Object>(s.Get()));
144
145 // Trigger a GC.
Roland Levillainaf290312018-02-27 20:02:17 +0000146 Runtime::Current()->GetHeap()->CollectGarbage(/* clear_soft_references */ false);
Andreas Gampefda57142016-09-08 20:29:18 -0700147
148 // Expect the holder to have been called.
149 EXPECT_EQ(CollectorDoesAllowOrBroadcast() ? 1U : 0U, cswh.allow_count_);
150 EXPECT_EQ(CollectorDoesDisallow() ? 1U : 0U, cswh.disallow_count_);
151 EXPECT_EQ(1U, cswh.sweep_count_);
152
153 // Expect the weak to not be cleared.
154 EXPECT_FALSE(cswh.Get().IsNull());
155 EXPECT_EQ(cswh.Get().Read(), s.Get());
156}
157
158TEST_F(SystemWeakTest, Discard) {
159 CountingSystemWeakHolder cswh;
160 Runtime::Current()->AddSystemWeakHolder(&cswh);
161
162 ScopedObjectAccess soa(Thread::Current());
163
164 cswh.Set(GcRoot<mirror::Object>(mirror::String::AllocFromModifiedUtf8(soa.Self(), "ABC")));
165
166 // Trigger a GC.
Roland Levillainaf290312018-02-27 20:02:17 +0000167 Runtime::Current()->GetHeap()->CollectGarbage(/* clear_soft_references */ false);
Andreas Gampefda57142016-09-08 20:29:18 -0700168
169 // Expect the holder to have been called.
170 EXPECT_EQ(CollectorDoesAllowOrBroadcast() ? 1U : 0U, cswh.allow_count_);
171 EXPECT_EQ(CollectorDoesDisallow() ? 1U : 0U, cswh.disallow_count_);
172 EXPECT_EQ(1U, cswh.sweep_count_);
173
174 // Expect the weak to be cleared.
175 EXPECT_TRUE(cswh.Get().IsNull());
176}
177
178TEST_F(SystemWeakTest, Remove) {
179 CountingSystemWeakHolder cswh;
180 Runtime::Current()->AddSystemWeakHolder(&cswh);
181
182 ScopedObjectAccess soa(Thread::Current());
183
184 StackHandleScope<1> hs(soa.Self());
185
186 // We use Strings because they are very easy to allocate.
187 Handle<mirror::String> s(hs.NewHandle(mirror::String::AllocFromModifiedUtf8(soa.Self(), "ABC")));
188 cswh.Set(GcRoot<mirror::Object>(s.Get()));
189
190 // Trigger a GC.
Roland Levillainaf290312018-02-27 20:02:17 +0000191 Runtime::Current()->GetHeap()->CollectGarbage(/* clear_soft_references */ false);
Andreas Gampefda57142016-09-08 20:29:18 -0700192
193 // Expect the holder to have been called.
194 ASSERT_EQ(CollectorDoesAllowOrBroadcast() ? 1U : 0U, cswh.allow_count_);
195 ASSERT_EQ(CollectorDoesDisallow() ? 1U : 0U, cswh.disallow_count_);
196 ASSERT_EQ(1U, cswh.sweep_count_);
197
198 // Expect the weak to not be cleared.
199 ASSERT_FALSE(cswh.Get().IsNull());
200 ASSERT_EQ(cswh.Get().Read(), s.Get());
201
202 // Remove the holder.
203 Runtime::Current()->RemoveSystemWeakHolder(&cswh);
204
205 // Trigger another GC.
Roland Levillainaf290312018-02-27 20:02:17 +0000206 Runtime::Current()->GetHeap()->CollectGarbage(/* clear_soft_references */ false);
Andreas Gampefda57142016-09-08 20:29:18 -0700207
208 // Expectation: no change in the numbers.
209 EXPECT_EQ(CollectorDoesAllowOrBroadcast() ? 1U : 0U, cswh.allow_count_);
210 EXPECT_EQ(CollectorDoesDisallow() ? 1U : 0U, cswh.disallow_count_);
211 EXPECT_EQ(1U, cswh.sweep_count_);
212}
213
214} // namespace gc
215} // namespace art