Dmitry Petrochenko | 135016a | 2014-04-03 14:35:54 +0700 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (C) 2014 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 | |
Andreas Gampe | 38cea84 | 2016-11-03 13:06:25 -0700 | [diff] [blame] | 17 | #include <type_traits> |
| 18 | |
Andreas Gampe | 542451c | 2016-07-26 09:02:02 -0700 | [diff] [blame] | 19 | #include "base/enums.h" |
Andreas Gampe | 90b936d | 2017-01-31 08:58:55 -0800 | [diff] [blame] | 20 | #include "class_linker-inl.h" |
Mathieu Chartier | e8a3c57 | 2016-10-11 16:52:17 -0700 | [diff] [blame] | 21 | #include "common_runtime_test.h" |
Dmitry Petrochenko | 135016a | 2014-04-03 14:35:54 +0700 | [diff] [blame] | 22 | #include "gtest/gtest.h" |
Andreas Gampe | 38cea84 | 2016-11-03 13:06:25 -0700 | [diff] [blame] | 23 | #include "handle.h" |
Mathieu Chartier | eb8167a | 2014-05-07 15:43:14 -0700 | [diff] [blame] | 24 | #include "handle_scope-inl.h" |
Andreas Gampe | 70f5fd0 | 2018-10-24 19:58:37 -0700 | [diff] [blame] | 25 | #include "mirror/class-alloc-inl.h" |
Andreas Gampe | 90b936d | 2017-01-31 08:58:55 -0800 | [diff] [blame] | 26 | #include "mirror/class-inl.h" |
Andreas Gampe | 38cea84 | 2016-11-03 13:06:25 -0700 | [diff] [blame] | 27 | #include "mirror/object.h" |
Mathieu Chartier | 0795f23 | 2016-09-27 18:43:30 -0700 | [diff] [blame] | 28 | #include "scoped_thread_state_change-inl.h" |
Mathieu Chartier | eb8167a | 2014-05-07 15:43:14 -0700 | [diff] [blame] | 29 | #include "thread.h" |
Dmitry Petrochenko | 135016a | 2014-04-03 14:35:54 +0700 | [diff] [blame] | 30 | |
| 31 | namespace art { |
| 32 | |
Andreas Gampe | 38cea84 | 2016-11-03 13:06:25 -0700 | [diff] [blame] | 33 | // Handles are value objects and should be trivially copyable. |
| 34 | static_assert(std::is_trivially_copyable<Handle<mirror::Object>>::value, |
| 35 | "Handle should be trivially copyable"); |
| 36 | static_assert(std::is_trivially_copyable<MutableHandle<mirror::Object>>::value, |
| 37 | "MutableHandle should be trivially copyable"); |
| 38 | static_assert(std::is_trivially_copyable<ScopedNullHandle<mirror::Object>>::value, |
| 39 | "ScopedNullHandle should be trivially copyable"); |
| 40 | |
Mathieu Chartier | e8a3c57 | 2016-10-11 16:52:17 -0700 | [diff] [blame] | 41 | class HandleScopeTest : public CommonRuntimeTest {}; |
Mathieu Chartier | eb8167a | 2014-05-07 15:43:14 -0700 | [diff] [blame] | 42 | |
| 43 | // Test the offsets computed for members of HandleScope. Because of cross-compiling |
Dmitry Petrochenko | 135016a | 2014-04-03 14:35:54 +0700 | [diff] [blame] | 44 | // it is impossible the use OFFSETOF_MEMBER, so we do some reasonable computations ourselves. This |
| 45 | // test checks whether we do the right thing. |
Mathieu Chartier | e8a3c57 | 2016-10-11 16:52:17 -0700 | [diff] [blame] | 46 | TEST_F(HandleScopeTest, Offsets) { |
| 47 | ScopedObjectAccess soa(Thread::Current()); |
| 48 | ClassLinker* const class_linker = Runtime::Current()->GetClassLinker(); |
Mathieu Chartier | eb8167a | 2014-05-07 15:43:14 -0700 | [diff] [blame] | 49 | // As the members of HandleScope are private, we cannot use OFFSETOF_MEMBER |
Dmitry Petrochenko | 135016a | 2014-04-03 14:35:54 +0700 | [diff] [blame] | 50 | // here. So do the inverse: set some data, and access it through pointers created from the offsets. |
Mathieu Chartier | e8a3c57 | 2016-10-11 16:52:17 -0700 | [diff] [blame] | 51 | StackHandleScope<0x1> hs0(soa.Self()); |
| 52 | static const size_t kNumReferences = 0x9ABC; |
| 53 | StackHandleScope<kNumReferences> test_table(soa.Self()); |
| 54 | ObjPtr<mirror::Class> c = class_linker->FindSystemClass(soa.Self(), "Ljava/lang/Object;"); |
| 55 | test_table.SetReference(0, c.Ptr()); |
Dmitry Petrochenko | 135016a | 2014-04-03 14:35:54 +0700 | [diff] [blame] | 56 | |
Ian Rogers | 1373595 | 2014-10-08 12:43:28 -0700 | [diff] [blame] | 57 | uint8_t* table_base_ptr = reinterpret_cast<uint8_t*>(&test_table); |
Dmitry Petrochenko | 135016a | 2014-04-03 14:35:54 +0700 | [diff] [blame] | 58 | |
| 59 | { |
Mathieu Chartier | e8a3c57 | 2016-10-11 16:52:17 -0700 | [diff] [blame] | 60 | BaseHandleScope** link_ptr = reinterpret_cast<BaseHandleScope**>(table_base_ptr + |
Andreas Gampe | 542451c | 2016-07-26 09:02:02 -0700 | [diff] [blame] | 61 | HandleScope::LinkOffset(kRuntimePointerSize)); |
Mathieu Chartier | e8a3c57 | 2016-10-11 16:52:17 -0700 | [diff] [blame] | 62 | EXPECT_EQ(*link_ptr, &hs0); |
Dmitry Petrochenko | 135016a | 2014-04-03 14:35:54 +0700 | [diff] [blame] | 63 | } |
| 64 | |
| 65 | { |
| 66 | uint32_t* num_ptr = reinterpret_cast<uint32_t*>(table_base_ptr + |
Andreas Gampe | 542451c | 2016-07-26 09:02:02 -0700 | [diff] [blame] | 67 | HandleScope::NumberOfReferencesOffset(kRuntimePointerSize)); |
Mathieu Chartier | e8a3c57 | 2016-10-11 16:52:17 -0700 | [diff] [blame] | 68 | EXPECT_EQ(*num_ptr, static_cast<size_t>(kNumReferences)); |
Dmitry Petrochenko | 135016a | 2014-04-03 14:35:54 +0700 | [diff] [blame] | 69 | } |
| 70 | |
| 71 | { |
Mathieu Chartier | e8a3c57 | 2016-10-11 16:52:17 -0700 | [diff] [blame] | 72 | auto* ref_ptr = reinterpret_cast<StackReference<mirror::Object>*>(table_base_ptr + |
Andreas Gampe | 542451c | 2016-07-26 09:02:02 -0700 | [diff] [blame] | 73 | HandleScope::ReferencesOffset(kRuntimePointerSize)); |
Mathieu Chartier | e8a3c57 | 2016-10-11 16:52:17 -0700 | [diff] [blame] | 74 | EXPECT_OBJ_PTR_EQ(ref_ptr->AsMirrorPtr(), c); |
| 75 | } |
| 76 | } |
| 77 | |
| 78 | class CollectVisitor { |
| 79 | public: |
| 80 | void VisitRootIfNonNull(StackReference<mirror::Object>* ref) { |
| 81 | if (!ref->IsNull()) { |
| 82 | visited.insert(ref); |
| 83 | } |
| 84 | ++total_visited; |
| 85 | } |
| 86 | |
| 87 | std::set<StackReference<mirror::Object>*> visited; |
| 88 | size_t total_visited = 0; // including null. |
| 89 | }; |
| 90 | |
| 91 | // Test functionality of variable sized handle scopes. |
| 92 | TEST_F(HandleScopeTest, VariableSized) { |
| 93 | ScopedObjectAccess soa(Thread::Current()); |
| 94 | VariableSizedHandleScope hs(soa.Self()); |
| 95 | ClassLinker* const class_linker = Runtime::Current()->GetClassLinker(); |
| 96 | Handle<mirror::Class> c = |
| 97 | hs.NewHandle(class_linker->FindSystemClass(soa.Self(), "Ljava/lang/Object;")); |
| 98 | // Test nested scopes. |
| 99 | StackHandleScope<1> inner(soa.Self()); |
| 100 | inner.NewHandle(c->AllocObject(soa.Self())); |
| 101 | // Add a bunch of handles and make sure callbacks work. |
| 102 | static const size_t kNumHandles = 100; |
| 103 | std::vector<Handle<mirror::Object>> handles; |
| 104 | for (size_t i = 0; i < kNumHandles; ++i) { |
| 105 | BaseHandleScope* base = &hs; |
| 106 | ObjPtr<mirror::Object> o = c->AllocObject(soa.Self()); |
| 107 | handles.push_back(hs.NewHandle(o)); |
| 108 | EXPECT_OBJ_PTR_EQ(o, handles.back().Get()); |
| 109 | EXPECT_TRUE(hs.Contains(handles.back().GetReference())); |
| 110 | EXPECT_TRUE(base->Contains(handles.back().GetReference())); |
| 111 | EXPECT_EQ(hs.NumberOfReferences(), base->NumberOfReferences()); |
| 112 | } |
| 113 | CollectVisitor visitor; |
| 114 | BaseHandleScope* base = &hs; |
| 115 | base->VisitRoots(visitor); |
| 116 | EXPECT_LE(visitor.visited.size(), base->NumberOfReferences()); |
| 117 | EXPECT_EQ(visitor.total_visited, base->NumberOfReferences()); |
| 118 | for (StackReference<mirror::Object>* ref : visitor.visited) { |
| 119 | EXPECT_TRUE(base->Contains(ref)); |
Dmitry Petrochenko | 135016a | 2014-04-03 14:35:54 +0700 | [diff] [blame] | 120 | } |
| 121 | } |
| 122 | |
| 123 | } // namespace art |