src/share/vm/runtime/reflectionUtils.hpp

Thu, 24 Nov 2016 11:27:57 +0100

author
tschatzl
date
Thu, 24 Nov 2016 11:27:57 +0100
changeset 9982
72053ed6f8d4
parent 5848
ac9cb1d5a202
child 6876
710a3c8b516e
permissions
-rw-r--r--

8057003: Large reference arrays cause extremely long synchronization times
Summary: Slice large object arrays into parts so that the synchronization of marking threads with an STW pause request does not take long.
Reviewed-by: ehelin, pliden
Contributed-by: maoliang.ml@alibaba-inc.com

duke@435 1 /*
minqi@5103 2 * Copyright (c) 1999, 2013, Oracle and/or its affiliates. All rights reserved.
duke@435 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
duke@435 4 *
duke@435 5 * This code is free software; you can redistribute it and/or modify it
duke@435 6 * under the terms of the GNU General Public License version 2 only, as
duke@435 7 * published by the Free Software Foundation.
duke@435 8 *
duke@435 9 * This code is distributed in the hope that it will be useful, but WITHOUT
duke@435 10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
duke@435 11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
duke@435 12 * version 2 for more details (a copy is included in the LICENSE file that
duke@435 13 * accompanied this code).
duke@435 14 *
duke@435 15 * You should have received a copy of the GNU General Public License version
duke@435 16 * 2 along with this work; if not, write to the Free Software Foundation,
duke@435 17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
duke@435 18 *
trims@1907 19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
trims@1907 20 * or visit www.oracle.com if you need additional information or have any
trims@1907 21 * questions.
duke@435 22 *
duke@435 23 */
duke@435 24
stefank@2314 25 #ifndef SHARE_VM_RUNTIME_REFLECTIONUTILS_HPP
stefank@2314 26 #define SHARE_VM_RUNTIME_REFLECTIONUTILS_HPP
stefank@2314 27
stefank@2314 28 #include "memory/allocation.hpp"
stefank@2314 29 #include "oops/instanceKlass.hpp"
stefank@2314 30 #include "oops/objArrayOop.hpp"
stefank@2314 31 #include "oops/oopsHierarchy.hpp"
stefank@2314 32 #include "runtime/handles.inline.hpp"
stefank@2314 33 #include "runtime/reflection.hpp"
stefank@2314 34 #include "utilities/accessFlags.hpp"
stefank@2314 35 #include "utilities/globalDefinitions.hpp"
stefank@2314 36
duke@435 37 // A KlassStream is an abstract stream for streaming over self, superclasses
duke@435 38 // and (super)interfaces. Streaming is done in reverse order (subclasses first,
duke@435 39 // interfaces last).
duke@435 40 //
acorn@5848 41 // for (KlassStream st(k, false, false, false); !st.eos(); st.next()) {
coleenp@4037 42 // Klass* k = st.klass();
duke@435 43 // ...
duke@435 44 // }
duke@435 45
duke@435 46 class KlassStream VALUE_OBJ_CLASS_SPEC {
duke@435 47 protected:
duke@435 48 instanceKlassHandle _klass; // current klass/interface iterated over
acorn@5848 49 instanceKlassHandle _base_klass; // initial klass/interface to iterate over
acorn@5848 50 Array<Klass*>* _interfaces; // transitive interfaces for initial class
duke@435 51 int _interface_index; // current interface being processed
duke@435 52 bool _local_only; // process initial class/interface only
duke@435 53 bool _classes_only; // process classes only (no interfaces)
acorn@5848 54 bool _walk_defaults; // process default methods
acorn@5848 55 bool _base_class_search_defaults; // time to process default methods
acorn@5848 56 bool _defaults_checked; // already checked for default methods
duke@435 57 int _index;
duke@435 58
acorn@5848 59 virtual int length() = 0;
duke@435 60
duke@435 61 public:
duke@435 62 // constructor
acorn@5848 63 KlassStream(instanceKlassHandle klass, bool local_only, bool classes_only, bool walk_defaults);
duke@435 64
duke@435 65 // testing
duke@435 66 bool eos();
duke@435 67
duke@435 68 // iterating
duke@435 69 virtual void next() = 0;
duke@435 70
duke@435 71 // accessors
duke@435 72 instanceKlassHandle klass() const { return _klass; }
duke@435 73 int index() const { return _index; }
acorn@5848 74 bool base_class_search_defaults() const { return _base_class_search_defaults; }
acorn@5848 75 void base_class_search_defaults(bool b) { _base_class_search_defaults = b; }
duke@435 76 };
duke@435 77
duke@435 78
duke@435 79 // A MethodStream streams over all methods in a class, superclasses and (super)interfaces.
duke@435 80 // Streaming is done in reverse order (subclasses first, methods in reverse order)
duke@435 81 // Usage:
duke@435 82 //
duke@435 83 // for (MethodStream st(k, false, false); !st.eos(); st.next()) {
coleenp@4037 84 // Method* m = st.method();
duke@435 85 // ...
duke@435 86 // }
duke@435 87
duke@435 88 class MethodStream : public KlassStream {
duke@435 89 private:
acorn@5848 90 int length() { return methods()->length(); }
acorn@5848 91 Array<Method*>* methods() {
acorn@5848 92 if (base_class_search_defaults()) {
acorn@5848 93 base_class_search_defaults(false);
acorn@5848 94 return _klass->default_methods();
acorn@5848 95 } else {
acorn@5848 96 return _klass->methods();
acorn@5848 97 }
acorn@5848 98 }
duke@435 99 public:
duke@435 100 MethodStream(instanceKlassHandle klass, bool local_only, bool classes_only)
acorn@5848 101 : KlassStream(klass, local_only, classes_only, true) {
duke@435 102 _index = length();
duke@435 103 next();
duke@435 104 }
duke@435 105
duke@435 106 void next() { _index--; }
acorn@5848 107 Method* method() { return methods()->at(index()); }
duke@435 108 };
duke@435 109
duke@435 110
duke@435 111 // A FieldStream streams over all fields in a class, superclasses and (super)interfaces.
duke@435 112 // Streaming is done in reverse order (subclasses first, fields in reverse order)
duke@435 113 // Usage:
duke@435 114 //
duke@435 115 // for (FieldStream st(k, false, false); !st.eos(); st.next()) {
coleenp@2497 116 // Symbol* field_name = st.name();
duke@435 117 // ...
duke@435 118 // }
duke@435 119
duke@435 120
duke@435 121 class FieldStream : public KlassStream {
duke@435 122 private:
acorn@5848 123 int length() { return _klass->java_fields_count(); }
never@3137 124
drchase@5732 125 fieldDescriptor _fd_buf;
drchase@5732 126
duke@435 127 public:
duke@435 128 FieldStream(instanceKlassHandle klass, bool local_only, bool classes_only)
acorn@5848 129 : KlassStream(klass, local_only, classes_only, false) {
duke@435 130 _index = length();
duke@435 131 next();
duke@435 132 }
duke@435 133
never@3137 134 void next() { _index -= 1; }
duke@435 135
duke@435 136 // Accessors for current field
duke@435 137 AccessFlags access_flags() const {
duke@435 138 AccessFlags flags;
never@3137 139 flags.set_flags(_klass->field_access_flags(_index));
duke@435 140 return flags;
duke@435 141 }
coleenp@2497 142 Symbol* name() const {
never@3137 143 return _klass->field_name(_index);
duke@435 144 }
coleenp@2497 145 Symbol* signature() const {
never@3137 146 return _klass->field_signature(_index);
duke@435 147 }
duke@435 148 // missing: initval()
duke@435 149 int offset() const {
never@3137 150 return _klass->field_offset( index() );
duke@435 151 }
drchase@5732 152 // bridge to a heavier API:
drchase@5732 153 fieldDescriptor& field_descriptor() const {
drchase@5732 154 fieldDescriptor& field = const_cast<fieldDescriptor&>(_fd_buf);
drchase@5732 155 field.reinitialize(_klass(), _index);
drchase@5732 156 return field;
drchase@5732 157 }
duke@435 158 };
duke@435 159
minqi@5103 160 class FilteredField : public CHeapObj<mtInternal> {
duke@435 161 private:
coleenp@4037 162 Klass* _klass;
minqi@5103 163 int _field_offset;
duke@435 164
duke@435 165 public:
coleenp@4037 166 FilteredField(Klass* klass, int field_offset) {
duke@435 167 _klass = klass;
duke@435 168 _field_offset = field_offset;
duke@435 169 }
coleenp@4037 170 Klass* klass() { return _klass; }
duke@435 171 int field_offset() { return _field_offset; }
duke@435 172 };
duke@435 173
duke@435 174 class FilteredFieldsMap : AllStatic {
duke@435 175 private:
duke@435 176 static GrowableArray<FilteredField *> *_filtered_fields;
duke@435 177 public:
duke@435 178 static void initialize();
coleenp@4037 179 static bool is_filtered_field(Klass* klass, int field_offset) {
duke@435 180 for (int i=0; i < _filtered_fields->length(); i++) {
duke@435 181 if (klass == _filtered_fields->at(i)->klass() &&
duke@435 182 field_offset == _filtered_fields->at(i)->field_offset()) {
duke@435 183 return true;
duke@435 184 }
duke@435 185 }
duke@435 186 return false;
duke@435 187 }
coleenp@4037 188 static int filtered_fields_count(Klass* klass, bool local_only) {
duke@435 189 int nflds = 0;
duke@435 190 for (int i=0; i < _filtered_fields->length(); i++) {
duke@435 191 if (local_only && klass == _filtered_fields->at(i)->klass()) {
duke@435 192 nflds++;
coleenp@4037 193 } else if (klass->is_subtype_of(_filtered_fields->at(i)->klass())) {
duke@435 194 nflds++;
duke@435 195 }
duke@435 196 }
duke@435 197 return nflds;
duke@435 198 }
coleenp@4037 199 // Enhance Class Redefinition Support
coleenp@4037 200 static void classes_do(KlassClosure* f) {
duke@435 201 for (int i = 0; i < _filtered_fields->length(); i++) {
coleenp@4037 202 f->do_klass(_filtered_fields->at(i)->klass());
duke@435 203 }
duke@435 204 }
duke@435 205 };
duke@435 206
duke@435 207
duke@435 208 // A FilteredFieldStream streams over all fields in a class, superclasses and
duke@435 209 // (super)interfaces. Streaming is done in reverse order (subclasses first,
duke@435 210 // fields in reverse order)
duke@435 211 //
duke@435 212 // Usage:
duke@435 213 //
duke@435 214 // for (FilteredFieldStream st(k, false, false); !st.eos(); st.next()) {
coleenp@2497 215 // Symbol* field_name = st.name();
duke@435 216 // ...
duke@435 217 // }
duke@435 218
duke@435 219 class FilteredFieldStream : public FieldStream {
duke@435 220 private:
duke@435 221 int _filtered_fields_count;
duke@435 222 bool has_filtered_field() { return (_filtered_fields_count > 0); }
duke@435 223
duke@435 224 public:
duke@435 225 FilteredFieldStream(instanceKlassHandle klass, bool local_only, bool classes_only)
duke@435 226 : FieldStream(klass, local_only, classes_only) {
coleenp@4037 227 _filtered_fields_count = FilteredFieldsMap::filtered_fields_count((Klass*)klass(), local_only);
duke@435 228 }
duke@435 229 int field_count();
duke@435 230 void next() {
never@3137 231 _index -= 1;
duke@435 232 if (has_filtered_field()) {
coleenp@4037 233 while (_index >=0 && FilteredFieldsMap::is_filtered_field((Klass*)_klass(), offset())) {
never@3137 234 _index -= 1;
duke@435 235 }
duke@435 236 }
duke@435 237 }
duke@435 238 };
stefank@2314 239
stefank@2314 240 #endif // SHARE_VM_RUNTIME_REFLECTIONUTILS_HPP

mercurial