src/share/vm/ci/ciMethodData.hpp

Mon, 07 Jul 2014 10:12:40 +0200

author
stefank
date
Mon, 07 Jul 2014 10:12:40 +0200
changeset 6992
2c6ef90f030a
parent 6429
606acabe7b5c
child 7535
7ae4e26cb1e0
permissions
-rw-r--r--

8049421: G1 Class Unloading after completing a concurrent mark cycle
Reviewed-by: tschatzl, ehelin, brutisso, coleenp, roland, iveresov
Contributed-by: stefan.karlsson@oracle.com, mikael.gerdin@oracle.com

     1 /*
     2  * Copyright (c) 2001, 2013, 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_CI_CIMETHODDATA_HPP
    26 #define SHARE_VM_CI_CIMETHODDATA_HPP
    28 #include "ci/ciClassList.hpp"
    29 #include "ci/ciKlass.hpp"
    30 #include "ci/ciObject.hpp"
    31 #include "ci/ciUtilities.hpp"
    32 #include "oops/methodData.hpp"
    33 #include "oops/oop.inline.hpp"
    34 #include "runtime/deoptimization.hpp"
    36 class ciBitData;
    37 class ciCounterData;
    38 class ciJumpData;
    39 class ciReceiverTypeData;
    40 class ciRetData;
    41 class ciBranchData;
    42 class ciArrayData;
    43 class ciMultiBranchData;
    44 class ciArgInfoData;
    45 class ciCallTypeData;
    46 class ciVirtualCallTypeData;
    47 class ciParametersTypeData;
    48 class ciSpeculativeTrapData;;
    50 typedef ProfileData ciProfileData;
    52 class ciBitData : public BitData {
    53 public:
    54   ciBitData(DataLayout* layout) : BitData(layout) {};
    55 };
    57 class ciCounterData : public CounterData {
    58 public:
    59   ciCounterData(DataLayout* layout) : CounterData(layout) {};
    60 };
    62 class ciJumpData : public JumpData {
    63 public:
    64   ciJumpData(DataLayout* layout) : JumpData(layout) {};
    65 };
    67 class ciTypeEntries {
    68 protected:
    69   static intptr_t translate_klass(intptr_t k) {
    70     Klass* v = TypeEntries::valid_klass(k);
    71     if (v != NULL) {
    72       ciKlass* klass = CURRENT_ENV->get_klass(v);
    73       CURRENT_ENV->ensure_metadata_alive(klass);
    74       return with_status(klass, k);
    75     }
    76     return with_status(NULL, k);
    77   }
    79 public:
    80   static ciKlass* valid_ciklass(intptr_t k) {
    81     if (!TypeEntries::is_type_none(k) &&
    82         !TypeEntries::is_type_unknown(k)) {
    83       ciKlass* res = (ciKlass*)TypeEntries::klass_part(k);
    84       assert(res != NULL, "invalid");
    85       return res;
    86     } else {
    87       return NULL;
    88     }
    89   }
    91   static intptr_t with_status(ciKlass* k, intptr_t in) {
    92     return TypeEntries::with_status((intptr_t)k, in);
    93   }
    95 #ifndef PRODUCT
    96   static void print_ciklass(outputStream* st, intptr_t k);
    97 #endif
    98 };
   100 class ciTypeStackSlotEntries : public TypeStackSlotEntries, ciTypeEntries {
   101 public:
   102   void translate_type_data_from(const TypeStackSlotEntries* args);
   104   ciKlass* valid_type(int i) const {
   105     return valid_ciklass(type(i));
   106   }
   108   bool maybe_null(int i) const {
   109     return was_null_seen(type(i));
   110   }
   112 #ifndef PRODUCT
   113   void print_data_on(outputStream* st) const;
   114 #endif
   115 };
   117 class ciReturnTypeEntry : public ReturnTypeEntry, ciTypeEntries {
   118 public:
   119   void translate_type_data_from(const ReturnTypeEntry* ret);
   121   ciKlass* valid_type() const {
   122     return valid_ciklass(type());
   123   }
   125   bool maybe_null() const {
   126     return was_null_seen(type());
   127   }
   129 #ifndef PRODUCT
   130   void print_data_on(outputStream* st) const;
   131 #endif
   132 };
   134 class ciCallTypeData : public CallTypeData {
   135 public:
   136   ciCallTypeData(DataLayout* layout) : CallTypeData(layout) {}
   138   ciTypeStackSlotEntries* args() const { return (ciTypeStackSlotEntries*)CallTypeData::args(); }
   139   ciReturnTypeEntry* ret() const { return (ciReturnTypeEntry*)CallTypeData::ret(); }
   141   void translate_from(const ProfileData* data) {
   142     if (has_arguments()) {
   143       args()->translate_type_data_from(data->as_CallTypeData()->args());
   144     }
   145     if (has_return()) {
   146       ret()->translate_type_data_from(data->as_CallTypeData()->ret());
   147     }
   148   }
   150   intptr_t argument_type(int i) const {
   151     assert(has_arguments(), "no arg type profiling data");
   152     return args()->type(i);
   153   }
   155   ciKlass* valid_argument_type(int i) const {
   156     assert(has_arguments(), "no arg type profiling data");
   157     return args()->valid_type(i);
   158   }
   160   intptr_t return_type() const {
   161     assert(has_return(), "no ret type profiling data");
   162     return ret()->type();
   163   }
   165   ciKlass* valid_return_type() const {
   166     assert(has_return(), "no ret type profiling data");
   167     return ret()->valid_type();
   168   }
   170   bool argument_maybe_null(int i) const {
   171     return args()->maybe_null(i);
   172   }
   174   bool return_maybe_null() const {
   175     return ret()->maybe_null();
   176   }
   178 #ifndef PRODUCT
   179   void print_data_on(outputStream* st, const char* extra) const;
   180 #endif
   181 };
   183 class ciReceiverTypeData : public ReceiverTypeData {
   184 public:
   185   ciReceiverTypeData(DataLayout* layout) : ReceiverTypeData(layout) {};
   187   void set_receiver(uint row, ciKlass* recv) {
   188     assert((uint)row < row_limit(), "oob");
   189     set_intptr_at(receiver0_offset + row * receiver_type_row_cell_count,
   190                   (intptr_t) recv);
   191   }
   193   ciKlass* receiver(uint row) const {
   194     assert((uint)row < row_limit(), "oob");
   195     ciKlass* recv = (ciKlass*)intptr_at(receiver0_offset + row * receiver_type_row_cell_count);
   196     assert(recv == NULL || recv->is_klass(), "wrong type");
   197     return recv;
   198   }
   200   // Copy & translate from oop based ReceiverTypeData
   201   virtual void translate_from(const ProfileData* data) {
   202     translate_receiver_data_from(data);
   203   }
   204   void translate_receiver_data_from(const ProfileData* data);
   205 #ifndef PRODUCT
   206   void print_data_on(outputStream* st, const char* extra) const;
   207   void print_receiver_data_on(outputStream* st) const;
   208 #endif
   209 };
   211 class ciVirtualCallData : public VirtualCallData {
   212   // Fake multiple inheritance...  It's a ciReceiverTypeData also.
   213   ciReceiverTypeData* rtd_super() const { return (ciReceiverTypeData*) this; }
   215 public:
   216   ciVirtualCallData(DataLayout* layout) : VirtualCallData(layout) {};
   218   void set_receiver(uint row, ciKlass* recv) {
   219     rtd_super()->set_receiver(row, recv);
   220   }
   222   ciKlass* receiver(uint row) {
   223     return rtd_super()->receiver(row);
   224   }
   226   // Copy & translate from oop based VirtualCallData
   227   virtual void translate_from(const ProfileData* data) {
   228     rtd_super()->translate_receiver_data_from(data);
   229   }
   230 #ifndef PRODUCT
   231   void print_data_on(outputStream* st, const char* extra) const;
   232 #endif
   233 };
   235 class ciVirtualCallTypeData : public VirtualCallTypeData {
   236 private:
   237   // Fake multiple inheritance...  It's a ciReceiverTypeData also.
   238   ciReceiverTypeData* rtd_super() const { return (ciReceiverTypeData*) this; }
   239 public:
   240   ciVirtualCallTypeData(DataLayout* layout) : VirtualCallTypeData(layout) {}
   242   void set_receiver(uint row, ciKlass* recv) {
   243     rtd_super()->set_receiver(row, recv);
   244   }
   246   ciKlass* receiver(uint row) const {
   247     return rtd_super()->receiver(row);
   248   }
   250   ciTypeStackSlotEntries* args() const { return (ciTypeStackSlotEntries*)VirtualCallTypeData::args(); }
   251   ciReturnTypeEntry* ret() const { return (ciReturnTypeEntry*)VirtualCallTypeData::ret(); }
   253   // Copy & translate from oop based VirtualCallData
   254   virtual void translate_from(const ProfileData* data) {
   255     rtd_super()->translate_receiver_data_from(data);
   256     if (has_arguments()) {
   257       args()->translate_type_data_from(data->as_VirtualCallTypeData()->args());
   258     }
   259     if (has_return()) {
   260       ret()->translate_type_data_from(data->as_VirtualCallTypeData()->ret());
   261     }
   262   }
   264   intptr_t argument_type(int i) const {
   265     assert(has_arguments(), "no arg type profiling data");
   266     return args()->type(i);
   267   }
   269   ciKlass* valid_argument_type(int i) const {
   270     assert(has_arguments(), "no arg type profiling data");
   271     return args()->valid_type(i);
   272   }
   274   intptr_t return_type() const {
   275     assert(has_return(), "no ret type profiling data");
   276     return ret()->type();
   277   }
   279   ciKlass* valid_return_type() const {
   280     assert(has_return(), "no ret type profiling data");
   281     return ret()->valid_type();
   282   }
   284   bool argument_maybe_null(int i) const {
   285     return args()->maybe_null(i);
   286   }
   288   bool return_maybe_null() const {
   289     return ret()->maybe_null();
   290   }
   292 #ifndef PRODUCT
   293   void print_data_on(outputStream* st, const char* extra) const;
   294 #endif
   295 };
   298 class ciRetData : public RetData {
   299 public:
   300   ciRetData(DataLayout* layout) : RetData(layout) {};
   301 };
   303 class ciBranchData : public BranchData {
   304 public:
   305   ciBranchData(DataLayout* layout) : BranchData(layout) {};
   306 };
   308 class ciArrayData : public ArrayData {
   309 public:
   310   ciArrayData(DataLayout* layout) : ArrayData(layout) {};
   311 };
   313 class ciMultiBranchData : public MultiBranchData {
   314 public:
   315   ciMultiBranchData(DataLayout* layout) : MultiBranchData(layout) {};
   316 };
   318 class ciArgInfoData : public ArgInfoData {
   319 public:
   320   ciArgInfoData(DataLayout* layout) : ArgInfoData(layout) {};
   321 };
   323 class ciParametersTypeData : public ParametersTypeData {
   324 public:
   325   ciParametersTypeData(DataLayout* layout) : ParametersTypeData(layout) {}
   327   virtual void translate_from(const ProfileData* data) {
   328     parameters()->translate_type_data_from(data->as_ParametersTypeData()->parameters());
   329   }
   331   ciTypeStackSlotEntries* parameters() const { return (ciTypeStackSlotEntries*)ParametersTypeData::parameters(); }
   333   ciKlass* valid_parameter_type(int i) const {
   334     return parameters()->valid_type(i);
   335   }
   337   bool parameter_maybe_null(int i) const {
   338     return parameters()->maybe_null(i);
   339   }
   341 #ifndef PRODUCT
   342   void print_data_on(outputStream* st, const char* extra) const;
   343 #endif
   344 };
   346 class ciSpeculativeTrapData : public SpeculativeTrapData {
   347 public:
   348   ciSpeculativeTrapData(DataLayout* layout) : SpeculativeTrapData(layout) {}
   350   virtual void translate_from(const ProfileData* data);
   352   ciMethod* method() const {
   353     return (ciMethod*)intptr_at(method_offset);
   354   }
   356   void set_method(ciMethod* m) {
   357     set_intptr_at(method_offset, (intptr_t)m);
   358   }
   360 #ifndef PRODUCT
   361   void print_data_on(outputStream* st, const char* extra) const;
   362 #endif
   363 };
   365 // ciMethodData
   366 //
   367 // This class represents a MethodData* in the HotSpot virtual
   368 // machine.
   370 class ciMethodData : public ciMetadata {
   371   CI_PACKAGE_ACCESS
   372   friend class ciReplay;
   374 private:
   375   // Size in bytes
   376   int _data_size;
   377   int _extra_data_size;
   379   // Data entries
   380   intptr_t* _data;
   382   // Cached hint for data_before()
   383   int _hint_di;
   385   // Is data attached?  And is it mature?
   386   enum { empty_state, immature_state, mature_state };
   387   u_char _state;
   389   // Set this true if empty extra_data slots are ever witnessed.
   390   u_char _saw_free_extra_data;
   392   // Support for interprocedural escape analysis
   393   intx              _eflags;          // flags on escape information
   394   intx              _arg_local;       // bit set of non-escaping arguments
   395   intx              _arg_stack;       // bit set of stack-allocatable arguments
   396   intx              _arg_returned;    // bit set of returned arguments
   398   // Maturity of the oop when the snapshot is taken.
   399   int _current_mileage;
   401   // These counters hold the age of MDO in tiered. In tiered we can have the same method
   402   // running at different compilation levels concurrently. So, in order to precisely measure
   403   // its maturity we need separate counters.
   404   int _invocation_counter;
   405   int _backedge_counter;
   407   // Coherent snapshot of original header.
   408   MethodData _orig;
   410   // Dedicated area dedicated to parameters. Null if no parameter
   411   // profiling for this method.
   412   DataLayout* _parameters;
   414   ciMethodData(MethodData* md);
   415   ciMethodData();
   417   // Accessors
   418   int data_size() const { return _data_size; }
   419   int extra_data_size() const { return _extra_data_size; }
   420   intptr_t * data() const { return _data; }
   422   MethodData* get_MethodData() const {
   423     return (MethodData*)_metadata;
   424   }
   426   const char* type_string()                      { return "ciMethodData"; }
   428   void print_impl(outputStream* st);
   430   DataLayout* data_layout_at(int data_index) const {
   431     assert(data_index % sizeof(intptr_t) == 0, "unaligned");
   432     return (DataLayout*) (((address)_data) + data_index);
   433   }
   435   bool out_of_bounds(int data_index) {
   436     return data_index >= data_size();
   437   }
   439   // hint accessors
   440   int      hint_di() const  { return _hint_di; }
   441   void set_hint_di(int di)  {
   442     assert(!out_of_bounds(di), "hint_di out of bounds");
   443     _hint_di = di;
   444   }
   445   ciProfileData* data_before(int bci) {
   446     // avoid SEGV on this edge case
   447     if (data_size() == 0)
   448       return NULL;
   449     int hint = hint_di();
   450     if (data_layout_at(hint)->bci() <= bci)
   451       return data_at(hint);
   452     return first_data();
   453   }
   456   // What is the index of the first data entry?
   457   int first_di() { return 0; }
   459   ciArgInfoData *arg_info() const;
   461   address data_base() const {
   462     return (address) _data;
   463   }
   464   DataLayout* limit_data_position() const {
   465     return (DataLayout*)((address)data_base() + _data_size);
   466   }
   468   void load_extra_data();
   469   ciProfileData* bci_to_extra_data(int bci, ciMethod* m, bool& two_free_slots);
   471 public:
   472   bool is_method_data() const { return true; }
   474   bool is_empty()  { return _state == empty_state; }
   475   bool is_mature() { return _state == mature_state; }
   477   int creation_mileage() { return _orig.creation_mileage(); }
   478   int current_mileage()  { return _current_mileage; }
   480   int invocation_count() { return _invocation_counter; }
   481   int backedge_count()   { return _backedge_counter;   }
   483 #if INCLUDE_RTM_OPT
   484   // return cached value
   485   int rtm_state() {
   486     if (is_empty()) {
   487       return NoRTM;
   488     } else {
   489       return get_MethodData()->rtm_state();
   490     }
   491   }
   492 #endif
   494   // Transfer information about the method to MethodData*.
   495   // would_profile means we would like to profile this method,
   496   // meaning it's not trivial.
   497   void set_would_profile(bool p);
   498   // Also set the numer of loops and blocks in the method.
   499   // Again, this is used to determine if a method is trivial.
   500   void set_compilation_stats(short loops, short blocks);
   501   // If the compiler finds a profiled type that is known statically
   502   // for sure, set it in the MethodData
   503   void set_argument_type(int bci, int i, ciKlass* k);
   504   void set_parameter_type(int i, ciKlass* k);
   505   void set_return_type(int bci, ciKlass* k);
   507   void load_data();
   509   // Convert a dp (data pointer) to a di (data index).
   510   int dp_to_di(address dp) {
   511     return dp - ((address)_data);
   512   }
   514   // Get the data at an arbitrary (sort of) data index.
   515   ciProfileData* data_at(int data_index);
   517   // Walk through the data in order.
   518   ciProfileData* first_data() { return data_at(first_di()); }
   519   ciProfileData* next_data(ciProfileData* current);
   520   bool is_valid(ciProfileData* current) { return current != NULL; }
   522   DataLayout* extra_data_base() const { return limit_data_position(); }
   524   // Get the data at an arbitrary bci, or NULL if there is none. If m
   525   // is not NULL look for a SpeculativeTrapData if any first.
   526   ciProfileData* bci_to_data(int bci, ciMethod* m = NULL);
   528   uint overflow_trap_count() const {
   529     return _orig.overflow_trap_count();
   530   }
   531   uint overflow_recompile_count() const {
   532     return _orig.overflow_recompile_count();
   533   }
   534   uint decompile_count() const {
   535     return _orig.decompile_count();
   536   }
   537   uint trap_count(int reason) const {
   538     return _orig.trap_count(reason);
   539   }
   540   uint trap_reason_limit() const { return _orig.trap_reason_limit(); }
   541   uint trap_count_limit()  const { return _orig.trap_count_limit(); }
   543   // Helpful query functions that decode trap_state.
   544   int has_trap_at(ciProfileData* data, int reason);
   545   int has_trap_at(int bci, ciMethod* m, int reason) {
   546     assert((m != NULL) == Deoptimization::reason_is_speculate(reason), "inconsistent method/reason");
   547     return has_trap_at(bci_to_data(bci, m), reason);
   548   }
   549   int trap_recompiled_at(ciProfileData* data);
   550   int trap_recompiled_at(int bci, ciMethod* m) {
   551     return trap_recompiled_at(bci_to_data(bci, m));
   552   }
   554   void clear_escape_info();
   555   bool has_escape_info();
   556   void update_escape_info();
   558   void set_eflag(MethodData::EscapeFlag f);
   559   void clear_eflag(MethodData::EscapeFlag f);
   560   bool eflag_set(MethodData::EscapeFlag f) const;
   562   void set_arg_local(int i);
   563   void set_arg_stack(int i);
   564   void set_arg_returned(int i);
   565   void set_arg_modified(int arg, uint val);
   567   bool is_arg_local(int i) const;
   568   bool is_arg_stack(int i) const;
   569   bool is_arg_returned(int i) const;
   570   uint arg_modified(int arg) const;
   572   ciParametersTypeData* parameters_type_data() const {
   573     return _parameters != NULL ? new ciParametersTypeData(_parameters) : NULL;
   574   }
   576   // Code generation helper
   577   ByteSize offset_of_slot(ciProfileData* data, ByteSize slot_offset_in_data);
   578   int      byte_offset_of_slot(ciProfileData* data, ByteSize slot_offset_in_data) { return in_bytes(offset_of_slot(data, slot_offset_in_data)); }
   580 #ifndef PRODUCT
   581   // printing support for method data
   582   void print();
   583   void print_data_on(outputStream* st);
   584 #endif
   585   void dump_replay_data(outputStream* out);
   586 };
   588 #endif // SHARE_VM_CI_CIMETHODDATA_HPP

mercurial