Thu, 11 Apr 2013 09:08:15 -0700
8011972: Field can be erroneously marked as contended when @Contended annotation isn't present
Reviewed-by: kvn, kmo, shade
kamg@4245 | 1 | /* |
coleenp@4572 | 2 | * Copyright (c) 2012, 2013, 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/genericSignatures.hpp" |
kamg@4245 | 29 | #include "classfile/symbolTable.hpp" |
kamg@4245 | 30 | #include "memory/allocation.hpp" |
kamg@4245 | 31 | #include "memory/metadataFactory.hpp" |
kamg@4245 | 32 | #include "memory/resourceArea.hpp" |
kamg@4245 | 33 | #include "runtime/signature.hpp" |
kamg@4245 | 34 | #include "runtime/thread.hpp" |
kamg@4245 | 35 | #include "oops/instanceKlass.hpp" |
kamg@4245 | 36 | #include "oops/klass.hpp" |
kamg@4245 | 37 | #include "oops/method.hpp" |
kamg@4245 | 38 | #include "utilities/accessFlags.hpp" |
kamg@4245 | 39 | #include "utilities/exceptions.hpp" |
kamg@4245 | 40 | #include "utilities/ostream.hpp" |
kamg@4245 | 41 | #include "utilities/pair.hpp" |
kamg@4245 | 42 | #include "utilities/resourceHash.hpp" |
kamg@4245 | 43 | |
kamg@4245 | 44 | typedef enum { QUALIFIED, DISQUALIFIED } QualifiedState; |
kamg@4245 | 45 | |
kamg@4245 | 46 | // Because we use an iterative algorithm when iterating over the type |
kamg@4245 | 47 | // hierarchy, we can't use traditional scoped objects which automatically do |
kamg@4245 | 48 | // cleanup in the destructor when the scope is exited. PseudoScope (and |
kamg@4245 | 49 | // PseudoScopeMark) provides a similar functionality, but for when you want a |
kamg@4245 | 50 | // scoped object in non-stack memory (such as in resource memory, as we do |
kamg@4245 | 51 | // here). You've just got to remember to call 'destroy()' on the scope when |
kamg@4245 | 52 | // leaving it (and marks have to be explicitly added). |
kamg@4245 | 53 | class PseudoScopeMark : public ResourceObj { |
kamg@4245 | 54 | public: |
kamg@4245 | 55 | virtual void destroy() = 0; |
kamg@4245 | 56 | }; |
kamg@4245 | 57 | |
kamg@4245 | 58 | class PseudoScope : public ResourceObj { |
kamg@4245 | 59 | private: |
kamg@4245 | 60 | GrowableArray<PseudoScopeMark*> _marks; |
kamg@4245 | 61 | public: |
kamg@4245 | 62 | |
kamg@4245 | 63 | static PseudoScope* cast(void* data) { |
kamg@4245 | 64 | return static_cast<PseudoScope*>(data); |
kamg@4245 | 65 | } |
kamg@4245 | 66 | |
kamg@4245 | 67 | void add_mark(PseudoScopeMark* psm) { |
kamg@4245 | 68 | _marks.append(psm); |
kamg@4245 | 69 | } |
kamg@4245 | 70 | |
kamg@4245 | 71 | void destroy() { |
kamg@4245 | 72 | for (int i = 0; i < _marks.length(); ++i) { |
kamg@4245 | 73 | _marks.at(i)->destroy(); |
kamg@4245 | 74 | } |
kamg@4245 | 75 | } |
kamg@4245 | 76 | }; |
kamg@4245 | 77 | |
kamg@4245 | 78 | class ContextMark : public PseudoScopeMark { |
kamg@4245 | 79 | private: |
kamg@4245 | 80 | generic::Context::Mark _mark; |
kamg@4245 | 81 | public: |
kamg@4245 | 82 | ContextMark(const generic::Context::Mark& cm) : _mark(cm) {} |
kamg@4245 | 83 | virtual void destroy() { _mark.destroy(); } |
kamg@4245 | 84 | }; |
kamg@4245 | 85 | |
kamg@4245 | 86 | #ifndef PRODUCT |
kamg@4245 | 87 | static void print_slot(outputStream* str, Symbol* name, Symbol* signature) { |
kamg@4245 | 88 | ResourceMark rm; |
kamg@4245 | 89 | str->print("%s%s", name->as_C_string(), signature->as_C_string()); |
kamg@4245 | 90 | } |
kamg@4245 | 91 | |
kamg@4245 | 92 | static void print_method(outputStream* str, Method* mo, bool with_class=true) { |
kamg@4245 | 93 | ResourceMark rm; |
kamg@4245 | 94 | if (with_class) { |
kamg@4245 | 95 | str->print("%s.", mo->klass_name()->as_C_string()); |
kamg@4245 | 96 | } |
kamg@4245 | 97 | print_slot(str, mo->name(), mo->signature()); |
kamg@4245 | 98 | } |
kamg@4245 | 99 | #endif // ndef PRODUCT |
kamg@4245 | 100 | |
kamg@4245 | 101 | /** |
kamg@4245 | 102 | * Perform a depth-first iteration over the class hierarchy, applying |
kamg@4245 | 103 | * algorithmic logic as it goes. |
kamg@4245 | 104 | * |
kamg@4245 | 105 | * This class is one half of the inheritance hierarchy analysis mechanism. |
kamg@4245 | 106 | * It is meant to be used in conjunction with another class, the algorithm, |
kamg@4245 | 107 | * which is indicated by the ALGO template parameter. This class can be |
kamg@4245 | 108 | * paired with any algorithm class that provides the required methods. |
kamg@4245 | 109 | * |
kamg@4245 | 110 | * This class contains all the mechanics for iterating over the class hierarchy |
kamg@4245 | 111 | * starting at a particular root, without recursing (thus limiting stack growth |
kamg@4245 | 112 | * from this point). It visits each superclass (if present) and superinterface |
kamg@4245 | 113 | * in a depth-first manner, with callbacks to the ALGO class as each class is |
kamg@4245 | 114 | * encountered (visit()), The algorithm can cut-off further exploration of a |
kamg@4245 | 115 | * particular branch by returning 'false' from a visit() call. |
kamg@4245 | 116 | * |
kamg@4245 | 117 | * The ALGO class, must provide a visit() method, which each of which will be |
kamg@4245 | 118 | * called once for each node in the inheritance tree during the iteration. In |
kamg@4245 | 119 | * addition, it can provide a memory block via new_node_data(InstanceKlass*), |
kamg@4245 | 120 | * which it can use for node-specific storage (and access via the |
kamg@4245 | 121 | * current_data() and data_at_depth(int) methods). |
kamg@4245 | 122 | * |
kamg@4245 | 123 | * Bare minimum needed to be an ALGO class: |
kamg@4245 | 124 | * class Algo : public HierarchyVisitor<Algo> { |
kamg@4245 | 125 | * void* new_node_data(InstanceKlass* cls) { return NULL; } |
kamg@4245 | 126 | * void free_node_data(void* data) { return; } |
kamg@4245 | 127 | * bool visit() { return true; } |
kamg@4245 | 128 | * }; |
kamg@4245 | 129 | */ |
kamg@4245 | 130 | template <class ALGO> |
kamg@4245 | 131 | class HierarchyVisitor : StackObj { |
kamg@4245 | 132 | private: |
kamg@4245 | 133 | |
kamg@4245 | 134 | class Node : public ResourceObj { |
kamg@4245 | 135 | public: |
kamg@4245 | 136 | InstanceKlass* _class; |
kamg@4245 | 137 | bool _super_was_visited; |
kamg@4245 | 138 | int _interface_index; |
kamg@4245 | 139 | void* _algorithm_data; |
kamg@4245 | 140 | |
kamg@4245 | 141 | Node(InstanceKlass* cls, void* data, bool visit_super) |
kamg@4245 | 142 | : _class(cls), _super_was_visited(!visit_super), |
kamg@4245 | 143 | _interface_index(0), _algorithm_data(data) {} |
kamg@4245 | 144 | |
kamg@4245 | 145 | int number_of_interfaces() { return _class->local_interfaces()->length(); } |
kamg@4245 | 146 | int interface_index() { return _interface_index; } |
kamg@4245 | 147 | void set_super_visited() { _super_was_visited = true; } |
kamg@4245 | 148 | void increment_visited_interface() { ++_interface_index; } |
kamg@4245 | 149 | void set_all_interfaces_visited() { |
kamg@4245 | 150 | _interface_index = number_of_interfaces(); |
kamg@4245 | 151 | } |
kamg@4245 | 152 | bool has_visited_super() { return _super_was_visited; } |
kamg@4245 | 153 | bool has_visited_all_interfaces() { |
kamg@4245 | 154 | return interface_index() >= number_of_interfaces(); |
kamg@4245 | 155 | } |
kamg@4245 | 156 | InstanceKlass* interface_at(int index) { |
kamg@4245 | 157 | return InstanceKlass::cast(_class->local_interfaces()->at(index)); |
kamg@4245 | 158 | } |
kamg@4245 | 159 | InstanceKlass* next_super() { return _class->java_super(); } |
kamg@4245 | 160 | InstanceKlass* next_interface() { |
kamg@4245 | 161 | return interface_at(interface_index()); |
kamg@4245 | 162 | } |
kamg@4245 | 163 | }; |
kamg@4245 | 164 | |
kamg@4245 | 165 | bool _cancelled; |
kamg@4245 | 166 | GrowableArray<Node*> _path; |
kamg@4245 | 167 | |
kamg@4245 | 168 | Node* current_top() const { return _path.top(); } |
kamg@4245 | 169 | bool has_more_nodes() const { return !_path.is_empty(); } |
kamg@4245 | 170 | void push(InstanceKlass* cls, void* data) { |
kamg@4245 | 171 | assert(cls != NULL, "Requires a valid instance class"); |
kamg@4245 | 172 | Node* node = new Node(cls, data, has_super(cls)); |
kamg@4245 | 173 | _path.push(node); |
kamg@4245 | 174 | } |
kamg@4245 | 175 | void pop() { _path.pop(); } |
kamg@4245 | 176 | |
kamg@4245 | 177 | void reset_iteration() { |
kamg@4245 | 178 | _cancelled = false; |
kamg@4245 | 179 | _path.clear(); |
kamg@4245 | 180 | } |
kamg@4245 | 181 | bool is_cancelled() const { return _cancelled; } |
kamg@4245 | 182 | |
kamg@4245 | 183 | static bool has_super(InstanceKlass* cls) { |
kamg@4245 | 184 | return cls->super() != NULL && !cls->is_interface(); |
kamg@4245 | 185 | } |
kamg@4245 | 186 | |
kamg@4245 | 187 | Node* node_at_depth(int i) const { |
kamg@4245 | 188 | return (i >= _path.length()) ? NULL : _path.at(_path.length() - i - 1); |
kamg@4245 | 189 | } |
kamg@4245 | 190 | |
kamg@4245 | 191 | protected: |
kamg@4245 | 192 | |
kamg@4245 | 193 | // Accessors available to the algorithm |
kamg@4245 | 194 | int current_depth() const { return _path.length() - 1; } |
kamg@4245 | 195 | |
kamg@4245 | 196 | InstanceKlass* class_at_depth(int i) { |
kamg@4245 | 197 | Node* n = node_at_depth(i); |
kamg@4245 | 198 | return n == NULL ? NULL : n->_class; |
kamg@4245 | 199 | } |
kamg@4245 | 200 | InstanceKlass* current_class() { return class_at_depth(0); } |
kamg@4245 | 201 | |
kamg@4245 | 202 | void* data_at_depth(int i) { |
kamg@4245 | 203 | Node* n = node_at_depth(i); |
kamg@4245 | 204 | return n == NULL ? NULL : n->_algorithm_data; |
kamg@4245 | 205 | } |
kamg@4245 | 206 | void* current_data() { return data_at_depth(0); } |
kamg@4245 | 207 | |
kamg@4245 | 208 | void cancel_iteration() { _cancelled = true; } |
kamg@4245 | 209 | |
kamg@4245 | 210 | public: |
kamg@4245 | 211 | |
kamg@4245 | 212 | void run(InstanceKlass* root) { |
kamg@4245 | 213 | ALGO* algo = static_cast<ALGO*>(this); |
kamg@4245 | 214 | |
kamg@4245 | 215 | reset_iteration(); |
kamg@4245 | 216 | |
kamg@4245 | 217 | void* algo_data = algo->new_node_data(root); |
kamg@4245 | 218 | push(root, algo_data); |
kamg@4245 | 219 | bool top_needs_visit = true; |
kamg@4245 | 220 | |
kamg@4245 | 221 | do { |
kamg@4245 | 222 | Node* top = current_top(); |
kamg@4245 | 223 | if (top_needs_visit) { |
kamg@4245 | 224 | if (algo->visit() == false) { |
kamg@4245 | 225 | // algorithm does not want to continue along this path. Arrange |
kamg@4245 | 226 | // it so that this state is immediately popped off the stack |
kamg@4245 | 227 | top->set_super_visited(); |
kamg@4245 | 228 | top->set_all_interfaces_visited(); |
kamg@4245 | 229 | } |
kamg@4245 | 230 | top_needs_visit = false; |
kamg@4245 | 231 | } |
kamg@4245 | 232 | |
kamg@4245 | 233 | if (top->has_visited_super() && top->has_visited_all_interfaces()) { |
kamg@4245 | 234 | algo->free_node_data(top->_algorithm_data); |
kamg@4245 | 235 | pop(); |
kamg@4245 | 236 | } else { |
kamg@4245 | 237 | InstanceKlass* next = NULL; |
kamg@4245 | 238 | if (top->has_visited_super() == false) { |
kamg@4245 | 239 | next = top->next_super(); |
kamg@4245 | 240 | top->set_super_visited(); |
kamg@4245 | 241 | } else { |
kamg@4245 | 242 | next = top->next_interface(); |
kamg@4245 | 243 | top->increment_visited_interface(); |
kamg@4245 | 244 | } |
kamg@4245 | 245 | assert(next != NULL, "Otherwise we shouldn't be here"); |
kamg@4245 | 246 | algo_data = algo->new_node_data(next); |
kamg@4245 | 247 | push(next, algo_data); |
kamg@4245 | 248 | top_needs_visit = true; |
kamg@4245 | 249 | } |
kamg@4245 | 250 | } while (!is_cancelled() && has_more_nodes()); |
kamg@4245 | 251 | } |
kamg@4245 | 252 | }; |
kamg@4245 | 253 | |
kamg@4245 | 254 | #ifndef PRODUCT |
kamg@4245 | 255 | class PrintHierarchy : public HierarchyVisitor<PrintHierarchy> { |
kamg@4245 | 256 | public: |
kamg@4245 | 257 | |
kamg@4245 | 258 | bool visit() { |
kamg@4245 | 259 | InstanceKlass* cls = current_class(); |
kamg@4245 | 260 | streamIndentor si(tty, current_depth() * 2); |
kamg@4245 | 261 | tty->indent().print_cr("%s", cls->name()->as_C_string()); |
kamg@4245 | 262 | return true; |
kamg@4245 | 263 | } |
kamg@4245 | 264 | |
kamg@4245 | 265 | void* new_node_data(InstanceKlass* cls) { return NULL; } |
kamg@4245 | 266 | void free_node_data(void* data) { return; } |
kamg@4245 | 267 | }; |
kamg@4245 | 268 | #endif // ndef PRODUCT |
kamg@4245 | 269 | |
kamg@4245 | 270 | // Used to register InstanceKlass objects and all related metadata structures |
kamg@4245 | 271 | // (Methods, ConstantPools) as "in-use" by the current thread so that they can't |
kamg@4245 | 272 | // be deallocated by class redefinition while we're using them. The classes are |
kamg@4245 | 273 | // de-registered when this goes out of scope. |
kamg@4245 | 274 | // |
kamg@4245 | 275 | // Once a class is registered, we need not bother with methodHandles or |
kamg@4245 | 276 | // constantPoolHandles for it's associated metadata. |
kamg@4245 | 277 | class KeepAliveRegistrar : public StackObj { |
kamg@4245 | 278 | private: |
kamg@4245 | 279 | Thread* _thread; |
kamg@4245 | 280 | GrowableArray<ConstantPool*> _keep_alive; |
kamg@4245 | 281 | |
kamg@4245 | 282 | public: |
kamg@4245 | 283 | KeepAliveRegistrar(Thread* thread) : _thread(thread), _keep_alive(20) { |
kamg@4245 | 284 | assert(thread == Thread::current(), "Must be current thread"); |
kamg@4245 | 285 | } |
kamg@4245 | 286 | |
kamg@4245 | 287 | ~KeepAliveRegistrar() { |
kamg@4245 | 288 | for (int i = _keep_alive.length() - 1; i >= 0; --i) { |
kamg@4245 | 289 | ConstantPool* cp = _keep_alive.at(i); |
kamg@4245 | 290 | int idx = _thread->metadata_handles()->find_from_end(cp); |
kamg@4245 | 291 | assert(idx > 0, "Must be in the list"); |
kamg@4245 | 292 | _thread->metadata_handles()->remove_at(idx); |
kamg@4245 | 293 | } |
kamg@4245 | 294 | } |
kamg@4245 | 295 | |
kamg@4245 | 296 | // Register a class as 'in-use' by the thread. It's fine to register a class |
kamg@4245 | 297 | // multiple times (though perhaps inefficient) |
kamg@4245 | 298 | void register_class(InstanceKlass* ik) { |
kamg@4245 | 299 | ConstantPool* cp = ik->constants(); |
kamg@4245 | 300 | _keep_alive.push(cp); |
kamg@4245 | 301 | _thread->metadata_handles()->push(cp); |
kamg@4245 | 302 | } |
kamg@4245 | 303 | }; |
kamg@4245 | 304 | |
kamg@4245 | 305 | class KeepAliveVisitor : public HierarchyVisitor<KeepAliveVisitor> { |
kamg@4245 | 306 | private: |
kamg@4245 | 307 | KeepAliveRegistrar* _registrar; |
kamg@4245 | 308 | |
kamg@4245 | 309 | public: |
kamg@4245 | 310 | KeepAliveVisitor(KeepAliveRegistrar* registrar) : _registrar(registrar) {} |
kamg@4245 | 311 | |
kamg@4245 | 312 | void* new_node_data(InstanceKlass* cls) { return NULL; } |
kamg@4245 | 313 | void free_node_data(void* data) { return; } |
kamg@4245 | 314 | |
kamg@4245 | 315 | bool visit() { |
kamg@4245 | 316 | _registrar->register_class(current_class()); |
kamg@4245 | 317 | return true; |
kamg@4245 | 318 | } |
kamg@4245 | 319 | }; |
kamg@4245 | 320 | |
kamg@4245 | 321 | // A method family contains a set of all methods that implement a single |
kamg@4245 | 322 | // language-level method. Because of erasure, these methods may have different |
kamg@4245 | 323 | // signatures. As members of the set are collected while walking over the |
kamg@4245 | 324 | // hierarchy, they are tagged with a qualification state. The qualification |
kamg@4245 | 325 | // state for an erased method is set to disqualified if there exists a path |
kamg@4245 | 326 | // from the root of hierarchy to the method that contains an interleaving |
kamg@4245 | 327 | // language-equivalent method defined in an interface. |
kamg@4245 | 328 | class MethodFamily : public ResourceObj { |
kamg@4245 | 329 | private: |
kamg@4245 | 330 | |
kamg@4245 | 331 | generic::MethodDescriptor* _descriptor; // language-level description |
kamg@4245 | 332 | GrowableArray<Pair<Method*,QualifiedState> > _members; |
kamg@4245 | 333 | ResourceHashtable<Method*, int> _member_index; |
kamg@4245 | 334 | |
kamg@4245 | 335 | Method* _selected_target; // Filled in later, if a unique target exists |
kamg@4245 | 336 | Symbol* _exception_message; // If no unique target is found |
kamg@4245 | 337 | |
kamg@4245 | 338 | bool contains_method(Method* method) { |
kamg@4245 | 339 | int* lookup = _member_index.get(method); |
kamg@4245 | 340 | return lookup != NULL; |
kamg@4245 | 341 | } |
kamg@4245 | 342 | |
kamg@4245 | 343 | void add_method(Method* method, QualifiedState state) { |
kamg@4245 | 344 | Pair<Method*,QualifiedState> entry(method, state); |
kamg@4245 | 345 | _member_index.put(method, _members.length()); |
kamg@4245 | 346 | _members.append(entry); |
kamg@4245 | 347 | } |
kamg@4245 | 348 | |
kamg@4245 | 349 | void disqualify_method(Method* method) { |
kamg@4245 | 350 | int* index = _member_index.get(method); |
morris@4778 | 351 | guarantee(index != NULL && *index >= 0 && *index < _members.length(), "bad index"); |
kamg@4245 | 352 | _members.at(*index).second = DISQUALIFIED; |
kamg@4245 | 353 | } |
kamg@4245 | 354 | |
kamg@4245 | 355 | Symbol* generate_no_defaults_message(TRAPS) const; |
kamg@4245 | 356 | Symbol* generate_abstract_method_message(Method* method, TRAPS) const; |
kamg@4245 | 357 | Symbol* generate_conflicts_message(GrowableArray<Method*>* methods, TRAPS) const; |
kamg@4245 | 358 | |
kamg@4245 | 359 | public: |
kamg@4245 | 360 | |
kamg@4245 | 361 | MethodFamily(generic::MethodDescriptor* canonical_desc) |
kamg@4245 | 362 | : _descriptor(canonical_desc), _selected_target(NULL), |
kamg@4245 | 363 | _exception_message(NULL) {} |
kamg@4245 | 364 | |
kamg@4245 | 365 | generic::MethodDescriptor* descriptor() const { return _descriptor; } |
kamg@4245 | 366 | |
kamg@4245 | 367 | bool descriptor_matches(generic::MethodDescriptor* md, generic::Context* ctx) { |
kamg@4245 | 368 | return descriptor()->covariant_match(md, ctx); |
kamg@4245 | 369 | } |
kamg@4245 | 370 | |
kamg@4245 | 371 | void set_target_if_empty(Method* m) { |
kamg@4245 | 372 | if (_selected_target == NULL && !m->is_overpass()) { |
kamg@4245 | 373 | _selected_target = m; |
kamg@4245 | 374 | } |
kamg@4245 | 375 | } |
kamg@4245 | 376 | |
kamg@4245 | 377 | void record_qualified_method(Method* m) { |
kamg@4245 | 378 | // If the method already exists in the set as qualified, this operation is |
kamg@4245 | 379 | // redundant. If it already exists as disqualified, then we leave it as |
kamg@4245 | 380 | // disqualfied. Thus we only add to the set if it's not already in the |
kamg@4245 | 381 | // set. |
kamg@4245 | 382 | if (!contains_method(m)) { |
kamg@4245 | 383 | add_method(m, QUALIFIED); |
kamg@4245 | 384 | } |
kamg@4245 | 385 | } |
kamg@4245 | 386 | |
kamg@4245 | 387 | void record_disqualified_method(Method* m) { |
kamg@4245 | 388 | // If not in the set, add it as disqualified. If it's already in the set, |
kamg@4245 | 389 | // then set the state to disqualified no matter what the previous state was. |
kamg@4245 | 390 | if (!contains_method(m)) { |
kamg@4245 | 391 | add_method(m, DISQUALIFIED); |
kamg@4245 | 392 | } else { |
kamg@4245 | 393 | disqualify_method(m); |
kamg@4245 | 394 | } |
kamg@4245 | 395 | } |
kamg@4245 | 396 | |
kamg@4245 | 397 | bool has_target() const { return _selected_target != NULL; } |
kamg@4245 | 398 | bool throws_exception() { return _exception_message != NULL; } |
kamg@4245 | 399 | |
kamg@4245 | 400 | Method* get_selected_target() { return _selected_target; } |
kamg@4245 | 401 | Symbol* get_exception_message() { return _exception_message; } |
kamg@4245 | 402 | |
kamg@4245 | 403 | // Either sets the target or the exception error message |
kamg@4245 | 404 | void determine_target(InstanceKlass* root, TRAPS) { |
kamg@4245 | 405 | if (has_target() || throws_exception()) { |
kamg@4245 | 406 | return; |
kamg@4245 | 407 | } |
kamg@4245 | 408 | |
kamg@4245 | 409 | GrowableArray<Method*> qualified_methods; |
kamg@4245 | 410 | for (int i = 0; i < _members.length(); ++i) { |
kamg@4245 | 411 | Pair<Method*,QualifiedState> entry = _members.at(i); |
kamg@4245 | 412 | if (entry.second == QUALIFIED) { |
kamg@4245 | 413 | qualified_methods.append(entry.first); |
kamg@4245 | 414 | } |
kamg@4245 | 415 | } |
kamg@4245 | 416 | |
kamg@4245 | 417 | if (qualified_methods.length() == 0) { |
kamg@4245 | 418 | _exception_message = generate_no_defaults_message(CHECK); |
kamg@4245 | 419 | } else if (qualified_methods.length() == 1) { |
kamg@4245 | 420 | Method* method = qualified_methods.at(0); |
kamg@4245 | 421 | if (method->is_abstract()) { |
kamg@4245 | 422 | _exception_message = generate_abstract_method_message(method, CHECK); |
kamg@4245 | 423 | } else { |
kamg@4245 | 424 | _selected_target = qualified_methods.at(0); |
kamg@4245 | 425 | } |
kamg@4245 | 426 | } else { |
kamg@4245 | 427 | _exception_message = generate_conflicts_message(&qualified_methods,CHECK); |
kamg@4245 | 428 | } |
kamg@4245 | 429 | |
kamg@4245 | 430 | assert((has_target() ^ throws_exception()) == 1, |
kamg@4245 | 431 | "One and only one must be true"); |
kamg@4245 | 432 | } |
kamg@4245 | 433 | |
kamg@4245 | 434 | bool contains_signature(Symbol* query) { |
kamg@4245 | 435 | for (int i = 0; i < _members.length(); ++i) { |
kamg@4245 | 436 | if (query == _members.at(i).first->signature()) { |
kamg@4245 | 437 | return true; |
kamg@4245 | 438 | } |
kamg@4245 | 439 | } |
kamg@4245 | 440 | return false; |
kamg@4245 | 441 | } |
kamg@4245 | 442 | |
kamg@4245 | 443 | #ifndef PRODUCT |
kamg@4245 | 444 | void print_on(outputStream* str) const { |
kamg@4245 | 445 | print_on(str, 0); |
kamg@4245 | 446 | } |
kamg@4245 | 447 | |
kamg@4245 | 448 | void print_on(outputStream* str, int indent) const { |
kamg@4245 | 449 | streamIndentor si(str, indent * 2); |
kamg@4245 | 450 | |
kamg@4245 | 451 | generic::Context ctx(NULL); // empty, as _descriptor already canonicalized |
kamg@4245 | 452 | TempNewSymbol family = descriptor()->reify_signature(&ctx, Thread::current()); |
kamg@4245 | 453 | str->indent().print_cr("Logical Method %s:", family->as_C_string()); |
kamg@4245 | 454 | |
kamg@4245 | 455 | streamIndentor si2(str); |
kamg@4245 | 456 | for (int i = 0; i < _members.length(); ++i) { |
kamg@4245 | 457 | str->indent(); |
kamg@4245 | 458 | print_method(str, _members.at(i).first); |
kamg@4245 | 459 | if (_members.at(i).second == DISQUALIFIED) { |
kamg@4245 | 460 | str->print(" (disqualified)"); |
kamg@4245 | 461 | } |
kamg@4245 | 462 | str->print_cr(""); |
kamg@4245 | 463 | } |
kamg@4245 | 464 | |
kamg@4245 | 465 | if (_selected_target != NULL) { |
kamg@4245 | 466 | print_selected(str, 1); |
kamg@4245 | 467 | } |
kamg@4245 | 468 | } |
kamg@4245 | 469 | |
kamg@4245 | 470 | void print_selected(outputStream* str, int indent) const { |
kamg@4245 | 471 | assert(has_target(), "Should be called otherwise"); |
kamg@4245 | 472 | streamIndentor si(str, indent * 2); |
kamg@4245 | 473 | str->indent().print("Selected method: "); |
kamg@4245 | 474 | print_method(str, _selected_target); |
kamg@4245 | 475 | str->print_cr(""); |
kamg@4245 | 476 | } |
kamg@4245 | 477 | |
kamg@4245 | 478 | void print_exception(outputStream* str, int indent) { |
kamg@4245 | 479 | assert(throws_exception(), "Should be called otherwise"); |
kamg@4245 | 480 | streamIndentor si(str, indent * 2); |
kamg@4245 | 481 | str->indent().print_cr("%s", _exception_message->as_C_string()); |
kamg@4245 | 482 | } |
kamg@4245 | 483 | #endif // ndef PRODUCT |
kamg@4245 | 484 | }; |
kamg@4245 | 485 | |
kamg@4245 | 486 | Symbol* MethodFamily::generate_no_defaults_message(TRAPS) const { |
kamg@4245 | 487 | return SymbolTable::new_symbol("No qualifying defaults found", CHECK_NULL); |
kamg@4245 | 488 | } |
kamg@4245 | 489 | |
kamg@4245 | 490 | Symbol* MethodFamily::generate_abstract_method_message(Method* method, TRAPS) const { |
kamg@4245 | 491 | Symbol* klass = method->klass_name(); |
kamg@4245 | 492 | Symbol* name = method->name(); |
kamg@4245 | 493 | Symbol* sig = method->signature(); |
kamg@4245 | 494 | stringStream ss; |
kamg@4245 | 495 | ss.print("Method "); |
kamg@4245 | 496 | ss.write((const char*)klass->bytes(), klass->utf8_length()); |
kamg@4245 | 497 | ss.print("."); |
kamg@4245 | 498 | ss.write((const char*)name->bytes(), name->utf8_length()); |
kamg@4245 | 499 | ss.write((const char*)sig->bytes(), sig->utf8_length()); |
kamg@4245 | 500 | ss.print(" is abstract"); |
kamg@4245 | 501 | return SymbolTable::new_symbol(ss.base(), (int)ss.size(), CHECK_NULL); |
kamg@4245 | 502 | } |
kamg@4245 | 503 | |
kamg@4245 | 504 | Symbol* MethodFamily::generate_conflicts_message(GrowableArray<Method*>* methods, TRAPS) const { |
kamg@4245 | 505 | stringStream ss; |
kamg@4245 | 506 | ss.print("Conflicting default methods:"); |
kamg@4245 | 507 | for (int i = 0; i < methods->length(); ++i) { |
kamg@4245 | 508 | Method* method = methods->at(i); |
kamg@4245 | 509 | Symbol* klass = method->klass_name(); |
kamg@4245 | 510 | Symbol* name = method->name(); |
kamg@4245 | 511 | ss.print(" "); |
kamg@4245 | 512 | ss.write((const char*)klass->bytes(), klass->utf8_length()); |
kamg@4245 | 513 | ss.print("."); |
kamg@4245 | 514 | ss.write((const char*)name->bytes(), name->utf8_length()); |
kamg@4245 | 515 | } |
kamg@4245 | 516 | return SymbolTable::new_symbol(ss.base(), (int)ss.size(), CHECK_NULL); |
kamg@4245 | 517 | } |
kamg@4245 | 518 | |
kamg@4245 | 519 | class StateRestorer; |
kamg@4245 | 520 | |
kamg@4245 | 521 | // StatefulMethodFamily is a wrapper around MethodFamily that maintains the |
kamg@4245 | 522 | // qualification state during hierarchy visitation, and applies that state |
kamg@4245 | 523 | // when adding members to the MethodFamily. |
kamg@4245 | 524 | class StatefulMethodFamily : public ResourceObj { |
kamg@4245 | 525 | friend class StateRestorer; |
kamg@4245 | 526 | private: |
kamg@4245 | 527 | MethodFamily* _method; |
kamg@4245 | 528 | QualifiedState _qualification_state; |
kamg@4245 | 529 | |
kamg@4245 | 530 | void set_qualification_state(QualifiedState state) { |
kamg@4245 | 531 | _qualification_state = state; |
kamg@4245 | 532 | } |
kamg@4245 | 533 | |
kamg@4245 | 534 | public: |
kamg@4245 | 535 | StatefulMethodFamily(generic::MethodDescriptor* md, generic::Context* ctx) { |
kamg@4245 | 536 | _method = new MethodFamily(md->canonicalize(ctx)); |
kamg@4245 | 537 | _qualification_state = QUALIFIED; |
kamg@4245 | 538 | } |
kamg@4245 | 539 | |
kamg@4245 | 540 | void set_target_if_empty(Method* m) { _method->set_target_if_empty(m); } |
kamg@4245 | 541 | |
kamg@4245 | 542 | MethodFamily* get_method_family() { return _method; } |
kamg@4245 | 543 | |
kamg@4245 | 544 | bool descriptor_matches(generic::MethodDescriptor* md, generic::Context* ctx) { |
kamg@4245 | 545 | return _method->descriptor_matches(md, ctx); |
kamg@4245 | 546 | } |
kamg@4245 | 547 | |
kamg@4245 | 548 | StateRestorer* record_method_and_dq_further(Method* mo); |
kamg@4245 | 549 | }; |
kamg@4245 | 550 | |
kamg@4245 | 551 | class StateRestorer : public PseudoScopeMark { |
kamg@4245 | 552 | private: |
kamg@4245 | 553 | StatefulMethodFamily* _method; |
kamg@4245 | 554 | QualifiedState _state_to_restore; |
kamg@4245 | 555 | public: |
kamg@4245 | 556 | StateRestorer(StatefulMethodFamily* dm, QualifiedState state) |
kamg@4245 | 557 | : _method(dm), _state_to_restore(state) {} |
kamg@4245 | 558 | ~StateRestorer() { destroy(); } |
kamg@4245 | 559 | void restore_state() { _method->set_qualification_state(_state_to_restore); } |
kamg@4245 | 560 | virtual void destroy() { restore_state(); } |
kamg@4245 | 561 | }; |
kamg@4245 | 562 | |
kamg@4245 | 563 | StateRestorer* StatefulMethodFamily::record_method_and_dq_further(Method* mo) { |
kamg@4245 | 564 | StateRestorer* mark = new StateRestorer(this, _qualification_state); |
kamg@4245 | 565 | if (_qualification_state == QUALIFIED) { |
kamg@4245 | 566 | _method->record_qualified_method(mo); |
kamg@4245 | 567 | } else { |
kamg@4245 | 568 | _method->record_disqualified_method(mo); |
kamg@4245 | 569 | } |
kamg@4245 | 570 | // Everything found "above"??? this method in the hierarchy walk is set to |
kamg@4245 | 571 | // disqualified |
kamg@4245 | 572 | set_qualification_state(DISQUALIFIED); |
kamg@4245 | 573 | return mark; |
kamg@4245 | 574 | } |
kamg@4245 | 575 | |
kamg@4245 | 576 | class StatefulMethodFamilies : public ResourceObj { |
kamg@4245 | 577 | private: |
kamg@4245 | 578 | GrowableArray<StatefulMethodFamily*> _methods; |
kamg@4245 | 579 | |
kamg@4245 | 580 | public: |
kamg@4245 | 581 | StatefulMethodFamily* find_matching( |
kamg@4245 | 582 | generic::MethodDescriptor* md, generic::Context* ctx) { |
kamg@4245 | 583 | for (int i = 0; i < _methods.length(); ++i) { |
kamg@4245 | 584 | StatefulMethodFamily* existing = _methods.at(i); |
kamg@4245 | 585 | if (existing->descriptor_matches(md, ctx)) { |
kamg@4245 | 586 | return existing; |
kamg@4245 | 587 | } |
kamg@4245 | 588 | } |
kamg@4245 | 589 | return NULL; |
kamg@4245 | 590 | } |
kamg@4245 | 591 | |
kamg@4245 | 592 | StatefulMethodFamily* find_matching_or_create( |
kamg@4245 | 593 | generic::MethodDescriptor* md, generic::Context* ctx) { |
kamg@4245 | 594 | StatefulMethodFamily* method = find_matching(md, ctx); |
kamg@4245 | 595 | if (method == NULL) { |
kamg@4245 | 596 | method = new StatefulMethodFamily(md, ctx); |
kamg@4245 | 597 | _methods.append(method); |
kamg@4245 | 598 | } |
kamg@4245 | 599 | return method; |
kamg@4245 | 600 | } |
kamg@4245 | 601 | |
kamg@4245 | 602 | void extract_families_into(GrowableArray<MethodFamily*>* array) { |
kamg@4245 | 603 | for (int i = 0; i < _methods.length(); ++i) { |
kamg@4245 | 604 | array->append(_methods.at(i)->get_method_family()); |
kamg@4245 | 605 | } |
kamg@4245 | 606 | } |
kamg@4245 | 607 | }; |
kamg@4245 | 608 | |
kamg@4245 | 609 | // Represents a location corresponding to a vtable slot for methods that |
kamg@4245 | 610 | // neither the class nor any of it's ancestors provide an implementaion. |
kamg@4245 | 611 | // Default methods may be present to fill this slot. |
kamg@4245 | 612 | class EmptyVtableSlot : public ResourceObj { |
kamg@4245 | 613 | private: |
kamg@4245 | 614 | Symbol* _name; |
kamg@4245 | 615 | Symbol* _signature; |
kamg@4245 | 616 | int _size_of_parameters; |
kamg@4245 | 617 | MethodFamily* _binding; |
kamg@4245 | 618 | |
kamg@4245 | 619 | public: |
kamg@4245 | 620 | EmptyVtableSlot(Method* method) |
kamg@4245 | 621 | : _name(method->name()), _signature(method->signature()), |
kamg@4245 | 622 | _size_of_parameters(method->size_of_parameters()), _binding(NULL) {} |
kamg@4245 | 623 | |
kamg@4245 | 624 | Symbol* name() const { return _name; } |
kamg@4245 | 625 | Symbol* signature() const { return _signature; } |
kamg@4245 | 626 | int size_of_parameters() const { return _size_of_parameters; } |
kamg@4245 | 627 | |
kamg@4245 | 628 | void bind_family(MethodFamily* lm) { _binding = lm; } |
kamg@4245 | 629 | bool is_bound() { return _binding != NULL; } |
kamg@4245 | 630 | MethodFamily* get_binding() { return _binding; } |
kamg@4245 | 631 | |
kamg@4245 | 632 | #ifndef PRODUCT |
kamg@4245 | 633 | void print_on(outputStream* str) const { |
kamg@4245 | 634 | print_slot(str, name(), signature()); |
kamg@4245 | 635 | } |
kamg@4245 | 636 | #endif // ndef PRODUCT |
kamg@4245 | 637 | }; |
kamg@4245 | 638 | |
kamg@4245 | 639 | static GrowableArray<EmptyVtableSlot*>* find_empty_vtable_slots( |
kamg@4245 | 640 | InstanceKlass* klass, GrowableArray<Method*>* mirandas, TRAPS) { |
kamg@4245 | 641 | |
kamg@4245 | 642 | assert(klass != NULL, "Must be valid class"); |
kamg@4245 | 643 | |
kamg@4245 | 644 | GrowableArray<EmptyVtableSlot*>* slots = new GrowableArray<EmptyVtableSlot*>(); |
kamg@4245 | 645 | |
kamg@4245 | 646 | // All miranda methods are obvious candidates |
kamg@4245 | 647 | for (int i = 0; i < mirandas->length(); ++i) { |
kamg@4245 | 648 | EmptyVtableSlot* slot = new EmptyVtableSlot(mirandas->at(i)); |
kamg@4245 | 649 | slots->append(slot); |
kamg@4245 | 650 | } |
kamg@4245 | 651 | |
kamg@4245 | 652 | // Also any overpasses in our superclasses, that we haven't implemented. |
kamg@4245 | 653 | // (can't use the vtable because it is not guaranteed to be initialized yet) |
kamg@4245 | 654 | InstanceKlass* super = klass->java_super(); |
kamg@4245 | 655 | while (super != NULL) { |
kamg@4245 | 656 | for (int i = 0; i < super->methods()->length(); ++i) { |
kamg@4245 | 657 | Method* m = super->methods()->at(i); |
kamg@4245 | 658 | if (m->is_overpass()) { |
kamg@4245 | 659 | // m is a method that would have been a miranda if not for the |
kamg@4245 | 660 | // default method processing that occurred on behalf of our superclass, |
kamg@4245 | 661 | // so it's a method we want to re-examine in this new context. That is, |
kamg@4245 | 662 | // unless we have a real implementation of it in the current class. |
kamg@4245 | 663 | Method* impl = klass->lookup_method(m->name(), m->signature()); |
kamg@4245 | 664 | if (impl == NULL || impl->is_overpass()) { |
kamg@4245 | 665 | slots->append(new EmptyVtableSlot(m)); |
kamg@4245 | 666 | } |
kamg@4245 | 667 | } |
kamg@4245 | 668 | } |
kamg@4245 | 669 | super = super->java_super(); |
kamg@4245 | 670 | } |
kamg@4245 | 671 | |
kamg@4245 | 672 | #ifndef PRODUCT |
kamg@4245 | 673 | if (TraceDefaultMethods) { |
kamg@4245 | 674 | tty->print_cr("Slots that need filling:"); |
kamg@4245 | 675 | streamIndentor si(tty); |
kamg@4245 | 676 | for (int i = 0; i < slots->length(); ++i) { |
kamg@4245 | 677 | tty->indent(); |
kamg@4245 | 678 | slots->at(i)->print_on(tty); |
kamg@4245 | 679 | tty->print_cr(""); |
kamg@4245 | 680 | } |
kamg@4245 | 681 | } |
kamg@4245 | 682 | #endif // ndef PRODUCT |
kamg@4245 | 683 | return slots; |
kamg@4245 | 684 | } |
kamg@4245 | 685 | |
kamg@4245 | 686 | // Iterates over the type hierarchy looking for all methods with a specific |
kamg@4245 | 687 | // method name. The result of this is a set of method families each of |
kamg@4245 | 688 | // which is populated with a set of methods that implement the same |
kamg@4245 | 689 | // language-level signature. |
kamg@4245 | 690 | class FindMethodsByName : public HierarchyVisitor<FindMethodsByName> { |
kamg@4245 | 691 | private: |
kamg@4245 | 692 | // Context data |
kamg@4245 | 693 | Thread* THREAD; |
kamg@4245 | 694 | generic::DescriptorCache* _cache; |
kamg@4245 | 695 | Symbol* _method_name; |
kamg@4245 | 696 | generic::Context* _ctx; |
kamg@4245 | 697 | StatefulMethodFamilies _families; |
kamg@4245 | 698 | |
kamg@4245 | 699 | public: |
kamg@4245 | 700 | |
kamg@4245 | 701 | FindMethodsByName(generic::DescriptorCache* cache, Symbol* name, |
kamg@4245 | 702 | generic::Context* ctx, Thread* thread) : |
kamg@4245 | 703 | _cache(cache), _method_name(name), _ctx(ctx), THREAD(thread) {} |
kamg@4245 | 704 | |
kamg@4245 | 705 | void get_discovered_families(GrowableArray<MethodFamily*>* methods) { |
kamg@4245 | 706 | _families.extract_families_into(methods); |
kamg@4245 | 707 | } |
kamg@4245 | 708 | |
kamg@4245 | 709 | void* new_node_data(InstanceKlass* cls) { return new PseudoScope(); } |
kamg@4245 | 710 | void free_node_data(void* node_data) { |
kamg@4245 | 711 | PseudoScope::cast(node_data)->destroy(); |
kamg@4245 | 712 | } |
kamg@4245 | 713 | |
kamg@4245 | 714 | bool visit() { |
kamg@4245 | 715 | PseudoScope* scope = PseudoScope::cast(current_data()); |
kamg@4245 | 716 | InstanceKlass* klass = current_class(); |
kamg@4245 | 717 | InstanceKlass* sub = current_depth() > 0 ? class_at_depth(1) : NULL; |
kamg@4245 | 718 | |
kamg@4245 | 719 | ContextMark* cm = new ContextMark(_ctx->mark()); |
kamg@4245 | 720 | scope->add_mark(cm); // will restore context when scope is freed |
kamg@4245 | 721 | |
kamg@4245 | 722 | _ctx->apply_type_arguments(sub, klass, THREAD); |
kamg@4245 | 723 | |
kamg@4245 | 724 | int start, end = 0; |
kamg@4245 | 725 | start = klass->find_method_by_name(_method_name, &end); |
kamg@4245 | 726 | if (start != -1) { |
kamg@4245 | 727 | for (int i = start; i < end; ++i) { |
kamg@4245 | 728 | Method* m = klass->methods()->at(i); |
kamg@4245 | 729 | // This gets the method's parameter list with its generic type |
kamg@4245 | 730 | // parameters resolved |
kamg@4245 | 731 | generic::MethodDescriptor* md = _cache->descriptor_for(m, THREAD); |
kamg@4245 | 732 | |
kamg@4245 | 733 | // Find all methods on this hierarchy that match this method |
kamg@4245 | 734 | // (name, signature). This class collects other families of this |
kamg@4245 | 735 | // method name. |
kamg@4245 | 736 | StatefulMethodFamily* family = |
kamg@4245 | 737 | _families.find_matching_or_create(md, _ctx); |
kamg@4245 | 738 | |
kamg@4245 | 739 | if (klass->is_interface()) { |
kamg@4245 | 740 | // ??? |
kamg@4245 | 741 | StateRestorer* restorer = family->record_method_and_dq_further(m); |
kamg@4245 | 742 | scope->add_mark(restorer); |
kamg@4245 | 743 | } else { |
kamg@4245 | 744 | // This is the rule that methods in classes "win" (bad word) over |
kamg@4245 | 745 | // methods in interfaces. This works because of single inheritance |
kamg@4245 | 746 | family->set_target_if_empty(m); |
kamg@4245 | 747 | } |
kamg@4245 | 748 | } |
kamg@4245 | 749 | } |
kamg@4245 | 750 | return true; |
kamg@4245 | 751 | } |
kamg@4245 | 752 | }; |
kamg@4245 | 753 | |
kamg@4245 | 754 | #ifndef PRODUCT |
kamg@4245 | 755 | static void print_families( |
kamg@4245 | 756 | GrowableArray<MethodFamily*>* methods, Symbol* match) { |
kamg@4245 | 757 | streamIndentor si(tty, 4); |
kamg@4245 | 758 | if (methods->length() == 0) { |
kamg@4245 | 759 | tty->indent(); |
kamg@4245 | 760 | tty->print_cr("No Logical Method found"); |
kamg@4245 | 761 | } |
kamg@4245 | 762 | for (int i = 0; i < methods->length(); ++i) { |
kamg@4245 | 763 | tty->indent(); |
kamg@4245 | 764 | MethodFamily* lm = methods->at(i); |
kamg@4245 | 765 | if (lm->contains_signature(match)) { |
kamg@4245 | 766 | tty->print_cr("<Matching>"); |
kamg@4245 | 767 | } else { |
kamg@4245 | 768 | tty->print_cr("<Non-Matching>"); |
kamg@4245 | 769 | } |
kamg@4245 | 770 | lm->print_on(tty, 1); |
kamg@4245 | 771 | } |
kamg@4245 | 772 | } |
kamg@4245 | 773 | #endif // ndef PRODUCT |
kamg@4245 | 774 | |
kamg@4245 | 775 | static void merge_in_new_methods(InstanceKlass* klass, |
kamg@4245 | 776 | GrowableArray<Method*>* new_methods, TRAPS); |
kamg@4245 | 777 | static void create_overpasses( |
kamg@4245 | 778 | GrowableArray<EmptyVtableSlot*>* slots, InstanceKlass* klass, TRAPS); |
kamg@4245 | 779 | |
kamg@4245 | 780 | // This is the guts of the default methods implementation. This is called just |
kamg@4245 | 781 | // after the classfile has been parsed if some ancestor has default methods. |
kamg@4245 | 782 | // |
kamg@4245 | 783 | // First if finds any name/signature slots that need any implementation (either |
kamg@4245 | 784 | // because they are miranda or a superclass's implementation is an overpass |
kamg@4245 | 785 | // itself). For each slot, iterate over the hierarchy, using generic signature |
kamg@4245 | 786 | // information to partition any methods that match the name into method families |
kamg@4245 | 787 | // where each family contains methods whose signatures are equivalent at the |
kamg@4245 | 788 | // language level (i.e., their reified parameters match and return values are |
kamg@4245 | 789 | // covariant). Check those sets to see if they contain a signature that matches |
kamg@4245 | 790 | // the slot we're looking at (if we're lucky, there might be other empty slots |
kamg@4245 | 791 | // that we can fill using the same analysis). |
kamg@4245 | 792 | // |
kamg@4245 | 793 | // For each slot filled, we generate an overpass method that either calls the |
kamg@4245 | 794 | // unique default method candidate using invokespecial, or throws an exception |
kamg@4245 | 795 | // (in the case of no default method candidates, or more than one valid |
kamg@4245 | 796 | // candidate). These methods are then added to the class's method list. If |
kamg@4245 | 797 | // the method set we're using contains methods (qualified or not) with a |
kamg@4245 | 798 | // different runtime signature than the method we're creating, then we have to |
kamg@4245 | 799 | // create bridges with those signatures too. |
kamg@4245 | 800 | void DefaultMethods::generate_default_methods( |
kamg@4245 | 801 | InstanceKlass* klass, GrowableArray<Method*>* mirandas, TRAPS) { |
kamg@4245 | 802 | |
kamg@4245 | 803 | // This resource mark is the bound for all memory allocation that takes |
kamg@4245 | 804 | // place during default method processing. After this goes out of scope, |
kamg@4245 | 805 | // all (Resource) objects' memory will be reclaimed. Be careful if adding an |
kamg@4245 | 806 | // embedded resource mark under here as that memory can't be used outside |
kamg@4245 | 807 | // whatever scope it's in. |
kamg@4245 | 808 | ResourceMark rm(THREAD); |
kamg@4245 | 809 | |
kamg@4245 | 810 | generic::DescriptorCache cache; |
kamg@4245 | 811 | |
kamg@4245 | 812 | // Keep entire hierarchy alive for the duration of the computation |
kamg@4245 | 813 | KeepAliveRegistrar keepAlive(THREAD); |
kamg@4245 | 814 | KeepAliveVisitor loadKeepAlive(&keepAlive); |
kamg@4245 | 815 | loadKeepAlive.run(klass); |
kamg@4245 | 816 | |
kamg@4245 | 817 | #ifndef PRODUCT |
kamg@4245 | 818 | if (TraceDefaultMethods) { |
kamg@4245 | 819 | ResourceMark rm; // be careful with these! |
kamg@4245 | 820 | tty->print_cr("Class %s requires default method processing", |
kamg@4245 | 821 | klass->name()->as_klass_external_name()); |
kamg@4245 | 822 | PrintHierarchy printer; |
kamg@4245 | 823 | printer.run(klass); |
kamg@4245 | 824 | } |
kamg@4245 | 825 | #endif // ndef PRODUCT |
kamg@4245 | 826 | |
kamg@4245 | 827 | GrowableArray<EmptyVtableSlot*>* empty_slots = |
kamg@4245 | 828 | find_empty_vtable_slots(klass, mirandas, CHECK); |
kamg@4245 | 829 | |
kamg@4245 | 830 | for (int i = 0; i < empty_slots->length(); ++i) { |
kamg@4245 | 831 | EmptyVtableSlot* slot = empty_slots->at(i); |
kamg@4245 | 832 | #ifndef PRODUCT |
kamg@4245 | 833 | if (TraceDefaultMethods) { |
kamg@4245 | 834 | streamIndentor si(tty, 2); |
kamg@4245 | 835 | tty->indent().print("Looking for default methods for slot "); |
kamg@4245 | 836 | slot->print_on(tty); |
kamg@4245 | 837 | tty->print_cr(""); |
kamg@4245 | 838 | } |
kamg@4245 | 839 | #endif // ndef PRODUCT |
kamg@4245 | 840 | if (slot->is_bound()) { |
kamg@4245 | 841 | #ifndef PRODUCT |
kamg@4245 | 842 | if (TraceDefaultMethods) { |
kamg@4245 | 843 | streamIndentor si(tty, 4); |
kamg@4245 | 844 | tty->indent().print_cr("Already bound to logical method:"); |
kamg@4245 | 845 | slot->get_binding()->print_on(tty, 1); |
kamg@4245 | 846 | } |
kamg@4245 | 847 | #endif // ndef PRODUCT |
kamg@4245 | 848 | continue; // covered by previous processing |
kamg@4245 | 849 | } |
kamg@4245 | 850 | |
kamg@4245 | 851 | generic::Context ctx(&cache); |
kamg@4245 | 852 | FindMethodsByName visitor(&cache, slot->name(), &ctx, CHECK); |
kamg@4245 | 853 | visitor.run(klass); |
kamg@4245 | 854 | |
kamg@4245 | 855 | GrowableArray<MethodFamily*> discovered_families; |
kamg@4245 | 856 | visitor.get_discovered_families(&discovered_families); |
kamg@4245 | 857 | |
kamg@4245 | 858 | #ifndef PRODUCT |
kamg@4245 | 859 | if (TraceDefaultMethods) { |
kamg@4245 | 860 | print_families(&discovered_families, slot->signature()); |
kamg@4245 | 861 | } |
kamg@4245 | 862 | #endif // ndef PRODUCT |
kamg@4245 | 863 | |
kamg@4245 | 864 | // Find and populate any other slots that match the discovered families |
kamg@4245 | 865 | for (int j = i; j < empty_slots->length(); ++j) { |
kamg@4245 | 866 | EmptyVtableSlot* open_slot = empty_slots->at(j); |
kamg@4245 | 867 | |
kamg@4245 | 868 | if (slot->name() == open_slot->name()) { |
kamg@4245 | 869 | for (int k = 0; k < discovered_families.length(); ++k) { |
kamg@4245 | 870 | MethodFamily* lm = discovered_families.at(k); |
kamg@4245 | 871 | |
kamg@4245 | 872 | if (lm->contains_signature(open_slot->signature())) { |
kamg@4245 | 873 | lm->determine_target(klass, CHECK); |
kamg@4245 | 874 | open_slot->bind_family(lm); |
kamg@4245 | 875 | } |
kamg@4245 | 876 | } |
kamg@4245 | 877 | } |
kamg@4245 | 878 | } |
kamg@4245 | 879 | } |
kamg@4245 | 880 | |
kamg@4245 | 881 | #ifndef PRODUCT |
kamg@4245 | 882 | if (TraceDefaultMethods) { |
kamg@4245 | 883 | tty->print_cr("Creating overpasses..."); |
kamg@4245 | 884 | } |
kamg@4245 | 885 | #endif // ndef PRODUCT |
kamg@4245 | 886 | |
kamg@4245 | 887 | create_overpasses(empty_slots, klass, CHECK); |
kamg@4245 | 888 | |
kamg@4245 | 889 | #ifndef PRODUCT |
kamg@4245 | 890 | if (TraceDefaultMethods) { |
kamg@4245 | 891 | tty->print_cr("Default method processing complete"); |
kamg@4245 | 892 | } |
kamg@4245 | 893 | #endif // ndef PRODUCT |
kamg@4245 | 894 | } |
kamg@4245 | 895 | |
kamg@4245 | 896 | |
kamg@4245 | 897 | /** |
kamg@4245 | 898 | * Generic analysis was used upon interface '_target' and found a unique |
kamg@4245 | 899 | * default method candidate with generic signature '_method_desc'. This |
kamg@4245 | 900 | * method is only viable if it would also be in the set of default method |
kamg@4245 | 901 | * candidates if we ran a full analysis on the current class. |
kamg@4245 | 902 | * |
kamg@4245 | 903 | * The only reason that the method would not be in the set of candidates for |
kamg@4245 | 904 | * the current class is if that there's another covariantly matching method |
kamg@4245 | 905 | * which is "more specific" than the found method -- i.e., one could find a |
kamg@4245 | 906 | * path in the interface hierarchy in which the matching method appears |
kamg@4245 | 907 | * before we get to '_target'. |
kamg@4245 | 908 | * |
kamg@4245 | 909 | * In order to determine this, we examine all of the implemented |
kamg@4245 | 910 | * interfaces. If we find path that leads to the '_target' interface, then |
kamg@4245 | 911 | * we examine that path to see if there are any methods that would shadow |
kamg@4245 | 912 | * the selected method along that path. |
kamg@4245 | 913 | */ |
kamg@4245 | 914 | class ShadowChecker : public HierarchyVisitor<ShadowChecker> { |
kamg@4245 | 915 | private: |
kamg@4245 | 916 | generic::DescriptorCache* _cache; |
kamg@4245 | 917 | Thread* THREAD; |
kamg@4245 | 918 | |
kamg@4245 | 919 | InstanceKlass* _target; |
kamg@4245 | 920 | |
kamg@4245 | 921 | Symbol* _method_name; |
kamg@4245 | 922 | InstanceKlass* _method_holder; |
kamg@4245 | 923 | generic::MethodDescriptor* _method_desc; |
kamg@4245 | 924 | bool _found_shadow; |
kamg@4245 | 925 | |
kamg@4245 | 926 | bool path_has_shadow() { |
kamg@4245 | 927 | generic::Context ctx(_cache); |
kamg@4245 | 928 | |
kamg@4245 | 929 | for (int i = current_depth() - 1; i > 0; --i) { |
kamg@4245 | 930 | InstanceKlass* ik = class_at_depth(i); |
kamg@4245 | 931 | InstanceKlass* sub = class_at_depth(i + 1); |
kamg@4245 | 932 | ctx.apply_type_arguments(sub, ik, THREAD); |
kamg@4245 | 933 | |
kamg@4245 | 934 | if (ik->is_interface()) { |
kamg@4245 | 935 | int end; |
kamg@4245 | 936 | int start = ik->find_method_by_name(_method_name, &end); |
kamg@4245 | 937 | if (start != -1) { |
kamg@4245 | 938 | for (int j = start; j < end; ++j) { |
kamg@4245 | 939 | Method* mo = ik->methods()->at(j); |
kamg@4245 | 940 | generic::MethodDescriptor* md = _cache->descriptor_for(mo, THREAD); |
kamg@4245 | 941 | if (_method_desc->covariant_match(md, &ctx)) { |
kamg@4245 | 942 | return true; |
kamg@4245 | 943 | } |
kamg@4245 | 944 | } |
kamg@4245 | 945 | } |
kamg@4245 | 946 | } |
kamg@4245 | 947 | } |
kamg@4245 | 948 | return false; |
kamg@4245 | 949 | } |
kamg@4245 | 950 | |
kamg@4245 | 951 | public: |
kamg@4245 | 952 | |
kamg@4245 | 953 | ShadowChecker(generic::DescriptorCache* cache, Thread* thread, |
kamg@4245 | 954 | Symbol* name, InstanceKlass* holder, generic::MethodDescriptor* desc, |
kamg@4245 | 955 | InstanceKlass* target) |
kamg@4245 | 956 | : _cache(cache), THREAD(thread), _method_name(name), _method_holder(holder), |
kamg@4245 | 957 | _method_desc(desc), _target(target), _found_shadow(false) {} |
kamg@4245 | 958 | |
kamg@4245 | 959 | void* new_node_data(InstanceKlass* cls) { return NULL; } |
kamg@4245 | 960 | void free_node_data(void* data) { return; } |
kamg@4245 | 961 | |
kamg@4245 | 962 | bool visit() { |
kamg@4245 | 963 | InstanceKlass* ik = current_class(); |
kamg@4245 | 964 | if (ik == _target && current_depth() == 1) { |
kamg@4245 | 965 | return false; // This was the specified super -- no need to search it |
kamg@4245 | 966 | } |
kamg@4245 | 967 | if (ik == _method_holder || ik == _target) { |
kamg@4245 | 968 | // We found a path that should be examined to see if it shadows _method |
kamg@4245 | 969 | if (path_has_shadow()) { |
kamg@4245 | 970 | _found_shadow = true; |
kamg@4245 | 971 | cancel_iteration(); |
kamg@4245 | 972 | } |
kamg@4245 | 973 | return false; // no need to continue up hierarchy |
kamg@4245 | 974 | } |
kamg@4245 | 975 | return true; |
kamg@4245 | 976 | } |
kamg@4245 | 977 | |
kamg@4245 | 978 | bool found_shadow() { return _found_shadow; } |
kamg@4245 | 979 | }; |
kamg@4245 | 980 | |
kamg@4245 | 981 | // This is called during linktime when we find an invokespecial call that |
kamg@4245 | 982 | // refers to a direct superinterface. It indicates that we should find the |
kamg@4245 | 983 | // default method in the hierarchy of that superinterface, and if that method |
kamg@4245 | 984 | // would have been a candidate from the point of view of 'this' class, then we |
kamg@4245 | 985 | // return that method. |
kamg@4245 | 986 | Method* DefaultMethods::find_super_default( |
kamg@4245 | 987 | Klass* cls, Klass* super, Symbol* method_name, Symbol* sig, TRAPS) { |
kamg@4245 | 988 | |
kamg@4245 | 989 | ResourceMark rm(THREAD); |
kamg@4245 | 990 | |
kamg@4245 | 991 | assert(cls != NULL && super != NULL, "Need real classes"); |
kamg@4245 | 992 | |
kamg@4245 | 993 | InstanceKlass* current_class = InstanceKlass::cast(cls); |
kamg@4245 | 994 | InstanceKlass* direction = InstanceKlass::cast(super); |
kamg@4245 | 995 | |
kamg@4245 | 996 | // Keep entire hierarchy alive for the duration of the computation |
kamg@4245 | 997 | KeepAliveRegistrar keepAlive(THREAD); |
kamg@4245 | 998 | KeepAliveVisitor loadKeepAlive(&keepAlive); |
kamg@4245 | 999 | loadKeepAlive.run(current_class); |
kamg@4245 | 1000 | |
kamg@4245 | 1001 | #ifndef PRODUCT |
kamg@4245 | 1002 | if (TraceDefaultMethods) { |
kamg@4245 | 1003 | tty->print_cr("Finding super default method %s.%s%s from %s", |
kamg@4245 | 1004 | direction->name()->as_C_string(), |
kamg@4245 | 1005 | method_name->as_C_string(), sig->as_C_string(), |
kamg@4245 | 1006 | current_class->name()->as_C_string()); |
kamg@4245 | 1007 | } |
kamg@4245 | 1008 | #endif // ndef PRODUCT |
kamg@4245 | 1009 | |
kamg@4245 | 1010 | if (!direction->is_interface()) { |
kamg@4245 | 1011 | // We should not be here |
kamg@4245 | 1012 | return NULL; |
kamg@4245 | 1013 | } |
kamg@4245 | 1014 | |
kamg@4245 | 1015 | generic::DescriptorCache cache; |
kamg@4245 | 1016 | generic::Context ctx(&cache); |
kamg@4245 | 1017 | |
kamg@4245 | 1018 | // Prime the initial generic context for current -> direction |
kamg@4245 | 1019 | ctx.apply_type_arguments(current_class, direction, CHECK_NULL); |
kamg@4245 | 1020 | |
kamg@4245 | 1021 | FindMethodsByName visitor(&cache, method_name, &ctx, CHECK_NULL); |
kamg@4245 | 1022 | visitor.run(direction); |
kamg@4245 | 1023 | |
kamg@4245 | 1024 | GrowableArray<MethodFamily*> families; |
kamg@4245 | 1025 | visitor.get_discovered_families(&families); |
kamg@4245 | 1026 | |
kamg@4245 | 1027 | #ifndef PRODUCT |
kamg@4245 | 1028 | if (TraceDefaultMethods) { |
kamg@4245 | 1029 | print_families(&families, sig); |
kamg@4245 | 1030 | } |
kamg@4245 | 1031 | #endif // ndef PRODUCT |
kamg@4245 | 1032 | |
kamg@4245 | 1033 | MethodFamily* selected_family = NULL; |
kamg@4245 | 1034 | |
kamg@4245 | 1035 | for (int i = 0; i < families.length(); ++i) { |
kamg@4245 | 1036 | MethodFamily* lm = families.at(i); |
kamg@4245 | 1037 | if (lm->contains_signature(sig)) { |
kamg@4245 | 1038 | lm->determine_target(current_class, CHECK_NULL); |
kamg@4245 | 1039 | selected_family = lm; |
kamg@4245 | 1040 | } |
kamg@4245 | 1041 | } |
kamg@4245 | 1042 | |
kamg@4245 | 1043 | if (selected_family->has_target()) { |
kamg@4245 | 1044 | Method* target = selected_family->get_selected_target(); |
kamg@4245 | 1045 | InstanceKlass* holder = InstanceKlass::cast(target->method_holder()); |
kamg@4245 | 1046 | |
kamg@4245 | 1047 | // Verify that the identified method is valid from the context of |
kamg@4245 | 1048 | // the current class |
kamg@4245 | 1049 | ShadowChecker checker(&cache, THREAD, target->name(), |
kamg@4245 | 1050 | holder, selected_family->descriptor(), direction); |
kamg@4245 | 1051 | checker.run(current_class); |
kamg@4245 | 1052 | |
kamg@4245 | 1053 | if (checker.found_shadow()) { |
kamg@4245 | 1054 | #ifndef PRODUCT |
kamg@4245 | 1055 | if (TraceDefaultMethods) { |
kamg@4245 | 1056 | tty->print_cr(" Only candidate found was shadowed."); |
kamg@4245 | 1057 | } |
kamg@4245 | 1058 | #endif // ndef PRODUCT |
kamg@4245 | 1059 | THROW_MSG_(vmSymbols::java_lang_AbstractMethodError(), |
kamg@4245 | 1060 | "Accessible default method not found", NULL); |
kamg@4245 | 1061 | } else { |
kamg@4245 | 1062 | #ifndef PRODUCT |
kamg@4245 | 1063 | if (TraceDefaultMethods) { |
kamg@4245 | 1064 | tty->print(" Returning "); |
kamg@4245 | 1065 | print_method(tty, target, true); |
kamg@4245 | 1066 | tty->print_cr(""); |
kamg@4245 | 1067 | } |
kamg@4245 | 1068 | #endif // ndef PRODUCT |
kamg@4245 | 1069 | return target; |
kamg@4245 | 1070 | } |
kamg@4245 | 1071 | } else { |
kamg@4245 | 1072 | assert(selected_family->throws_exception(), "must have target or throw"); |
kamg@4245 | 1073 | THROW_MSG_(vmSymbols::java_lang_AbstractMethodError(), |
kamg@4245 | 1074 | selected_family->get_exception_message()->as_C_string(), NULL); |
kamg@4245 | 1075 | } |
kamg@4245 | 1076 | } |
kamg@4245 | 1077 | |
kamg@4245 | 1078 | |
kamg@4245 | 1079 | static int assemble_redirect( |
kamg@4245 | 1080 | BytecodeConstantPool* cp, BytecodeBuffer* buffer, |
kamg@4245 | 1081 | Symbol* incoming, Method* target, TRAPS) { |
kamg@4245 | 1082 | |
kamg@4245 | 1083 | BytecodeAssembler assem(buffer, cp); |
kamg@4245 | 1084 | |
kamg@4245 | 1085 | SignatureStream in(incoming, true); |
kamg@4245 | 1086 | SignatureStream out(target->signature(), true); |
kamg@4245 | 1087 | u2 parameter_count = 0; |
kamg@4245 | 1088 | |
kamg@4245 | 1089 | assem.aload(parameter_count++); // load 'this' |
kamg@4245 | 1090 | |
kamg@4245 | 1091 | while (!in.at_return_type()) { |
kamg@4245 | 1092 | assert(!out.at_return_type(), "Parameter counts do not match"); |
kamg@4245 | 1093 | BasicType bt = in.type(); |
kamg@4245 | 1094 | assert(out.type() == bt, "Parameter types are not compatible"); |
kamg@4245 | 1095 | assem.load(bt, parameter_count); |
kamg@4245 | 1096 | if (in.is_object() && in.as_symbol(THREAD) != out.as_symbol(THREAD)) { |
kamg@4245 | 1097 | assem.checkcast(out.as_symbol(THREAD)); |
kamg@4245 | 1098 | } else if (bt == T_LONG || bt == T_DOUBLE) { |
kamg@4245 | 1099 | ++parameter_count; // longs and doubles use two slots |
kamg@4245 | 1100 | } |
kamg@4245 | 1101 | ++parameter_count; |
kamg@4245 | 1102 | in.next(); |
kamg@4245 | 1103 | out.next(); |
kamg@4245 | 1104 | } |
kamg@4245 | 1105 | assert(out.at_return_type(), "Parameter counts do not match"); |
kamg@4245 | 1106 | assert(in.type() == out.type(), "Return types are not compatible"); |
kamg@4245 | 1107 | |
kamg@4245 | 1108 | if (parameter_count == 1 && (in.type() == T_LONG || in.type() == T_DOUBLE)) { |
kamg@4245 | 1109 | ++parameter_count; // need room for return value |
kamg@4245 | 1110 | } |
kamg@4245 | 1111 | if (target->method_holder()->is_interface()) { |
kamg@4245 | 1112 | assem.invokespecial(target); |
kamg@4245 | 1113 | } else { |
kamg@4245 | 1114 | assem.invokevirtual(target); |
kamg@4245 | 1115 | } |
kamg@4245 | 1116 | |
kamg@4245 | 1117 | if (in.is_object() && in.as_symbol(THREAD) != out.as_symbol(THREAD)) { |
kamg@4245 | 1118 | assem.checkcast(in.as_symbol(THREAD)); |
kamg@4245 | 1119 | } |
kamg@4245 | 1120 | assem._return(in.type()); |
kamg@4245 | 1121 | return parameter_count; |
kamg@4245 | 1122 | } |
kamg@4245 | 1123 | |
kamg@4245 | 1124 | static int assemble_abstract_method_error( |
kamg@4245 | 1125 | BytecodeConstantPool* cp, BytecodeBuffer* buffer, Symbol* message, TRAPS) { |
kamg@4245 | 1126 | |
kamg@4245 | 1127 | Symbol* errorName = vmSymbols::java_lang_AbstractMethodError(); |
kamg@4245 | 1128 | Symbol* init = vmSymbols::object_initializer_name(); |
kamg@4245 | 1129 | Symbol* sig = vmSymbols::string_void_signature(); |
kamg@4245 | 1130 | |
kamg@4245 | 1131 | BytecodeAssembler assem(buffer, cp); |
kamg@4245 | 1132 | |
kamg@4245 | 1133 | assem._new(errorName); |
kamg@4245 | 1134 | assem.dup(); |
kamg@4245 | 1135 | assem.load_string(message); |
kamg@4245 | 1136 | assem.invokespecial(errorName, init, sig); |
kamg@4245 | 1137 | assem.athrow(); |
kamg@4245 | 1138 | |
kamg@4245 | 1139 | return 3; // max stack size: [ exception, exception, string ] |
kamg@4245 | 1140 | } |
kamg@4245 | 1141 | |
kamg@4245 | 1142 | static Method* new_method( |
kamg@4245 | 1143 | BytecodeConstantPool* cp, BytecodeBuffer* bytecodes, Symbol* name, |
kamg@4245 | 1144 | Symbol* sig, AccessFlags flags, int max_stack, int params, |
kamg@4245 | 1145 | ConstMethod::MethodType mt, TRAPS) { |
kamg@4245 | 1146 | |
kamg@4245 | 1147 | address code_start = static_cast<address>(bytecodes->adr_at(0)); |
kamg@4245 | 1148 | int code_length = bytecodes->length(); |
coleenp@4572 | 1149 | InlineTableSizes sizes; |
kamg@4245 | 1150 | |
kamg@4245 | 1151 | Method* m = Method::allocate(cp->pool_holder()->class_loader_data(), |
coleenp@4572 | 1152 | code_length, flags, &sizes, |
coleenp@4398 | 1153 | mt, CHECK_NULL); |
kamg@4245 | 1154 | |
kamg@4245 | 1155 | m->set_constants(NULL); // This will get filled in later |
kamg@4245 | 1156 | m->set_name_index(cp->utf8(name)); |
kamg@4245 | 1157 | m->set_signature_index(cp->utf8(sig)); |
kamg@4245 | 1158 | #ifdef CC_INTERP |
kamg@4245 | 1159 | ResultTypeFinder rtf(sig); |
kamg@4245 | 1160 | m->set_result_index(rtf.type()); |
kamg@4245 | 1161 | #endif |
kamg@4245 | 1162 | m->set_size_of_parameters(params); |
kamg@4245 | 1163 | m->set_max_stack(max_stack); |
kamg@4245 | 1164 | m->set_max_locals(params); |
kamg@4245 | 1165 | m->constMethod()->set_stackmap_data(NULL); |
kamg@4245 | 1166 | m->set_code(code_start); |
kamg@4245 | 1167 | m->set_force_inline(true); |
kamg@4245 | 1168 | |
kamg@4245 | 1169 | return m; |
kamg@4245 | 1170 | } |
kamg@4245 | 1171 | |
kamg@4245 | 1172 | static void switchover_constant_pool(BytecodeConstantPool* bpool, |
kamg@4245 | 1173 | InstanceKlass* klass, GrowableArray<Method*>* new_methods, TRAPS) { |
kamg@4245 | 1174 | |
kamg@4245 | 1175 | if (new_methods->length() > 0) { |
kamg@4245 | 1176 | ConstantPool* cp = bpool->create_constant_pool(CHECK); |
kamg@4245 | 1177 | if (cp != klass->constants()) { |
kamg@4245 | 1178 | klass->class_loader_data()->add_to_deallocate_list(klass->constants()); |
kamg@4245 | 1179 | klass->set_constants(cp); |
kamg@4245 | 1180 | cp->set_pool_holder(klass); |
kamg@4245 | 1181 | |
kamg@4245 | 1182 | for (int i = 0; i < new_methods->length(); ++i) { |
kamg@4245 | 1183 | new_methods->at(i)->set_constants(cp); |
kamg@4245 | 1184 | } |
kamg@4245 | 1185 | for (int i = 0; i < klass->methods()->length(); ++i) { |
kamg@4245 | 1186 | Method* mo = klass->methods()->at(i); |
kamg@4245 | 1187 | mo->set_constants(cp); |
kamg@4245 | 1188 | } |
kamg@4245 | 1189 | } |
kamg@4245 | 1190 | } |
kamg@4245 | 1191 | } |
kamg@4245 | 1192 | |
kamg@4245 | 1193 | // A "bridge" is a method created by javac to bridge the gap between |
kamg@4245 | 1194 | // an implementation and a generically-compatible, but different, signature. |
kamg@4245 | 1195 | // Bridges have actual bytecode implementation in classfiles. |
kamg@4245 | 1196 | // An "overpass", on the other hand, performs the same function as a bridge |
kamg@4245 | 1197 | // but does not occur in a classfile; the VM creates overpass itself, |
kamg@4245 | 1198 | // when it needs a path to get from a call site to an default method, and |
kamg@4245 | 1199 | // a bridge doesn't exist. |
kamg@4245 | 1200 | static void create_overpasses( |
kamg@4245 | 1201 | GrowableArray<EmptyVtableSlot*>* slots, |
kamg@4245 | 1202 | InstanceKlass* klass, TRAPS) { |
kamg@4245 | 1203 | |
kamg@4245 | 1204 | GrowableArray<Method*> overpasses; |
kamg@4245 | 1205 | BytecodeConstantPool bpool(klass->constants()); |
kamg@4245 | 1206 | |
kamg@4245 | 1207 | for (int i = 0; i < slots->length(); ++i) { |
kamg@4245 | 1208 | EmptyVtableSlot* slot = slots->at(i); |
kamg@4245 | 1209 | |
kamg@4245 | 1210 | if (slot->is_bound()) { |
kamg@4245 | 1211 | MethodFamily* method = slot->get_binding(); |
kamg@4245 | 1212 | int max_stack = 0; |
kamg@4245 | 1213 | BytecodeBuffer buffer; |
kamg@4245 | 1214 | |
kamg@4245 | 1215 | #ifndef PRODUCT |
kamg@4245 | 1216 | if (TraceDefaultMethods) { |
kamg@4245 | 1217 | tty->print("for slot: "); |
kamg@4245 | 1218 | slot->print_on(tty); |
kamg@4245 | 1219 | tty->print_cr(""); |
kamg@4245 | 1220 | if (method->has_target()) { |
kamg@4245 | 1221 | method->print_selected(tty, 1); |
kamg@4245 | 1222 | } else { |
kamg@4245 | 1223 | method->print_exception(tty, 1); |
kamg@4245 | 1224 | } |
kamg@4245 | 1225 | } |
kamg@4245 | 1226 | #endif // ndef PRODUCT |
kamg@4245 | 1227 | if (method->has_target()) { |
kamg@4245 | 1228 | Method* selected = method->get_selected_target(); |
kamg@4245 | 1229 | max_stack = assemble_redirect( |
kamg@4245 | 1230 | &bpool, &buffer, slot->signature(), selected, CHECK); |
kamg@4245 | 1231 | } else if (method->throws_exception()) { |
kamg@4245 | 1232 | max_stack = assemble_abstract_method_error( |
kamg@4245 | 1233 | &bpool, &buffer, method->get_exception_message(), CHECK); |
kamg@4245 | 1234 | } |
kamg@4245 | 1235 | AccessFlags flags = accessFlags_from( |
kamg@4245 | 1236 | JVM_ACC_PUBLIC | JVM_ACC_SYNTHETIC | JVM_ACC_BRIDGE); |
kamg@4245 | 1237 | Method* m = new_method(&bpool, &buffer, slot->name(), slot->signature(), |
kamg@4245 | 1238 | flags, max_stack, slot->size_of_parameters(), |
kamg@4245 | 1239 | ConstMethod::OVERPASS, CHECK); |
kamg@4245 | 1240 | if (m != NULL) { |
kamg@4245 | 1241 | overpasses.push(m); |
kamg@4245 | 1242 | } |
kamg@4245 | 1243 | } |
kamg@4245 | 1244 | } |
kamg@4245 | 1245 | |
kamg@4245 | 1246 | #ifndef PRODUCT |
kamg@4245 | 1247 | if (TraceDefaultMethods) { |
kamg@4245 | 1248 | tty->print_cr("Created %d overpass methods", overpasses.length()); |
kamg@4245 | 1249 | } |
kamg@4245 | 1250 | #endif // ndef PRODUCT |
kamg@4245 | 1251 | |
kamg@4245 | 1252 | switchover_constant_pool(&bpool, klass, &overpasses, CHECK); |
kamg@4245 | 1253 | merge_in_new_methods(klass, &overpasses, CHECK); |
kamg@4245 | 1254 | } |
kamg@4245 | 1255 | |
kamg@4245 | 1256 | static void sort_methods(GrowableArray<Method*>* methods) { |
kamg@4245 | 1257 | // Note that this must sort using the same key as is used for sorting |
kamg@4245 | 1258 | // methods in InstanceKlass. |
kamg@4245 | 1259 | bool sorted = true; |
kamg@4245 | 1260 | for (int i = methods->length() - 1; i > 0; --i) { |
kamg@4245 | 1261 | for (int j = 0; j < i; ++j) { |
kamg@4245 | 1262 | Method* m1 = methods->at(j); |
kamg@4245 | 1263 | Method* m2 = methods->at(j + 1); |
kamg@4245 | 1264 | if ((uintptr_t)m1->name() > (uintptr_t)m2->name()) { |
kamg@4245 | 1265 | methods->at_put(j, m2); |
kamg@4245 | 1266 | methods->at_put(j + 1, m1); |
kamg@4245 | 1267 | sorted = false; |
kamg@4245 | 1268 | } |
kamg@4245 | 1269 | } |
kamg@4245 | 1270 | if (sorted) break; |
kamg@4245 | 1271 | sorted = true; |
kamg@4245 | 1272 | } |
kamg@4245 | 1273 | #ifdef ASSERT |
kamg@4245 | 1274 | uintptr_t prev = 0; |
kamg@4245 | 1275 | for (int i = 0; i < methods->length(); ++i) { |
kamg@4245 | 1276 | Method* mh = methods->at(i); |
kamg@4245 | 1277 | uintptr_t nv = (uintptr_t)mh->name(); |
kamg@4245 | 1278 | assert(nv >= prev, "Incorrect overpass method ordering"); |
kamg@4245 | 1279 | prev = nv; |
kamg@4245 | 1280 | } |
kamg@4245 | 1281 | #endif |
kamg@4245 | 1282 | } |
kamg@4245 | 1283 | |
kamg@4245 | 1284 | static void merge_in_new_methods(InstanceKlass* klass, |
kamg@4245 | 1285 | GrowableArray<Method*>* new_methods, TRAPS) { |
kamg@4245 | 1286 | |
kamg@4245 | 1287 | enum { ANNOTATIONS, PARAMETERS, DEFAULTS, NUM_ARRAYS }; |
kamg@4245 | 1288 | |
kamg@4245 | 1289 | Array<Method*>* original_methods = klass->methods(); |
kamg@4245 | 1290 | Array<int>* original_ordering = klass->method_ordering(); |
kamg@4245 | 1291 | Array<int>* merged_ordering = Universe::the_empty_int_array(); |
kamg@4245 | 1292 | |
kamg@4245 | 1293 | int new_size = klass->methods()->length() + new_methods->length(); |
kamg@4245 | 1294 | |
kamg@4245 | 1295 | Array<Method*>* merged_methods = MetadataFactory::new_array<Method*>( |
kamg@4245 | 1296 | klass->class_loader_data(), new_size, NULL, CHECK); |
coleenp@4572 | 1297 | |
kamg@4245 | 1298 | if (original_ordering != NULL && original_ordering->length() > 0) { |
kamg@4245 | 1299 | merged_ordering = MetadataFactory::new_array<int>( |
kamg@4245 | 1300 | klass->class_loader_data(), new_size, CHECK); |
kamg@4245 | 1301 | } |
kamg@4245 | 1302 | int method_order_index = klass->methods()->length(); |
kamg@4245 | 1303 | |
kamg@4245 | 1304 | sort_methods(new_methods); |
kamg@4245 | 1305 | |
kamg@4245 | 1306 | // Perform grand merge of existing methods and new methods |
kamg@4245 | 1307 | int orig_idx = 0; |
kamg@4245 | 1308 | int new_idx = 0; |
kamg@4245 | 1309 | |
kamg@4245 | 1310 | for (int i = 0; i < new_size; ++i) { |
kamg@4245 | 1311 | Method* orig_method = NULL; |
kamg@4245 | 1312 | Method* new_method = NULL; |
kamg@4245 | 1313 | if (orig_idx < original_methods->length()) { |
kamg@4245 | 1314 | orig_method = original_methods->at(orig_idx); |
kamg@4245 | 1315 | } |
kamg@4245 | 1316 | if (new_idx < new_methods->length()) { |
kamg@4245 | 1317 | new_method = new_methods->at(new_idx); |
kamg@4245 | 1318 | } |
kamg@4245 | 1319 | |
kamg@4245 | 1320 | if (orig_method != NULL && |
kamg@4245 | 1321 | (new_method == NULL || orig_method->name() < new_method->name())) { |
kamg@4245 | 1322 | merged_methods->at_put(i, orig_method); |
kamg@4245 | 1323 | original_methods->at_put(orig_idx, NULL); |
kamg@4245 | 1324 | if (merged_ordering->length() > 0) { |
kamg@4245 | 1325 | merged_ordering->at_put(i, original_ordering->at(orig_idx)); |
kamg@4245 | 1326 | } |
kamg@4245 | 1327 | ++orig_idx; |
kamg@4245 | 1328 | } else { |
kamg@4245 | 1329 | merged_methods->at_put(i, new_method); |
kamg@4245 | 1330 | if (merged_ordering->length() > 0) { |
kamg@4245 | 1331 | merged_ordering->at_put(i, method_order_index++); |
kamg@4245 | 1332 | } |
kamg@4245 | 1333 | ++new_idx; |
kamg@4245 | 1334 | } |
kamg@4245 | 1335 | // update idnum for new location |
kamg@4245 | 1336 | merged_methods->at(i)->set_method_idnum(i); |
kamg@4245 | 1337 | } |
kamg@4245 | 1338 | |
kamg@4245 | 1339 | // Verify correct order |
kamg@4245 | 1340 | #ifdef ASSERT |
kamg@4245 | 1341 | uintptr_t prev = 0; |
kamg@4245 | 1342 | for (int i = 0; i < merged_methods->length(); ++i) { |
kamg@4245 | 1343 | Method* mo = merged_methods->at(i); |
kamg@4245 | 1344 | uintptr_t nv = (uintptr_t)mo->name(); |
kamg@4245 | 1345 | assert(nv >= prev, "Incorrect method ordering"); |
kamg@4245 | 1346 | prev = nv; |
kamg@4245 | 1347 | } |
kamg@4245 | 1348 | #endif |
kamg@4245 | 1349 | |
kamg@4245 | 1350 | // Replace klass methods with new merged lists |
kamg@4245 | 1351 | klass->set_methods(merged_methods); |
kamg@4245 | 1352 | |
kamg@4245 | 1353 | ClassLoaderData* cld = klass->class_loader_data(); |
kamg@4245 | 1354 | MetadataFactory::free_array(cld, original_methods); |
kamg@4245 | 1355 | if (original_ordering->length() > 0) { |
kamg@4245 | 1356 | klass->set_method_ordering(merged_ordering); |
kamg@4245 | 1357 | MetadataFactory::free_array(cld, original_ordering); |
kamg@4245 | 1358 | } |
kamg@4245 | 1359 | } |
kamg@4245 | 1360 |