1 /*
2 * Copyright (c) 2011, 2019, 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 package jdk.vm.ci.hotspot;
24
25 import static jdk.vm.ci.hotspot.CompilerToVM.compilerToVM;
26 import static jdk.vm.ci.services.Services.IS_IN_NATIVE_IMAGE;
27
28 import jdk.vm.ci.code.InstalledCode;
29 import jdk.vm.ci.code.InvalidInstalledCodeException;
30 import jdk.vm.ci.meta.JavaKind;
31 import jdk.vm.ci.meta.JavaType;
32 import jdk.vm.ci.meta.ResolvedJavaMethod;
33
34 /**
35 * Implementation of {@link InstalledCode} for code installed as an {@code nmethod}. The address of
36 * the {@code nmethod} is stored in {@link InstalledCode#address} and the value of
37 * {@code nmethod::verified_entry_point()} is in {@link InstalledCode#entryPoint}.
38 */
39 public class HotSpotNmethod extends HotSpotInstalledCode {
40
41 /**
42 * This (indirect) {@code Method*} reference is safe since class redefinition preserves all
43 * methods associated with nmethods in the code cache.
44 */
45 private final HotSpotResolvedJavaMethodImpl method;
46
47 /**
48 * Specifies whether the {@code nmethod} associated with this object is the code executed by
49 * default HotSpot linkage when a normal Java call to {@link #method} is made. That is, does
50 * {@code this.method.metadataHandle->_code} == {@code this.address}. If not, then the
51 * {@code nmethod} can only be invoked via a reference to this object. An example of this is the
52 * trampoline mechanism used by Truffle: https://goo.gl/LX88rZ.
53 */
54 private final boolean isDefault;
55
56 /**
57 * Determines whether this object is in the oops table of the nmethod.
58 * <p>
59 * If this object is in the oops table, the VM uses the oops table entry to update this object's
60 * {@link #address} and {@link #entryPoint} fields when the state of the nmethod changes. The
61 * nmethod will be unloadable when this object dies.
62 * <p>
63 * Otherwise, the nmethod's unloadability is not changed when this object dies.
64 */
65 boolean inOopsTable() {
66 return compileIdSnapshot != 0;
67 }
68
69 /**
70 * If this field is 0, this object is in the oops table of the nmethod. Otherwise, the value of
71 * the field records the nmethod's compile identifier. This value is used to confirm if an entry
72 * in the code cache retrieved by {@link #address} is indeed the nmethod represented by this
73 * object.
74 *
75 * @see #inOopsTable
76 */
77 private final long compileIdSnapshot;
78
79 HotSpotNmethod(HotSpotResolvedJavaMethodImpl method, String name, boolean isDefault, long compileId) {
80 super(name);
81 this.method = method;
82 this.isDefault = isDefault;
83 boolean inOopsTable = !IS_IN_NATIVE_IMAGE && !isDefault;
84 this.compileIdSnapshot = inOopsTable ? 0L : compileId;
85 assert inOopsTable || compileId != 0L : this;
86 }
87
88 /**
89 * Attaches {@code log} to this object. If {@code log.managesFailedSpeculations() == true}, this
90 * ensures the failed speculation list lives at least as long as this object.
91 */
92 public void setSpeculationLog(HotSpotSpeculationLog log) {
93 this.speculationLog = log;
94 }
95
96 /**
97 * The speculation log containing speculations embedded in the nmethod.
98 *
99 * If {@code speculationLog.managesFailedSpeculations() == true}, this field ensures the failed
100 * speculation list lives at least as long as this object. This prevents deoptimization from
101 * appending to an already freed list.
102 */
103 @SuppressWarnings("unused") private HotSpotSpeculationLog speculationLog;
104
105 /**
106 * Determines if the nmethod associated with this object is the compiled entry point for
107 * {@link #getMethod()}.
108 */
109 public boolean isDefault() {
110 return isDefault;
111 }
112
113 @Override
114 public boolean isValid() {
115 if (compileIdSnapshot != 0L) {
116 compilerToVM().updateHotSpotNmethod(this);
117 }
118 return super.isValid();
119 }
120
121 public ResolvedJavaMethod getMethod() {
122 return method;
123 }
124
125 @Override
126 public void invalidate(boolean deoptimize) {
127 compilerToVM().invalidateHotSpotNmethod(this, deoptimize);
128 }
129
130 @Override
131 public long getAddress() {
132 if (compileIdSnapshot != 0L) {
133 compilerToVM().updateHotSpotNmethod(this);
134 }
135 return super.getAddress();
136 }
137
138 @Override
139 public long getEntryPoint() {
140 if (compileIdSnapshot != 0L) {
141 return 0;
142 }
143 return super.getEntryPoint();
144 }
145
146 @Override
147 public String toString() {
148 return String.format("HotSpotNmethod[method=%s, codeBlob=0x%x, isDefault=%b, name=%s, inOopsTable=%s]",
149 method, getAddress(), isDefault, name, inOopsTable());
150 }
151
152 private boolean checkArgs(Object... args) {
153 JavaType[] sig = method.toParameterTypes();
154 assert args.length == sig.length : method.format("%H.%n(%p): expected ") + sig.length + " args, got " + args.length;
155 for (int i = 0; i < sig.length; i++) {
156 Object arg = args[i];
157 if (arg == null) {
158 assert sig[i].getJavaKind() == JavaKind.Object : method.format("%H.%n(%p): expected arg ") + i + " to be Object, not " + sig[i];
159 } else if (sig[i].getJavaKind() != JavaKind.Object) {
160 assert sig[i].getJavaKind().toBoxedJavaClass() == arg.getClass() : method.format("%H.%n(%p): expected arg ") + i + " to be " + sig[i] + ", not " + arg.getClass();
161 }
162 }
163 return true;
164 }
165
166 /**
167 * {@inheritDoc}
168 *
169 * It's possible for the HotSpot runtime to sweep nmethods at any point in time. As a result,
170 * there is no guarantee that calling this method will execute the wrapped nmethod. Instead, it
171 * may end up executing the bytecode of the associated {@link #getMethod() Java method}. Only if
172 * {@link #isValid()} is {@code true} after returning can the caller be sure that the nmethod
173 * was executed. If {@link #isValid()} is {@code false}, then the only way to determine if the
174 * nmethod was executed is to test for some side-effect specific to the nmethod (e.g., update to
175 * a field) that is not performed by the bytecode of the associated {@link #getMethod() Java
176 * method}.
177 */
178 @Override
179 public Object executeVarargs(Object... args) throws InvalidInstalledCodeException {
180 if (IS_IN_NATIVE_IMAGE) {
181 throw new HotSpotJVMCIUnsupportedOperationError("Cannot execute nmethod via mirror in native image");
182 }
183 assert checkArgs(args);
184 return compilerToVM().executeHotSpotNmethod(args, this);
185 }
186
187 @Override
188 public long getStart() {
189 return isValid() ? super.getStart() : 0;
190 }
191 }