Wed, 19 Nov 2014 12:52:56 -0800
Merge
kamg@4245 | 1 | /* |
hseigel@6256 | 2 | * Copyright (c) 2012, 2014, Oracle and/or its affiliates. All rights reserved. |
kamg@4245 | 3 | * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
kamg@4245 | 4 | * |
kamg@4245 | 5 | * This code is free software; you can redistribute it and/or modify it |
kamg@4245 | 6 | * under the terms of the GNU General Public License version 2 only, as |
kamg@4245 | 7 | * published by the Free Software Foundation. |
kamg@4245 | 8 | * |
kamg@4245 | 9 | * This code is distributed in the hope that it will be useful, but WITHOUT |
kamg@4245 | 10 | * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
kamg@4245 | 11 | * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
kamg@4245 | 12 | * version 2 for more details (a copy is included in the LICENSE file that |
kamg@4245 | 13 | * accompanied this code). |
kamg@4245 | 14 | * |
kamg@4245 | 15 | * You should have received a copy of the GNU General Public License version |
kamg@4245 | 16 | * 2 along with this work; if not, write to the Free Software Foundation, |
kamg@4245 | 17 | * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. |
kamg@4245 | 18 | * |
kamg@4245 | 19 | * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
kamg@4245 | 20 | * or visit www.oracle.com if you need additional information or have any |
kamg@4245 | 21 | * questions. |
kamg@4245 | 22 | * |
kamg@4245 | 23 | */ |
kamg@4245 | 24 | |
kamg@4245 | 25 | #include "precompiled.hpp" |
kamg@4245 | 26 | #include "classfile/bytecodeAssembler.hpp" |
kamg@4245 | 27 | #include "classfile/defaultMethods.hpp" |
kamg@4245 | 28 | #include "classfile/symbolTable.hpp" |
kamg@4245 | 29 | #include "memory/allocation.hpp" |
kamg@4245 | 30 | #include "memory/metadataFactory.hpp" |
kamg@4245 | 31 | #include "memory/resourceArea.hpp" |
kamg@4245 | 32 | #include "runtime/signature.hpp" |
kamg@4245 | 33 | #include "runtime/thread.hpp" |
kamg@4245 | 34 | #include "oops/instanceKlass.hpp" |
kamg@4245 | 35 | #include "oops/klass.hpp" |
kamg@4245 | 36 | #include "oops/method.hpp" |
kamg@4245 | 37 | #include "utilities/accessFlags.hpp" |
kamg@4245 | 38 | #include "utilities/exceptions.hpp" |
kamg@4245 | 39 | #include "utilities/ostream.hpp" |
kamg@4245 | 40 | #include "utilities/pair.hpp" |
kamg@4245 | 41 | #include "utilities/resourceHash.hpp" |
kamg@4245 | 42 | |
kamg@4245 | 43 | typedef enum { QUALIFIED, DISQUALIFIED } QualifiedState; |
kamg@4245 | 44 | |
kamg@4245 | 45 | // Because we use an iterative algorithm when iterating over the type |
kamg@4245 | 46 | // hierarchy, we can't use traditional scoped objects which automatically do |
kamg@4245 | 47 | // cleanup in the destructor when the scope is exited. PseudoScope (and |
kamg@4245 | 48 | // PseudoScopeMark) provides a similar functionality, but for when you want a |
kamg@4245 | 49 | // scoped object in non-stack memory (such as in resource memory, as we do |
kamg@4245 | 50 | // here). You've just got to remember to call 'destroy()' on the scope when |
kamg@4245 | 51 | // leaving it (and marks have to be explicitly added). |
kamg@4245 | 52 | class PseudoScopeMark : public ResourceObj { |
kamg@4245 | 53 | public: |
kamg@4245 | 54 | virtual void destroy() = 0; |
kamg@4245 | 55 | }; |
kamg@4245 | 56 | |
kamg@4245 | 57 | class PseudoScope : public ResourceObj { |
kamg@4245 | 58 | private: |
kamg@4245 | 59 | GrowableArray<PseudoScopeMark*> _marks; |
kamg@4245 | 60 | public: |
kamg@4245 | 61 | |
kamg@4245 | 62 | static PseudoScope* cast(void* data) { |
kamg@4245 | 63 | return static_cast<PseudoScope*>(data); |
kamg@4245 | 64 | } |
kamg@4245 | 65 | |
kamg@4245 | 66 | void add_mark(PseudoScopeMark* psm) { |
kamg@4245 | 67 | _marks.append(psm); |
kamg@4245 | 68 | } |
kamg@4245 | 69 | |
kamg@4245 | 70 | void destroy() { |
kamg@4245 | 71 | for (int i = 0; i < _marks.length(); ++i) { |
kamg@4245 | 72 | _marks.at(i)->destroy(); |
kamg@4245 | 73 | } |
kamg@4245 | 74 | } |
kamg@4245 | 75 | }; |
kamg@4245 | 76 | |
kamg@4245 | 77 | #ifndef PRODUCT |
kamg@4245 | 78 | static void print_slot(outputStream* str, Symbol* name, Symbol* signature) { |
kamg@4245 | 79 | ResourceMark rm; |
kamg@4245 | 80 | str->print("%s%s", name->as_C_string(), signature->as_C_string()); |
kamg@4245 | 81 | } |
kamg@4245 | 82 | |
kamg@4245 | 83 | static void print_method(outputStream* str, Method* mo, bool with_class=true) { |
kamg@4245 | 84 | ResourceMark rm; |
kamg@4245 | 85 | if (with_class) { |
kamg@4245 | 86 | str->print("%s.", mo->klass_name()->as_C_string()); |
kamg@4245 | 87 | } |
kamg@4245 | 88 | print_slot(str, mo->name(), mo->signature()); |
kamg@4245 | 89 | } |
kamg@4245 | 90 | #endif // ndef PRODUCT |
kamg@4245 | 91 | |
kamg@4245 | 92 | /** |
kamg@4245 | 93 | * Perform a depth-first iteration over the class hierarchy, applying |
kamg@4245 | 94 | * algorithmic logic as it goes. |
kamg@4245 | 95 | * |
kamg@4245 | 96 | * This class is one half of the inheritance hierarchy analysis mechanism. |
kamg@4245 | 97 | * It is meant to be used in conjunction with another class, the algorithm, |
kamg@4245 | 98 | * which is indicated by the ALGO template parameter. This class can be |
kamg@4245 | 99 | * paired with any algorithm class that provides the required methods. |
kamg@4245 | 100 | * |
kamg@4245 | 101 | * This class contains all the mechanics for iterating over the class hierarchy |
kamg@4245 | 102 | * starting at a particular root, without recursing (thus limiting stack growth |
kamg@4245 | 103 | * from this point). It visits each superclass (if present) and superinterface |
kamg@4245 | 104 | * in a depth-first manner, with callbacks to the ALGO class as each class is |
kamg@4245 | 105 | * encountered (visit()), The algorithm can cut-off further exploration of a |
kamg@4245 | 106 | * particular branch by returning 'false' from a visit() call. |
kamg@4245 | 107 | * |
kamg@4245 | 108 | * The ALGO class, must provide a visit() method, which each of which will be |
kamg@4245 | 109 | * called once for each node in the inheritance tree during the iteration. In |
kamg@4245 | 110 | * addition, it can provide a memory block via new_node_data(InstanceKlass*), |
kamg@4245 | 111 | * which it can use for node-specific storage (and access via the |
kamg@4245 | 112 | * current_data() and data_at_depth(int) methods). |
kamg@4245 | 113 | * |
kamg@4245 | 114 | * Bare minimum needed to be an ALGO class: |
kamg@4245 | 115 | * class Algo : public HierarchyVisitor<Algo> { |
kamg@4245 | 116 | * void* new_node_data(InstanceKlass* cls) { return NULL; } |
kamg@4245 | 117 | * void free_node_data(void* data) { return; } |
kamg@4245 | 118 | * bool visit() { return true; } |
kamg@4245 | 119 | * }; |
kamg@4245 | 120 | */ |
kamg@4245 | 121 | template <class ALGO> |
kamg@4245 | 122 | class HierarchyVisitor : StackObj { |
kamg@4245 | 123 | private: |
kamg@4245 | 124 | |
kamg@4245 | 125 | class Node : public ResourceObj { |
kamg@4245 | 126 | public: |
kamg@4245 | 127 | InstanceKlass* _class; |
kamg@4245 | 128 | bool _super_was_visited; |
kamg@4245 | 129 | int _interface_index; |
kamg@4245 | 130 | void* _algorithm_data; |
kamg@4245 | 131 | |
kamg@4245 | 132 | Node(InstanceKlass* cls, void* data, bool visit_super) |
kamg@4245 | 133 | : _class(cls), _super_was_visited(!visit_super), |
kamg@4245 | 134 | _interface_index(0), _algorithm_data(data) {} |
kamg@4245 | 135 | |
kamg@4245 | 136 | int number_of_interfaces() { return _class->local_interfaces()->length(); } |
kamg@4245 | 137 | int interface_index() { return _interface_index; } |
kamg@4245 | 138 | void set_super_visited() { _super_was_visited = true; } |
kamg@4245 | 139 | void increment_visited_interface() { ++_interface_index; } |
kamg@4245 | 140 | void set_all_interfaces_visited() { |
kamg@4245 | 141 | _interface_index = number_of_interfaces(); |
kamg@4245 | 142 | } |
kamg@4245 | 143 | bool has_visited_super() { return _super_was_visited; } |
kamg@4245 | 144 | bool has_visited_all_interfaces() { |
kamg@4245 | 145 | return interface_index() >= number_of_interfaces(); |
kamg@4245 | 146 | } |
kamg@4245 | 147 | InstanceKlass* interface_at(int index) { |
kamg@4245 | 148 | return InstanceKlass::cast(_class->local_interfaces()->at(index)); |
kamg@4245 | 149 | } |
kamg@4245 | 150 | InstanceKlass* next_super() { return _class->java_super(); } |
kamg@4245 | 151 | InstanceKlass* next_interface() { |
kamg@4245 | 152 | return interface_at(interface_index()); |
kamg@4245 | 153 | } |
kamg@4245 | 154 | }; |
kamg@4245 | 155 | |
kamg@4245 | 156 | bool _cancelled; |
kamg@4245 | 157 | GrowableArray<Node*> _path; |
kamg@4245 | 158 | |
kamg@4245 | 159 | Node* current_top() const { return _path.top(); } |
kamg@4245 | 160 | bool has_more_nodes() const { return !_path.is_empty(); } |
kamg@4245 | 161 | void push(InstanceKlass* cls, void* data) { |
kamg@4245 | 162 | assert(cls != NULL, "Requires a valid instance class"); |
kamg@4245 | 163 | Node* node = new Node(cls, data, has_super(cls)); |
kamg@4245 | 164 | _path.push(node); |
kamg@4245 | 165 | } |
kamg@4245 | 166 | void pop() { _path.pop(); } |
kamg@4245 | 167 | |
kamg@4245 | 168 | void reset_iteration() { |
kamg@4245 | 169 | _cancelled = false; |
kamg@4245 | 170 | _path.clear(); |
kamg@4245 | 171 | } |
kamg@4245 | 172 | bool is_cancelled() const { return _cancelled; } |
kamg@4245 | 173 | |
acorn@6080 | 174 | // This code used to skip interface classes because their only |
acorn@6080 | 175 | // superclass was j.l.Object which would be also covered by class |
acorn@6080 | 176 | // superclass hierarchy walks. Now that the starting point can be |
acorn@6080 | 177 | // an interface, we must ensure we catch j.l.Object as the super. |
kamg@4245 | 178 | static bool has_super(InstanceKlass* cls) { |
acorn@6080 | 179 | return cls->super() != NULL; |
kamg@4245 | 180 | } |
kamg@4245 | 181 | |
kamg@4245 | 182 | Node* node_at_depth(int i) const { |
kamg@4245 | 183 | return (i >= _path.length()) ? NULL : _path.at(_path.length() - i - 1); |
kamg@4245 | 184 | } |
kamg@4245 | 185 | |
kamg@4245 | 186 | protected: |
kamg@4245 | 187 | |
kamg@4245 | 188 | // Accessors available to the algorithm |
kamg@4245 | 189 | int current_depth() const { return _path.length() - 1; } |
kamg@4245 | 190 | |
kamg@4245 | 191 | InstanceKlass* class_at_depth(int i) { |
kamg@4245 | 192 | Node* n = node_at_depth(i); |
kamg@4245 | 193 | return n == NULL ? NULL : n->_class; |
kamg@4245 | 194 | } |
kamg@4245 | 195 | InstanceKlass* current_class() { return class_at_depth(0); } |
kamg@4245 | 196 | |
kamg@4245 | 197 | void* data_at_depth(int i) { |
kamg@4245 | 198 | Node* n = node_at_depth(i); |
kamg@4245 | 199 | return n == NULL ? NULL : n->_algorithm_data; |
kamg@4245 | 200 | } |
kamg@4245 | 201 | void* current_data() { return data_at_depth(0); } |
kamg@4245 | 202 | |
kamg@4245 | 203 | void cancel_iteration() { _cancelled = true; } |
kamg@4245 | 204 | |
kamg@4245 | 205 | public: |
kamg@4245 | 206 | |
kamg@4245 | 207 | void run(InstanceKlass* root) { |
kamg@4245 | 208 | ALGO* algo = static_cast<ALGO*>(this); |
kamg@4245 | 209 | |
kamg@4245 | 210 | reset_iteration(); |
kamg@4245 | 211 | |
kamg@4245 | 212 | void* algo_data = algo->new_node_data(root); |
kamg@4245 | 213 | push(root, algo_data); |
kamg@4245 | 214 | bool top_needs_visit = true; |
kamg@4245 | 215 | |
kamg@4245 | 216 | do { |
kamg@4245 | 217 | Node* top = current_top(); |
kamg@4245 | 218 | if (top_needs_visit) { |
kamg@4245 | 219 | if (algo->visit() == false) { |
kamg@4245 | 220 | // algorithm does not want to continue along this path. Arrange |
kamg@4245 | 221 | // it so that this state is immediately popped off the stack |
kamg@4245 | 222 | top->set_super_visited(); |
kamg@4245 | 223 | top->set_all_interfaces_visited(); |
kamg@4245 | 224 | } |
kamg@4245 | 225 | top_needs_visit = false; |
kamg@4245 | 226 | } |
kamg@4245 | 227 | |
kamg@4245 | 228 | if (top->has_visited_super() && top->has_visited_all_interfaces()) { |
kamg@4245 | 229 | algo->free_node_data(top->_algorithm_data); |
kamg@4245 | 230 | pop(); |
kamg@4245 | 231 | } else { |
kamg@4245 | 232 | InstanceKlass* next = NULL; |
kamg@4245 | 233 | if (top->has_visited_super() == false) { |
kamg@4245 | 234 | next = top->next_super(); |
kamg@4245 | 235 | top->set_super_visited(); |
kamg@4245 | 236 | } else { |
kamg@4245 | 237 | next = top->next_interface(); |
kamg@4245 | 238 | top->increment_visited_interface(); |
kamg@4245 | 239 | } |
kamg@4245 | 240 | assert(next != NULL, "Otherwise we shouldn't be here"); |
kamg@4245 | 241 | algo_data = algo->new_node_data(next); |
kamg@4245 | 242 | push(next, algo_data); |
kamg@4245 | 243 | top_needs_visit = true; |
kamg@4245 | 244 | } |
kamg@4245 | 245 | } while (!is_cancelled() && has_more_nodes()); |
kamg@4245 | 246 | } |
kamg@4245 | 247 | }; |
kamg@4245 | 248 | |
kamg@4245 | 249 | #ifndef PRODUCT |
kamg@4245 | 250 | class PrintHierarchy : public HierarchyVisitor<PrintHierarchy> { |
kamg@4245 | 251 | public: |
kamg@4245 | 252 | |
kamg@4245 | 253 | bool visit() { |
kamg@4245 | 254 | InstanceKlass* cls = current_class(); |
kamg@4245 | 255 | streamIndentor si(tty, current_depth() * 2); |
kamg@4245 | 256 | tty->indent().print_cr("%s", cls->name()->as_C_string()); |
kamg@4245 | 257 | return true; |
kamg@4245 | 258 | } |
kamg@4245 | 259 | |
kamg@4245 | 260 | void* new_node_data(InstanceKlass* cls) { return NULL; } |
kamg@4245 | 261 | void free_node_data(void* data) { return; } |
kamg@4245 | 262 | }; |
kamg@4245 | 263 | #endif // ndef PRODUCT |
kamg@4245 | 264 | |
kamg@4245 | 265 | // Used to register InstanceKlass objects and all related metadata structures |
kamg@4245 | 266 | // (Methods, ConstantPools) as "in-use" by the current thread so that they can't |
kamg@4245 | 267 | // be deallocated by class redefinition while we're using them. The classes are |
kamg@4245 | 268 | // de-registered when this goes out of scope. |
kamg@4245 | 269 | // |
kamg@4245 | 270 | // Once a class is registered, we need not bother with methodHandles or |
kamg@4245 | 271 | // constantPoolHandles for it's associated metadata. |
kamg@4245 | 272 | class KeepAliveRegistrar : public StackObj { |
kamg@4245 | 273 | private: |
kamg@4245 | 274 | Thread* _thread; |
kamg@4245 | 275 | GrowableArray<ConstantPool*> _keep_alive; |
kamg@4245 | 276 | |
kamg@4245 | 277 | public: |
kamg@4245 | 278 | KeepAliveRegistrar(Thread* thread) : _thread(thread), _keep_alive(20) { |
kamg@4245 | 279 | assert(thread == Thread::current(), "Must be current thread"); |
kamg@4245 | 280 | } |
kamg@4245 | 281 | |
kamg@4245 | 282 | ~KeepAliveRegistrar() { |
kamg@4245 | 283 | for (int i = _keep_alive.length() - 1; i >= 0; --i) { |
kamg@4245 | 284 | ConstantPool* cp = _keep_alive.at(i); |
kamg@4245 | 285 | int idx = _thread->metadata_handles()->find_from_end(cp); |
kamg@4245 | 286 | assert(idx > 0, "Must be in the list"); |
kamg@4245 | 287 | _thread->metadata_handles()->remove_at(idx); |
kamg@4245 | 288 | } |
kamg@4245 | 289 | } |
kamg@4245 | 290 | |
kamg@4245 | 291 | // Register a class as 'in-use' by the thread. It's fine to register a class |
kamg@4245 | 292 | // multiple times (though perhaps inefficient) |
kamg@4245 | 293 | void register_class(InstanceKlass* ik) { |
kamg@4245 | 294 | ConstantPool* cp = ik->constants(); |
kamg@4245 | 295 | _keep_alive.push(cp); |
kamg@4245 | 296 | _thread->metadata_handles()->push(cp); |
kamg@4245 | 297 | } |
kamg@4245 | 298 | }; |
kamg@4245 | 299 | |
kamg@4245 | 300 | class KeepAliveVisitor : public HierarchyVisitor<KeepAliveVisitor> { |
kamg@4245 | 301 | private: |
kamg@4245 | 302 | KeepAliveRegistrar* _registrar; |
kamg@4245 | 303 | |
kamg@4245 | 304 | public: |
kamg@4245 | 305 | KeepAliveVisitor(KeepAliveRegistrar* registrar) : _registrar(registrar) {} |
kamg@4245 | 306 | |
kamg@4245 | 307 | void* new_node_data(InstanceKlass* cls) { return NULL; } |
kamg@4245 | 308 | void free_node_data(void* data) { return; } |
kamg@4245 | 309 | |
kamg@4245 | 310 | bool visit() { |
kamg@4245 | 311 | _registrar->register_class(current_class()); |
kamg@4245 | 312 | return true; |
kamg@4245 | 313 | } |
kamg@4245 | 314 | }; |
kamg@4245 | 315 | |
acorn@5377 | 316 | |
kamg@4245 | 317 | // A method family contains a set of all methods that implement a single |
acorn@5377 | 318 | // erased method. As members of the set are collected while walking over the |
kamg@4245 | 319 | // hierarchy, they are tagged with a qualification state. The qualification |
kamg@4245 | 320 | // state for an erased method is set to disqualified if there exists a path |
kamg@4245 | 321 | // from the root of hierarchy to the method that contains an interleaving |
acorn@5377 | 322 | // erased method defined in an interface. |
acorn@5377 | 323 | |
kamg@4245 | 324 | class MethodFamily : public ResourceObj { |
kamg@4245 | 325 | private: |
kamg@4245 | 326 | |
kamg@4245 | 327 | GrowableArray<Pair<Method*,QualifiedState> > _members; |
kamg@4245 | 328 | ResourceHashtable<Method*, int> _member_index; |
kamg@4245 | 329 | |
kamg@4245 | 330 | Method* _selected_target; // Filled in later, if a unique target exists |
kamg@4245 | 331 | Symbol* _exception_message; // If no unique target is found |
acorn@5786 | 332 | Symbol* _exception_name; // If no unique target is found |
kamg@4245 | 333 | |
kamg@4245 | 334 | bool contains_method(Method* method) { |
kamg@4245 | 335 | int* lookup = _member_index.get(method); |
kamg@4245 | 336 | return lookup != NULL; |
kamg@4245 | 337 | } |
kamg@4245 | 338 | |
kamg@4245 | 339 | void add_method(Method* method, QualifiedState state) { |
kamg@4245 | 340 | Pair<Method*,QualifiedState> entry(method, state); |
kamg@4245 | 341 | _member_index.put(method, _members.length()); |
kamg@4245 | 342 | _members.append(entry); |
kamg@4245 | 343 | } |
kamg@4245 | 344 | |
kamg@4245 | 345 | void disqualify_method(Method* method) { |
kamg@4245 | 346 | int* index = _member_index.get(method); |
morris@4778 | 347 | guarantee(index != NULL && *index >= 0 && *index < _members.length(), "bad index"); |
kamg@4245 | 348 | _members.at(*index).second = DISQUALIFIED; |
kamg@4245 | 349 | } |
kamg@4245 | 350 | |
kamg@4245 | 351 | Symbol* generate_no_defaults_message(TRAPS) const; |
hseigel@6195 | 352 | Symbol* generate_method_message(Symbol *klass_name, Method* method, TRAPS) const; |
kamg@4245 | 353 | Symbol* generate_conflicts_message(GrowableArray<Method*>* methods, TRAPS) const; |
kamg@4245 | 354 | |
kamg@4245 | 355 | public: |
kamg@4245 | 356 | |
acorn@5377 | 357 | MethodFamily() |
acorn@5786 | 358 | : _selected_target(NULL), _exception_message(NULL), _exception_name(NULL) {} |
kamg@4245 | 359 | |
kamg@4245 | 360 | void set_target_if_empty(Method* m) { |
kamg@4245 | 361 | if (_selected_target == NULL && !m->is_overpass()) { |
kamg@4245 | 362 | _selected_target = m; |
kamg@4245 | 363 | } |
kamg@4245 | 364 | } |
kamg@4245 | 365 | |
kamg@4245 | 366 | void record_qualified_method(Method* m) { |
kamg@4245 | 367 | // If the method already exists in the set as qualified, this operation is |
kamg@4245 | 368 | // redundant. If it already exists as disqualified, then we leave it as |
kamg@4245 | 369 | // disqualfied. Thus we only add to the set if it's not already in the |
kamg@4245 | 370 | // set. |
kamg@4245 | 371 | if (!contains_method(m)) { |
kamg@4245 | 372 | add_method(m, QUALIFIED); |
kamg@4245 | 373 | } |
kamg@4245 | 374 | } |
kamg@4245 | 375 | |
kamg@4245 | 376 | void record_disqualified_method(Method* m) { |
kamg@4245 | 377 | // If not in the set, add it as disqualified. If it's already in the set, |
kamg@4245 | 378 | // then set the state to disqualified no matter what the previous state was. |
kamg@4245 | 379 | if (!contains_method(m)) { |
kamg@4245 | 380 | add_method(m, DISQUALIFIED); |
kamg@4245 | 381 | } else { |
kamg@4245 | 382 | disqualify_method(m); |
kamg@4245 | 383 | } |
kamg@4245 | 384 | } |
kamg@4245 | 385 | |
kamg@4245 | 386 | bool has_target() const { return _selected_target != NULL; } |
kamg@4245 | 387 | bool throws_exception() { return _exception_message != NULL; } |
kamg@4245 | 388 | |
kamg@4245 | 389 | Method* get_selected_target() { return _selected_target; } |
kamg@4245 | 390 | Symbol* get_exception_message() { return _exception_message; } |
acorn@5786 | 391 | Symbol* get_exception_name() { return _exception_name; } |
kamg@4245 | 392 | |
kamg@4245 | 393 | // Either sets the target or the exception error message |
kamg@4245 | 394 | void determine_target(InstanceKlass* root, TRAPS) { |
kamg@4245 | 395 | if (has_target() || throws_exception()) { |
kamg@4245 | 396 | return; |
kamg@4245 | 397 | } |
kamg@4245 | 398 | |
acorn@6080 | 399 | // Qualified methods are maximally-specific methods |
acorn@6080 | 400 | // These include public, instance concrete (=default) and abstract methods |
kamg@4245 | 401 | GrowableArray<Method*> qualified_methods; |
acorn@6060 | 402 | int num_defaults = 0; |
acorn@6060 | 403 | int default_index = -1; |
acorn@6080 | 404 | int qualified_index = -1; |
kamg@4245 | 405 | for (int i = 0; i < _members.length(); ++i) { |
kamg@4245 | 406 | Pair<Method*,QualifiedState> entry = _members.at(i); |
kamg@4245 | 407 | if (entry.second == QUALIFIED) { |
kamg@4245 | 408 | qualified_methods.append(entry.first); |
acorn@6080 | 409 | qualified_index++; |
acorn@6060 | 410 | if (entry.first->is_default_method()) { |
acorn@6060 | 411 | num_defaults++; |
acorn@6080 | 412 | default_index = qualified_index; |
acorn@6080 | 413 | |
acorn@6060 | 414 | } |
kamg@4245 | 415 | } |
kamg@4245 | 416 | } |
kamg@4245 | 417 | |
hseigel@6195 | 418 | if (num_defaults == 0) { |
hseigel@6256 | 419 | // If the root klass has a static method with matching name and signature |
hseigel@6256 | 420 | // then do not generate an overpass method because it will hide the |
hseigel@6256 | 421 | // static method during resolution. |
lfoltan@6632 | 422 | if (qualified_methods.length() == 0) { |
lfoltan@6632 | 423 | _exception_message = generate_no_defaults_message(CHECK); |
lfoltan@6632 | 424 | } else { |
lfoltan@6632 | 425 | assert(root != NULL, "Null root class"); |
lfoltan@6632 | 426 | _exception_message = generate_method_message(root->name(), qualified_methods.at(0), CHECK); |
hseigel@6195 | 427 | } |
lfoltan@6632 | 428 | _exception_name = vmSymbols::java_lang_AbstractMethodError(); |
hseigel@6256 | 429 | |
acorn@6080 | 430 | // If only one qualified method is default, select that |
acorn@6060 | 431 | } else if (num_defaults == 1) { |
acorn@6060 | 432 | _selected_target = qualified_methods.at(default_index); |
hseigel@6256 | 433 | |
lfoltan@6632 | 434 | } else if (num_defaults > 1) { |
hseigel@6256 | 435 | _exception_message = generate_conflicts_message(&qualified_methods,CHECK); |
hseigel@6256 | 436 | _exception_name = vmSymbols::java_lang_IncompatibleClassChangeError(); |
acorn@5848 | 437 | if (TraceDefaultMethods) { |
acorn@5848 | 438 | _exception_message->print_value_on(tty); |
drchase@6680 | 439 | tty->cr(); |
acorn@5848 | 440 | } |
kamg@4245 | 441 | } |
kamg@4245 | 442 | } |
kamg@4245 | 443 | |
kamg@4245 | 444 | bool contains_signature(Symbol* query) { |
kamg@4245 | 445 | for (int i = 0; i < _members.length(); ++i) { |
kamg@4245 | 446 | if (query == _members.at(i).first->signature()) { |
kamg@4245 | 447 | return true; |
kamg@4245 | 448 | } |
kamg@4245 | 449 | } |
kamg@4245 | 450 | return false; |
kamg@4245 | 451 | } |
kamg@4245 | 452 | |
kamg@4245 | 453 | #ifndef PRODUCT |
acorn@5377 | 454 | void print_sig_on(outputStream* str, Symbol* signature, int indent) const { |
kamg@4245 | 455 | streamIndentor si(str, indent * 2); |
kamg@4245 | 456 | |
acorn@5377 | 457 | str->indent().print_cr("Logical Method %s:", signature->as_C_string()); |
kamg@4245 | 458 | |
kamg@4245 | 459 | streamIndentor si2(str); |
kamg@4245 | 460 | for (int i = 0; i < _members.length(); ++i) { |
kamg@4245 | 461 | str->indent(); |
kamg@4245 | 462 | print_method(str, _members.at(i).first); |
kamg@4245 | 463 | if (_members.at(i).second == DISQUALIFIED) { |
kamg@4245 | 464 | str->print(" (disqualified)"); |
kamg@4245 | 465 | } |
drchase@6680 | 466 | str->cr(); |
kamg@4245 | 467 | } |
kamg@4245 | 468 | |
kamg@4245 | 469 | if (_selected_target != NULL) { |
kamg@4245 | 470 | print_selected(str, 1); |
kamg@4245 | 471 | } |
kamg@4245 | 472 | } |
kamg@4245 | 473 | |
kamg@4245 | 474 | void print_selected(outputStream* str, int indent) const { |
kamg@4245 | 475 | assert(has_target(), "Should be called otherwise"); |
kamg@4245 | 476 | streamIndentor si(str, indent * 2); |
kamg@4245 | 477 | str->indent().print("Selected method: "); |
kamg@4245 | 478 | print_method(str, _selected_target); |
acorn@5681 | 479 | Klass* method_holder = _selected_target->method_holder(); |
acorn@5681 | 480 | if (!method_holder->is_interface()) { |
acorn@5681 | 481 | tty->print(" : in superclass"); |
acorn@5681 | 482 | } |
drchase@6680 | 483 | str->cr(); |
kamg@4245 | 484 | } |
kamg@4245 | 485 | |
kamg@4245 | 486 | void print_exception(outputStream* str, int indent) { |
kamg@4245 | 487 | assert(throws_exception(), "Should be called otherwise"); |
acorn@5786 | 488 | assert(_exception_name != NULL, "exception_name should be set"); |
kamg@4245 | 489 | streamIndentor si(str, indent * 2); |
acorn@5786 | 490 | str->indent().print_cr("%s: %s", _exception_name->as_C_string(), _exception_message->as_C_string()); |
kamg@4245 | 491 | } |
kamg@4245 | 492 | #endif // ndef PRODUCT |
kamg@4245 | 493 | }; |
kamg@4245 | 494 | |
kamg@4245 | 495 | Symbol* MethodFamily::generate_no_defaults_message(TRAPS) const { |
kamg@4245 | 496 | return SymbolTable::new_symbol("No qualifying defaults found", CHECK_NULL); |
kamg@4245 | 497 | } |
kamg@4245 | 498 | |
hseigel@6195 | 499 | Symbol* MethodFamily::generate_method_message(Symbol *klass_name, Method* method, TRAPS) const { |
hseigel@6195 | 500 | stringStream ss; |
hseigel@6195 | 501 | ss.print("Method "); |
hseigel@6195 | 502 | Symbol* name = method->name(); |
hseigel@6195 | 503 | Symbol* signature = method->signature(); |
hseigel@6195 | 504 | ss.write((const char*)klass_name->bytes(), klass_name->utf8_length()); |
hseigel@6195 | 505 | ss.print("."); |
hseigel@6195 | 506 | ss.write((const char*)name->bytes(), name->utf8_length()); |
hseigel@6195 | 507 | ss.write((const char*)signature->bytes(), signature->utf8_length()); |
hseigel@6195 | 508 | ss.print(" is abstract"); |
hseigel@6195 | 509 | return SymbolTable::new_symbol(ss.base(), (int)ss.size(), CHECK_NULL); |
hseigel@6195 | 510 | } |
hseigel@6195 | 511 | |
kamg@4245 | 512 | Symbol* MethodFamily::generate_conflicts_message(GrowableArray<Method*>* methods, TRAPS) const { |
kamg@4245 | 513 | stringStream ss; |
kamg@4245 | 514 | ss.print("Conflicting default methods:"); |
kamg@4245 | 515 | for (int i = 0; i < methods->length(); ++i) { |
kamg@4245 | 516 | Method* method = methods->at(i); |
kamg@4245 | 517 | Symbol* klass = method->klass_name(); |
kamg@4245 | 518 | Symbol* name = method->name(); |
kamg@4245 | 519 | ss.print(" "); |
kamg@4245 | 520 | ss.write((const char*)klass->bytes(), klass->utf8_length()); |
kamg@4245 | 521 | ss.print("."); |
kamg@4245 | 522 | ss.write((const char*)name->bytes(), name->utf8_length()); |
kamg@4245 | 523 | } |
kamg@4245 | 524 | return SymbolTable::new_symbol(ss.base(), (int)ss.size(), CHECK_NULL); |
kamg@4245 | 525 | } |
kamg@4245 | 526 | |
acorn@5377 | 527 | |
kamg@4245 | 528 | class StateRestorer; |
kamg@4245 | 529 | |
acorn@5377 | 530 | // StatefulMethodFamily is a wrapper around a MethodFamily that maintains the |
kamg@4245 | 531 | // qualification state during hierarchy visitation, and applies that state |
acorn@5377 | 532 | // when adding members to the MethodFamily |
kamg@4245 | 533 | class StatefulMethodFamily : public ResourceObj { |
kamg@4245 | 534 | friend class StateRestorer; |
kamg@4245 | 535 | private: |
kamg@4245 | 536 | QualifiedState _qualification_state; |
kamg@4245 | 537 | |
kamg@4245 | 538 | void set_qualification_state(QualifiedState state) { |
kamg@4245 | 539 | _qualification_state = state; |
kamg@4245 | 540 | } |
kamg@4245 | 541 | |
acorn@5377 | 542 | protected: |
acorn@5377 | 543 | MethodFamily* _method_family; |
acorn@5377 | 544 | |
kamg@4245 | 545 | public: |
acorn@5377 | 546 | StatefulMethodFamily() { |
acorn@5377 | 547 | _method_family = new MethodFamily(); |
acorn@5377 | 548 | _qualification_state = QUALIFIED; |
kamg@4245 | 549 | } |
kamg@4245 | 550 | |
acorn@5377 | 551 | StatefulMethodFamily(MethodFamily* mf) { |
acorn@5377 | 552 | _method_family = mf; |
acorn@5377 | 553 | _qualification_state = QUALIFIED; |
acorn@5377 | 554 | } |
kamg@4245 | 555 | |
acorn@5377 | 556 | void set_target_if_empty(Method* m) { _method_family->set_target_if_empty(m); } |
acorn@5377 | 557 | |
acorn@5377 | 558 | MethodFamily* get_method_family() { return _method_family; } |
acorn@5377 | 559 | |
acorn@5377 | 560 | StateRestorer* record_method_and_dq_further(Method* mo); |
acorn@5377 | 561 | }; |
acorn@5377 | 562 | |
kamg@4245 | 563 | class StateRestorer : public PseudoScopeMark { |
kamg@4245 | 564 | private: |
kamg@4245 | 565 | StatefulMethodFamily* _method; |
kamg@4245 | 566 | QualifiedState _state_to_restore; |
kamg@4245 | 567 | public: |
kamg@4245 | 568 | StateRestorer(StatefulMethodFamily* dm, QualifiedState state) |
kamg@4245 | 569 | : _method(dm), _state_to_restore(state) {} |
kamg@4245 | 570 | ~StateRestorer() { destroy(); } |
kamg@4245 | 571 | void restore_state() { _method->set_qualification_state(_state_to_restore); } |
kamg@4245 | 572 | virtual void destroy() { restore_state(); } |
kamg@4245 | 573 | }; |
kamg@4245 | 574 | |
kamg@4245 | 575 | StateRestorer* StatefulMethodFamily::record_method_and_dq_further(Method* mo) { |
kamg@4245 | 576 | StateRestorer* mark = new StateRestorer(this, _qualification_state); |
kamg@4245 | 577 | if (_qualification_state == QUALIFIED) { |
acorn@5377 | 578 | _method_family->record_qualified_method(mo); |
kamg@4245 | 579 | } else { |
acorn@5377 | 580 | _method_family->record_disqualified_method(mo); |
kamg@4245 | 581 | } |
kamg@4245 | 582 | // Everything found "above"??? this method in the hierarchy walk is set to |
kamg@4245 | 583 | // disqualified |
kamg@4245 | 584 | set_qualification_state(DISQUALIFIED); |
kamg@4245 | 585 | return mark; |
kamg@4245 | 586 | } |
kamg@4245 | 587 | |
kamg@4245 | 588 | // Represents a location corresponding to a vtable slot for methods that |
kamg@4245 | 589 | // neither the class nor any of it's ancestors provide an implementaion. |
kamg@4245 | 590 | // Default methods may be present to fill this slot. |
kamg@4245 | 591 | class EmptyVtableSlot : public ResourceObj { |
kamg@4245 | 592 | private: |
kamg@4245 | 593 | Symbol* _name; |
kamg@4245 | 594 | Symbol* _signature; |
kamg@4245 | 595 | int _size_of_parameters; |
kamg@4245 | 596 | MethodFamily* _binding; |
kamg@4245 | 597 | |
kamg@4245 | 598 | public: |
kamg@4245 | 599 | EmptyVtableSlot(Method* method) |
kamg@4245 | 600 | : _name(method->name()), _signature(method->signature()), |
kamg@4245 | 601 | _size_of_parameters(method->size_of_parameters()), _binding(NULL) {} |
kamg@4245 | 602 | |
kamg@4245 | 603 | Symbol* name() const { return _name; } |
kamg@4245 | 604 | Symbol* signature() const { return _signature; } |
kamg@4245 | 605 | int size_of_parameters() const { return _size_of_parameters; } |
kamg@4245 | 606 | |
kamg@4245 | 607 | void bind_family(MethodFamily* lm) { _binding = lm; } |
kamg@4245 | 608 | bool is_bound() { return _binding != NULL; } |
kamg@4245 | 609 | MethodFamily* get_binding() { return _binding; } |
kamg@4245 | 610 | |
kamg@4245 | 611 | #ifndef PRODUCT |
kamg@4245 | 612 | void print_on(outputStream* str) const { |
kamg@4245 | 613 | print_slot(str, name(), signature()); |
kamg@4245 | 614 | } |
kamg@4245 | 615 | #endif // ndef PRODUCT |
kamg@4245 | 616 | }; |
kamg@4245 | 617 | |
acorn@5848 | 618 | static bool already_in_vtable_slots(GrowableArray<EmptyVtableSlot*>* slots, Method* m) { |
acorn@5848 | 619 | bool found = false; |
acorn@5848 | 620 | for (int j = 0; j < slots->length(); ++j) { |
acorn@5848 | 621 | if (slots->at(j)->name() == m->name() && |
acorn@5848 | 622 | slots->at(j)->signature() == m->signature() ) { |
acorn@5848 | 623 | found = true; |
acorn@5848 | 624 | break; |
acorn@5848 | 625 | } |
acorn@5848 | 626 | } |
acorn@5848 | 627 | return found; |
acorn@5848 | 628 | } |
acorn@5848 | 629 | |
kamg@4245 | 630 | static GrowableArray<EmptyVtableSlot*>* find_empty_vtable_slots( |
kamg@4245 | 631 | InstanceKlass* klass, GrowableArray<Method*>* mirandas, TRAPS) { |
kamg@4245 | 632 | |
kamg@4245 | 633 | assert(klass != NULL, "Must be valid class"); |
kamg@4245 | 634 | |
kamg@4245 | 635 | GrowableArray<EmptyVtableSlot*>* slots = new GrowableArray<EmptyVtableSlot*>(); |
kamg@4245 | 636 | |
kamg@4245 | 637 | // All miranda methods are obvious candidates |
kamg@4245 | 638 | for (int i = 0; i < mirandas->length(); ++i) { |
acorn@5848 | 639 | Method* m = mirandas->at(i); |
acorn@5848 | 640 | if (!already_in_vtable_slots(slots, m)) { |
acorn@5848 | 641 | slots->append(new EmptyVtableSlot(m)); |
acorn@5848 | 642 | } |
kamg@4245 | 643 | } |
kamg@4245 | 644 | |
kamg@4245 | 645 | // Also any overpasses in our superclasses, that we haven't implemented. |
kamg@4245 | 646 | // (can't use the vtable because it is not guaranteed to be initialized yet) |
kamg@4245 | 647 | InstanceKlass* super = klass->java_super(); |
kamg@4245 | 648 | while (super != NULL) { |
kamg@4245 | 649 | for (int i = 0; i < super->methods()->length(); ++i) { |
kamg@4245 | 650 | Method* m = super->methods()->at(i); |
acorn@6145 | 651 | if (m->is_overpass() || m->is_static()) { |
kamg@4245 | 652 | // m is a method that would have been a miranda if not for the |
kamg@4245 | 653 | // default method processing that occurred on behalf of our superclass, |
kamg@4245 | 654 | // so it's a method we want to re-examine in this new context. That is, |
kamg@4245 | 655 | // unless we have a real implementation of it in the current class. |
kamg@4245 | 656 | Method* impl = klass->lookup_method(m->name(), m->signature()); |
acorn@6145 | 657 | if (impl == NULL || impl->is_overpass() || impl->is_static()) { |
acorn@5848 | 658 | if (!already_in_vtable_slots(slots, m)) { |
acorn@5848 | 659 | slots->append(new EmptyVtableSlot(m)); |
acorn@5848 | 660 | } |
acorn@5848 | 661 | } |
acorn@5848 | 662 | } |
acorn@5848 | 663 | } |
acorn@5848 | 664 | |
acorn@5848 | 665 | // also any default methods in our superclasses |
acorn@5848 | 666 | if (super->default_methods() != NULL) { |
acorn@5848 | 667 | for (int i = 0; i < super->default_methods()->length(); ++i) { |
acorn@5848 | 668 | Method* m = super->default_methods()->at(i); |
acorn@5848 | 669 | // m is a method that would have been a miranda if not for the |
acorn@5848 | 670 | // default method processing that occurred on behalf of our superclass, |
acorn@5848 | 671 | // so it's a method we want to re-examine in this new context. That is, |
acorn@5848 | 672 | // unless we have a real implementation of it in the current class. |
acorn@5848 | 673 | Method* impl = klass->lookup_method(m->name(), m->signature()); |
acorn@6145 | 674 | if (impl == NULL || impl->is_overpass() || impl->is_static()) { |
acorn@5848 | 675 | if (!already_in_vtable_slots(slots, m)) { |
acorn@5848 | 676 | slots->append(new EmptyVtableSlot(m)); |
acorn@5848 | 677 | } |
kamg@4245 | 678 | } |
kamg@4245 | 679 | } |
kamg@4245 | 680 | } |
kamg@4245 | 681 | super = super->java_super(); |
kamg@4245 | 682 | } |
kamg@4245 | 683 | |
kamg@4245 | 684 | #ifndef PRODUCT |
kamg@4245 | 685 | if (TraceDefaultMethods) { |
kamg@4245 | 686 | tty->print_cr("Slots that need filling:"); |
kamg@4245 | 687 | streamIndentor si(tty); |
kamg@4245 | 688 | for (int i = 0; i < slots->length(); ++i) { |
kamg@4245 | 689 | tty->indent(); |
kamg@4245 | 690 | slots->at(i)->print_on(tty); |
drchase@6680 | 691 | tty->cr(); |
kamg@4245 | 692 | } |
kamg@4245 | 693 | } |
kamg@4245 | 694 | #endif // ndef PRODUCT |
kamg@4245 | 695 | return slots; |
kamg@4245 | 696 | } |
kamg@4245 | 697 | |
acorn@5377 | 698 | // Iterates over the superinterface type hierarchy looking for all methods |
acorn@5377 | 699 | // with a specific erased signature. |
acorn@5377 | 700 | class FindMethodsByErasedSig : public HierarchyVisitor<FindMethodsByErasedSig> { |
acorn@5377 | 701 | private: |
acorn@5377 | 702 | // Context data |
acorn@5377 | 703 | Symbol* _method_name; |
acorn@5377 | 704 | Symbol* _method_signature; |
acorn@5377 | 705 | StatefulMethodFamily* _family; |
acorn@5377 | 706 | |
acorn@5377 | 707 | public: |
acorn@5377 | 708 | FindMethodsByErasedSig(Symbol* name, Symbol* signature) : |
acorn@5377 | 709 | _method_name(name), _method_signature(signature), |
acorn@5377 | 710 | _family(NULL) {} |
acorn@5377 | 711 | |
acorn@5377 | 712 | void get_discovered_family(MethodFamily** family) { |
acorn@5377 | 713 | if (_family != NULL) { |
acorn@5377 | 714 | *family = _family->get_method_family(); |
acorn@5377 | 715 | } else { |
acorn@5377 | 716 | *family = NULL; |
acorn@5377 | 717 | } |
acorn@5377 | 718 | } |
acorn@5377 | 719 | |
acorn@5377 | 720 | void* new_node_data(InstanceKlass* cls) { return new PseudoScope(); } |
acorn@5377 | 721 | void free_node_data(void* node_data) { |
acorn@5377 | 722 | PseudoScope::cast(node_data)->destroy(); |
acorn@5377 | 723 | } |
acorn@5377 | 724 | |
acorn@5377 | 725 | // Find all methods on this hierarchy that match this |
acorn@5377 | 726 | // method's erased (name, signature) |
acorn@5377 | 727 | bool visit() { |
acorn@5377 | 728 | PseudoScope* scope = PseudoScope::cast(current_data()); |
acorn@5377 | 729 | InstanceKlass* iklass = current_class(); |
acorn@5377 | 730 | |
acorn@5377 | 731 | Method* m = iklass->find_method(_method_name, _method_signature); |
acorn@5786 | 732 | // private interface methods are not candidates for default methods |
acorn@5786 | 733 | // invokespecial to private interface methods doesn't use default method logic |
acorn@6080 | 734 | // The overpasses are your supertypes' errors, we do not include them |
acorn@5786 | 735 | // future: take access controls into account for superclass methods |
acorn@6080 | 736 | if (m != NULL && !m->is_static() && !m->is_overpass() && |
acorn@6080 | 737 | (!iklass->is_interface() || m->is_public())) { |
acorn@5377 | 738 | if (_family == NULL) { |
acorn@5377 | 739 | _family = new StatefulMethodFamily(); |
acorn@5377 | 740 | } |
acorn@5377 | 741 | |
acorn@5377 | 742 | if (iklass->is_interface()) { |
acorn@5377 | 743 | StateRestorer* restorer = _family->record_method_and_dq_further(m); |
acorn@5377 | 744 | scope->add_mark(restorer); |
acorn@5377 | 745 | } else { |
acorn@5377 | 746 | // This is the rule that methods in classes "win" (bad word) over |
acorn@5377 | 747 | // methods in interfaces. This works because of single inheritance |
acorn@5377 | 748 | _family->set_target_if_empty(m); |
acorn@5377 | 749 | } |
acorn@5377 | 750 | } |
acorn@5377 | 751 | return true; |
acorn@5377 | 752 | } |
acorn@5377 | 753 | |
acorn@5377 | 754 | }; |
acorn@5377 | 755 | |
kamg@4245 | 756 | |
kamg@4245 | 757 | |
acorn@5848 | 758 | static void create_defaults_and_exceptions( |
acorn@5377 | 759 | GrowableArray<EmptyVtableSlot*>* slots, InstanceKlass* klass, TRAPS); |
acorn@5377 | 760 | |
acorn@5377 | 761 | static void generate_erased_defaults( |
acorn@5377 | 762 | InstanceKlass* klass, GrowableArray<EmptyVtableSlot*>* empty_slots, |
acorn@5377 | 763 | EmptyVtableSlot* slot, TRAPS) { |
acorn@5377 | 764 | |
acorn@5377 | 765 | // sets up a set of methods with the same exact erased signature |
acorn@5377 | 766 | FindMethodsByErasedSig visitor(slot->name(), slot->signature()); |
acorn@5377 | 767 | visitor.run(klass); |
acorn@5377 | 768 | |
acorn@5377 | 769 | MethodFamily* family; |
acorn@5377 | 770 | visitor.get_discovered_family(&family); |
acorn@5377 | 771 | if (family != NULL) { |
acorn@5377 | 772 | family->determine_target(klass, CHECK); |
acorn@5377 | 773 | slot->bind_family(family); |
acorn@5377 | 774 | } |
acorn@5377 | 775 | } |
acorn@5377 | 776 | |
kamg@4245 | 777 | static void merge_in_new_methods(InstanceKlass* klass, |
kamg@4245 | 778 | GrowableArray<Method*>* new_methods, TRAPS); |
acorn@5848 | 779 | static void create_default_methods( InstanceKlass* klass, |
acorn@5848 | 780 | GrowableArray<Method*>* new_methods, TRAPS); |
kamg@4245 | 781 | |
kamg@4245 | 782 | // This is the guts of the default methods implementation. This is called just |
kamg@4245 | 783 | // after the classfile has been parsed if some ancestor has default methods. |
kamg@4245 | 784 | // |
kamg@4245 | 785 | // First if finds any name/signature slots that need any implementation (either |
kamg@4245 | 786 | // because they are miranda or a superclass's implementation is an overpass |
acorn@5599 | 787 | // itself). For each slot, iterate over the hierarchy, to see if they contain a |
acorn@5599 | 788 | // signature that matches the slot we are looking at. |
kamg@4245 | 789 | // |
kamg@4245 | 790 | // For each slot filled, we generate an overpass method that either calls the |
kamg@4245 | 791 | // unique default method candidate using invokespecial, or throws an exception |
kamg@4245 | 792 | // (in the case of no default method candidates, or more than one valid |
acorn@5599 | 793 | // candidate). These methods are then added to the class's method list. |
acorn@5599 | 794 | // The JVM does not create bridges nor handle generic signatures here. |
kamg@4245 | 795 | void DefaultMethods::generate_default_methods( |
kamg@4245 | 796 | InstanceKlass* klass, GrowableArray<Method*>* mirandas, TRAPS) { |
kamg@4245 | 797 | |
kamg@4245 | 798 | // This resource mark is the bound for all memory allocation that takes |
kamg@4245 | 799 | // place during default method processing. After this goes out of scope, |
kamg@4245 | 800 | // all (Resource) objects' memory will be reclaimed. Be careful if adding an |
kamg@4245 | 801 | // embedded resource mark under here as that memory can't be used outside |
kamg@4245 | 802 | // whatever scope it's in. |
kamg@4245 | 803 | ResourceMark rm(THREAD); |
kamg@4245 | 804 | |
kamg@4245 | 805 | // Keep entire hierarchy alive for the duration of the computation |
kamg@4245 | 806 | KeepAliveRegistrar keepAlive(THREAD); |
kamg@4245 | 807 | KeepAliveVisitor loadKeepAlive(&keepAlive); |
kamg@4245 | 808 | loadKeepAlive.run(klass); |
kamg@4245 | 809 | |
kamg@4245 | 810 | #ifndef PRODUCT |
kamg@4245 | 811 | if (TraceDefaultMethods) { |
kamg@4245 | 812 | ResourceMark rm; // be careful with these! |
acorn@6080 | 813 | tty->print_cr("%s %s requires default method processing", |
acorn@6080 | 814 | klass->is_interface() ? "Interface" : "Class", |
kamg@4245 | 815 | klass->name()->as_klass_external_name()); |
kamg@4245 | 816 | PrintHierarchy printer; |
kamg@4245 | 817 | printer.run(klass); |
kamg@4245 | 818 | } |
kamg@4245 | 819 | #endif // ndef PRODUCT |
kamg@4245 | 820 | |
kamg@4245 | 821 | GrowableArray<EmptyVtableSlot*>* empty_slots = |
kamg@4245 | 822 | find_empty_vtable_slots(klass, mirandas, CHECK); |
kamg@4245 | 823 | |
kamg@4245 | 824 | for (int i = 0; i < empty_slots->length(); ++i) { |
kamg@4245 | 825 | EmptyVtableSlot* slot = empty_slots->at(i); |
kamg@4245 | 826 | #ifndef PRODUCT |
kamg@4245 | 827 | if (TraceDefaultMethods) { |
kamg@4245 | 828 | streamIndentor si(tty, 2); |
kamg@4245 | 829 | tty->indent().print("Looking for default methods for slot "); |
kamg@4245 | 830 | slot->print_on(tty); |
drchase@6680 | 831 | tty->cr(); |
kamg@4245 | 832 | } |
kamg@4245 | 833 | #endif // ndef PRODUCT |
acorn@5377 | 834 | |
acorn@5599 | 835 | generate_erased_defaults(klass, empty_slots, slot, CHECK); |
acorn@5377 | 836 | } |
kamg@4245 | 837 | #ifndef PRODUCT |
kamg@4245 | 838 | if (TraceDefaultMethods) { |
acorn@6080 | 839 | tty->print_cr("Creating defaults and overpasses..."); |
kamg@4245 | 840 | } |
kamg@4245 | 841 | #endif // ndef PRODUCT |
kamg@4245 | 842 | |
acorn@5848 | 843 | create_defaults_and_exceptions(empty_slots, klass, CHECK); |
kamg@4245 | 844 | |
kamg@4245 | 845 | #ifndef PRODUCT |
kamg@4245 | 846 | if (TraceDefaultMethods) { |
kamg@4245 | 847 | tty->print_cr("Default method processing complete"); |
kamg@4245 | 848 | } |
kamg@4245 | 849 | #endif // ndef PRODUCT |
kamg@4245 | 850 | } |
kamg@4245 | 851 | |
acorn@5786 | 852 | static int assemble_method_error( |
acorn@5786 | 853 | BytecodeConstantPool* cp, BytecodeBuffer* buffer, Symbol* errorName, Symbol* message, TRAPS) { |
kamg@4245 | 854 | |
kamg@4245 | 855 | Symbol* init = vmSymbols::object_initializer_name(); |
kamg@4245 | 856 | Symbol* sig = vmSymbols::string_void_signature(); |
kamg@4245 | 857 | |
kamg@4245 | 858 | BytecodeAssembler assem(buffer, cp); |
kamg@4245 | 859 | |
kamg@4245 | 860 | assem._new(errorName); |
kamg@4245 | 861 | assem.dup(); |
kamg@4245 | 862 | assem.load_string(message); |
kamg@4245 | 863 | assem.invokespecial(errorName, init, sig); |
kamg@4245 | 864 | assem.athrow(); |
kamg@4245 | 865 | |
kamg@4245 | 866 | return 3; // max stack size: [ exception, exception, string ] |
kamg@4245 | 867 | } |
kamg@4245 | 868 | |
kamg@4245 | 869 | static Method* new_method( |
kamg@4245 | 870 | BytecodeConstantPool* cp, BytecodeBuffer* bytecodes, Symbol* name, |
kamg@4245 | 871 | Symbol* sig, AccessFlags flags, int max_stack, int params, |
kamg@4245 | 872 | ConstMethod::MethodType mt, TRAPS) { |
kamg@4245 | 873 | |
acorn@5377 | 874 | address code_start = 0; |
acorn@5377 | 875 | int code_length = 0; |
coleenp@4572 | 876 | InlineTableSizes sizes; |
kamg@4245 | 877 | |
acorn@5377 | 878 | if (bytecodes != NULL && bytecodes->length() > 0) { |
acorn@5377 | 879 | code_start = static_cast<address>(bytecodes->adr_at(0)); |
acorn@5377 | 880 | code_length = bytecodes->length(); |
acorn@5377 | 881 | } |
acorn@5377 | 882 | |
kamg@4245 | 883 | Method* m = Method::allocate(cp->pool_holder()->class_loader_data(), |
coleenp@4572 | 884 | code_length, flags, &sizes, |
coleenp@4398 | 885 | mt, CHECK_NULL); |
kamg@4245 | 886 | |
kamg@4245 | 887 | m->set_constants(NULL); // This will get filled in later |
kamg@4245 | 888 | m->set_name_index(cp->utf8(name)); |
kamg@4245 | 889 | m->set_signature_index(cp->utf8(sig)); |
kamg@4245 | 890 | #ifdef CC_INTERP |
kamg@4245 | 891 | ResultTypeFinder rtf(sig); |
kamg@4245 | 892 | m->set_result_index(rtf.type()); |
kamg@4245 | 893 | #endif |
kamg@4245 | 894 | m->set_size_of_parameters(params); |
kamg@4245 | 895 | m->set_max_stack(max_stack); |
kamg@4245 | 896 | m->set_max_locals(params); |
kamg@4245 | 897 | m->constMethod()->set_stackmap_data(NULL); |
kamg@4245 | 898 | m->set_code(code_start); |
kamg@4245 | 899 | |
kamg@4245 | 900 | return m; |
kamg@4245 | 901 | } |
kamg@4245 | 902 | |
kamg@4245 | 903 | static void switchover_constant_pool(BytecodeConstantPool* bpool, |
kamg@4245 | 904 | InstanceKlass* klass, GrowableArray<Method*>* new_methods, TRAPS) { |
kamg@4245 | 905 | |
kamg@4245 | 906 | if (new_methods->length() > 0) { |
kamg@4245 | 907 | ConstantPool* cp = bpool->create_constant_pool(CHECK); |
kamg@4245 | 908 | if (cp != klass->constants()) { |
kamg@4245 | 909 | klass->class_loader_data()->add_to_deallocate_list(klass->constants()); |
kamg@4245 | 910 | klass->set_constants(cp); |
kamg@4245 | 911 | cp->set_pool_holder(klass); |
kamg@4245 | 912 | |
kamg@4245 | 913 | for (int i = 0; i < new_methods->length(); ++i) { |
kamg@4245 | 914 | new_methods->at(i)->set_constants(cp); |
kamg@4245 | 915 | } |
kamg@4245 | 916 | for (int i = 0; i < klass->methods()->length(); ++i) { |
kamg@4245 | 917 | Method* mo = klass->methods()->at(i); |
kamg@4245 | 918 | mo->set_constants(cp); |
kamg@4245 | 919 | } |
kamg@4245 | 920 | } |
kamg@4245 | 921 | } |
kamg@4245 | 922 | } |
kamg@4245 | 923 | |
acorn@5848 | 924 | // Create default_methods list for the current class. |
acorn@5848 | 925 | // With the VM only processing erased signatures, the VM only |
acorn@5848 | 926 | // creates an overpass in a conflict case or a case with no candidates. |
acorn@5848 | 927 | // This allows virtual methods to override the overpass, but ensures |
acorn@5848 | 928 | // that a local method search will find the exception rather than an abstract |
acorn@5848 | 929 | // or default method that is not a valid candidate. |
acorn@5848 | 930 | static void create_defaults_and_exceptions( |
kamg@4245 | 931 | GrowableArray<EmptyVtableSlot*>* slots, |
kamg@4245 | 932 | InstanceKlass* klass, TRAPS) { |
kamg@4245 | 933 | |
kamg@4245 | 934 | GrowableArray<Method*> overpasses; |
acorn@5848 | 935 | GrowableArray<Method*> defaults; |
kamg@4245 | 936 | BytecodeConstantPool bpool(klass->constants()); |
kamg@4245 | 937 | |
kamg@4245 | 938 | for (int i = 0; i < slots->length(); ++i) { |
kamg@4245 | 939 | EmptyVtableSlot* slot = slots->at(i); |
kamg@4245 | 940 | |
kamg@4245 | 941 | if (slot->is_bound()) { |
kamg@4245 | 942 | MethodFamily* method = slot->get_binding(); |
kamg@4245 | 943 | BytecodeBuffer buffer; |
kamg@4245 | 944 | |
kamg@4245 | 945 | #ifndef PRODUCT |
kamg@4245 | 946 | if (TraceDefaultMethods) { |
kamg@4245 | 947 | tty->print("for slot: "); |
kamg@4245 | 948 | slot->print_on(tty); |
drchase@6680 | 949 | tty->cr(); |
kamg@4245 | 950 | if (method->has_target()) { |
kamg@4245 | 951 | method->print_selected(tty, 1); |
acorn@5848 | 952 | } else if (method->throws_exception()) { |
kamg@4245 | 953 | method->print_exception(tty, 1); |
kamg@4245 | 954 | } |
kamg@4245 | 955 | } |
kamg@4245 | 956 | #endif // ndef PRODUCT |
acorn@5848 | 957 | |
kamg@4245 | 958 | if (method->has_target()) { |
kamg@4245 | 959 | Method* selected = method->get_selected_target(); |
acorn@5681 | 960 | if (selected->method_holder()->is_interface()) { |
acorn@5848 | 961 | defaults.push(selected); |
acorn@5681 | 962 | } |
kamg@4245 | 963 | } else if (method->throws_exception()) { |
acorn@5848 | 964 | int max_stack = assemble_method_error(&bpool, &buffer, |
acorn@5848 | 965 | method->get_exception_name(), method->get_exception_message(), CHECK); |
acorn@5681 | 966 | AccessFlags flags = accessFlags_from( |
kamg@4245 | 967 | JVM_ACC_PUBLIC | JVM_ACC_SYNTHETIC | JVM_ACC_BRIDGE); |
acorn@5848 | 968 | Method* m = new_method(&bpool, &buffer, slot->name(), slot->signature(), |
kamg@4245 | 969 | flags, max_stack, slot->size_of_parameters(), |
kamg@4245 | 970 | ConstMethod::OVERPASS, CHECK); |
acorn@5848 | 971 | // We push to the methods list: |
acorn@5848 | 972 | // overpass methods which are exception throwing methods |
acorn@5681 | 973 | if (m != NULL) { |
acorn@5681 | 974 | overpasses.push(m); |
acorn@5681 | 975 | } |
kamg@4245 | 976 | } |
kamg@4245 | 977 | } |
kamg@4245 | 978 | } |
kamg@4245 | 979 | |
kamg@4245 | 980 | #ifndef PRODUCT |
kamg@4245 | 981 | if (TraceDefaultMethods) { |
kamg@4245 | 982 | tty->print_cr("Created %d overpass methods", overpasses.length()); |
acorn@5848 | 983 | tty->print_cr("Created %d default methods", defaults.length()); |
kamg@4245 | 984 | } |
kamg@4245 | 985 | #endif // ndef PRODUCT |
kamg@4245 | 986 | |
acorn@5848 | 987 | if (overpasses.length() > 0) { |
acorn@5848 | 988 | switchover_constant_pool(&bpool, klass, &overpasses, CHECK); |
acorn@5848 | 989 | merge_in_new_methods(klass, &overpasses, CHECK); |
acorn@5848 | 990 | } |
acorn@5848 | 991 | if (defaults.length() > 0) { |
acorn@5848 | 992 | create_default_methods(klass, &defaults, CHECK); |
acorn@5848 | 993 | } |
acorn@5848 | 994 | } |
acorn@5848 | 995 | |
acorn@5848 | 996 | static void create_default_methods( InstanceKlass* klass, |
acorn@5848 | 997 | GrowableArray<Method*>* new_methods, TRAPS) { |
acorn@5848 | 998 | |
acorn@5848 | 999 | int new_size = new_methods->length(); |
acorn@5848 | 1000 | Array<Method*>* total_default_methods = MetadataFactory::new_array<Method*>( |
acorn@5848 | 1001 | klass->class_loader_data(), new_size, NULL, CHECK); |
acorn@5848 | 1002 | for (int index = 0; index < new_size; index++ ) { |
acorn@5848 | 1003 | total_default_methods->at_put(index, new_methods->at(index)); |
acorn@5848 | 1004 | } |
acorn@5848 | 1005 | Method::sort_methods(total_default_methods, false, false); |
acorn@5848 | 1006 | |
acorn@5848 | 1007 | klass->set_default_methods(total_default_methods); |
kamg@4245 | 1008 | } |
kamg@4245 | 1009 | |
kamg@4245 | 1010 | static void sort_methods(GrowableArray<Method*>* methods) { |
kamg@4245 | 1011 | // Note that this must sort using the same key as is used for sorting |
kamg@4245 | 1012 | // methods in InstanceKlass. |
kamg@4245 | 1013 | bool sorted = true; |
kamg@4245 | 1014 | for (int i = methods->length() - 1; i > 0; --i) { |
kamg@4245 | 1015 | for (int j = 0; j < i; ++j) { |
kamg@4245 | 1016 | Method* m1 = methods->at(j); |
kamg@4245 | 1017 | Method* m2 = methods->at(j + 1); |
kamg@4245 | 1018 | if ((uintptr_t)m1->name() > (uintptr_t)m2->name()) { |
kamg@4245 | 1019 | methods->at_put(j, m2); |
kamg@4245 | 1020 | methods->at_put(j + 1, m1); |
kamg@4245 | 1021 | sorted = false; |
kamg@4245 | 1022 | } |
kamg@4245 | 1023 | } |
kamg@4245 | 1024 | if (sorted) break; |
kamg@4245 | 1025 | sorted = true; |
kamg@4245 | 1026 | } |
kamg@4245 | 1027 | #ifdef ASSERT |
kamg@4245 | 1028 | uintptr_t prev = 0; |
kamg@4245 | 1029 | for (int i = 0; i < methods->length(); ++i) { |
kamg@4245 | 1030 | Method* mh = methods->at(i); |
kamg@4245 | 1031 | uintptr_t nv = (uintptr_t)mh->name(); |
kamg@4245 | 1032 | assert(nv >= prev, "Incorrect overpass method ordering"); |
kamg@4245 | 1033 | prev = nv; |
kamg@4245 | 1034 | } |
kamg@4245 | 1035 | #endif |
kamg@4245 | 1036 | } |
kamg@4245 | 1037 | |
kamg@4245 | 1038 | static void merge_in_new_methods(InstanceKlass* klass, |
kamg@4245 | 1039 | GrowableArray<Method*>* new_methods, TRAPS) { |
kamg@4245 | 1040 | |
kamg@4245 | 1041 | enum { ANNOTATIONS, PARAMETERS, DEFAULTS, NUM_ARRAYS }; |
kamg@4245 | 1042 | |
kamg@4245 | 1043 | Array<Method*>* original_methods = klass->methods(); |
kamg@4245 | 1044 | Array<int>* original_ordering = klass->method_ordering(); |
kamg@4245 | 1045 | Array<int>* merged_ordering = Universe::the_empty_int_array(); |
kamg@4245 | 1046 | |
kamg@4245 | 1047 | int new_size = klass->methods()->length() + new_methods->length(); |
kamg@4245 | 1048 | |
kamg@4245 | 1049 | Array<Method*>* merged_methods = MetadataFactory::new_array<Method*>( |
kamg@4245 | 1050 | klass->class_loader_data(), new_size, NULL, CHECK); |
coleenp@4572 | 1051 | |
coleenp@6196 | 1052 | // original_ordering might be empty if this class has no methods of its own |
coleenp@6196 | 1053 | if (JvmtiExport::can_maintain_original_method_order() || DumpSharedSpaces) { |
kamg@4245 | 1054 | merged_ordering = MetadataFactory::new_array<int>( |
kamg@4245 | 1055 | klass->class_loader_data(), new_size, CHECK); |
kamg@4245 | 1056 | } |
kamg@4245 | 1057 | int method_order_index = klass->methods()->length(); |
kamg@4245 | 1058 | |
kamg@4245 | 1059 | sort_methods(new_methods); |
kamg@4245 | 1060 | |
kamg@4245 | 1061 | // Perform grand merge of existing methods and new methods |
kamg@4245 | 1062 | int orig_idx = 0; |
kamg@4245 | 1063 | int new_idx = 0; |
kamg@4245 | 1064 | |
kamg@4245 | 1065 | for (int i = 0; i < new_size; ++i) { |
kamg@4245 | 1066 | Method* orig_method = NULL; |
kamg@4245 | 1067 | Method* new_method = NULL; |
kamg@4245 | 1068 | if (orig_idx < original_methods->length()) { |
kamg@4245 | 1069 | orig_method = original_methods->at(orig_idx); |
kamg@4245 | 1070 | } |
kamg@4245 | 1071 | if (new_idx < new_methods->length()) { |
kamg@4245 | 1072 | new_method = new_methods->at(new_idx); |
kamg@4245 | 1073 | } |
kamg@4245 | 1074 | |
kamg@4245 | 1075 | if (orig_method != NULL && |
kamg@4245 | 1076 | (new_method == NULL || orig_method->name() < new_method->name())) { |
kamg@4245 | 1077 | merged_methods->at_put(i, orig_method); |
kamg@4245 | 1078 | original_methods->at_put(orig_idx, NULL); |
kamg@4245 | 1079 | if (merged_ordering->length() > 0) { |
coleenp@6196 | 1080 | assert(original_ordering != NULL && original_ordering->length() > 0, |
coleenp@6196 | 1081 | "should have original order information for this method"); |
kamg@4245 | 1082 | merged_ordering->at_put(i, original_ordering->at(orig_idx)); |
kamg@4245 | 1083 | } |
kamg@4245 | 1084 | ++orig_idx; |
kamg@4245 | 1085 | } else { |
kamg@4245 | 1086 | merged_methods->at_put(i, new_method); |
kamg@4245 | 1087 | if (merged_ordering->length() > 0) { |
kamg@4245 | 1088 | merged_ordering->at_put(i, method_order_index++); |
kamg@4245 | 1089 | } |
kamg@4245 | 1090 | ++new_idx; |
kamg@4245 | 1091 | } |
kamg@4245 | 1092 | // update idnum for new location |
kamg@4245 | 1093 | merged_methods->at(i)->set_method_idnum(i); |
kamg@4245 | 1094 | } |
kamg@4245 | 1095 | |
kamg@4245 | 1096 | // Verify correct order |
kamg@4245 | 1097 | #ifdef ASSERT |
kamg@4245 | 1098 | uintptr_t prev = 0; |
kamg@4245 | 1099 | for (int i = 0; i < merged_methods->length(); ++i) { |
kamg@4245 | 1100 | Method* mo = merged_methods->at(i); |
kamg@4245 | 1101 | uintptr_t nv = (uintptr_t)mo->name(); |
kamg@4245 | 1102 | assert(nv >= prev, "Incorrect method ordering"); |
kamg@4245 | 1103 | prev = nv; |
kamg@4245 | 1104 | } |
kamg@4245 | 1105 | #endif |
kamg@4245 | 1106 | |
kamg@4245 | 1107 | // Replace klass methods with new merged lists |
kamg@4245 | 1108 | klass->set_methods(merged_methods); |
sspitsyn@5209 | 1109 | klass->set_initial_method_idnum(new_size); |
coleenp@6196 | 1110 | klass->set_method_ordering(merged_ordering); |
kamg@4245 | 1111 | |
coleenp@6196 | 1112 | // Free metadata |
kamg@4245 | 1113 | ClassLoaderData* cld = klass->class_loader_data(); |
coleenp@6196 | 1114 | if (original_methods->length() > 0) { |
acorn@6080 | 1115 | MetadataFactory::free_array(cld, original_methods); |
acorn@6080 | 1116 | } |
coleenp@6196 | 1117 | if (original_ordering != NULL && original_ordering->length() > 0) { |
kamg@4245 | 1118 | MetadataFactory::free_array(cld, original_ordering); |
kamg@4245 | 1119 | } |
kamg@4245 | 1120 | } |