hotspot/src/share/vm/runtime/fieldDescriptor.hpp
author zmajo
Wed, 15 Jun 2016 14:27:58 +0200
changeset 39421 a9652c919db8
parent 20017 81eba62e9048
child 46329 53ccc37bda19
permissions -rw-r--r--
8157181: Compilers accept modification of final fields outside initializer methods Summary: Track initialized final field updates; disable constant folding if an update is detected. Enforce final field update rules introduced by JVMS-7 (but only for JDK 9). Reviewed-by: vlivanov, dnsimon, forax, never, kvn, coleenp
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
     1
/*
20017
81eba62e9048 8014013: CallInfo structure no longer accurately reports the result of a LinkResolver operation
drchase
parents: 15097
diff changeset
     2
 * Copyright (c) 1997, 2013, Oracle and/or its affiliates. All rights reserved.
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
489c9b5090e2 Initial load
duke
parents:
diff changeset
     4
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
489c9b5090e2 Initial load
duke
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
489c9b5090e2 Initial load
duke
parents:
diff changeset
     7
 * published by the Free Software Foundation.
489c9b5090e2 Initial load
duke
parents:
diff changeset
     8
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
     9
 * This code is distributed in the hope that it will be useful, but WITHOUT
489c9b5090e2 Initial load
duke
parents:
diff changeset
    10
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
489c9b5090e2 Initial load
duke
parents:
diff changeset
    11
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
489c9b5090e2 Initial load
duke
parents:
diff changeset
    12
 * version 2 for more details (a copy is included in the LICENSE file that
489c9b5090e2 Initial load
duke
parents:
diff changeset
    13
 * accompanied this code).
489c9b5090e2 Initial load
duke
parents:
diff changeset
    14
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
    15
 * You should have received a copy of the GNU General Public License version
489c9b5090e2 Initial load
duke
parents:
diff changeset
    16
 * 2 along with this work; if not, write to the Free Software Foundation,
489c9b5090e2 Initial load
duke
parents:
diff changeset
    17
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    18
 *
5547
f4b087cbb361 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 1
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
f4b087cbb361 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 1
diff changeset
    20
 * or visit www.oracle.com if you need additional information or have any
f4b087cbb361 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 1
diff changeset
    21
 * questions.
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    22
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
    23
 */
489c9b5090e2 Initial load
duke
parents:
diff changeset
    24
7397
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    25
#ifndef SHARE_VM_RUNTIME_FIELDDESCRIPTOR_HPP
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    26
#define SHARE_VM_RUNTIME_FIELDDESCRIPTOR_HPP
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    27
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13391
diff changeset
    28
#include "oops/constantPool.hpp"
8076
96d498ec7ae1 6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents: 7397
diff changeset
    29
#include "oops/symbol.hpp"
7397
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    30
#include "runtime/fieldType.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    31
#include "utilities/accessFlags.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    32
#include "utilities/constantTag.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
    33
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    34
// A fieldDescriptor describes the attributes of a single field (instance or class variable).
489c9b5090e2 Initial load
duke
parents:
diff changeset
    35
// It needs the class constant pool to work (because it only holds indices into the pool
489c9b5090e2 Initial load
duke
parents:
diff changeset
    36
// rather than the actual info).
489c9b5090e2 Initial load
duke
parents:
diff changeset
    37
489c9b5090e2 Initial load
duke
parents:
diff changeset
    38
class fieldDescriptor VALUE_OBJ_CLASS_SPEC {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    39
 private:
489c9b5090e2 Initial load
duke
parents:
diff changeset
    40
  AccessFlags         _access_flags;
10546
e79347eebbc5 7086585: make Java field injection more flexible
never
parents: 8921
diff changeset
    41
  int                 _index; // the field index
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    42
  constantPoolHandle  _cp;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    43
10546
e79347eebbc5 7086585: make Java field injection more flexible
never
parents: 8921
diff changeset
    44
  // update the access_flags for the field in the klass
e79347eebbc5 7086585: make Java field injection more flexible
never
parents: 8921
diff changeset
    45
  void update_klass_field_access_flag() {
14391
df0a1573d5bd 8000725: NPG: method_holder() and pool_holder() and pool_holder field should be InstanceKlass
coleenp
parents: 13728
diff changeset
    46
    InstanceKlass* ik = field_holder();
10546
e79347eebbc5 7086585: make Java field injection more flexible
never
parents: 8921
diff changeset
    47
    ik->field(index())->set_access_flags(_access_flags.as_short());
e79347eebbc5 7086585: make Java field injection more flexible
never
parents: 8921
diff changeset
    48
  }
e79347eebbc5 7086585: make Java field injection more flexible
never
parents: 8921
diff changeset
    49
e79347eebbc5 7086585: make Java field injection more flexible
never
parents: 8921
diff changeset
    50
  FieldInfo* field() const {
14391
df0a1573d5bd 8000725: NPG: method_holder() and pool_holder() and pool_holder field should be InstanceKlass
coleenp
parents: 13728
diff changeset
    51
    InstanceKlass* ik = field_holder();
10546
e79347eebbc5 7086585: make Java field injection more flexible
never
parents: 8921
diff changeset
    52
    return ik->field(_index);
e79347eebbc5 7086585: make Java field injection more flexible
never
parents: 8921
diff changeset
    53
  }
e79347eebbc5 7086585: make Java field injection more flexible
never
parents: 8921
diff changeset
    54
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    55
 public:
20017
81eba62e9048 8014013: CallInfo structure no longer accurately reports the result of a LinkResolver operation
drchase
parents: 15097
diff changeset
    56
  fieldDescriptor() {
81eba62e9048 8014013: CallInfo structure no longer accurately reports the result of a LinkResolver operation
drchase
parents: 15097
diff changeset
    57
    DEBUG_ONLY(_index = badInt);
81eba62e9048 8014013: CallInfo structure no longer accurately reports the result of a LinkResolver operation
drchase
parents: 15097
diff changeset
    58
  }
81eba62e9048 8014013: CallInfo structure no longer accurately reports the result of a LinkResolver operation
drchase
parents: 15097
diff changeset
    59
  fieldDescriptor(InstanceKlass* ik, int index) {
81eba62e9048 8014013: CallInfo structure no longer accurately reports the result of a LinkResolver operation
drchase
parents: 15097
diff changeset
    60
    DEBUG_ONLY(_index = badInt);
81eba62e9048 8014013: CallInfo structure no longer accurately reports the result of a LinkResolver operation
drchase
parents: 15097
diff changeset
    61
    reinitialize(ik, index);
81eba62e9048 8014013: CallInfo structure no longer accurately reports the result of a LinkResolver operation
drchase
parents: 15097
diff changeset
    62
  }
10546
e79347eebbc5 7086585: make Java field injection more flexible
never
parents: 8921
diff changeset
    63
  Symbol* name() const {
e79347eebbc5 7086585: make Java field injection more flexible
never
parents: 8921
diff changeset
    64
    return field()->name(_cp);
e79347eebbc5 7086585: make Java field injection more flexible
never
parents: 8921
diff changeset
    65
  }
e79347eebbc5 7086585: make Java field injection more flexible
never
parents: 8921
diff changeset
    66
  Symbol* signature() const {
e79347eebbc5 7086585: make Java field injection more flexible
never
parents: 8921
diff changeset
    67
    return field()->signature(_cp);
e79347eebbc5 7086585: make Java field injection more flexible
never
parents: 8921
diff changeset
    68
  }
14391
df0a1573d5bd 8000725: NPG: method_holder() and pool_holder() and pool_holder field should be InstanceKlass
coleenp
parents: 13728
diff changeset
    69
  InstanceKlass* field_holder()   const    { return _cp->pool_holder(); }
df0a1573d5bd 8000725: NPG: method_holder() and pool_holder() and pool_holder field should be InstanceKlass
coleenp
parents: 13728
diff changeset
    70
  ConstantPool* constants()       const    { return _cp(); }
df0a1573d5bd 8000725: NPG: method_holder() and pool_holder() and pool_holder field should be InstanceKlass
coleenp
parents: 13728
diff changeset
    71
  AccessFlags access_flags()      const    { return _access_flags; }
df0a1573d5bd 8000725: NPG: method_holder() and pool_holder() and pool_holder field should be InstanceKlass
coleenp
parents: 13728
diff changeset
    72
  oop loader()                    const;
13728
882756847a04 6964458: Reimplement class meta-data storage to use native memory
coleenp
parents: 13391
diff changeset
    73
  // Offset (in words) of field from start of instanceOop / Klass*
14391
df0a1573d5bd 8000725: NPG: method_holder() and pool_holder() and pool_holder field should be InstanceKlass
coleenp
parents: 13728
diff changeset
    74
  int offset()                    const    { return field()->offset(); }
df0a1573d5bd 8000725: NPG: method_holder() and pool_holder() and pool_holder field should be InstanceKlass
coleenp
parents: 13728
diff changeset
    75
  Symbol* generic_signature()     const;
df0a1573d5bd 8000725: NPG: method_holder() and pool_holder() and pool_holder field should be InstanceKlass
coleenp
parents: 13728
diff changeset
    76
  int index()                     const    { return _index; }
df0a1573d5bd 8000725: NPG: method_holder() and pool_holder() and pool_holder field should be InstanceKlass
coleenp
parents: 13728
diff changeset
    77
  AnnotationArray* annotations()  const;
15097
9db149412e0e 8004823: Add VM support for type annotation reflection
stefank
parents: 14391
diff changeset
    78
  AnnotationArray* type_annotations()  const;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    79
489c9b5090e2 Initial load
duke
parents:
diff changeset
    80
  // Initial field value
14391
df0a1573d5bd 8000725: NPG: method_holder() and pool_holder() and pool_holder field should be InstanceKlass
coleenp
parents: 13728
diff changeset
    81
  bool has_initial_value()        const    { return field()->initval_index() != 0; }
df0a1573d5bd 8000725: NPG: method_holder() and pool_holder() and pool_holder field should be InstanceKlass
coleenp
parents: 13728
diff changeset
    82
  int initial_value_index()       const    { return field()->initval_index(); }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    83
  constantTag initial_value_tag() const;  // The tag will return true on one of is_int(), is_long(), is_single(), is_double()
14391
df0a1573d5bd 8000725: NPG: method_holder() and pool_holder() and pool_holder field should be InstanceKlass
coleenp
parents: 13728
diff changeset
    84
  jint int_initial_value()        const;
df0a1573d5bd 8000725: NPG: method_holder() and pool_holder() and pool_holder field should be InstanceKlass
coleenp
parents: 13728
diff changeset
    85
  jlong long_initial_value()      const;
df0a1573d5bd 8000725: NPG: method_holder() and pool_holder() and pool_holder field should be InstanceKlass
coleenp
parents: 13728
diff changeset
    86
  jfloat float_initial_value()    const;
df0a1573d5bd 8000725: NPG: method_holder() and pool_holder() and pool_holder field should be InstanceKlass
coleenp
parents: 13728
diff changeset
    87
  jdouble double_initial_value()  const;
df0a1573d5bd 8000725: NPG: method_holder() and pool_holder() and pool_holder field should be InstanceKlass
coleenp
parents: 13728
diff changeset
    88
  oop string_initial_value(TRAPS) const;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    89
489c9b5090e2 Initial load
duke
parents:
diff changeset
    90
  // Field signature type
14391
df0a1573d5bd 8000725: NPG: method_holder() and pool_holder() and pool_holder field should be InstanceKlass
coleenp
parents: 13728
diff changeset
    91
  BasicType field_type()          const    { return FieldType::basic_type(signature()); }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    92
489c9b5090e2 Initial load
duke
parents:
diff changeset
    93
  // Access flags
14391
df0a1573d5bd 8000725: NPG: method_holder() and pool_holder() and pool_holder field should be InstanceKlass
coleenp
parents: 13728
diff changeset
    94
  bool is_public()                const    { return access_flags().is_public(); }
df0a1573d5bd 8000725: NPG: method_holder() and pool_holder() and pool_holder field should be InstanceKlass
coleenp
parents: 13728
diff changeset
    95
  bool is_private()               const    { return access_flags().is_private(); }
df0a1573d5bd 8000725: NPG: method_holder() and pool_holder() and pool_holder field should be InstanceKlass
coleenp
parents: 13728
diff changeset
    96
  bool is_protected()             const    { return access_flags().is_protected(); }
df0a1573d5bd 8000725: NPG: method_holder() and pool_holder() and pool_holder field should be InstanceKlass
coleenp
parents: 13728
diff changeset
    97
  bool is_package_private()       const    { return !is_public() && !is_private() && !is_protected(); }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    98
14391
df0a1573d5bd 8000725: NPG: method_holder() and pool_holder() and pool_holder field should be InstanceKlass
coleenp
parents: 13728
diff changeset
    99
  bool is_static()                const    { return access_flags().is_static(); }
df0a1573d5bd 8000725: NPG: method_holder() and pool_holder() and pool_holder field should be InstanceKlass
coleenp
parents: 13728
diff changeset
   100
  bool is_final()                 const    { return access_flags().is_final(); }
df0a1573d5bd 8000725: NPG: method_holder() and pool_holder() and pool_holder field should be InstanceKlass
coleenp
parents: 13728
diff changeset
   101
  bool is_volatile()              const    { return access_flags().is_volatile(); }
df0a1573d5bd 8000725: NPG: method_holder() and pool_holder() and pool_holder field should be InstanceKlass
coleenp
parents: 13728
diff changeset
   102
  bool is_transient()             const    { return access_flags().is_transient(); }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   103
14391
df0a1573d5bd 8000725: NPG: method_holder() and pool_holder() and pool_holder field should be InstanceKlass
coleenp
parents: 13728
diff changeset
   104
  bool is_synthetic()             const    { return access_flags().is_synthetic(); }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   105
14391
df0a1573d5bd 8000725: NPG: method_holder() and pool_holder() and pool_holder field should be InstanceKlass
coleenp
parents: 13728
diff changeset
   106
  bool is_field_access_watched()  const    { return access_flags().is_field_access_watched(); }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   107
  bool is_field_modification_watched() const
14391
df0a1573d5bd 8000725: NPG: method_holder() and pool_holder() and pool_holder field should be InstanceKlass
coleenp
parents: 13728
diff changeset
   108
                                           { return access_flags().is_field_modification_watched(); }
39421
a9652c919db8 8157181: Compilers accept modification of final fields outside initializer methods
zmajo
parents: 20017
diff changeset
   109
  bool has_initialized_final_update() const { return access_flags().has_field_initialized_final_update(); }
14391
df0a1573d5bd 8000725: NPG: method_holder() and pool_holder() and pool_holder field should be InstanceKlass
coleenp
parents: 13728
diff changeset
   110
  bool has_generic_signature()    const    { return access_flags().field_has_generic_signature(); }
10546
e79347eebbc5 7086585: make Java field injection more flexible
never
parents: 8921
diff changeset
   111
e79347eebbc5 7086585: make Java field injection more flexible
never
parents: 8921
diff changeset
   112
  void set_is_field_access_watched(const bool value) {
e79347eebbc5 7086585: make Java field injection more flexible
never
parents: 8921
diff changeset
   113
    _access_flags.set_is_field_access_watched(value);
e79347eebbc5 7086585: make Java field injection more flexible
never
parents: 8921
diff changeset
   114
    update_klass_field_access_flag();
e79347eebbc5 7086585: make Java field injection more flexible
never
parents: 8921
diff changeset
   115
  }
e79347eebbc5 7086585: make Java field injection more flexible
never
parents: 8921
diff changeset
   116
e79347eebbc5 7086585: make Java field injection more flexible
never
parents: 8921
diff changeset
   117
  void set_is_field_modification_watched(const bool value) {
e79347eebbc5 7086585: make Java field injection more flexible
never
parents: 8921
diff changeset
   118
    _access_flags.set_is_field_modification_watched(value);
e79347eebbc5 7086585: make Java field injection more flexible
never
parents: 8921
diff changeset
   119
    update_klass_field_access_flag();
e79347eebbc5 7086585: make Java field injection more flexible
never
parents: 8921
diff changeset
   120
  }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   121
39421
a9652c919db8 8157181: Compilers accept modification of final fields outside initializer methods
zmajo
parents: 20017
diff changeset
   122
  void set_has_initialized_final_update(const bool value) {
a9652c919db8 8157181: Compilers accept modification of final fields outside initializer methods
zmajo
parents: 20017
diff changeset
   123
    _access_flags.set_has_field_initialized_final_update(value);
a9652c919db8 8157181: Compilers accept modification of final fields outside initializer methods
zmajo
parents: 20017
diff changeset
   124
    update_klass_field_access_flag();
a9652c919db8 8157181: Compilers accept modification of final fields outside initializer methods
zmajo
parents: 20017
diff changeset
   125
  }
a9652c919db8 8157181: Compilers accept modification of final fields outside initializer methods
zmajo
parents: 20017
diff changeset
   126
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   127
  // Initialization
20017
81eba62e9048 8014013: CallInfo structure no longer accurately reports the result of a LinkResolver operation
drchase
parents: 15097
diff changeset
   128
  void reinitialize(InstanceKlass* ik, int index);
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   129
489c9b5090e2 Initial load
duke
parents:
diff changeset
   130
  // Print
13391
30245956af37 7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents: 13101
diff changeset
   131
  void print() { print_on(tty); }
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   132
  void print_on(outputStream* st) const         PRODUCT_RETURN;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   133
  void print_on_for(outputStream* st, oop obj)  PRODUCT_RETURN;
20017
81eba62e9048 8014013: CallInfo structure no longer accurately reports the result of a LinkResolver operation
drchase
parents: 15097
diff changeset
   134
  void verify() const                           PRODUCT_RETURN;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   135
};
7397
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
   136
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 5547
diff changeset
   137
#endif // SHARE_VM_RUNTIME_FIELDDESCRIPTOR_HPP