annotate src/share/vm/graal/graalRuntime.cpp @ 9573:a79e8020ad4b

added Stub.decipher() to print information about values in stubs
author Doug Simon <doug.simon@oracle.com>
date Mon, 06 May 2013 13:49:20 +0200
parents 3d3da5a588bb
children df3aa336a313
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
7221
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
1 /*
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
2 * Copyright (c) 2012, Oracle and/or its affiliates. All rights reserved.
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
4 *
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
5 * This code is free software; you can redistribute it and/or modify it
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
6 * under the terms of the GNU General Public License version 2 only, as
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
7 * published by the Free Software Foundation.
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
8 *
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
9 * This code is distributed in the hope that it will be useful, but WITHOUT
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
12 * version 2 for more details (a copy is included in the LICENSE file that
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
13 * accompanied this code).
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
14 *
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
15 * You should have received a copy of the GNU General Public License version
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
16 * 2 along with this work; if not, write to the Free Software Foundation,
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
18 *
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
20 * or visit www.oracle.com if you need additional information or have any
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
21 * questions.
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
22 */
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
23
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
24 #include "precompiled.hpp"
7735
a7a93887b4c4 fix Solaris build and initial SPARC support
twisti
parents: 7386
diff changeset
25 #include "asm/codeBuffer.hpp"
7221
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
26 #include "graal/graalRuntime.hpp"
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
27 #include "graal/graalVMToCompiler.hpp"
7735
a7a93887b4c4 fix Solaris build and initial SPARC support
twisti
parents: 7386
diff changeset
28 #include "memory/oopFactory.hpp"
a7a93887b4c4 fix Solaris build and initial SPARC support
twisti
parents: 7386
diff changeset
29 #include "prims/jvm.h"
7221
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
30 #include "runtime/biasedLocking.hpp"
7735
a7a93887b4c4 fix Solaris build and initial SPARC support
twisti
parents: 7386
diff changeset
31 #include "runtime/interfaceSupport.hpp"
8499
96a337d307bd -More progress in G1 WBs
Christos Kotselidis <christos.kotselidis@oracle.com>
parents: 8496
diff changeset
32 #include "utilities/debug.hpp"
7221
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
33 // Implementation of GraalStubAssembler
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
34
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
35 GraalStubAssembler::GraalStubAssembler(CodeBuffer* code, const char * name, int stub_id) : MacroAssembler(code) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
36 _name = name;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
37 _must_gc_arguments = false;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
38 _frame_size = no_frame_size;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
39 _num_rt_args = 0;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
40 _stub_id = stub_id;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
41 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
42
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
43
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
44 void GraalStubAssembler::set_info(const char* name, bool must_gc_arguments) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
45 _name = name;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
46 _must_gc_arguments = must_gc_arguments;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
47 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
48
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
49
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
50 void GraalStubAssembler::set_frame_size(int size) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
51 if (_frame_size == no_frame_size) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
52 _frame_size = size;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
53 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
54 assert(_frame_size == size, "can't change the frame size");
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
55 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
56
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
57
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
58 void GraalStubAssembler::set_num_rt_args(int args) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
59 if (_num_rt_args == 0) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
60 _num_rt_args = args;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
61 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
62 assert(_num_rt_args == args, "can't change the number of args");
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
63 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
64
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
65 // Implementation of GraalRuntime
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
66
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
67 CodeBlob* GraalRuntime::_blobs[GraalRuntime::number_of_ids];
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
68 const char *GraalRuntime::_blob_names[] = {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
69 GRAAL_STUBS(STUB_NAME, LAST_STUB_NAME)
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
70 };
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
71
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
72 // Simple helper to see if the caller of a runtime stub which
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
73 // entered the VM has been deoptimized
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
74
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
75 static bool caller_is_deopted() {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
76 JavaThread* thread = JavaThread::current();
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
77 RegisterMap reg_map(thread, false);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
78 frame runtime_frame = thread->last_frame();
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
79 frame caller_frame = runtime_frame.sender(&reg_map);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
80 assert(caller_frame.is_compiled_frame(), "must be compiled");
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
81 return caller_frame.is_deoptimized_frame();
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
82 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
83
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
84 // Stress deoptimization
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
85 static void deopt_caller() {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
86 if ( !caller_is_deopted()) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
87 JavaThread* thread = JavaThread::current();
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
88 RegisterMap reg_map(thread, false);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
89 frame runtime_frame = thread->last_frame();
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
90 frame caller_frame = runtime_frame.sender(&reg_map);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
91 Deoptimization::deoptimize_frame(thread, caller_frame.id(), Deoptimization::Reason_constraint);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
92 assert(caller_is_deopted(), "Must be deoptimized");
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
93 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
94 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
95
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
96 static bool setup_code_buffer(CodeBuffer* code) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
97 // Preinitialize the consts section to some large size:
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
98 int locs_buffer_size = 1 * (relocInfo::length_limit + sizeof(relocInfo));
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
99 char* locs_buffer = NEW_RESOURCE_ARRAY(char, locs_buffer_size);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
100 code->insts()->initialize_shared_locs((relocInfo*)locs_buffer,
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
101 locs_buffer_size / sizeof(relocInfo));
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
102
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
103 // Global stubs have neither constants nor local stubs
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
104 code->initialize_consts_size(0);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
105 code->initialize_stubs_size(0);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
106
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
107 return true;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
108 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
109
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
110 void GraalRuntime::generate_blob_for(BufferBlob* buffer_blob, StubID id) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
111 assert(0 <= id && id < number_of_ids, "illegal stub id");
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
112 ResourceMark rm;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
113 // create code buffer for code storage
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
114 CodeBuffer code(buffer_blob);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
115
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
116 setup_code_buffer(&code);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
117
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
118 // create assembler for code generation
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
119 GraalStubAssembler* sasm = new GraalStubAssembler(&code, name_for(id), id);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
120 // generate code for runtime stub
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
121 OopMapSet* oop_maps;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
122 oop_maps = generate_code_for(id, sasm);
7226
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7222 7154
diff changeset
123 assert(oop_maps == NULL || sasm->frame_size() != GraalStubAssembler::no_frame_size,
7221
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
124 "if stub has an oop map it must have a valid frame size");
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
125
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
126 #ifdef ASSERT
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
127 // Make sure that stubs that need oopmaps have them
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
128 switch (id) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
129 // These stubs don't need to have an oopmap
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
130 #if defined(SPARC) || defined(PPC)
7911
983f7bdb85ff removed redundant graal_ prefix from Graal specific functions and variable in native code
Doug Simon <doug.simon@oracle.com>
parents: 7735
diff changeset
131 case handle_exception_nofpu_id: // Unused on sparc
7221
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
132 #endif
7911
983f7bdb85ff removed redundant graal_ prefix from Graal specific functions and variable in native code
Doug Simon <doug.simon@oracle.com>
parents: 7735
diff changeset
133 case verify_oop_id:
983f7bdb85ff removed redundant graal_ prefix from Graal specific functions and variable in native code
Doug Simon <doug.simon@oracle.com>
parents: 7735
diff changeset
134 case OSR_migration_end_id:
983f7bdb85ff removed redundant graal_ prefix from Graal specific functions and variable in native code
Doug Simon <doug.simon@oracle.com>
parents: 7735
diff changeset
135 case arithmetic_frem_id:
983f7bdb85ff removed redundant graal_ prefix from Graal specific functions and variable in native code
Doug Simon <doug.simon@oracle.com>
parents: 7735
diff changeset
136 case arithmetic_drem_id:
7221
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
137 break;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
138 // All other stubs should have oopmaps
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
139 default:
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
140 assert(oop_maps != NULL, "must have an oopmap");
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
141 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
142 #endif
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
143
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
144 // align so printing shows nop's instead of random code at the end (SimpleStubs are aligned)
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
145 sasm->align(BytesPerWord);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
146 // make sure all code is in code buffer
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
147 sasm->flush();
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
148 // create blob - distinguish a few special cases
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
149 CodeBlob* blob = RuntimeStub::new_runtime_stub(name_for(id),
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
150 &code,
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
151 CodeOffsets::frame_never_safe,
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
152 sasm->frame_size(),
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
153 oop_maps,
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
154 sasm->must_gc_arguments());
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
155 // install blob
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
156 assert(blob != NULL, "blob must exist");
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
157 _blobs[id] = blob;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
158 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
159
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
160
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
161 void GraalRuntime::initialize(BufferBlob* blob) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
162 // generate stubs
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
163 for (int id = 0; id < number_of_ids; id++) generate_blob_for(blob, (StubID)id);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
164 // printing
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
165 #ifndef PRODUCT
7226
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7222 7154
diff changeset
166 if (GraalPrintSimpleStubs) {
7221
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
167 ResourceMark rm;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
168 for (int id = 0; id < number_of_ids; id++) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
169 _blobs[id]->print();
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
170 if (_blobs[id]->oop_maps() != NULL) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
171 _blobs[id]->oop_maps()->print();
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
172 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
173 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
174 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
175 #endif
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
176 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
177
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
178
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
179 CodeBlob* GraalRuntime::blob_for(StubID id) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
180 assert(0 <= id && id < number_of_ids, "illegal stub id");
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
181 return _blobs[id];
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
182 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
183
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
184
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
185 const char* GraalRuntime::name_for(StubID id) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
186 assert(0 <= id && id < number_of_ids, "illegal stub id");
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
187 return _blob_names[id];
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
188 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
189
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
190 const char* GraalRuntime::name_for_address(address entry) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
191 for (int id = 0; id < number_of_ids; id++) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
192 if (entry == entry_for((StubID)id)) return name_for((StubID)id);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
193 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
194
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
195 #define FUNCTION_CASE(a, f) \
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
196 if ((intptr_t)a == CAST_FROM_FN_PTR(intptr_t, f)) return #f
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
197
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
198 FUNCTION_CASE(entry, os::javaTimeMillis);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
199 FUNCTION_CASE(entry, os::javaTimeNanos);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
200 FUNCTION_CASE(entry, SharedRuntime::OSR_migration_end);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
201 FUNCTION_CASE(entry, SharedRuntime::d2f);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
202 FUNCTION_CASE(entry, SharedRuntime::d2i);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
203 FUNCTION_CASE(entry, SharedRuntime::d2l);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
204 FUNCTION_CASE(entry, SharedRuntime::dcos);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
205 FUNCTION_CASE(entry, SharedRuntime::dexp);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
206 FUNCTION_CASE(entry, SharedRuntime::dlog);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
207 FUNCTION_CASE(entry, SharedRuntime::dlog10);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
208 FUNCTION_CASE(entry, SharedRuntime::dpow);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
209 FUNCTION_CASE(entry, SharedRuntime::drem);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
210 FUNCTION_CASE(entry, SharedRuntime::dsin);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
211 FUNCTION_CASE(entry, SharedRuntime::dtan);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
212 FUNCTION_CASE(entry, SharedRuntime::f2i);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
213 FUNCTION_CASE(entry, SharedRuntime::f2l);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
214 FUNCTION_CASE(entry, SharedRuntime::frem);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
215 FUNCTION_CASE(entry, SharedRuntime::l2d);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
216 FUNCTION_CASE(entry, SharedRuntime::l2f);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
217 FUNCTION_CASE(entry, SharedRuntime::ldiv);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
218 FUNCTION_CASE(entry, SharedRuntime::lmul);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
219 FUNCTION_CASE(entry, SharedRuntime::lrem);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
220 FUNCTION_CASE(entry, SharedRuntime::lrem);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
221 FUNCTION_CASE(entry, SharedRuntime::dtrace_method_entry);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
222 FUNCTION_CASE(entry, SharedRuntime::dtrace_method_exit);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
223 #ifdef TRACE_HAVE_INTRINSICS
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
224 FUNCTION_CASE(entry, TRACE_TIME_METHOD);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
225 #endif
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
226
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
227 ShouldNotReachHere();
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
228 return NULL;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
229
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
230 #undef FUNCTION_CASE
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
231 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
232
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
233
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
234 JRT_ENTRY(void, GraalRuntime::new_instance(JavaThread* thread, Klass* klass))
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
235 assert(klass->is_klass(), "not a class");
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
236 instanceKlassHandle h(thread, klass);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
237 h->check_valid_for_instantiation(true, CHECK);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
238 // make sure klass is initialized
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
239 h->initialize(CHECK);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
240 // allocate instance and return via TLS
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
241 oop obj = h->allocate_instance(CHECK);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
242 thread->set_vm_result(obj);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
243 JRT_END
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
244
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
245 JRT_ENTRY(void, GraalRuntime::new_array(JavaThread* thread, Klass* array_klass, jint length))
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
246 // Note: no handle for klass needed since they are not used
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
247 // anymore after new_objArray() and no GC can happen before.
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
248 // (This may have to change if this code changes!)
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
249 assert(array_klass->is_klass(), "not a class");
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
250 oop obj;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
251 if (array_klass->oop_is_typeArray()) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
252 BasicType elt_type = TypeArrayKlass::cast(array_klass)->element_type();
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
253 obj = oopFactory::new_typeArray(elt_type, length, CHECK);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
254 } else {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
255 Klass* elem_klass = ObjArrayKlass::cast(array_klass)->element_klass();
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
256 obj = oopFactory::new_objArray(elem_klass, length, CHECK);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
257 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
258 thread->set_vm_result(obj);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
259 // This is pretty rare but this runtime patch is stressful to deoptimization
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
260 // if we deoptimize here so force a deopt to stress the path.
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
261 if (DeoptimizeALot) {
9338
0266549ff6e0 added support from compiled stubs to be installed as RuntimeStubs and to be able to directly call C/C++ runtime functions (GRAAL-81)
Doug Simon <doug.simon@oracle.com>
parents: 9232
diff changeset
262 static int deopts = 0;
0266549ff6e0 added support from compiled stubs to be installed as RuntimeStubs and to be able to directly call C/C++ runtime functions (GRAAL-81)
Doug Simon <doug.simon@oracle.com>
parents: 9232
diff changeset
263 // Alternate between deoptimizing and raising an error (which will also cause a deopt)
0266549ff6e0 added support from compiled stubs to be installed as RuntimeStubs and to be able to directly call C/C++ runtime functions (GRAAL-81)
Doug Simon <doug.simon@oracle.com>
parents: 9232
diff changeset
264 if (deopts++ % 2 == 0) {
0266549ff6e0 added support from compiled stubs to be installed as RuntimeStubs and to be able to directly call C/C++ runtime functions (GRAAL-81)
Doug Simon <doug.simon@oracle.com>
parents: 9232
diff changeset
265 ResourceMark rm(THREAD);
0266549ff6e0 added support from compiled stubs to be installed as RuntimeStubs and to be able to directly call C/C++ runtime functions (GRAAL-81)
Doug Simon <doug.simon@oracle.com>
parents: 9232
diff changeset
266 THROW(vmSymbols::java_lang_OutOfMemoryError());
0266549ff6e0 added support from compiled stubs to be installed as RuntimeStubs and to be able to directly call C/C++ runtime functions (GRAAL-81)
Doug Simon <doug.simon@oracle.com>
parents: 9232
diff changeset
267 } else {
0266549ff6e0 added support from compiled stubs to be installed as RuntimeStubs and to be able to directly call C/C++ runtime functions (GRAAL-81)
Doug Simon <doug.simon@oracle.com>
parents: 9232
diff changeset
268 deopt_caller();
0266549ff6e0 added support from compiled stubs to be installed as RuntimeStubs and to be able to directly call C/C++ runtime functions (GRAAL-81)
Doug Simon <doug.simon@oracle.com>
parents: 9232
diff changeset
269 }
7221
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
270 }
9338
0266549ff6e0 added support from compiled stubs to be installed as RuntimeStubs and to be able to directly call C/C++ runtime functions (GRAAL-81)
Doug Simon <doug.simon@oracle.com>
parents: 9232
diff changeset
271 JRT_END
7221
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
272
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
273 JRT_ENTRY(void, GraalRuntime::new_multi_array(JavaThread* thread, Klass* klass, int rank, jint* dims))
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
274 assert(klass->is_klass(), "not a class");
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
275 assert(rank >= 1, "rank must be nonzero");
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
276 oop obj = ArrayKlass::cast(klass)->multi_allocate(rank, dims, CHECK);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
277 thread->set_vm_result(obj);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
278 JRT_END
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
279
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
280 JRT_ENTRY(void, GraalRuntime::unimplemented_entry(JavaThread* thread, StubID id))
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
281 tty->print_cr("GraalRuntime::entry_for(%d) returned unimplemented entry point", id);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
282 JRT_END
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
283
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
284 extern void vm_exit(int code);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
285
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
286 // Enter this method from compiled code handler below. This is where we transition
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
287 // to VM mode. This is done as a helper routine so that the method called directly
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
288 // from compiled code does not have to transition to VM. This allows the entry
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
289 // method to see if the nmethod that we have just looked up a handler for has
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
290 // been deoptimized while we were in the vm. This simplifies the assembly code
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
291 // cpu directories.
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
292 //
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
293 // We are entering here from exception stub (via the entry method below)
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
294 // If there is a compiled exception handler in this method, we will continue there;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
295 // otherwise we will unwind the stack and continue at the caller of top frame method
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
296 // Note: we enter in Java using a special JRT wrapper. This wrapper allows us to
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
297 // control the area where we can allow a safepoint. After we exit the safepoint area we can
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
298 // check to see if the handler we are going to return is now in a nmethod that has
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
299 // been deoptimized. If that is the case we return the deopt blob
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
300 // unpack_with_exception entry instead. This makes life for the exception blob easier
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
301 // because making that same check and diverting is painful from assembly language.
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
302 JRT_ENTRY_NO_ASYNC(static address, exception_handler_for_pc_helper(JavaThread* thread, oopDesc* ex, address pc, nmethod*& nm))
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
303 // Reset method handle flag.
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
304 thread->set_is_method_handle_return(false);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
305
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
306 Handle exception(thread, ex);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
307 nm = CodeCache::find_nmethod(pc);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
308 assert(nm != NULL, "this is not an nmethod");
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
309 // Adjust the pc as needed/
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
310 if (nm->is_deopt_pc(pc)) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
311 RegisterMap map(thread, false);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
312 frame exception_frame = thread->last_frame().sender(&map);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
313 // if the frame isn't deopted then pc must not correspond to the caller of last_frame
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
314 assert(exception_frame.is_deoptimized_frame(), "must be deopted");
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
315 pc = exception_frame.pc();
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
316 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
317 #ifdef ASSERT
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
318 assert(exception.not_null(), "NULL exceptions should be handled by throw_exception");
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
319 assert(exception->is_oop(), "just checking");
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
320 // Check that exception is a subclass of Throwable, otherwise we have a VerifyError
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
321 if (!(exception->is_a(SystemDictionary::Throwable_klass()))) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
322 if (ExitVMOnVerifyError) vm_exit(-1);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
323 ShouldNotReachHere();
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
324 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
325 #endif
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
326
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
327 // Check the stack guard pages and reenable them if necessary and there is
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
328 // enough space on the stack to do so. Use fast exceptions only if the guard
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
329 // pages are enabled.
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
330 bool guard_pages_enabled = thread->stack_yellow_zone_enabled();
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
331 if (!guard_pages_enabled) guard_pages_enabled = thread->reguard_stack();
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
332
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
333 if (JvmtiExport::can_post_on_exceptions()) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
334 // To ensure correct notification of exception catches and throws
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
335 // we have to deoptimize here. If we attempted to notify the
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
336 // catches and throws during this exception lookup it's possible
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
337 // we could deoptimize on the way out of the VM and end back in
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
338 // the interpreter at the throw site. This would result in double
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
339 // notifications since the interpreter would also notify about
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
340 // these same catches and throws as it unwound the frame.
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
341
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
342 RegisterMap reg_map(thread);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
343 frame stub_frame = thread->last_frame();
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
344 frame caller_frame = stub_frame.sender(&reg_map);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
345
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
346 // We don't really want to deoptimize the nmethod itself since we
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
347 // can actually continue in the exception handler ourselves but I
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
348 // don't see an easy way to have the desired effect.
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
349 Deoptimization::deoptimize_frame(thread, caller_frame.id(), Deoptimization::Reason_constraint);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
350 assert(caller_is_deopted(), "Must be deoptimized");
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
351
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
352 return SharedRuntime::deopt_blob()->unpack_with_exception_in_tls();
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
353 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
354
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
355 // ExceptionCache is used only for exceptions at call sites and not for implicit exceptions
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
356 if (guard_pages_enabled) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
357 address fast_continuation = nm->handler_for_exception_and_pc(exception, pc);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
358 if (fast_continuation != NULL) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
359 // Set flag if return address is a method handle call site.
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
360 thread->set_is_method_handle_return(nm->is_method_handle_return(pc));
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
361 return fast_continuation;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
362 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
363 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
364
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
365 // If the stack guard pages are enabled, check whether there is a handler in
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
366 // the current method. Otherwise (guard pages disabled), force an unwind and
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
367 // skip the exception cache update (i.e., just leave continuation==NULL).
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
368 address continuation = NULL;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
369 if (guard_pages_enabled) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
370
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
371 // New exception handling mechanism can support inlined methods
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
372 // with exception handlers since the mappings are from PC to PC
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
373
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
374 // debugging support
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
375 // tracing
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
376 if (TraceExceptions) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
377 ttyLocker ttyl;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
378 ResourceMark rm;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
379 int offset = pc - nm->code_begin();
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
380 tty->print_cr("Exception <%s> (0x%x) thrown in compiled method <%s> at PC " PTR_FORMAT " [" PTR_FORMAT "+%d] for thread 0x%x",
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
381 exception->print_value_string(), (address)exception(), nm->method()->print_value_string(), pc, nm->code_begin(), offset, thread);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
382 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
383 // for AbortVMOnException flag
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
384 NOT_PRODUCT(Exceptions::debug_check_abort(exception));
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
385
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
386 // Clear out the exception oop and pc since looking up an
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
387 // exception handler can cause class loading, which might throw an
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
388 // exception and those fields are expected to be clear during
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
389 // normal bytecode execution.
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
390 thread->set_exception_oop(NULL);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
391 thread->set_exception_pc(NULL);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
392
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
393 continuation = SharedRuntime::compute_compiled_exc_handler(nm, pc, exception, false, false);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
394 // If an exception was thrown during exception dispatch, the exception oop may have changed
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
395 thread->set_exception_oop(exception());
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
396 thread->set_exception_pc(pc);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
397
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
398 // the exception cache is used only by non-implicit exceptions
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
399 if (continuation != NULL && !SharedRuntime::deopt_blob()->contains(continuation)) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
400 nm->add_handler_for_exception_and_pc(exception, pc, continuation);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
401 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
402 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
403
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
404 // Set flag if return address is a method handle call site.
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
405 thread->set_is_method_handle_return(nm->is_method_handle_return(pc));
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
406
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
407 if (TraceExceptions) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
408 ttyLocker ttyl;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
409 ResourceMark rm;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
410 tty->print_cr("Thread " PTR_FORMAT " continuing at PC " PTR_FORMAT " for exception thrown at PC " PTR_FORMAT,
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
411 thread, continuation, pc);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
412 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
413
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
414 return continuation;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
415 JRT_END
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
416
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
417 // Enter this method from compiled code only if there is a Java exception handler
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
418 // in the method handling the exception.
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
419 // We are entering here from exception stub. We don't do a normal VM transition here.
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
420 // We do it in a helper. This is so we can check to see if the nmethod we have just
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
421 // searched for an exception handler has been deoptimized in the meantime.
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
422 address GraalRuntime::exception_handler_for_pc(JavaThread* thread) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
423 oop exception = thread->exception_oop();
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
424 address pc = thread->exception_pc();
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
425 // Still in Java mode
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
426 DEBUG_ONLY(ResetNoHandleMark rnhm);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
427 nmethod* nm = NULL;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
428 address continuation = NULL;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
429 {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
430 // Enter VM mode by calling the helper
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
431 ResetNoHandleMark rnhm;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
432 continuation = exception_handler_for_pc_helper(thread, exception, pc, nm);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
433 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
434 // Back in JAVA, use no oops DON'T safepoint
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
435
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
436 // Now check to see if the nmethod we were called from is now deoptimized.
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
437 // If so we must return to the deopt blob and deoptimize the nmethod
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
438 if (nm != NULL && caller_is_deopted()) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
439 continuation = SharedRuntime::deopt_blob()->unpack_with_exception_in_tls();
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
440 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
441
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
442 assert(continuation != NULL, "no handler found");
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
443 return continuation;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
444 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
445
7911
983f7bdb85ff removed redundant graal_ prefix from Graal specific functions and variable in native code
Doug Simon <doug.simon@oracle.com>
parents: 7735
diff changeset
446 JRT_ENTRY(void, GraalRuntime::create_null_exception(JavaThread* thread))
7221
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
447 thread->set_vm_result(Exceptions::new_exception(thread, vmSymbols::java_lang_NullPointerException(), NULL)());
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
448 JRT_END
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
449
7911
983f7bdb85ff removed redundant graal_ prefix from Graal specific functions and variable in native code
Doug Simon <doug.simon@oracle.com>
parents: 7735
diff changeset
450 JRT_ENTRY(void, GraalRuntime::create_out_of_bounds_exception(JavaThread* thread, jint index))
7221
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
451 char message[jintAsStringSize];
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
452 sprintf(message, "%d", index);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
453 thread->set_vm_result(Exceptions::new_exception(thread, vmSymbols::java_lang_ArrayIndexOutOfBoundsException(), message)());
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
454 JRT_END
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
455
7911
983f7bdb85ff removed redundant graal_ prefix from Graal specific functions and variable in native code
Doug Simon <doug.simon@oracle.com>
parents: 7735
diff changeset
456 JRT_ENTRY_NO_ASYNC(void, GraalRuntime::monitorenter(JavaThread* thread, oopDesc* obj, BasicLock* lock))
7221
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
457 if (TraceGraal >= 3) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
458 char type[O_BUFLEN];
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
459 obj->klass()->name()->as_C_string(type, O_BUFLEN);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
460 markOop mark = obj->mark();
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
461 tty->print_cr("%s: entered locking slow case with obj=" INTPTR_FORMAT ", type=%s, mark=" INTPTR_FORMAT ", lock=" INTPTR_FORMAT, thread->name(), obj, type, mark, lock);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
462 tty->flush();
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
463 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
464 #ifdef ASSERT
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
465 if (PrintBiasedLockingStatistics) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
466 Atomic::inc(BiasedLocking::slow_path_entry_count_addr());
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
467 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
468 #endif
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
469 Handle h_obj(thread, obj);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
470 assert(h_obj()->is_oop(), "must be NULL or an object");
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
471 if (UseBiasedLocking) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
472 // Retry fast entry if bias is revoked to avoid unnecessary inflation
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
473 ObjectSynchronizer::fast_enter(h_obj, lock, true, CHECK);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
474 } else {
7226
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7222 7154
diff changeset
475 if (GraalUseFastLocking) {
7221
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
476 // When using fast locking, the compiled code has already tried the fast case
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
477 ObjectSynchronizer::slow_enter(h_obj, lock, THREAD);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
478 } else {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
479 ObjectSynchronizer::fast_enter(h_obj, lock, false, THREAD);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
480 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
481 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
482 if (TraceGraal >= 3) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
483 tty->print_cr("%s: exiting locking slow with obj=" INTPTR_FORMAT, thread->name(), obj);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
484 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
485 JRT_END
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
486
8506
c3657d00e343 -Merge with tip
Christos Kotselidis <christos.kotselidis@oracle.com>
parents: 8504 8127
diff changeset
487 JRT_LEAF(void, GraalRuntime::wb_pre_call(JavaThread* thread, oopDesc* obj))
8502
ff4fa8b0516e -Create push patch
Christos Kotselidis <christos.kotselidis@oracle.com>
parents: 8501
diff changeset
488 thread->satb_mark_queue().enqueue(obj);
8490
1567c6cc6561 Towards porting G1 WBs
Christos Kotselidis <christos.kotselidis@oracle.com>
parents: 8489
diff changeset
489 JRT_END
1567c6cc6561 Towards porting G1 WBs
Christos Kotselidis <christos.kotselidis@oracle.com>
parents: 8489
diff changeset
490
8506
c3657d00e343 -Merge with tip
Christos Kotselidis <christos.kotselidis@oracle.com>
parents: 8504 8127
diff changeset
491 JRT_LEAF(void, GraalRuntime::wb_post_call(JavaThread* thread, oopDesc* obj, void* card_addr))
8495
9131c075be7b -More porting to G1 WBs
Christos Kotselidis <christos.kotselidis@oracle.com>
parents: 8492
diff changeset
492 thread->dirty_card_queue().enqueue(card_addr);
8489
92d21814cf7b -Implement WB primitive stub call for G1's slow path later
Christos Kotselidis <christos.kotselidis@oracle.com>
parents: 7735
diff changeset
493 JRT_END
7221
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
494
7911
983f7bdb85ff removed redundant graal_ prefix from Graal specific functions and variable in native code
Doug Simon <doug.simon@oracle.com>
parents: 7735
diff changeset
495 JRT_LEAF(void, GraalRuntime::monitorexit(JavaThread* thread, oopDesc* obj, BasicLock* lock))
7221
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
496 assert(thread == JavaThread::current(), "threads must correspond");
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
497 assert(thread->last_Java_sp(), "last_Java_sp must be set");
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
498 // monitorexit is non-blocking (leaf routine) => no exceptions can be thrown
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
499 EXCEPTION_MARK;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
500
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
501 #ifdef DEBUG
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
502 if (!obj->is_oop()) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
503 ResetNoHandleMark rhm;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
504 nmethod* method = thread->last_frame().cb()->as_nmethod_or_null();
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
505 if (method != NULL) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
506 tty->print_cr("ERROR in monitorexit in method %s wrong obj " INTPTR_FORMAT, method->name(), obj);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
507 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
508 thread->print_stack_on(tty);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
509 assert(false, "invalid lock object pointer dected");
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
510 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
511 #endif
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
512
7226
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7222 7154
diff changeset
513 if (GraalUseFastLocking) {
7221
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
514 // When using fast locking, the compiled code has already tried the fast case
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
515 ObjectSynchronizer::slow_exit(obj, lock, THREAD);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
516 } else {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
517 ObjectSynchronizer::fast_exit(obj, lock, THREAD);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
518 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
519 if (TraceGraal >= 3) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
520 char type[O_BUFLEN];
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
521 obj->klass()->name()->as_C_string(type, O_BUFLEN);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
522 tty->print_cr("%s: exited locking slow case with obj=" INTPTR_FORMAT ", type=%s, mark=" INTPTR_FORMAT ", lock=" INTPTR_FORMAT, thread->name(), obj, type, obj->mark(), lock);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
523 tty->flush();
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
524 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
525 JRT_END
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
526
7911
983f7bdb85ff removed redundant graal_ prefix from Graal specific functions and variable in native code
Doug Simon <doug.simon@oracle.com>
parents: 7735
diff changeset
527 JRT_ENTRY(void, GraalRuntime::log_object(JavaThread* thread, oop obj, jint flags))
7221
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
528 bool string = mask_bits_are_true(flags, LOG_OBJECT_STRING);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
529 bool address = mask_bits_are_true(flags, LOG_OBJECT_ADDRESS);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
530 bool newline = mask_bits_are_true(flags, LOG_OBJECT_NEWLINE);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
531 if (!string) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
532 if (!address && obj->is_oop_or_null(true)) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
533 char buf[O_BUFLEN];
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
534 tty->print("%s@%p", obj->klass()->name()->as_C_string(buf, O_BUFLEN), obj);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
535 } else {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
536 tty->print("%p", obj);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
537 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
538 } else {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
539 ResourceMark rm;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
540 assert(obj != NULL && java_lang_String::is_instance(obj), "must be");
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
541 char *buf = java_lang_String::as_utf8_string(obj);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
542 tty->print(buf);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
543 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
544 if (newline) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
545 tty->cr();
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
546 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
547 JRT_END
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
548
7911
983f7bdb85ff removed redundant graal_ prefix from Graal specific functions and variable in native code
Doug Simon <doug.simon@oracle.com>
parents: 7735
diff changeset
549 JRT_ENTRY(void, GraalRuntime::vm_error(JavaThread* thread, oop where, oop format, jlong value))
7221
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
550 ResourceMark rm;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
551 assert(where == NULL || java_lang_String::is_instance(where), "must be");
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
552 const char *error_msg = where == NULL ? "<internal Graal error>" : java_lang_String::as_utf8_string(where);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
553 char *detail_msg = NULL;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
554 if (format != NULL) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
555 const char* buf = java_lang_String::as_utf8_string(format);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
556 size_t detail_msg_length = strlen(buf) * 2;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
557 detail_msg = (char *) NEW_RESOURCE_ARRAY(u_char, detail_msg_length);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
558 jio_snprintf(detail_msg, detail_msg_length, buf, value);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
559 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
560 report_vm_error(__FILE__, __LINE__, error_msg, detail_msg);
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
561 JRT_END
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
562
8506
c3657d00e343 -Merge with tip
Christos Kotselidis <christos.kotselidis@oracle.com>
parents: 8504 8127
diff changeset
563
c3657d00e343 -Merge with tip
Christos Kotselidis <christos.kotselidis@oracle.com>
parents: 8504 8127
diff changeset
564 JRT_LEAF(void, GraalRuntime::log_printf(JavaThread* thread, oop format, jlong v1, jlong v2, jlong v3))
7221
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
565 ResourceMark rm;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
566 assert(format != NULL && java_lang_String::is_instance(format), "must be");
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
567 char *buf = java_lang_String::as_utf8_string(format);
7235
a6bd253a770f expanded LOG_PRINTF stub to handle up to 3 arguments in addition to the format string
Doug Simon <doug.simon@oracle.com>
parents: 7226
diff changeset
568 tty->print(buf, v1, v2, v3);
7221
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
569 JRT_END
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
570
9573
a79e8020ad4b added Stub.decipher() to print information about values in stubs
Doug Simon <doug.simon@oracle.com>
parents: 9565
diff changeset
571 static void decipher(jlong v, bool ignoreZero) {
a79e8020ad4b added Stub.decipher() to print information about values in stubs
Doug Simon <doug.simon@oracle.com>
parents: 9565
diff changeset
572 if (v != 0 || !ignoreZero) {
a79e8020ad4b added Stub.decipher() to print information about values in stubs
Doug Simon <doug.simon@oracle.com>
parents: 9565
diff changeset
573 void* p = (void *)(address) v;
a79e8020ad4b added Stub.decipher() to print information about values in stubs
Doug Simon <doug.simon@oracle.com>
parents: 9565
diff changeset
574 CodeBlob* cb = CodeCache::find_blob(p);
a79e8020ad4b added Stub.decipher() to print information about values in stubs
Doug Simon <doug.simon@oracle.com>
parents: 9565
diff changeset
575 if (cb) {
a79e8020ad4b added Stub.decipher() to print information about values in stubs
Doug Simon <doug.simon@oracle.com>
parents: 9565
diff changeset
576 if (cb->is_nmethod()) {
a79e8020ad4b added Stub.decipher() to print information about values in stubs
Doug Simon <doug.simon@oracle.com>
parents: 9565
diff changeset
577 char buf[O_BUFLEN];
a79e8020ad4b added Stub.decipher() to print information about values in stubs
Doug Simon <doug.simon@oracle.com>
parents: 9565
diff changeset
578 tty->print("%s [%p+%d]", cb->as_nmethod_or_null()->method()->name_and_sig_as_C_string(buf, O_BUFLEN), cb->code_begin(), (address)v - cb->code_begin());
a79e8020ad4b added Stub.decipher() to print information about values in stubs
Doug Simon <doug.simon@oracle.com>
parents: 9565
diff changeset
579 return;
a79e8020ad4b added Stub.decipher() to print information about values in stubs
Doug Simon <doug.simon@oracle.com>
parents: 9565
diff changeset
580 }
a79e8020ad4b added Stub.decipher() to print information about values in stubs
Doug Simon <doug.simon@oracle.com>
parents: 9565
diff changeset
581 cb->print_value_on(tty);
a79e8020ad4b added Stub.decipher() to print information about values in stubs
Doug Simon <doug.simon@oracle.com>
parents: 9565
diff changeset
582 return;
a79e8020ad4b added Stub.decipher() to print information about values in stubs
Doug Simon <doug.simon@oracle.com>
parents: 9565
diff changeset
583 }
a79e8020ad4b added Stub.decipher() to print information about values in stubs
Doug Simon <doug.simon@oracle.com>
parents: 9565
diff changeset
584 if (Universe::heap()->is_in(p)) {
a79e8020ad4b added Stub.decipher() to print information about values in stubs
Doug Simon <doug.simon@oracle.com>
parents: 9565
diff changeset
585 oop obj = oop(p);
a79e8020ad4b added Stub.decipher() to print information about values in stubs
Doug Simon <doug.simon@oracle.com>
parents: 9565
diff changeset
586 obj->print_value_on(tty);
a79e8020ad4b added Stub.decipher() to print information about values in stubs
Doug Simon <doug.simon@oracle.com>
parents: 9565
diff changeset
587 return;
a79e8020ad4b added Stub.decipher() to print information about values in stubs
Doug Simon <doug.simon@oracle.com>
parents: 9565
diff changeset
588 }
a79e8020ad4b added Stub.decipher() to print information about values in stubs
Doug Simon <doug.simon@oracle.com>
parents: 9565
diff changeset
589 tty->print("%p [long: %d, double %f, char %c]", v, v, v, v);
a79e8020ad4b added Stub.decipher() to print information about values in stubs
Doug Simon <doug.simon@oracle.com>
parents: 9565
diff changeset
590 }
a79e8020ad4b added Stub.decipher() to print information about values in stubs
Doug Simon <doug.simon@oracle.com>
parents: 9565
diff changeset
591 }
a79e8020ad4b added Stub.decipher() to print information about values in stubs
Doug Simon <doug.simon@oracle.com>
parents: 9565
diff changeset
592
9471
5fa54bf57f8c replaced exception_handler_nofpu assembler stub with a compiled stub (GRAAL-81)
Doug Simon <doug.simon@oracle.com>
parents: 9457
diff changeset
593 JRT_LEAF(void, GraalRuntime::vm_message(jboolean vmError, jlong format, jlong v1, jlong v2, jlong v3))
9232
bb2447c64055 strings used in compiled stubs are lowered to malloc'ed C strings so that there are no embedded oops (for the strings) in the resulting installed code
Doug Simon <doug.simon@oracle.com>
parents: 8506
diff changeset
594 ResourceMark rm;
bb2447c64055 strings used in compiled stubs are lowered to malloc'ed C strings so that there are no embedded oops (for the strings) in the resulting installed code
Doug Simon <doug.simon@oracle.com>
parents: 8506
diff changeset
595 char *buf = (char*) (address) format;
9471
5fa54bf57f8c replaced exception_handler_nofpu assembler stub with a compiled stub (GRAAL-81)
Doug Simon <doug.simon@oracle.com>
parents: 9457
diff changeset
596 if (vmError) {
9573
a79e8020ad4b added Stub.decipher() to print information about values in stubs
Doug Simon <doug.simon@oracle.com>
parents: 9565
diff changeset
597 if (buf != NULL) {
a79e8020ad4b added Stub.decipher() to print information about values in stubs
Doug Simon <doug.simon@oracle.com>
parents: 9565
diff changeset
598 fatal(err_msg(buf, v1, v2, v3));
a79e8020ad4b added Stub.decipher() to print information about values in stubs
Doug Simon <doug.simon@oracle.com>
parents: 9565
diff changeset
599 } else {
a79e8020ad4b added Stub.decipher() to print information about values in stubs
Doug Simon <doug.simon@oracle.com>
parents: 9565
diff changeset
600 fatal("<anonymous error>");
a79e8020ad4b added Stub.decipher() to print information about values in stubs
Doug Simon <doug.simon@oracle.com>
parents: 9565
diff changeset
601 }
a79e8020ad4b added Stub.decipher() to print information about values in stubs
Doug Simon <doug.simon@oracle.com>
parents: 9565
diff changeset
602 } else if (buf != NULL) {
a79e8020ad4b added Stub.decipher() to print information about values in stubs
Doug Simon <doug.simon@oracle.com>
parents: 9565
diff changeset
603 tty->print(buf, v1, v2, v3);
9471
5fa54bf57f8c replaced exception_handler_nofpu assembler stub with a compiled stub (GRAAL-81)
Doug Simon <doug.simon@oracle.com>
parents: 9457
diff changeset
604 } else {
9573
a79e8020ad4b added Stub.decipher() to print information about values in stubs
Doug Simon <doug.simon@oracle.com>
parents: 9565
diff changeset
605 assert(v2 == 0, "v2 != 0");
a79e8020ad4b added Stub.decipher() to print information about values in stubs
Doug Simon <doug.simon@oracle.com>
parents: 9565
diff changeset
606 assert(v3 == 0, "v3 != 0");
a79e8020ad4b added Stub.decipher() to print information about values in stubs
Doug Simon <doug.simon@oracle.com>
parents: 9565
diff changeset
607 decipher(v1, false);
9471
5fa54bf57f8c replaced exception_handler_nofpu assembler stub with a compiled stub (GRAAL-81)
Doug Simon <doug.simon@oracle.com>
parents: 9457
diff changeset
608 }
9232
bb2447c64055 strings used in compiled stubs are lowered to malloc'ed C strings so that there are no embedded oops (for the strings) in the resulting installed code
Doug Simon <doug.simon@oracle.com>
parents: 8506
diff changeset
609 JRT_END
bb2447c64055 strings used in compiled stubs are lowered to malloc'ed C strings so that there are no embedded oops (for the strings) in the resulting installed code
Doug Simon <doug.simon@oracle.com>
parents: 8506
diff changeset
610
7911
983f7bdb85ff removed redundant graal_ prefix from Graal specific functions and variable in native code
Doug Simon <doug.simon@oracle.com>
parents: 7735
diff changeset
611 JRT_ENTRY(void, GraalRuntime::log_primitive(JavaThread* thread, jchar typeChar, jlong value, jboolean newline))
7221
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
612 union {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
613 jlong l;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
614 jdouble d;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
615 jfloat f;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
616 } uu;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
617 uu.l = value;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
618 switch (typeChar) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
619 case 'z': tty->print(value == 0 ? "false" : "true"); break;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
620 case 'b': tty->print("%d", (jbyte) value); break;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
621 case 'c': tty->print("%c", (jchar) value); break;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
622 case 's': tty->print("%d", (jshort) value); break;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
623 case 'i': tty->print("%d", (jint) value); break;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
624 case 'f': tty->print("%f", uu.f); break;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
625 case 'j': tty->print(INT64_FORMAT, value); break;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
626 case 'd': tty->print("%lf", uu.d); break;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
627 default: assert(false, "unknown typeChar"); break;
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
628 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
629 if (newline) {
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
630 tty->cr();
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
631 }
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
632 JRT_END
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
633
7911
983f7bdb85ff removed redundant graal_ prefix from Graal specific functions and variable in native code
Doug Simon <doug.simon@oracle.com>
parents: 7735
diff changeset
634 JRT_ENTRY(jint, GraalRuntime::identity_hash_code(JavaThread* thread, oop obj))
7221
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
635 return (jint) obj->identity_hash();
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
636 JRT_END
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
637
7911
983f7bdb85ff removed redundant graal_ prefix from Graal specific functions and variable in native code
Doug Simon <doug.simon@oracle.com>
parents: 7735
diff changeset
638 JRT_ENTRY(jboolean, GraalRuntime::thread_is_interrupted(JavaThread* thread, oop receiver, jboolean clear_interrupted))
7220
fcae6d960acd added more compiler intrinsics
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7216
diff changeset
639 // Ensure that the C++ Thread and OSThread structures aren't freed before we operate
fcae6d960acd added more compiler intrinsics
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7216
diff changeset
640 Handle receiverHandle(thread, receiver);
7386
707e9cca11de fixed HotSpot windows build
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7235
diff changeset
641 MutexLockerEx ml(thread->threadObj() == receiver ? NULL : Threads_lock);
707e9cca11de fixed HotSpot windows build
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7235
diff changeset
642 JavaThread* receiverThread = java_lang_Thread::thread(receiverHandle());
707e9cca11de fixed HotSpot windows build
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7235
diff changeset
643 return (jint) Thread::is_interrupted(receiverThread, clear_interrupted != 0);
7221
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
644 JRT_END
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
645
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
646 // JVM_InitializeGraalRuntime
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
647 JVM_ENTRY(jobject, JVM_InitializeGraalRuntime(JNIEnv *env, jclass graalclass))
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
648 return VMToCompiler::graalRuntimePermObject();
Christian Haeubl <haeubl@ssw.jku.at>
parents: 7220 7145
diff changeset
649 JVM_END