blob: 6af322056162eb08ae34c3962a65b30388a9aab8 [file] [log] [blame]
Mathieu Chartiereb8167a2014-05-07 15:43:14 -07001/*
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
17#ifndef ART_RUNTIME_HANDLE_H_
18#define ART_RUNTIME_HANDLE_H_
19
20#include "base/casts.h"
21#include "base/logging.h"
22#include "base/macros.h"
Ian Rogersb5cb18a2014-10-21 15:05:36 -070023#include "base/value_object.h"
Mathieu Chartiereb8167a2014-05-07 15:43:14 -070024#include "stack.h"
25
26namespace art {
27
28class Thread;
29
Mathieu Chartierbfd9a432014-05-21 17:43:44 -070030template<class T> class Handle;
31
Ian Rogers22d5e732014-07-15 22:23:51 -070032// Handles are memory locations that contain GC roots. As the mirror::Object*s within a handle are
33// GC visible then the GC may move the references within them, something that couldn't be done with
Andreas Gampe5a4b8a22014-09-11 08:30:08 -070034// a wrap pointer. Handles are generally allocated within HandleScopes. Handle is a super-class
35// of MutableHandle and doesn't support assignment operations.
Mathieu Chartiereb8167a2014-05-07 15:43:14 -070036template<class T>
Ian Rogersb5cb18a2014-10-21 15:05:36 -070037class Handle : public ValueObject {
Mathieu Chartiereb8167a2014-05-07 15:43:14 -070038 public:
Andreas Gampe5a4b8a22014-09-11 08:30:08 -070039 Handle() : reference_(nullptr) {
Mathieu Chartiereb8167a2014-05-07 15:43:14 -070040 }
Ian Rogers22d5e732014-07-15 22:23:51 -070041
Andreas Gampe5a4b8a22014-09-11 08:30:08 -070042 ALWAYS_INLINE Handle(const Handle<T>& handle) : reference_(handle.reference_) {
Mathieu Chartiereb8167a2014-05-07 15:43:14 -070043 }
Ian Rogers22d5e732014-07-15 22:23:51 -070044
Andreas Gampe5a4b8a22014-09-11 08:30:08 -070045 ALWAYS_INLINE Handle<T>& operator=(const Handle<T>& handle) {
Mathieu Chartiereb8167a2014-05-07 15:43:14 -070046 reference_ = handle.reference_;
47 return *this;
48 }
Ian Rogers22d5e732014-07-15 22:23:51 -070049
Andreas Gampe5a4b8a22014-09-11 08:30:08 -070050 ALWAYS_INLINE explicit Handle(StackReference<T>* reference) : reference_(reference) {
Mathieu Chartiereb8167a2014-05-07 15:43:14 -070051 }
Ian Rogers22d5e732014-07-15 22:23:51 -070052
53 ALWAYS_INLINE T& operator*() const SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
Mathieu Chartiereb8167a2014-05-07 15:43:14 -070054 return *Get();
55 }
Ian Rogers22d5e732014-07-15 22:23:51 -070056
57 ALWAYS_INLINE T* operator->() const SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
Mathieu Chartiereb8167a2014-05-07 15:43:14 -070058 return Get();
59 }
Ian Rogers22d5e732014-07-15 22:23:51 -070060
61 ALWAYS_INLINE T* Get() const SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
Ian Rogersb5cb18a2014-10-21 15:05:36 -070062 return down_cast<T*>(reference_->AsMirrorPtr());
Mathieu Chartiereb8167a2014-05-07 15:43:14 -070063 }
Ian Rogers22d5e732014-07-15 22:23:51 -070064
65 ALWAYS_INLINE jobject ToJObject() const SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
Mathieu Chartier0cd81352014-05-22 16:48:55 -070066 if (UNLIKELY(reference_->AsMirrorPtr() == nullptr)) {
67 // Special case so that we work with NullHandles.
68 return nullptr;
69 }
Mathieu Chartiereb8167a2014-05-07 15:43:14 -070070 return reinterpret_cast<jobject>(reference_);
71 }
72
Mathieu Chartier0cd81352014-05-22 16:48:55 -070073 protected:
Mathieu Chartiereb8167a2014-05-07 15:43:14 -070074 template<typename S>
Andreas Gampe5a4b8a22014-09-11 08:30:08 -070075 explicit Handle(StackReference<S>* reference)
Ian Rogersb5cb18a2014-10-21 15:05:36 -070076 : reference_(reference) {
Mathieu Chartiereb8167a2014-05-07 15:43:14 -070077 }
Mathieu Chartiereb8167a2014-05-07 15:43:14 -070078 template<typename S>
Andreas Gampe5a4b8a22014-09-11 08:30:08 -070079 explicit Handle(const Handle<S>& handle)
Ian Rogersb5cb18a2014-10-21 15:05:36 -070080 : reference_(handle.reference_) {
Mathieu Chartiereb8167a2014-05-07 15:43:14 -070081 }
82
Ian Rogersb5cb18a2014-10-21 15:05:36 -070083 StackReference<mirror::Object>* GetReference() SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) ALWAYS_INLINE {
Mathieu Chartier0cd81352014-05-22 16:48:55 -070084 return reference_;
85 }
Ian Rogersb5cb18a2014-10-21 15:05:36 -070086 ALWAYS_INLINE const StackReference<mirror::Object>* GetReference() const
Ian Rogers22d5e732014-07-15 22:23:51 -070087 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
Mathieu Chartierbfd9a432014-05-21 17:43:44 -070088 return reference_;
89 }
90
Ian Rogersb5cb18a2014-10-21 15:05:36 -070091 StackReference<mirror::Object>* reference_;
92
Mathieu Chartierbfd9a432014-05-21 17:43:44 -070093 private:
94 friend class BuildGenericJniFrameVisitor;
Andreas Gampe5a4b8a22014-09-11 08:30:08 -070095 template<class S> friend class Handle;
Mathieu Chartierbfd9a432014-05-21 17:43:44 -070096 friend class HandleScope;
97 template<class S> friend class HandleWrapper;
98 template<size_t kNumReferences> friend class StackHandleScope;
99};
100
Ian Rogers22d5e732014-07-15 22:23:51 -0700101// Handles that support assignment.
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700102template<class T>
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700103class MutableHandle : public Handle<T> {
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700104 public:
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700105 MutableHandle() {
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700106 }
Ian Rogers22d5e732014-07-15 22:23:51 -0700107
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700108 ALWAYS_INLINE MutableHandle(const MutableHandle<T>& handle)
109 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_)
110 : Handle<T>(handle.reference_) {
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700111 }
Ian Rogers22d5e732014-07-15 22:23:51 -0700112
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700113 ALWAYS_INLINE MutableHandle<T>& operator=(const MutableHandle<T>& handle)
Ian Rogers22d5e732014-07-15 22:23:51 -0700114 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700115 Handle<T>::operator=(handle);
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700116 return *this;
117 }
Ian Rogers22d5e732014-07-15 22:23:51 -0700118
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700119 ALWAYS_INLINE explicit MutableHandle(StackReference<T>* reference)
Ian Rogers22d5e732014-07-15 22:23:51 -0700120 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_)
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700121 : Handle<T>(reference) {
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700122 }
Ian Rogers22d5e732014-07-15 22:23:51 -0700123
124 ALWAYS_INLINE T* Assign(T* reference) SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
Ian Rogersb5cb18a2014-10-21 15:05:36 -0700125 StackReference<mirror::Object>* ref = Handle<T>::GetReference();
126 T* old = down_cast<T*>(ref->AsMirrorPtr());
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700127 ref->Assign(reference);
128 return old;
129 }
130
Ian Rogers22d5e732014-07-15 22:23:51 -0700131 template<typename S>
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700132 explicit MutableHandle(const MutableHandle<S>& handle) SHARED_LOCKS_REQUIRED(Locks::mutator_lock_)
133 : Handle<T>(handle) {
Ian Rogers22d5e732014-07-15 22:23:51 -0700134 }
135
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700136 template<typename S>
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700137 explicit MutableHandle(StackReference<S>* reference) SHARED_LOCKS_REQUIRED(Locks::mutator_lock_)
138 : Handle<T>(reference) {
Mathieu Chartierbfd9a432014-05-21 17:43:44 -0700139 }
Mathieu Chartier0cd81352014-05-22 16:48:55 -0700140
141 private:
142 friend class BuildGenericJniFrameVisitor;
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700143 friend class HandleScope;
144 template<class S> friend class HandleWrapper;
145 template<size_t kNumReferences> friend class StackHandleScope;
146};
147
Ian Rogers22d5e732014-07-15 22:23:51 -0700148// A special case of Handle that only holds references to null.
Mathieu Chartier0cd81352014-05-22 16:48:55 -0700149template<class T>
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700150class NullHandle : public Handle<T> {
Mathieu Chartier0cd81352014-05-22 16:48:55 -0700151 public:
Andreas Gampe5a4b8a22014-09-11 08:30:08 -0700152 NullHandle() : Handle<T>(&null_ref_) {
Mathieu Chartier0cd81352014-05-22 16:48:55 -0700153 }
154
155 private:
Ian Rogersb5cb18a2014-10-21 15:05:36 -0700156 StackReference<mirror::Object> null_ref_;
Mathieu Chartier0cd81352014-05-22 16:48:55 -0700157};
158
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700159} // namespace art
160
161#endif // ART_RUNTIME_HANDLE_H_