Thu, 11 Oct 2012 12:25:42 -0400
7200776: Implement default methods in interfaces
Summary: Add generic type analysis and default method selection algorithms
Reviewed-by: coleenp, acorn
duke@435 | 1 | /* |
jiangli@3826 | 2 | * Copyright (c) 2003, 2012, Oracle and/or its affiliates. All rights reserved. |
duke@435 | 3 | * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
duke@435 | 4 | * |
duke@435 | 5 | * This code is free software; you can redistribute it and/or modify it |
duke@435 | 6 | * under the terms of the GNU General Public License version 2 only, as |
duke@435 | 7 | * published by the Free Software Foundation. |
duke@435 | 8 | * |
duke@435 | 9 | * This code is distributed in the hope that it will be useful, but WITHOUT |
duke@435 | 10 | * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
duke@435 | 11 | * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
duke@435 | 12 | * version 2 for more details (a copy is included in the LICENSE file that |
duke@435 | 13 | * accompanied this code). |
duke@435 | 14 | * |
duke@435 | 15 | * You should have received a copy of the GNU General Public License version |
duke@435 | 16 | * 2 along with this work; if not, write to the Free Software Foundation, |
duke@435 | 17 | * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. |
duke@435 | 18 | * |
trims@1907 | 19 | * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
trims@1907 | 20 | * or visit www.oracle.com if you need additional information or have any |
trims@1907 | 21 | * questions. |
duke@435 | 22 | * |
duke@435 | 23 | */ |
duke@435 | 24 | |
stefank@2314 | 25 | #include "precompiled.hpp" |
coleenp@4037 | 26 | #include "interpreter/interpreter.hpp" |
coleenp@4037 | 27 | #include "memory/gcLocker.hpp" |
coleenp@4037 | 28 | #include "memory/metadataFactory.hpp" |
coleenp@4037 | 29 | #include "oops/constMethod.hpp" |
coleenp@4037 | 30 | #include "oops/method.hpp" |
duke@435 | 31 | |
duke@435 | 32 | // Static initialization |
coleenp@4037 | 33 | const u2 ConstMethod::MAX_IDNUM = 0xFFFE; |
coleenp@4037 | 34 | const u2 ConstMethod::UNSET_IDNUM = 0xFFFF; |
coleenp@4037 | 35 | |
coleenp@4037 | 36 | ConstMethod* ConstMethod::allocate(ClassLoaderData* loader_data, |
kamg@4245 | 37 | int byte_code_size, |
kamg@4245 | 38 | int compressed_line_number_size, |
kamg@4245 | 39 | int localvariable_table_length, |
kamg@4245 | 40 | int exception_table_length, |
kamg@4245 | 41 | int checked_exceptions_length, |
kamg@4245 | 42 | MethodType method_type, |
kamg@4245 | 43 | TRAPS) { |
coleenp@4037 | 44 | int size = ConstMethod::size(byte_code_size, |
coleenp@4037 | 45 | compressed_line_number_size, |
coleenp@4037 | 46 | localvariable_table_length, |
coleenp@4037 | 47 | exception_table_length, |
coleenp@4037 | 48 | checked_exceptions_length); |
coleenp@4037 | 49 | return new (loader_data, size, true, THREAD) ConstMethod( |
kamg@4245 | 50 | byte_code_size, compressed_line_number_size, localvariable_table_length, |
kamg@4245 | 51 | exception_table_length, checked_exceptions_length, method_type, size); |
coleenp@4037 | 52 | } |
coleenp@4037 | 53 | |
coleenp@4037 | 54 | ConstMethod::ConstMethod(int byte_code_size, |
kamg@4245 | 55 | int compressed_line_number_size, |
kamg@4245 | 56 | int localvariable_table_length, |
kamg@4245 | 57 | int exception_table_length, |
kamg@4245 | 58 | int checked_exceptions_length, |
kamg@4245 | 59 | MethodType method_type, |
kamg@4245 | 60 | int size) { |
coleenp@4037 | 61 | |
coleenp@4037 | 62 | No_Safepoint_Verifier no_safepoint; |
coleenp@4037 | 63 | set_interpreter_kind(Interpreter::invalid); |
coleenp@4037 | 64 | init_fingerprint(); |
coleenp@4037 | 65 | set_constants(NULL); |
coleenp@4037 | 66 | set_stackmap_data(NULL); |
coleenp@4037 | 67 | set_code_size(byte_code_size); |
coleenp@4037 | 68 | set_constMethod_size(size); |
coleenp@4037 | 69 | set_inlined_tables_length(checked_exceptions_length, |
coleenp@4037 | 70 | compressed_line_number_size, |
coleenp@4037 | 71 | localvariable_table_length, |
coleenp@4037 | 72 | exception_table_length); |
kamg@4245 | 73 | set_method_type(method_type); |
coleenp@4037 | 74 | assert(this->size() == size, "wrong size for object"); |
coleenp@4037 | 75 | } |
coleenp@4037 | 76 | |
coleenp@4037 | 77 | |
coleenp@4037 | 78 | // Deallocate metadata fields associated with ConstMethod* |
coleenp@4037 | 79 | void ConstMethod::deallocate_contents(ClassLoaderData* loader_data) { |
coleenp@4037 | 80 | set_interpreter_kind(Interpreter::invalid); |
coleenp@4037 | 81 | if (stackmap_data() != NULL) { |
coleenp@4037 | 82 | MetadataFactory::free_array<u1>(loader_data, stackmap_data()); |
coleenp@4037 | 83 | } |
coleenp@4037 | 84 | set_stackmap_data(NULL); |
coleenp@4037 | 85 | } |
duke@435 | 86 | |
duke@435 | 87 | // How big must this constMethodObject be? |
duke@435 | 88 | |
coleenp@4037 | 89 | int ConstMethod::size(int code_size, |
duke@435 | 90 | int compressed_line_number_size, |
duke@435 | 91 | int local_variable_table_length, |
jiangli@3917 | 92 | int exception_table_length, |
duke@435 | 93 | int checked_exceptions_length) { |
duke@435 | 94 | int extra_bytes = code_size; |
duke@435 | 95 | if (compressed_line_number_size > 0) { |
duke@435 | 96 | extra_bytes += compressed_line_number_size; |
duke@435 | 97 | } |
duke@435 | 98 | if (checked_exceptions_length > 0) { |
duke@435 | 99 | extra_bytes += sizeof(u2); |
duke@435 | 100 | extra_bytes += checked_exceptions_length * sizeof(CheckedExceptionElement); |
duke@435 | 101 | } |
duke@435 | 102 | if (local_variable_table_length > 0) { |
duke@435 | 103 | extra_bytes += sizeof(u2); |
duke@435 | 104 | extra_bytes += |
duke@435 | 105 | local_variable_table_length * sizeof(LocalVariableTableElement); |
duke@435 | 106 | } |
jiangli@3917 | 107 | if (exception_table_length > 0) { |
jiangli@3917 | 108 | extra_bytes += sizeof(u2); |
jiangli@3917 | 109 | extra_bytes += exception_table_length * sizeof(ExceptionTableElement); |
jiangli@3917 | 110 | } |
duke@435 | 111 | int extra_words = align_size_up(extra_bytes, BytesPerWord) / BytesPerWord; |
duke@435 | 112 | return align_object_size(header_size() + extra_words); |
duke@435 | 113 | } |
duke@435 | 114 | |
coleenp@4037 | 115 | Method* ConstMethod::method() const { |
coleenp@4037 | 116 | return InstanceKlass::cast(_constants->pool_holder())->method_with_idnum( |
jiangli@3826 | 117 | _method_idnum); |
jiangli@3826 | 118 | } |
duke@435 | 119 | |
duke@435 | 120 | // linenumber table - note that length is unknown until decompression, |
duke@435 | 121 | // see class CompressedLineNumberReadStream. |
duke@435 | 122 | |
coleenp@4037 | 123 | u_char* ConstMethod::compressed_linenumber_table() const { |
duke@435 | 124 | // Located immediately following the bytecodes. |
duke@435 | 125 | assert(has_linenumber_table(), "called only if table is present"); |
duke@435 | 126 | return code_end(); |
duke@435 | 127 | } |
duke@435 | 128 | |
coleenp@4037 | 129 | u2* ConstMethod::checked_exceptions_length_addr() const { |
duke@435 | 130 | // Located at the end of the constMethod. |
duke@435 | 131 | assert(has_checked_exceptions(), "called only if table is present"); |
duke@435 | 132 | return last_u2_element(); |
duke@435 | 133 | } |
duke@435 | 134 | |
coleenp@4037 | 135 | u2* ConstMethod::exception_table_length_addr() const { |
jiangli@3917 | 136 | assert(has_exception_handler(), "called only if table is present"); |
duke@435 | 137 | if (has_checked_exceptions()) { |
duke@435 | 138 | // If checked_exception present, locate immediately before them. |
duke@435 | 139 | return (u2*) checked_exceptions_start() - 1; |
duke@435 | 140 | } else { |
jiangli@3917 | 141 | // Else, the exception table is at the end of the constMethod. |
duke@435 | 142 | return last_u2_element(); |
duke@435 | 143 | } |
duke@435 | 144 | } |
duke@435 | 145 | |
coleenp@4037 | 146 | u2* ConstMethod::localvariable_table_length_addr() const { |
jiangli@3917 | 147 | assert(has_localvariable_table(), "called only if table is present"); |
jiangli@3917 | 148 | if (has_exception_handler()) { |
jiangli@3917 | 149 | // If exception_table present, locate immediately before them. |
jiangli@3917 | 150 | return (u2*) exception_table_start() - 1; |
jiangli@3917 | 151 | } else { |
jiangli@3917 | 152 | if (has_checked_exceptions()) { |
jiangli@3917 | 153 | // If checked_exception present, locate immediately before them. |
jiangli@3917 | 154 | return (u2*) checked_exceptions_start() - 1; |
jiangli@3917 | 155 | } else { |
jiangli@3917 | 156 | // Else, the linenumber table is at the end of the constMethod. |
jiangli@3917 | 157 | return last_u2_element(); |
jiangli@3917 | 158 | } |
jiangli@3917 | 159 | } |
jiangli@3917 | 160 | } |
jiangli@3917 | 161 | |
duke@435 | 162 | |
duke@435 | 163 | // Update the flags to indicate the presence of these optional fields. |
coleenp@4037 | 164 | void ConstMethod::set_inlined_tables_length( |
duke@435 | 165 | int checked_exceptions_len, |
duke@435 | 166 | int compressed_line_number_size, |
jiangli@3917 | 167 | int localvariable_table_len, |
jiangli@3917 | 168 | int exception_table_len) { |
duke@435 | 169 | // Must be done in the order below, otherwise length_addr accessors |
duke@435 | 170 | // will not work. Only set bit in header if length is positive. |
duke@435 | 171 | assert(_flags == 0, "Error"); |
duke@435 | 172 | if (compressed_line_number_size > 0) { |
duke@435 | 173 | _flags |= _has_linenumber_table; |
duke@435 | 174 | } |
duke@435 | 175 | if (checked_exceptions_len > 0) { |
duke@435 | 176 | _flags |= _has_checked_exceptions; |
duke@435 | 177 | *(checked_exceptions_length_addr()) = checked_exceptions_len; |
duke@435 | 178 | } |
jiangli@3917 | 179 | if (exception_table_len > 0) { |
jiangli@3917 | 180 | _flags |= _has_exception_table; |
jiangli@3917 | 181 | *(exception_table_length_addr()) = exception_table_len; |
jiangli@3917 | 182 | } |
duke@435 | 183 | if (localvariable_table_len > 0) { |
duke@435 | 184 | _flags |= _has_localvariable_table; |
duke@435 | 185 | *(localvariable_table_length_addr()) = localvariable_table_len; |
duke@435 | 186 | } |
duke@435 | 187 | } |
duke@435 | 188 | |
duke@435 | 189 | |
coleenp@4037 | 190 | int ConstMethod::checked_exceptions_length() const { |
duke@435 | 191 | return has_checked_exceptions() ? *(checked_exceptions_length_addr()) : 0; |
duke@435 | 192 | } |
duke@435 | 193 | |
duke@435 | 194 | |
coleenp@4037 | 195 | CheckedExceptionElement* ConstMethod::checked_exceptions_start() const { |
duke@435 | 196 | u2* addr = checked_exceptions_length_addr(); |
duke@435 | 197 | u2 length = *addr; |
duke@435 | 198 | assert(length > 0, "should only be called if table is present"); |
duke@435 | 199 | addr -= length * sizeof(CheckedExceptionElement) / sizeof(u2); |
duke@435 | 200 | return (CheckedExceptionElement*) addr; |
duke@435 | 201 | } |
duke@435 | 202 | |
duke@435 | 203 | |
coleenp@4037 | 204 | int ConstMethod::localvariable_table_length() const { |
duke@435 | 205 | return has_localvariable_table() ? *(localvariable_table_length_addr()) : 0; |
duke@435 | 206 | } |
duke@435 | 207 | |
duke@435 | 208 | |
coleenp@4037 | 209 | LocalVariableTableElement* ConstMethod::localvariable_table_start() const { |
duke@435 | 210 | u2* addr = localvariable_table_length_addr(); |
duke@435 | 211 | u2 length = *addr; |
duke@435 | 212 | assert(length > 0, "should only be called if table is present"); |
duke@435 | 213 | addr -= length * sizeof(LocalVariableTableElement) / sizeof(u2); |
duke@435 | 214 | return (LocalVariableTableElement*) addr; |
duke@435 | 215 | } |
jiangli@3917 | 216 | |
coleenp@4037 | 217 | int ConstMethod::exception_table_length() const { |
jiangli@3917 | 218 | return has_exception_handler() ? *(exception_table_length_addr()) : 0; |
jiangli@3917 | 219 | } |
jiangli@3917 | 220 | |
coleenp@4037 | 221 | ExceptionTableElement* ConstMethod::exception_table_start() const { |
jiangli@3917 | 222 | u2* addr = exception_table_length_addr(); |
jiangli@3917 | 223 | u2 length = *addr; |
jiangli@3917 | 224 | assert(length > 0, "should only be called if table is present"); |
jiangli@3917 | 225 | addr -= length * sizeof(ExceptionTableElement) / sizeof(u2); |
jiangli@3917 | 226 | return (ExceptionTableElement*)addr; |
jiangli@3917 | 227 | } |
coleenp@4037 | 228 | |
coleenp@4037 | 229 | |
coleenp@4037 | 230 | // Printing |
coleenp@4037 | 231 | |
coleenp@4037 | 232 | void ConstMethod::print_on(outputStream* st) const { |
coleenp@4037 | 233 | ResourceMark rm; |
coleenp@4037 | 234 | assert(is_constMethod(), "must be constMethod"); |
coleenp@4037 | 235 | st->print_cr(internal_name()); |
coleenp@4037 | 236 | st->print(" - method: " INTPTR_FORMAT " ", (address)method()); |
coleenp@4037 | 237 | method()->print_value_on(st); st->cr(); |
coleenp@4037 | 238 | if (has_stackmap_table()) { |
coleenp@4037 | 239 | st->print(" - stackmap data: "); |
coleenp@4037 | 240 | stackmap_data()->print_value_on(st); |
coleenp@4037 | 241 | st->cr(); |
coleenp@4037 | 242 | } |
coleenp@4037 | 243 | } |
coleenp@4037 | 244 | |
coleenp@4037 | 245 | // Short version of printing ConstMethod* - just print the name of the |
coleenp@4037 | 246 | // method it belongs to. |
coleenp@4037 | 247 | void ConstMethod::print_value_on(outputStream* st) const { |
coleenp@4037 | 248 | assert(is_constMethod(), "must be constMethod"); |
coleenp@4037 | 249 | st->print(" const part of method " ); |
coleenp@4037 | 250 | method()->print_value_on(st); |
coleenp@4037 | 251 | } |
coleenp@4037 | 252 | |
coleenp@4037 | 253 | |
coleenp@4037 | 254 | // Verification |
coleenp@4037 | 255 | |
coleenp@4037 | 256 | void ConstMethod::verify_on(outputStream* st) { |
coleenp@4037 | 257 | guarantee(is_constMethod(), "object must be constMethod"); |
coleenp@4037 | 258 | guarantee(is_metadata(), err_msg("Should be metadata " PTR_FORMAT, this)); |
coleenp@4037 | 259 | |
coleenp@4037 | 260 | // Verification can occur during oop construction before the method or |
coleenp@4037 | 261 | // other fields have been initialized. |
coleenp@4037 | 262 | guarantee(is_metadata(), err_msg("Should be metadata " PTR_FORMAT, this)); |
coleenp@4037 | 263 | guarantee(method()->is_method(), "should be method"); |
coleenp@4037 | 264 | |
coleenp@4037 | 265 | address m_end = (address)((oop*) this + size()); |
coleenp@4037 | 266 | address compressed_table_start = code_end(); |
coleenp@4037 | 267 | guarantee(compressed_table_start <= m_end, "invalid method layout"); |
coleenp@4037 | 268 | address compressed_table_end = compressed_table_start; |
coleenp@4037 | 269 | // Verify line number table |
coleenp@4037 | 270 | if (has_linenumber_table()) { |
coleenp@4037 | 271 | CompressedLineNumberReadStream stream(compressed_linenumber_table()); |
coleenp@4037 | 272 | while (stream.read_pair()) { |
coleenp@4037 | 273 | guarantee(stream.bci() >= 0 && stream.bci() <= code_size(), "invalid bci in line number table"); |
coleenp@4037 | 274 | } |
coleenp@4037 | 275 | compressed_table_end += stream.position(); |
coleenp@4037 | 276 | } |
coleenp@4037 | 277 | guarantee(compressed_table_end <= m_end, "invalid method layout"); |
coleenp@4037 | 278 | // Verify checked exceptions, exception table and local variable tables |
coleenp@4037 | 279 | if (has_checked_exceptions()) { |
coleenp@4037 | 280 | u2* addr = checked_exceptions_length_addr(); |
coleenp@4037 | 281 | guarantee(*addr > 0 && (address) addr >= compressed_table_end && (address) addr < m_end, "invalid method layout"); |
coleenp@4037 | 282 | } |
coleenp@4037 | 283 | if (has_exception_handler()) { |
coleenp@4037 | 284 | u2* addr = exception_table_length_addr(); |
coleenp@4037 | 285 | guarantee(*addr > 0 && (address) addr >= compressed_table_end && (address) addr < m_end, "invalid method layout"); |
coleenp@4037 | 286 | } |
coleenp@4037 | 287 | if (has_localvariable_table()) { |
coleenp@4037 | 288 | u2* addr = localvariable_table_length_addr(); |
coleenp@4037 | 289 | guarantee(*addr > 0 && (address) addr >= compressed_table_end && (address) addr < m_end, "invalid method layout"); |
coleenp@4037 | 290 | } |
coleenp@4037 | 291 | // Check compressed_table_end relative to uncompressed_table_start |
coleenp@4037 | 292 | u2* uncompressed_table_start; |
coleenp@4037 | 293 | if (has_localvariable_table()) { |
coleenp@4037 | 294 | uncompressed_table_start = (u2*) localvariable_table_start(); |
coleenp@4037 | 295 | } else if (has_exception_handler()) { |
coleenp@4037 | 296 | uncompressed_table_start = (u2*) exception_table_start(); |
coleenp@4037 | 297 | } else if (has_checked_exceptions()) { |
coleenp@4037 | 298 | uncompressed_table_start = (u2*) checked_exceptions_start(); |
coleenp@4037 | 299 | } else { |
coleenp@4037 | 300 | uncompressed_table_start = (u2*) m_end; |
coleenp@4037 | 301 | } |
coleenp@4037 | 302 | int gap = (intptr_t) uncompressed_table_start - (intptr_t) compressed_table_end; |
coleenp@4037 | 303 | int max_gap = align_object_size(1)*BytesPerWord; |
coleenp@4037 | 304 | guarantee(gap >= 0 && gap < max_gap, "invalid method layout"); |
coleenp@4037 | 305 | } |