src/share/vm/runtime/javaCalls.hpp

Tue, 24 Jul 2012 10:51:00 -0700

author
twisti
date
Tue, 24 Jul 2012 10:51:00 -0700
changeset 3969
1d7922586cf6
parent 3156
f08d439fab8c
child 4037
da91efe96a93
permissions
-rw-r--r--

7023639: JSR 292 method handle invocation needs a fast path for compiled code
6984705: JSR 292 method handle creation should not go through JNI
Summary: remove assembly code for JDK 7 chained method handles
Reviewed-by: jrose, twisti, kvn, mhaupt
Contributed-by: John Rose <john.r.rose@oracle.com>, Christian Thalinger <christian.thalinger@oracle.com>, Michael Haupt <michael.haupt@oracle.com>

duke@435 1 /*
trims@2708 2 * Copyright (c) 1997, 2011, Oracle and/or its affiliates. All rights reserved.
duke@435 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
duke@435 4 *
duke@435 5 * This code is free software; you can redistribute it and/or modify it
duke@435 6 * under the terms of the GNU General Public License version 2 only, as
duke@435 7 * published by the Free Software Foundation.
duke@435 8 *
duke@435 9 * This code is distributed in the hope that it will be useful, but WITHOUT
duke@435 10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
duke@435 11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
duke@435 12 * version 2 for more details (a copy is included in the LICENSE file that
duke@435 13 * accompanied this code).
duke@435 14 *
duke@435 15 * You should have received a copy of the GNU General Public License version
duke@435 16 * 2 along with this work; if not, write to the Free Software Foundation,
duke@435 17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
duke@435 18 *
trims@1907 19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
trims@1907 20 * or visit www.oracle.com if you need additional information or have any
trims@1907 21 * questions.
duke@435 22 *
duke@435 23 */
duke@435 24
stefank@2314 25 #ifndef SHARE_VM_RUNTIME_JAVACALLS_HPP
stefank@2314 26 #define SHARE_VM_RUNTIME_JAVACALLS_HPP
stefank@2314 27
stefank@2314 28 #include "memory/allocation.hpp"
stefank@2314 29 #include "oops/methodOop.hpp"
stefank@2314 30 #include "runtime/handles.hpp"
stefank@2314 31 #include "runtime/javaFrameAnchor.hpp"
stefank@2314 32 #include "runtime/vmThread.hpp"
stefank@2314 33 #ifdef TARGET_ARCH_x86
stefank@2314 34 # include "jniTypes_x86.hpp"
stefank@2314 35 #endif
stefank@2314 36 #ifdef TARGET_ARCH_sparc
stefank@2314 37 # include "jniTypes_sparc.hpp"
stefank@2314 38 #endif
stefank@2314 39 #ifdef TARGET_ARCH_zero
stefank@2314 40 # include "jniTypes_zero.hpp"
stefank@2314 41 #endif
bobv@2508 42 #ifdef TARGET_ARCH_arm
bobv@2508 43 # include "jniTypes_arm.hpp"
bobv@2508 44 #endif
bobv@2508 45 #ifdef TARGET_ARCH_ppc
bobv@2508 46 # include "jniTypes_ppc.hpp"
bobv@2508 47 #endif
stefank@2314 48 #ifdef TARGET_OS_FAMILY_linux
stefank@2314 49 # include "thread_linux.inline.hpp"
stefank@2314 50 #endif
stefank@2314 51 #ifdef TARGET_OS_FAMILY_solaris
stefank@2314 52 # include "thread_solaris.inline.hpp"
stefank@2314 53 #endif
stefank@2314 54 #ifdef TARGET_OS_FAMILY_windows
stefank@2314 55 # include "thread_windows.inline.hpp"
stefank@2314 56 #endif
never@3156 57 #ifdef TARGET_OS_FAMILY_bsd
never@3156 58 # include "thread_bsd.inline.hpp"
never@3156 59 #endif
stefank@2314 60
duke@435 61 // A JavaCallWrapper is constructed before each JavaCall and destructed after the call.
duke@435 62 // Its purpose is to allocate/deallocate a new handle block and to save/restore the last
duke@435 63 // Java fp/sp. A pointer to the JavaCallWrapper is stored on the stack.
duke@435 64
duke@435 65 class JavaCallWrapper: StackObj {
duke@435 66 friend class VMStructs;
duke@435 67 private:
duke@435 68 JavaThread* _thread; // the thread to which this call belongs
duke@435 69 JNIHandleBlock* _handles; // the saved handle block
duke@435 70 methodOop _callee_method; // to be able to collect arguments if entry frame is top frame
duke@435 71 oop _receiver; // the receiver of the call (if a non-static call)
duke@435 72
duke@435 73 JavaFrameAnchor _anchor; // last thread anchor state that we must restore
duke@435 74
duke@435 75 JavaValue* _result; // result value
duke@435 76
duke@435 77 public:
duke@435 78 // Construction/destruction
duke@435 79 JavaCallWrapper(methodHandle callee_method, Handle receiver, JavaValue* result, TRAPS);
duke@435 80 ~JavaCallWrapper();
duke@435 81
duke@435 82 // Accessors
duke@435 83 JavaThread* thread() const { return _thread; }
duke@435 84 JNIHandleBlock* handles() const { return _handles; }
duke@435 85
duke@435 86 JavaFrameAnchor* anchor(void) { return &_anchor; }
duke@435 87
duke@435 88 JavaValue* result() const { return _result; }
duke@435 89 // GC support
duke@435 90 methodOop callee_method() { return _callee_method; }
duke@435 91 oop receiver() { return _receiver; }
duke@435 92 void oops_do(OopClosure* f);
duke@435 93
duke@435 94 };
duke@435 95
duke@435 96
duke@435 97 // Encapsulates arguments to a JavaCall (faster, safer, and more convenient than using var-args)
duke@435 98 class JavaCallArguments : public StackObj {
duke@435 99 private:
duke@435 100 enum Constants {
duke@435 101 _default_size = 8 // Must be at least # of arguments in JavaCalls methods
duke@435 102 };
duke@435 103
duke@435 104 intptr_t _value_buffer [_default_size + 1];
duke@435 105 bool _is_oop_buffer[_default_size + 1];
duke@435 106
duke@435 107 intptr_t* _value;
duke@435 108 bool* _is_oop;
duke@435 109 int _size;
duke@435 110 int _max_size;
duke@435 111 bool _start_at_zero; // Support late setting of receiver
duke@435 112
duke@435 113 void initialize() {
duke@435 114 // Starts at first element to support set_receiver.
duke@435 115 _value = &_value_buffer[1];
duke@435 116 _is_oop = &_is_oop_buffer[1];
duke@435 117
duke@435 118 _max_size = _default_size;
duke@435 119 _size = 0;
duke@435 120 _start_at_zero = false;
duke@435 121 }
duke@435 122
duke@435 123 public:
duke@435 124 JavaCallArguments() { initialize(); }
duke@435 125
duke@435 126 JavaCallArguments(Handle receiver) {
duke@435 127 initialize();
duke@435 128 push_oop(receiver);
duke@435 129 }
duke@435 130
duke@435 131 JavaCallArguments(int max_size) {
duke@435 132 if (max_size > _default_size) {
duke@435 133 _value = NEW_RESOURCE_ARRAY(intptr_t, max_size + 1);
duke@435 134 _is_oop = NEW_RESOURCE_ARRAY(bool, max_size + 1);
twisti@1861 135
duke@435 136 // Reserve room for potential receiver in value and is_oop
duke@435 137 _value++; _is_oop++;
twisti@1861 138
duke@435 139 _max_size = max_size;
duke@435 140 _size = 0;
duke@435 141 _start_at_zero = false;
duke@435 142 } else {
duke@435 143 initialize();
duke@435 144 }
duke@435 145 }
duke@435 146
duke@435 147 inline void push_oop(Handle h) { _is_oop[_size] = true;
duke@435 148 JNITypes::put_obj((oop)h.raw_value(), _value, _size); }
duke@435 149
duke@435 150 inline void push_int(int i) { _is_oop[_size] = false;
duke@435 151 JNITypes::put_int(i, _value, _size); }
duke@435 152
duke@435 153 inline void push_double(double d) { _is_oop[_size] = false; _is_oop[_size + 1] = false;
duke@435 154 JNITypes::put_double(d, _value, _size); }
duke@435 155
duke@435 156 inline void push_long(jlong l) { _is_oop[_size] = false; _is_oop[_size + 1] = false;
duke@435 157 JNITypes::put_long(l, _value, _size); }
duke@435 158
duke@435 159 inline void push_float(float f) { _is_oop[_size] = false;
duke@435 160 JNITypes::put_float(f, _value, _size); }
duke@435 161
duke@435 162 // receiver
duke@435 163 Handle receiver() {
duke@435 164 assert(_size > 0, "must at least be one argument");
duke@435 165 assert(_is_oop[0], "first argument must be an oop");
duke@435 166 assert(_value[0] != 0, "receiver must be not-null");
duke@435 167 return Handle((oop*)_value[0], false);
duke@435 168 }
duke@435 169
duke@435 170 void set_receiver(Handle h) {
duke@435 171 assert(_start_at_zero == false, "can only be called once");
duke@435 172 _start_at_zero = true;
duke@435 173 _is_oop--;
duke@435 174 _value--;
duke@435 175 _size++;
duke@435 176 _is_oop[0] = true;
duke@435 177 _value[0] = (intptr_t)h.raw_value();
duke@435 178 }
duke@435 179
duke@435 180 // Converts all Handles to oops, and returns a reference to parameter vector
duke@435 181 intptr_t* parameters() ;
duke@435 182 int size_of_parameters() const { return _size; }
duke@435 183
duke@435 184 // Verify that pushed arguments fits a given method
poonam@900 185 void verify(methodHandle method, BasicType return_type, Thread *thread);
duke@435 186 };
duke@435 187
duke@435 188 // All calls to Java have to go via JavaCalls. Sets up the stack frame
duke@435 189 // and makes sure that the last_Java_frame pointers are chained correctly.
duke@435 190 //
duke@435 191
duke@435 192 class JavaCalls: AllStatic {
duke@435 193 static void call_helper(JavaValue* result, methodHandle* method, JavaCallArguments* args, TRAPS);
duke@435 194 public:
duke@435 195 // Optimized Constuctor call
duke@435 196 static void call_default_constructor(JavaThread* thread, methodHandle method, Handle receiver, TRAPS);
duke@435 197
duke@435 198 // call_special
duke@435 199 // ------------
duke@435 200 // The receiver must be first oop in argument list
coleenp@2497 201 static void call_special(JavaValue* result, KlassHandle klass, Symbol* name, Symbol* signature, JavaCallArguments* args, TRAPS);
duke@435 202
coleenp@2497 203 static void call_special(JavaValue* result, Handle receiver, KlassHandle klass, Symbol* name, Symbol* signature, TRAPS); // No args
coleenp@2497 204 static void call_special(JavaValue* result, Handle receiver, KlassHandle klass, Symbol* name, Symbol* signature, Handle arg1, TRAPS);
coleenp@2497 205 static void call_special(JavaValue* result, Handle receiver, KlassHandle klass, Symbol* name, Symbol* signature, Handle arg1, Handle arg2, TRAPS);
duke@435 206
duke@435 207 // virtual call
duke@435 208 // ------------
duke@435 209
duke@435 210 // The receiver must be first oop in argument list
coleenp@2497 211 static void call_virtual(JavaValue* result, KlassHandle spec_klass, Symbol* name, Symbol* signature, JavaCallArguments* args, TRAPS);
duke@435 212
coleenp@2497 213 static void call_virtual(JavaValue* result, Handle receiver, KlassHandle spec_klass, Symbol* name, Symbol* signature, TRAPS); // No args
coleenp@2497 214 static void call_virtual(JavaValue* result, Handle receiver, KlassHandle spec_klass, Symbol* name, Symbol* signature, Handle arg1, TRAPS);
coleenp@2497 215 static void call_virtual(JavaValue* result, Handle receiver, KlassHandle spec_klass, Symbol* name, Symbol* signature, Handle arg1, Handle arg2, TRAPS);
duke@435 216
duke@435 217 // Static call
duke@435 218 // -----------
coleenp@2497 219 static void call_static(JavaValue* result, KlassHandle klass, Symbol* name, Symbol* signature, JavaCallArguments* args, TRAPS);
duke@435 220
coleenp@2497 221 static void call_static(JavaValue* result, KlassHandle klass, Symbol* name, Symbol* signature, TRAPS);
coleenp@2497 222 static void call_static(JavaValue* result, KlassHandle klass, Symbol* name, Symbol* signature, Handle arg1, TRAPS);
coleenp@2497 223 static void call_static(JavaValue* result, KlassHandle klass, Symbol* name, Symbol* signature, Handle arg1, Handle arg2, TRAPS);
duke@435 224
duke@435 225 // Low-level interface
duke@435 226 static void call(JavaValue* result, methodHandle method, JavaCallArguments* args, TRAPS);
duke@435 227 };
stefank@2314 228
stefank@2314 229 #endif // SHARE_VM_RUNTIME_JAVACALLS_HPP

mercurial