annotate src/share/vm/code/vtableStubs.hpp @ 12264:b2e698d2276c

8014013: CallInfo structure no longer accurately reports the result of a LinkResolver operation Summary: Enhance method resolution and resulting data structures, plus some refactoring. Reviewed-by: twisti, acorn, jrose
author drchase
date Fri, 13 Sep 2013 22:38:02 -0400
parents 9758d9f36299
children 9341a9963d36
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1 /*
12146
9758d9f36299 8021954: VM SIGSEGV during classloading on MacOS; hs_err_pid file produced
coleenp
parents: 6725
diff changeset
2 * Copyright (c) 1997, 2013, Oracle and/or its affiliates. All rights reserved.
0
a61af66fc99e Initial load
duke
parents:
diff changeset
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
a61af66fc99e Initial load
duke
parents:
diff changeset
4 *
a61af66fc99e Initial load
duke
parents:
diff changeset
5 * This code is free software; you can redistribute it and/or modify it
a61af66fc99e Initial load
duke
parents:
diff changeset
6 * under the terms of the GNU General Public License version 2 only, as
a61af66fc99e Initial load
duke
parents:
diff changeset
7 * published by the Free Software Foundation.
a61af66fc99e Initial load
duke
parents:
diff changeset
8 *
a61af66fc99e Initial load
duke
parents:
diff changeset
9 * This code is distributed in the hope that it will be useful, but WITHOUT
a61af66fc99e Initial load
duke
parents:
diff changeset
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
a61af66fc99e Initial load
duke
parents:
diff changeset
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
a61af66fc99e Initial load
duke
parents:
diff changeset
12 * version 2 for more details (a copy is included in the LICENSE file that
a61af66fc99e Initial load
duke
parents:
diff changeset
13 * accompanied this code).
a61af66fc99e Initial load
duke
parents:
diff changeset
14 *
a61af66fc99e Initial load
duke
parents:
diff changeset
15 * You should have received a copy of the GNU General Public License version
a61af66fc99e Initial load
duke
parents:
diff changeset
16 * 2 along with this work; if not, write to the Free Software Foundation,
a61af66fc99e Initial load
duke
parents:
diff changeset
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
a61af66fc99e Initial load
duke
parents:
diff changeset
18 *
1552
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 0
diff changeset
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 0
diff changeset
20 * or visit www.oracle.com if you need additional information or have any
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 0
diff changeset
21 * questions.
0
a61af66fc99e Initial load
duke
parents:
diff changeset
22 *
a61af66fc99e Initial load
duke
parents:
diff changeset
23 */
a61af66fc99e Initial load
duke
parents:
diff changeset
24
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1681
diff changeset
25 #ifndef SHARE_VM_CODE_VTABLESTUBS_HPP
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1681
diff changeset
26 #define SHARE_VM_CODE_VTABLESTUBS_HPP
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1681
diff changeset
27
1983
c760f78e0a53 7003125: precompiled.hpp is included when precompiled headers are not used
stefank
parents: 1972
diff changeset
28 #include "code/vmreg.hpp"
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1681
diff changeset
29 #include "memory/allocation.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1681
diff changeset
30
0
a61af66fc99e Initial load
duke
parents:
diff changeset
31 // A VtableStub holds an individual code stub for a pair (vtable index, #args) for either itables or vtables
a61af66fc99e Initial load
duke
parents:
diff changeset
32 // There's a one-to-one relationship between a VtableStub and such a pair.
a61af66fc99e Initial load
duke
parents:
diff changeset
33
a61af66fc99e Initial load
duke
parents:
diff changeset
34 class VtableStub {
a61af66fc99e Initial load
duke
parents:
diff changeset
35 private:
a61af66fc99e Initial load
duke
parents:
diff changeset
36 friend class VtableStubs;
a61af66fc99e Initial load
duke
parents:
diff changeset
37
a61af66fc99e Initial load
duke
parents:
diff changeset
38 static address _chunk; // For allocation
a61af66fc99e Initial load
duke
parents:
diff changeset
39 static address _chunk_end; // For allocation
a61af66fc99e Initial load
duke
parents:
diff changeset
40 static VMReg _receiver_location; // Where to find receiver
a61af66fc99e Initial load
duke
parents:
diff changeset
41
a61af66fc99e Initial load
duke
parents:
diff changeset
42 VtableStub* _next; // Pointer to next entry in hash table
a61af66fc99e Initial load
duke
parents:
diff changeset
43 const short _index; // vtable index
a61af66fc99e Initial load
duke
parents:
diff changeset
44 short _ame_offset; // Where an AbstractMethodError might occur
a61af66fc99e Initial load
duke
parents:
diff changeset
45 short _npe_offset; // Where a NullPointerException might occur
a61af66fc99e Initial load
duke
parents:
diff changeset
46 bool _is_vtable_stub; // True if vtable stub, false, is itable stub
a61af66fc99e Initial load
duke
parents:
diff changeset
47 /* code follows here */ // The vtableStub code
a61af66fc99e Initial load
duke
parents:
diff changeset
48
12146
9758d9f36299 8021954: VM SIGSEGV during classloading on MacOS; hs_err_pid file produced
coleenp
parents: 6725
diff changeset
49 void* operator new(size_t size, int code_size) throw();
0
a61af66fc99e Initial load
duke
parents:
diff changeset
50
a61af66fc99e Initial load
duke
parents:
diff changeset
51 VtableStub(bool is_vtable_stub, int index)
a61af66fc99e Initial load
duke
parents:
diff changeset
52 : _next(NULL), _is_vtable_stub(is_vtable_stub),
a61af66fc99e Initial load
duke
parents:
diff changeset
53 _index(index), _ame_offset(-1), _npe_offset(-1) {}
a61af66fc99e Initial load
duke
parents:
diff changeset
54 VtableStub* next() const { return _next; }
a61af66fc99e Initial load
duke
parents:
diff changeset
55 int index() const { return _index; }
a61af66fc99e Initial load
duke
parents:
diff changeset
56 static VMReg receiver_location() { return _receiver_location; }
a61af66fc99e Initial load
duke
parents:
diff changeset
57 void set_next(VtableStub* n) { _next = n; }
6266
1d7922586cf6 7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents: 1983
diff changeset
58
1d7922586cf6 7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents: 1983
diff changeset
59 public:
0
a61af66fc99e Initial load
duke
parents:
diff changeset
60 address code_begin() const { return (address)(this + 1); }
a61af66fc99e Initial load
duke
parents:
diff changeset
61 address code_end() const { return code_begin() + pd_code_size_limit(_is_vtable_stub); }
a61af66fc99e Initial load
duke
parents:
diff changeset
62 address entry_point() const { return code_begin(); }
a61af66fc99e Initial load
duke
parents:
diff changeset
63 static int entry_offset() { return sizeof(class VtableStub); }
a61af66fc99e Initial load
duke
parents:
diff changeset
64
a61af66fc99e Initial load
duke
parents:
diff changeset
65 bool matches(bool is_vtable_stub, int index) const {
a61af66fc99e Initial load
duke
parents:
diff changeset
66 return _index == index && _is_vtable_stub == is_vtable_stub;
a61af66fc99e Initial load
duke
parents:
diff changeset
67 }
a61af66fc99e Initial load
duke
parents:
diff changeset
68 bool contains(address pc) const { return code_begin() <= pc && pc < code_end(); }
a61af66fc99e Initial load
duke
parents:
diff changeset
69
6266
1d7922586cf6 7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents: 1983
diff changeset
70 private:
0
a61af66fc99e Initial load
duke
parents:
diff changeset
71 void set_exception_points(address npe_addr, address ame_addr) {
a61af66fc99e Initial load
duke
parents:
diff changeset
72 _npe_offset = npe_addr - code_begin();
a61af66fc99e Initial load
duke
parents:
diff changeset
73 _ame_offset = ame_addr - code_begin();
a61af66fc99e Initial load
duke
parents:
diff changeset
74 assert(is_abstract_method_error(ame_addr), "offset must be correct");
a61af66fc99e Initial load
duke
parents:
diff changeset
75 assert(is_null_pointer_exception(npe_addr), "offset must be correct");
a61af66fc99e Initial load
duke
parents:
diff changeset
76 assert(!is_abstract_method_error(npe_addr), "offset must be correct");
a61af66fc99e Initial load
duke
parents:
diff changeset
77 assert(!is_null_pointer_exception(ame_addr), "offset must be correct");
a61af66fc99e Initial load
duke
parents:
diff changeset
78 }
a61af66fc99e Initial load
duke
parents:
diff changeset
79
a61af66fc99e Initial load
duke
parents:
diff changeset
80 // platform-dependent routines
a61af66fc99e Initial load
duke
parents:
diff changeset
81 static int pd_code_size_limit(bool is_vtable_stub);
a61af66fc99e Initial load
duke
parents:
diff changeset
82 static int pd_code_alignment();
a61af66fc99e Initial load
duke
parents:
diff changeset
83 // CNC: Removed because vtable stubs are now made with an ideal graph
a61af66fc99e Initial load
duke
parents:
diff changeset
84 // static bool pd_disregard_arg_size();
a61af66fc99e Initial load
duke
parents:
diff changeset
85
a61af66fc99e Initial load
duke
parents:
diff changeset
86 static void align_chunk() {
a61af66fc99e Initial load
duke
parents:
diff changeset
87 uintptr_t off = (uintptr_t)( _chunk + sizeof(VtableStub) ) % pd_code_alignment();
a61af66fc99e Initial load
duke
parents:
diff changeset
88 if (off != 0) _chunk += pd_code_alignment() - off;
a61af66fc99e Initial load
duke
parents:
diff changeset
89 }
a61af66fc99e Initial load
duke
parents:
diff changeset
90
a61af66fc99e Initial load
duke
parents:
diff changeset
91 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
92 // Query
a61af66fc99e Initial load
duke
parents:
diff changeset
93 bool is_itable_stub() { return !_is_vtable_stub; }
a61af66fc99e Initial load
duke
parents:
diff changeset
94 bool is_vtable_stub() { return _is_vtable_stub; }
a61af66fc99e Initial load
duke
parents:
diff changeset
95 bool is_abstract_method_error(address epc) { return epc == code_begin()+_ame_offset; }
a61af66fc99e Initial load
duke
parents:
diff changeset
96 bool is_null_pointer_exception(address epc) { return epc == code_begin()+_npe_offset; }
a61af66fc99e Initial load
duke
parents:
diff changeset
97
1681
126ea7725993 6953477: Increase portability and flexibility of building Hotspot
bobv
parents: 1552
diff changeset
98 void print_on(outputStream* st) const;
126ea7725993 6953477: Increase portability and flexibility of building Hotspot
bobv
parents: 1552
diff changeset
99 void print() const { print_on(tty); }
126ea7725993 6953477: Increase portability and flexibility of building Hotspot
bobv
parents: 1552
diff changeset
100
0
a61af66fc99e Initial load
duke
parents:
diff changeset
101 };
a61af66fc99e Initial load
duke
parents:
diff changeset
102
a61af66fc99e Initial load
duke
parents:
diff changeset
103
a61af66fc99e Initial load
duke
parents:
diff changeset
104 // VtableStubs creates the code stubs for compiled calls through vtables.
a61af66fc99e Initial load
duke
parents:
diff changeset
105 // There is one stub per (vtable index, args_size) pair, and the stubs are
a61af66fc99e Initial load
duke
parents:
diff changeset
106 // never deallocated. They don't need to be GCed because they contain no oops.
a61af66fc99e Initial load
duke
parents:
diff changeset
107
a61af66fc99e Initial load
duke
parents:
diff changeset
108 class VtableStubs : AllStatic {
a61af66fc99e Initial load
duke
parents:
diff changeset
109 public: // N must be public (some compilers need this for _table)
a61af66fc99e Initial load
duke
parents:
diff changeset
110 enum {
a61af66fc99e Initial load
duke
parents:
diff changeset
111 N = 256, // size of stub table; must be power of two
a61af66fc99e Initial load
duke
parents:
diff changeset
112 mask = N - 1
a61af66fc99e Initial load
duke
parents:
diff changeset
113 };
a61af66fc99e Initial load
duke
parents:
diff changeset
114
a61af66fc99e Initial load
duke
parents:
diff changeset
115 private:
a61af66fc99e Initial load
duke
parents:
diff changeset
116 static VtableStub* _table[N]; // table of existing stubs
a61af66fc99e Initial load
duke
parents:
diff changeset
117 static int _number_of_vtable_stubs; // number of stubs created so far (for statistics)
a61af66fc99e Initial load
duke
parents:
diff changeset
118
a61af66fc99e Initial load
duke
parents:
diff changeset
119 static VtableStub* create_vtable_stub(int vtable_index);
a61af66fc99e Initial load
duke
parents:
diff changeset
120 static VtableStub* create_itable_stub(int vtable_index);
a61af66fc99e Initial load
duke
parents:
diff changeset
121 static VtableStub* lookup (bool is_vtable_stub, int vtable_index);
a61af66fc99e Initial load
duke
parents:
diff changeset
122 static void enter (bool is_vtable_stub, int vtable_index, VtableStub* s);
a61af66fc99e Initial load
duke
parents:
diff changeset
123 static inline uint hash (bool is_vtable_stub, int vtable_index);
12264
b2e698d2276c 8014013: CallInfo structure no longer accurately reports the result of a LinkResolver operation
drchase
parents: 12146
diff changeset
124 static address find_stub (bool is_vtable_stub, int vtable_index);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
125
a61af66fc99e Initial load
duke
parents:
diff changeset
126 public:
12264
b2e698d2276c 8014013: CallInfo structure no longer accurately reports the result of a LinkResolver operation
drchase
parents: 12146
diff changeset
127 static address find_vtable_stub(int vtable_index) { return find_stub(true, vtable_index); }
b2e698d2276c 8014013: CallInfo structure no longer accurately reports the result of a LinkResolver operation
drchase
parents: 12146
diff changeset
128 static address find_itable_stub(int itable_index) { return find_stub(false, itable_index); }
0
a61af66fc99e Initial load
duke
parents:
diff changeset
129 static bool is_entry_point(address pc); // is pc a vtable stub entry point?
a61af66fc99e Initial load
duke
parents:
diff changeset
130 static bool contains(address pc); // is pc within any stub?
a61af66fc99e Initial load
duke
parents:
diff changeset
131 static VtableStub* stub_containing(address pc); // stub containing pc or NULL
a61af66fc99e Initial load
duke
parents:
diff changeset
132 static int number_of_vtable_stubs() { return _number_of_vtable_stubs; }
a61af66fc99e Initial load
duke
parents:
diff changeset
133 static void initialize();
a61af66fc99e Initial load
duke
parents:
diff changeset
134 };
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1681
diff changeset
135
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1681
diff changeset
136 #endif // SHARE_VM_CODE_VTABLESTUBS_HPP