annotate src/os_cpu/windows_x86/vm/windows_x86_64.ad @ 4837:eff609af17d7

7127706: G1: re-enable survivors during the initial-mark pause Summary: Re-enable survivors during the initial-mark pause. Afterwards, the concurrent marking threads have to scan them and mark everything reachable from them. The next GC will have to wait for the survivors to be scanned. Reviewed-by: brutisso, johnc
author tonyp
date Wed, 25 Jan 2012 12:58:23 -0500
parents 3e8fbc61cee8
children 9b8ce46870df
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1 //
1748
3e8fbc61cee8 6978355: renaming for 6961697
twisti
parents: 1552
diff changeset
2 // Copyright (c) 2003, 2010, 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
a61af66fc99e Initial load
duke
parents:
diff changeset
25 // AMD64 Win32 Architecture Description File
a61af66fc99e Initial load
duke
parents:
diff changeset
26
a61af66fc99e Initial load
duke
parents:
diff changeset
27 //----------OS-DEPENDENT ENCODING BLOCK-----------------------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
28 // This block specifies the encoding classes used by the compiler to output
a61af66fc99e Initial load
duke
parents:
diff changeset
29 // byte streams. Encoding classes generate functions which are called by
a61af66fc99e Initial load
duke
parents:
diff changeset
30 // Machine Instruction Nodes in order to generate the bit encoding of the
a61af66fc99e Initial load
duke
parents:
diff changeset
31 // instruction. Operands specify their base encoding interface with the
a61af66fc99e Initial load
duke
parents:
diff changeset
32 // interface keyword. There are currently supported four interfaces,
a61af66fc99e Initial load
duke
parents:
diff changeset
33 // REG_INTER, CONST_INTER, MEMORY_INTER, & COND_INTER. REG_INTER causes an
a61af66fc99e Initial load
duke
parents:
diff changeset
34 // operand to generate a function which returns its register number when
a61af66fc99e Initial load
duke
parents:
diff changeset
35 // queried. CONST_INTER causes an operand to generate a function which
a61af66fc99e Initial load
duke
parents:
diff changeset
36 // returns the value of the constant when queried. MEMORY_INTER causes an
a61af66fc99e Initial load
duke
parents:
diff changeset
37 // operand to generate four functions which return the Base Register, the
a61af66fc99e Initial load
duke
parents:
diff changeset
38 // Index Register, the Scale Value, and the Offset Value of the operand when
a61af66fc99e Initial load
duke
parents:
diff changeset
39 // queried. COND_INTER causes an operand to generate six functions which
a61af66fc99e Initial load
duke
parents:
diff changeset
40 // return the encoding code (ie - encoding bits for the instruction)
a61af66fc99e Initial load
duke
parents:
diff changeset
41 // associated with each basic boolean condition for a conditional instruction.
a61af66fc99e Initial load
duke
parents:
diff changeset
42 // Instructions specify two basic values for encoding. They use the
a61af66fc99e Initial load
duke
parents:
diff changeset
43 // ins_encode keyword to specify their encoding class (which must be one of
a61af66fc99e Initial load
duke
parents:
diff changeset
44 // the class names specified in the encoding block), and they use the
a61af66fc99e Initial load
duke
parents:
diff changeset
45 // opcode keyword to specify, in order, their primary, secondary, and
a61af66fc99e Initial load
duke
parents:
diff changeset
46 // tertiary opcode. Only the opcode sections which a particular instruction
a61af66fc99e Initial load
duke
parents:
diff changeset
47 // needs for encoding need to be specified.
a61af66fc99e Initial load
duke
parents:
diff changeset
48 encode %{
a61af66fc99e Initial load
duke
parents:
diff changeset
49 // Build emit functions for each basic byte or larger field in the intel
a61af66fc99e Initial load
duke
parents:
diff changeset
50 // encoding scheme (opcode, rm, sib, immediate), and call them from C++
a61af66fc99e Initial load
duke
parents:
diff changeset
51 // code in the enc_class source block. Emit functions will live in the
a61af66fc99e Initial load
duke
parents:
diff changeset
52 // main source block for now. In future, we can generalize this by
a61af66fc99e Initial load
duke
parents:
diff changeset
53 // adding a syntax that specifies the sizes of fields in an order,
a61af66fc99e Initial load
duke
parents:
diff changeset
54 // so that the adlc can build the emit functions automagically
a61af66fc99e Initial load
duke
parents:
diff changeset
55
a61af66fc99e Initial load
duke
parents:
diff changeset
56 enc_class Java_To_Runtime (method meth) %{ // CALL Java_To_Runtime
a61af66fc99e Initial load
duke
parents:
diff changeset
57 // No relocation needed
a61af66fc99e Initial load
duke
parents:
diff changeset
58
a61af66fc99e Initial load
duke
parents:
diff changeset
59 // movq r10, <meth>
a61af66fc99e Initial load
duke
parents:
diff changeset
60 emit_opcode(cbuf, Assembler::REX_WB);
a61af66fc99e Initial load
duke
parents:
diff changeset
61 emit_opcode(cbuf, 0xB8 | (R10_enc - 8));
a61af66fc99e Initial load
duke
parents:
diff changeset
62 emit_d64(cbuf, (int64_t) $meth$$method);
a61af66fc99e Initial load
duke
parents:
diff changeset
63
a61af66fc99e Initial load
duke
parents:
diff changeset
64 // call (r10)
a61af66fc99e Initial load
duke
parents:
diff changeset
65 emit_opcode(cbuf, Assembler::REX_B);
a61af66fc99e Initial load
duke
parents:
diff changeset
66 emit_opcode(cbuf, 0xFF);
a61af66fc99e Initial load
duke
parents:
diff changeset
67 emit_opcode(cbuf, 0xD0 | (R10_enc - 8));
a61af66fc99e Initial load
duke
parents:
diff changeset
68 %}
a61af66fc99e Initial load
duke
parents:
diff changeset
69
a61af66fc99e Initial load
duke
parents:
diff changeset
70 enc_class call_epilog %{
a61af66fc99e Initial load
duke
parents:
diff changeset
71 if (VerifyStackAtCalls) {
a61af66fc99e Initial load
duke
parents:
diff changeset
72 // Check that stack depth is unchanged: find majik cookie on stack
a61af66fc99e Initial load
duke
parents:
diff changeset
73 int framesize =
a61af66fc99e Initial load
duke
parents:
diff changeset
74 ra_->reg2offset_unchecked(OptoReg::add(ra_->_matcher._old_SP, -3*VMRegImpl::slots_per_word));
a61af66fc99e Initial load
duke
parents:
diff changeset
75 if (framesize) {
a61af66fc99e Initial load
duke
parents:
diff changeset
76 if (framesize < 0x80) {
a61af66fc99e Initial load
duke
parents:
diff changeset
77 emit_opcode(cbuf, Assembler::REX_W);
a61af66fc99e Initial load
duke
parents:
diff changeset
78 emit_opcode(cbuf, 0x81); // cmpq [rsp+0],0xbadb1ood
a61af66fc99e Initial load
duke
parents:
diff changeset
79 emit_d8(cbuf, 0x7C);
a61af66fc99e Initial load
duke
parents:
diff changeset
80 emit_d8(cbuf, 0x24);
a61af66fc99e Initial load
duke
parents:
diff changeset
81 emit_d8(cbuf, framesize); // Find majik cookie from ESP
a61af66fc99e Initial load
duke
parents:
diff changeset
82 emit_d32(cbuf, 0xbadb100d);
a61af66fc99e Initial load
duke
parents:
diff changeset
83 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
84 emit_opcode(cbuf, Assembler::REX_W);
a61af66fc99e Initial load
duke
parents:
diff changeset
85 emit_opcode(cbuf, 0x81); // cmpq [rsp+0],0xbadb1ood
a61af66fc99e Initial load
duke
parents:
diff changeset
86 emit_d8(cbuf, 0xBC);
a61af66fc99e Initial load
duke
parents:
diff changeset
87 emit_d8(cbuf, 0x24);
a61af66fc99e Initial load
duke
parents:
diff changeset
88 emit_d32(cbuf, framesize); // Find majik cookie from ESP
a61af66fc99e Initial load
duke
parents:
diff changeset
89 emit_d32(cbuf, 0xbadb100d);
a61af66fc99e Initial load
duke
parents:
diff changeset
90 }
a61af66fc99e Initial load
duke
parents:
diff changeset
91 }
a61af66fc99e Initial load
duke
parents:
diff changeset
92 // jmp EQ around INT3
a61af66fc99e Initial load
duke
parents:
diff changeset
93 // QQQ TODO
a61af66fc99e Initial load
duke
parents:
diff changeset
94 const int jump_around = 5; // size of call to breakpoint, 1 for CC
a61af66fc99e Initial load
duke
parents:
diff changeset
95 emit_opcode(cbuf, 0x74);
a61af66fc99e Initial load
duke
parents:
diff changeset
96 emit_d8(cbuf, jump_around);
a61af66fc99e Initial load
duke
parents:
diff changeset
97 // QQQ temporary
a61af66fc99e Initial load
duke
parents:
diff changeset
98 emit_break(cbuf);
a61af66fc99e Initial load
duke
parents:
diff changeset
99 // Die if stack mismatch
a61af66fc99e Initial load
duke
parents:
diff changeset
100 // emit_opcode(cbuf,0xCC);
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
a61af66fc99e Initial load
duke
parents:
diff changeset
105 // INSTRUCTIONS -- Platform dependent
a61af66fc99e Initial load
duke
parents:
diff changeset
106
a61af66fc99e Initial load
duke
parents:
diff changeset
107
a61af66fc99e Initial load
duke
parents:
diff changeset
108 //----------OS and Locking Instructions----------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
109
a61af66fc99e Initial load
duke
parents:
diff changeset
110 // This name is KNOWN by the ADLC and cannot be changed.
a61af66fc99e Initial load
duke
parents:
diff changeset
111 // The ADLC forces a 'TypeRawPtr::BOTTOM' output type
a61af66fc99e Initial load
duke
parents:
diff changeset
112 // for this guy.
a61af66fc99e Initial load
duke
parents:
diff changeset
113 instruct tlsLoadP(r15_RegP dst)
a61af66fc99e Initial load
duke
parents:
diff changeset
114 %{
a61af66fc99e Initial load
duke
parents:
diff changeset
115 match(Set dst (ThreadLocal));
a61af66fc99e Initial load
duke
parents:
diff changeset
116 effect(DEF dst);
a61af66fc99e Initial load
duke
parents:
diff changeset
117
a61af66fc99e Initial load
duke
parents:
diff changeset
118 size(0);
a61af66fc99e Initial load
duke
parents:
diff changeset
119 format %{ "# TLS is in R15" %}
a61af66fc99e Initial load
duke
parents:
diff changeset
120 ins_encode( /*empty encoding*/ );
a61af66fc99e Initial load
duke
parents:
diff changeset
121 ins_pipe(ialu_reg_reg);
a61af66fc99e Initial load
duke
parents:
diff changeset
122 %}
a61af66fc99e Initial load
duke
parents:
diff changeset
123
a61af66fc99e Initial load
duke
parents:
diff changeset
124 // Die now
a61af66fc99e Initial load
duke
parents:
diff changeset
125 instruct ShouldNotReachHere( )
a61af66fc99e Initial load
duke
parents:
diff changeset
126 %{
a61af66fc99e Initial load
duke
parents:
diff changeset
127 match(Halt);
a61af66fc99e Initial load
duke
parents:
diff changeset
128 // Use the following format syntax
a61af66fc99e Initial load
duke
parents:
diff changeset
129 format %{ "INT3 ; ShouldNotReachHere" %}
a61af66fc99e Initial load
duke
parents:
diff changeset
130 opcode(0xCC);
a61af66fc99e Initial load
duke
parents:
diff changeset
131 ins_encode(OpcP);
a61af66fc99e Initial load
duke
parents:
diff changeset
132 ins_pipe( pipe_slow );
a61af66fc99e Initial load
duke
parents:
diff changeset
133 %}
a61af66fc99e Initial load
duke
parents:
diff changeset
134
a61af66fc99e Initial load
duke
parents:
diff changeset
135 //
a61af66fc99e Initial load
duke
parents:
diff changeset
136 // Platform dependent source
a61af66fc99e Initial load
duke
parents:
diff changeset
137 //
a61af66fc99e Initial load
duke
parents:
diff changeset
138 source %{
a61af66fc99e Initial load
duke
parents:
diff changeset
139
a61af66fc99e Initial load
duke
parents:
diff changeset
140 int MachCallRuntimeNode::ret_addr_offset()
a61af66fc99e Initial load
duke
parents:
diff changeset
141 {
a61af66fc99e Initial load
duke
parents:
diff changeset
142 return 13; // movq r10,#addr; callq (r10)
a61af66fc99e Initial load
duke
parents:
diff changeset
143 }
a61af66fc99e Initial load
duke
parents:
diff changeset
144
a61af66fc99e Initial load
duke
parents:
diff changeset
145 // emit an interrupt that is caught by the debugger
a61af66fc99e Initial load
duke
parents:
diff changeset
146 void emit_break(CodeBuffer &cbuf) {
1748
3e8fbc61cee8 6978355: renaming for 6961697
twisti
parents: 1552
diff changeset
147 cbuf.insts()->emit_int8((unsigned char) 0xcc);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
148 }
a61af66fc99e Initial load
duke
parents:
diff changeset
149
a61af66fc99e Initial load
duke
parents:
diff changeset
150 void MachBreakpointNode::emit(CodeBuffer &cbuf, PhaseRegAlloc *ra_) const {
a61af66fc99e Initial load
duke
parents:
diff changeset
151 emit_break(cbuf);
a61af66fc99e Initial load
duke
parents:
diff changeset
152 }
a61af66fc99e Initial load
duke
parents:
diff changeset
153
a61af66fc99e Initial load
duke
parents:
diff changeset
154 uint MachBreakpointNode::size(PhaseRegAlloc *ra_) const {
a61af66fc99e Initial load
duke
parents:
diff changeset
155 return 1;
a61af66fc99e Initial load
duke
parents:
diff changeset
156 }
a61af66fc99e Initial load
duke
parents:
diff changeset
157
a61af66fc99e Initial load
duke
parents:
diff changeset
158 %}