src/share/vm/oops/constMethod.hpp

Thu, 11 Oct 2012 12:25:42 -0400

author
kamg
date
Thu, 11 Oct 2012 12:25:42 -0400
changeset 4245
4735d2c84362
parent 4037
da91efe96a93
child 4302
b2dbd323c668
permissions
-rw-r--r--

7200776: Implement default methods in interfaces
Summary: Add generic type analysis and default method selection algorithms
Reviewed-by: coleenp, acorn

     1 /*
     2  * Copyright (c) 2003, 2012, Oracle and/or its affiliates. All rights reserved.
     3  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
     4  *
     5  * This code is free software; you can redistribute it and/or modify it
     6  * under the terms of the GNU General Public License version 2 only, as
     7  * published by the Free Software Foundation.
     8  *
     9  * This code is distributed in the hope that it will be useful, but WITHOUT
    10  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
    11  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
    12  * version 2 for more details (a copy is included in the LICENSE file that
    13  * accompanied this code).
    14  *
    15  * You should have received a copy of the GNU General Public License version
    16  * 2 along with this work; if not, write to the Free Software Foundation,
    17  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
    18  *
    19  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
    20  * or visit www.oracle.com if you need additional information or have any
    21  * questions.
    22  *
    23  */
    25 #ifndef SHARE_VM_OOPS_CONSTMETHODOOP_HPP
    26 #define SHARE_VM_OOPS_CONSTMETHODOOP_HPP
    28 #include "oops/oop.hpp"
    30 // An ConstMethod* represents portions of a Java method which
    31 // do not vary.
    32 //
    33 // Memory layout (each line represents a word). Note that most
    34 // applications load thousands of methods, so keeping the size of this
    35 // structure small has a big impact on footprint.
    36 //
    37 // |------------------------------------------------------|
    38 // | header                                               |
    39 // | klass                                                |
    40 // |------------------------------------------------------|
    41 // | fingerprint 1                                        |
    42 // | fingerprint 2                                        |
    43 // | constants                      (oop)                 |
    44 // | stackmap_data                  (oop)                 |
    45 // | constMethod_size                                     |
    46 // | interp_kind  | flags    | code_size                  |
    47 // | name index              | signature index            |
    48 // | method_idnum            | generic_signature_index    |
    49 // |------------------------------------------------------|
    50 // |                                                      |
    51 // | byte codes                                           |
    52 // |                                                      |
    53 // |------------------------------------------------------|
    54 // | compressed linenumber table                          |
    55 // |  (see class CompressedLineNumberReadStream)          |
    56 // |  (note that length is unknown until decompressed)    |
    57 // |  (access flags bit tells whether table is present)   |
    58 // |  (indexed from start of ConstMethod*)              |
    59 // |  (elements not necessarily sorted!)                  |
    60 // |------------------------------------------------------|
    61 // | localvariable table elements + length (length last)  |
    62 // |  (length is u2, elements are 6-tuples of u2)         |
    63 // |  (see class LocalVariableTableElement)               |
    64 // |  (access flags bit tells whether table is present)   |
    65 // |  (indexed from end of ConstMethod*)                |
    66 // |------------------------------------------------------|
    67 // | exception table + length (length last)               |
    68 // |  (length is u2, elements are 4-tuples of u2)         |
    69 // |  (see class ExceptionTableElement)                   |
    70 // |  (access flags bit tells whether table is present)   |
    71 // |  (indexed from end of ConstMethod*)                |
    72 // |------------------------------------------------------|
    73 // | checked exceptions elements + length (length last)   |
    74 // |  (length is u2, elements are u2)                     |
    75 // |  (see class CheckedExceptionElement)                 |
    76 // |  (access flags bit tells whether table is present)   |
    77 // |  (indexed from end of ConstMethod*)                |
    78 // |------------------------------------------------------|
    81 // Utitily class decribing elements in checked exceptions table inlined in Method*.
    82 class CheckedExceptionElement VALUE_OBJ_CLASS_SPEC {
    83  public:
    84   u2 class_cp_index;
    85 };
    88 // Utitily class decribing elements in local variable table inlined in Method*.
    89 class LocalVariableTableElement VALUE_OBJ_CLASS_SPEC {
    90  public:
    91   u2 start_bci;
    92   u2 length;
    93   u2 name_cp_index;
    94   u2 descriptor_cp_index;
    95   u2 signature_cp_index;
    96   u2 slot;
    97 };
    99 // Utitily class describing elements in exception table
   100 class ExceptionTableElement VALUE_OBJ_CLASS_SPEC {
   101  public:
   102   u2 start_pc;
   103   u2 end_pc;
   104   u2 handler_pc;
   105   u2 catch_type_index;
   106 };
   109 class ConstMethod : public MetaspaceObj {
   110   friend class VMStructs;
   112 public:
   113   typedef enum { NORMAL, OVERPASS } MethodType;
   115 private:
   116   enum {
   117     _has_linenumber_table = 1,
   118     _has_checked_exceptions = 2,
   119     _has_localvariable_table = 4,
   120     _has_exception_table = 8,
   121     _is_overpass = 16
   122   };
   124   // Bit vector of signature
   125   // Callers interpret 0=not initialized yet and
   126   // -1=too many args to fix, must parse the slow way.
   127   // The real initial value is special to account for nonatomicity of 64 bit
   128   // loads and stores.  This value may updated and read without a lock by
   129   // multiple threads, so is volatile.
   130   volatile uint64_t _fingerprint;
   132   ConstantPool*     _constants;                  // Constant pool
   134   // Raw stackmap data for the method
   135   Array<u1>*        _stackmap_data;
   137   int               _constMethod_size;
   138   jbyte             _interpreter_kind;
   139   jbyte             _flags;
   141   // Size of Java bytecodes allocated immediately after Method*.
   142   u2                _code_size;
   143   u2                _name_index;                 // Method name (index in constant pool)
   144   u2                _signature_index;            // Method signature (index in constant pool)
   145   u2                _method_idnum;               // unique identification number for the method within the class
   146                                                  // initially corresponds to the index into the methods array.
   147                                                  // but this may change with redefinition
   148   u2                _generic_signature_index;    // Generic signature (index in constant pool, 0 if absent)
   151   // Constructor
   152   ConstMethod(int byte_code_size,
   153               int compressed_line_number_size,
   154               int localvariable_table_length,
   155               int exception_table_length,
   156               int checked_exceptions_length,
   157               MethodType is_overpass,
   158               int size);
   159 public:
   161   static ConstMethod* allocate(ClassLoaderData* loader_data,
   162                                int byte_code_size,
   163                                int compressed_line_number_size,
   164                                int localvariable_table_length,
   165                                int exception_table_length,
   166                                int checked_exceptions_length,
   167                                MethodType mt,
   168                                TRAPS);
   170   bool is_constMethod() const { return true; }
   172   // Inlined tables
   173   void set_inlined_tables_length(int checked_exceptions_len,
   174                                  int compressed_line_number_size,
   175                                  int localvariable_table_len,
   176                                  int exception_table_len);
   178   bool has_linenumber_table() const
   179     { return (_flags & _has_linenumber_table) != 0; }
   181   bool has_checked_exceptions() const
   182     { return (_flags & _has_checked_exceptions) != 0; }
   184   bool has_localvariable_table() const
   185     { return (_flags & _has_localvariable_table) != 0; }
   187   bool has_exception_handler() const
   188     { return (_flags & _has_exception_table) != 0; }
   190   MethodType method_type() const {
   191     return ((_flags & _is_overpass) == 0) ? NORMAL : OVERPASS;
   192   }
   194   void set_method_type(MethodType mt) {
   195     if (mt == NORMAL) {
   196       _flags &= ~(_is_overpass);
   197     } else {
   198       _flags |= _is_overpass;
   199     }
   200   }
   203   void set_interpreter_kind(int kind)      { _interpreter_kind = kind; }
   204   int  interpreter_kind(void) const        { return _interpreter_kind; }
   206   // constant pool
   207   ConstantPool* constants() const        { return _constants; }
   208   void set_constants(ConstantPool* c)    { _constants = c; }
   210   Method* method() const;
   212   // stackmap table data
   213   Array<u1>* stackmap_data() const { return _stackmap_data; }
   214   void set_stackmap_data(Array<u1>* sd) { _stackmap_data = sd; }
   215   bool has_stackmap_table() const { return _stackmap_data != NULL; }
   217   void init_fingerprint() {
   218     const uint64_t initval = CONST64(0x8000000000000000);
   219     _fingerprint = initval;
   220   }
   222   uint64_t fingerprint() const                   {
   223     // Since reads aren't atomic for 64 bits, if any of the high or low order
   224     // word is the initial value, return 0.  See init_fingerprint for initval.
   225     uint high_fp = (uint)(_fingerprint >> 32);
   226     if ((int) _fingerprint == 0 || high_fp == 0x80000000) {
   227       return 0L;
   228     } else {
   229       return _fingerprint;
   230     }
   231   }
   233   uint64_t set_fingerprint(uint64_t new_fingerprint) {
   234 #ifdef ASSERT
   235     // Assert only valid if complete/valid 64 bit _fingerprint value is read.
   236     uint64_t oldfp = fingerprint();
   237 #endif // ASSERT
   238     _fingerprint = new_fingerprint;
   239     assert(oldfp == 0L || new_fingerprint == oldfp,
   240            "fingerprint cannot change");
   241     assert(((new_fingerprint >> 32) != 0x80000000) && (int)new_fingerprint !=0,
   242            "fingerprint should call init to set initial value");
   243     return new_fingerprint;
   244   }
   246   // name
   247   int name_index() const                         { return _name_index; }
   248   void set_name_index(int index)                 { _name_index = index; }
   250   // signature
   251   int signature_index() const                    { return _signature_index; }
   252   void set_signature_index(int index)            { _signature_index = index; }
   254   // generics support
   255   int generic_signature_index() const            { return _generic_signature_index; }
   256   void set_generic_signature_index(int index)    { _generic_signature_index = index; }
   258   // Sizing
   259   static int header_size() {
   260     return sizeof(ConstMethod)/HeapWordSize;
   261   }
   263   // Size needed
   264   static int size(int code_size, int compressed_line_number_size,
   265                          int local_variable_table_length,
   266                          int exception_table_length,
   267                          int checked_exceptions_length);
   269   int size() const                    { return _constMethod_size;}
   270   void set_constMethod_size(int size)     { _constMethod_size = size; }
   272   // code size
   273   int code_size() const                          { return _code_size; }
   274   void set_code_size(int size) {
   275     assert(max_method_code_size < (1 << 16),
   276            "u2 is too small to hold method code size in general");
   277     assert(0 <= size && size <= max_method_code_size, "invalid code size");
   278     _code_size = size;
   279   }
   281   // linenumber table - note that length is unknown until decompression,
   282   // see class CompressedLineNumberReadStream.
   283   u_char* compressed_linenumber_table() const;         // not preserved by gc
   284   u2* checked_exceptions_length_addr() const;
   285   u2* localvariable_table_length_addr() const;
   286   u2* exception_table_length_addr() const;
   288   // checked exceptions
   289   int checked_exceptions_length() const;
   290   CheckedExceptionElement* checked_exceptions_start() const;
   292   // localvariable table
   293   int localvariable_table_length() const;
   294   LocalVariableTableElement* localvariable_table_start() const;
   296   // exception table
   297   int exception_table_length() const;
   298   ExceptionTableElement* exception_table_start() const;
   300   // byte codes
   301   void    set_code(address code) {
   302     if (code_size() > 0) {
   303       memcpy(code_base(), code, code_size());
   304     }
   305   }
   306   address code_base() const            { return (address) (this+1); }
   307   address code_end() const             { return code_base() + code_size(); }
   308   bool    contains(address bcp) const  { return code_base() <= bcp
   309                                                      && bcp < code_end(); }
   310   // Offset to bytecodes
   311   static ByteSize codes_offset()
   312                             { return in_ByteSize(sizeof(ConstMethod)); }
   314   static ByteSize constants_offset()
   315                             { return byte_offset_of(ConstMethod, _constants); }
   317   // Unique id for the method
   318   static const u2 MAX_IDNUM;
   319   static const u2 UNSET_IDNUM;
   320   u2 method_idnum() const                        { return _method_idnum; }
   321   void set_method_idnum(u2 idnum)                { _method_idnum = idnum; }
   323   // Deallocation for RedefineClasses
   324   void deallocate_contents(ClassLoaderData* loader_data);
   325   bool is_klass() const { return false; }
   326   DEBUG_ONLY(bool on_stack() { return false; })
   328 private:
   329   // Since the size of the compressed line number table is unknown, the
   330   // offsets of the other variable sized sections are computed backwards
   331   // from the end of the ConstMethod*.
   333   // First byte after ConstMethod*
   334   address constMethod_end() const
   335                           { return (address)((oop*)this + _constMethod_size); }
   337   // Last short in ConstMethod*
   338   u2* last_u2_element() const
   339                                          { return (u2*)constMethod_end() - 1; }
   341  public:
   342   // Printing
   343   void print_on      (outputStream* st) const;
   344   void print_value_on(outputStream* st) const;
   346   const char* internal_name() const { return "{constMethod}"; }
   348   // Verify
   349   void verify_on(outputStream* st);
   350 };
   352 #endif // SHARE_VM_OOPS_CONSTMETHODOOP_HPP

mercurial