Mercurial > hg > truffle
annotate src/share/vm/ci/ciField.hpp @ 17716:cdb71841f4bc
6498581: ThreadInterruptTest3 produces wrong output on Windows
Summary: There is race condition between os::interrupt and os::is_interrupted on Windows. In JVM_Sleep(Thread.sleep), check if thread gets interrupted, it may see interrupted but not really interrupted so cause spurious waking up (early return from sleep). Fix by checking if interrupt event really gets set thus prevent false return. For intrinsic of _isInterrupted, on Windows, go fastpath only on bit not set.
Reviewed-by: acorn, kvn
Contributed-by: david.holmes@oracle.com, yumin.qi@oracle.com
| author | minqi |
|---|---|
| date | Wed, 26 Feb 2014 15:20:41 -0800 |
| parents | b2e698d2276c |
| children | cefad50507d8 63a4eb8bcd23 |
| rev | line source |
|---|---|
| 0 | 1 /* |
|
12264
b2e698d2276c
8014013: CallInfo structure no longer accurately reports the result of a LinkResolver operation
drchase
parents:
12190
diff
changeset
|
2 * Copyright (c) 1999, 2013, Oracle and/or its affiliates. All rights reserved. |
| 0 | 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 * | |
|
1552
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1138
diff
changeset
|
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
|
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1138
diff
changeset
|
20 * or visit www.oracle.com if you need additional information or have any |
|
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1138
diff
changeset
|
21 * questions. |
| 0 | 22 * |
| 23 */ | |
| 24 | |
| 1972 | 25 #ifndef SHARE_VM_CI_CIFIELD_HPP |
| 26 #define SHARE_VM_CI_CIFIELD_HPP | |
| 27 | |
| 28 #include "ci/ciClassList.hpp" | |
| 29 #include "ci/ciConstant.hpp" | |
| 30 #include "ci/ciFlags.hpp" | |
| 31 #include "ci/ciInstance.hpp" | |
| 32 | |
| 0 | 33 // ciField |
| 34 // | |
| 35 // This class represents the result of a field lookup in the VM. | |
| 36 // The lookup may not succeed, in which case the information in | |
| 37 // the ciField will be incomplete. | |
| 38 class ciField : public ResourceObj { | |
| 39 CI_PACKAGE_ACCESS | |
| 40 friend class ciEnv; | |
| 41 friend class ciInstanceKlass; | |
| 42 friend class NonStaticFieldFiller; | |
| 43 | |
| 44 private: | |
| 45 ciFlags _flags; | |
| 46 ciInstanceKlass* _holder; | |
| 47 ciSymbol* _name; | |
| 48 ciSymbol* _signature; | |
| 49 ciType* _type; | |
| 50 int _offset; | |
| 51 bool _is_constant; | |
| 6151 | 52 ciInstanceKlass* _known_to_link_with_put; |
| 53 ciInstanceKlass* _known_to_link_with_get; | |
| 0 | 54 ciConstant _constant_value; |
| 55 | |
| 56 ciType* compute_type(); | |
| 57 ciType* compute_type_impl(); | |
| 58 | |
| 59 ciField(ciInstanceKlass* klass, int index); | |
| 60 ciField(fieldDescriptor* fd); | |
| 61 | |
| 62 // shared constructor code | |
| 63 void initialize_from(fieldDescriptor* fd); | |
| 64 | |
| 65 public: | |
| 66 ciFlags flags() { return _flags; } | |
| 67 | |
| 68 // Of which klass is this field a member? | |
| 69 // | |
| 70 // Usage note: the declared holder of a field is the class | |
| 71 // referenced by name in the bytecodes. The canonical holder | |
| 72 // is the most general class which holds the field. This | |
| 73 // method returns the canonical holder. The declared holder | |
| 74 // can be accessed via a method in ciBytecodeStream. | |
| 75 // | |
| 76 // Ex. | |
| 77 // class A { | |
| 78 // public int f = 7; | |
| 79 // } | |
| 80 // class B extends A { | |
| 81 // public void test() { | |
| 82 // System.out.println(f); | |
| 83 // } | |
| 84 // } | |
| 85 // | |
| 86 // A java compiler is permitted to compile the access to | |
| 87 // field f as: | |
| 88 // | |
| 89 // getfield B.f | |
| 90 // | |
| 91 // In that case the declared holder of f would be B and | |
| 92 // the canonical holder of f would be A. | |
| 93 ciInstanceKlass* holder() { return _holder; } | |
| 94 | |
| 95 // Name of this field? | |
| 96 ciSymbol* name() { return _name; } | |
| 97 | |
| 98 // Signature of this field? | |
| 99 ciSymbol* signature() { return _signature; } | |
| 100 | |
| 101 // Of what type is this field? | |
| 102 ciType* type() { return (_type == NULL) ? compute_type() : _type; } | |
| 103 | |
| 104 // How is this field actually stored in memory? | |
| 105 BasicType layout_type() { return type2field[(_type == NULL) ? T_OBJECT : _type->basic_type()]; } | |
| 106 | |
| 107 // How big is this field in memory? | |
|
29
d5fc211aea19
6633953: type2aelembytes{T_ADDRESS} should be 8 bytes in 64 bit VM
kvn
parents:
0
diff
changeset
|
108 int size_in_bytes() { return type2aelembytes(layout_type()); } |
| 0 | 109 |
| 110 // What is the offset of this field? | |
| 111 int offset() { | |
| 112 assert(_offset >= 1, "illegal call to offset()"); | |
| 113 return _offset; | |
| 114 } | |
| 115 | |
| 116 // Same question, explicit units. (Fields are aligned to the byte level.) | |
| 117 int offset_in_bytes() { | |
| 118 return offset(); | |
| 119 } | |
| 120 | |
| 121 // Is this field shared? | |
| 122 bool is_shared() { | |
| 123 // non-static fields of shared holders are cached | |
| 124 return _holder->is_shared() && !is_static(); | |
| 125 } | |
| 126 | |
| 127 // Is this field a constant? | |
| 128 // | |
| 129 // Clarification: A field is considered constant if: | |
| 130 // 1. The field is both static and final | |
| 131 // 2. The canonical holder of the field has undergone | |
| 132 // static initialization. | |
| 133 // 3. If the field is an object or array, then the oop | |
| 134 // in question is allocated in perm space. | |
| 135 // 4. The field is not one of the special static/final | |
| 136 // non-constant fields. These are java.lang.System.in | |
| 137 // and java.lang.System.out. Abomination. | |
| 138 // | |
|
12190
edb5ab0f3fe5
8001107: @Stable annotation for constant folding of lazily evaluated variables
vlivanov
parents:
6151
diff
changeset
|
139 // A field is also considered constant if it is marked @Stable |
|
edb5ab0f3fe5
8001107: @Stable annotation for constant folding of lazily evaluated variables
vlivanov
parents:
6151
diff
changeset
|
140 // and is non-null (or non-zero, if a primitive). |
|
edb5ab0f3fe5
8001107: @Stable annotation for constant folding of lazily evaluated variables
vlivanov
parents:
6151
diff
changeset
|
141 // For non-static fields, the null/zero check must be |
|
edb5ab0f3fe5
8001107: @Stable annotation for constant folding of lazily evaluated variables
vlivanov
parents:
6151
diff
changeset
|
142 // arranged by the user, as constant_value().is_null_or_zero(). |
| 0 | 143 bool is_constant() { return _is_constant; } |
| 144 | |
| 145 // Get the constant value of this field. | |
| 146 ciConstant constant_value() { | |
|
1138
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
196
diff
changeset
|
147 assert(is_static() && is_constant(), "illegal call to constant_value()"); |
| 0 | 148 return _constant_value; |
| 149 } | |
| 150 | |
|
1138
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
196
diff
changeset
|
151 // Get the constant value of non-static final field in the given |
|
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
196
diff
changeset
|
152 // object. |
|
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
196
diff
changeset
|
153 ciConstant constant_value_of(ciObject* object) { |
|
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
196
diff
changeset
|
154 assert(!is_static() && is_constant(), "only if field is non-static constant"); |
|
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
196
diff
changeset
|
155 assert(object->is_instance(), "must be instance"); |
|
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
196
diff
changeset
|
156 return object->as_instance()->field_value(this); |
|
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
196
diff
changeset
|
157 } |
|
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
196
diff
changeset
|
158 |
| 0 | 159 // Check for link time errors. Accessing a field from a |
| 160 // certain class via a certain bytecode may or may not be legal. | |
| 161 // This call checks to see if an exception may be raised by | |
| 162 // an access of this field. | |
| 163 // | |
| 164 // Usage note: if the same field is accessed multiple times | |
| 165 // in the same compilation, will_link will need to be checked | |
| 166 // at each point of access. | |
| 167 bool will_link(ciInstanceKlass* accessing_klass, | |
| 168 Bytecodes::Code bc); | |
| 169 | |
| 170 // Java access flags | |
| 171 bool is_public () { return flags().is_public(); } | |
| 172 bool is_private () { return flags().is_private(); } | |
| 173 bool is_protected () { return flags().is_protected(); } | |
| 174 bool is_static () { return flags().is_static(); } | |
| 175 bool is_final () { return flags().is_final(); } | |
|
12190
edb5ab0f3fe5
8001107: @Stable annotation for constant folding of lazily evaluated variables
vlivanov
parents:
6151
diff
changeset
|
176 bool is_stable () { return flags().is_stable(); } |
| 0 | 177 bool is_volatile () { return flags().is_volatile(); } |
| 178 bool is_transient () { return flags().is_transient(); } | |
| 179 | |
|
3901
aa67216400d3
7085404: JSR 292: VolatileCallSites should have push notification too
twisti
parents:
3899
diff
changeset
|
180 bool is_call_site_target() { |
|
3907
7b5c767f229c
7086560: 7085404 changes broke VM with -XX:-EnableInvokeDynamic
kvn
parents:
3901
diff
changeset
|
181 ciInstanceKlass* callsite_klass = CURRENT_ENV->CallSite_klass(); |
|
7b5c767f229c
7086560: 7085404 changes broke VM with -XX:-EnableInvokeDynamic
kvn
parents:
3901
diff
changeset
|
182 if (callsite_klass == NULL) |
|
7b5c767f229c
7086560: 7085404 changes broke VM with -XX:-EnableInvokeDynamic
kvn
parents:
3901
diff
changeset
|
183 return false; |
|
7b5c767f229c
7086560: 7085404 changes broke VM with -XX:-EnableInvokeDynamic
kvn
parents:
3901
diff
changeset
|
184 return (holder()->is_subclass_of(callsite_klass) && (name() == ciSymbol::target_name())); |
|
3901
aa67216400d3
7085404: JSR 292: VolatileCallSites should have push notification too
twisti
parents:
3899
diff
changeset
|
185 } |
|
3852
fdb992d83a87
7071653: JSR 292: call site change notification should be pushed not pulled
twisti
parents:
1972
diff
changeset
|
186 |
| 0 | 187 // Debugging output |
| 188 void print(); | |
| 189 void print_name_on(outputStream* st); | |
| 190 }; | |
| 1972 | 191 |
| 192 #endif // SHARE_VM_CI_CIFIELD_HPP |