annotate src/share/vm/opto/locknode.hpp @ 17810:62c54fcc0a35

Merge
author kvn
date Tue, 25 Mar 2014 17:07:36 -0700
parents d2907f74462e 606acabe7b5c
children 52b4284cb496
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1 /*
6842
b9a9ed0f8eeb 7197424: update copyright year to match last edit in jdk8 hotspot repository
mikael
parents: 4790
diff changeset
2 * Copyright (c) 1999, 2012, 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: 460
diff changeset
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 460
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: 460
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: 1552
diff changeset
25 #ifndef SHARE_VM_OPTO_LOCKNODE_HPP
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
26 #define SHARE_VM_OPTO_LOCKNODE_HPP
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
27
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
28 #include "opto/node.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
29 #include "opto/opcodes.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
30 #include "opto/subnode.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
31 #ifdef TARGET_ARCH_MODEL_x86_32
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
32 # include "adfiles/ad_x86_32.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
33 #endif
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
34 #ifdef TARGET_ARCH_MODEL_x86_64
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
35 # include "adfiles/ad_x86_64.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
36 #endif
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
37 #ifdef TARGET_ARCH_MODEL_sparc
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
38 # include "adfiles/ad_sparc.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
39 #endif
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
40 #ifdef TARGET_ARCH_MODEL_zero
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
41 # include "adfiles/ad_zero.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
42 #endif
2192
b92c45f2bc75 7016023: Enable building ARM and PPC from src/closed repository
bobv
parents: 1972
diff changeset
43 #ifdef TARGET_ARCH_MODEL_arm
b92c45f2bc75 7016023: Enable building ARM and PPC from src/closed repository
bobv
parents: 1972
diff changeset
44 # include "adfiles/ad_arm.hpp"
b92c45f2bc75 7016023: Enable building ARM and PPC from src/closed repository
bobv
parents: 1972
diff changeset
45 #endif
14391
d2907f74462e 8016586: PPC64 (part 3): basic changes for PPC64
goetz
parents: 6842
diff changeset
46 #ifdef TARGET_ARCH_MODEL_ppc_32
d2907f74462e 8016586: PPC64 (part 3): basic changes for PPC64
goetz
parents: 6842
diff changeset
47 # include "adfiles/ad_ppc_32.hpp"
d2907f74462e 8016586: PPC64 (part 3): basic changes for PPC64
goetz
parents: 6842
diff changeset
48 #endif
d2907f74462e 8016586: PPC64 (part 3): basic changes for PPC64
goetz
parents: 6842
diff changeset
49 #ifdef TARGET_ARCH_MODEL_ppc_64
d2907f74462e 8016586: PPC64 (part 3): basic changes for PPC64
goetz
parents: 6842
diff changeset
50 # include "adfiles/ad_ppc_64.hpp"
2192
b92c45f2bc75 7016023: Enable building ARM and PPC from src/closed repository
bobv
parents: 1972
diff changeset
51 #endif
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
52
0
a61af66fc99e Initial load
duke
parents:
diff changeset
53 //------------------------------BoxLockNode------------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
54 class BoxLockNode : public Node {
4790
b0ff910edfc9 7128355: assert(!nocreate) failed: Cannot build a phi for a block already parsed
kvn
parents: 4777
diff changeset
55 const int _slot; // stack slot
b0ff910edfc9 7128355: assert(!nocreate) failed: Cannot build a phi for a block already parsed
kvn
parents: 4777
diff changeset
56 RegMask _inmask; // OptoReg corresponding to stack slot
b0ff910edfc9 7128355: assert(!nocreate) failed: Cannot build a phi for a block already parsed
kvn
parents: 4777
diff changeset
57 bool _is_eliminated; // Associated locks were safely eliminated
0
a61af66fc99e Initial load
duke
parents:
diff changeset
58
4777
e9a5e0a812c8 7125896: Eliminate nested locks
kvn
parents: 2426
diff changeset
59 public:
0
a61af66fc99e Initial load
duke
parents:
diff changeset
60 BoxLockNode( int lock );
a61af66fc99e Initial load
duke
parents:
diff changeset
61 virtual int Opcode() const;
a61af66fc99e Initial load
duke
parents:
diff changeset
62 virtual void emit(CodeBuffer &cbuf, PhaseRegAlloc *ra_) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
63 virtual uint size(PhaseRegAlloc *ra_) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
64 virtual const RegMask &in_RegMask(uint) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
65 virtual const RegMask &out_RegMask() const;
a61af66fc99e Initial load
duke
parents:
diff changeset
66 virtual uint size_of() const;
460
424f9bfe6b96 6775880: EA +DeoptimizeALot: assert(mon_info->owner()->is_locked(),"object must be locked now")
kvn
parents: 196
diff changeset
67 virtual uint hash() const;
0
a61af66fc99e Initial load
duke
parents:
diff changeset
68 virtual uint cmp( const Node &n ) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
69 virtual const class Type *bottom_type() const { return TypeRawPtr::BOTTOM; }
a61af66fc99e Initial load
duke
parents:
diff changeset
70 virtual uint ideal_reg() const { return Op_RegP; }
a61af66fc99e Initial load
duke
parents:
diff changeset
71
4777
e9a5e0a812c8 7125896: Eliminate nested locks
kvn
parents: 2426
diff changeset
72 static OptoReg::Name reg(Node* box_node);
e9a5e0a812c8 7125896: Eliminate nested locks
kvn
parents: 2426
diff changeset
73 static BoxLockNode* box_node(Node* box_node);
4790
b0ff910edfc9 7128355: assert(!nocreate) failed: Cannot build a phi for a block already parsed
kvn
parents: 4777
diff changeset
74 static bool same_slot(Node* box1, Node* box2) {
b0ff910edfc9 7128355: assert(!nocreate) failed: Cannot build a phi for a block already parsed
kvn
parents: 4777
diff changeset
75 return box1->as_BoxLock()->_slot == box2->as_BoxLock()->_slot;
b0ff910edfc9 7128355: assert(!nocreate) failed: Cannot build a phi for a block already parsed
kvn
parents: 4777
diff changeset
76 }
4777
e9a5e0a812c8 7125896: Eliminate nested locks
kvn
parents: 2426
diff changeset
77 int stack_slot() const { return _slot; }
0
a61af66fc99e Initial load
duke
parents:
diff changeset
78
4777
e9a5e0a812c8 7125896: Eliminate nested locks
kvn
parents: 2426
diff changeset
79 bool is_eliminated() const { return _is_eliminated; }
66
6dbf1a175d6b 6672848: (Escape Analysis) improve lock elimination with EA
kvn
parents: 0
diff changeset
80 // mark lock as eliminated.
4777
e9a5e0a812c8 7125896: Eliminate nested locks
kvn
parents: 2426
diff changeset
81 void set_eliminated() { _is_eliminated = true; }
e9a5e0a812c8 7125896: Eliminate nested locks
kvn
parents: 2426
diff changeset
82
e9a5e0a812c8 7125896: Eliminate nested locks
kvn
parents: 2426
diff changeset
83 // Is BoxLock node used for one simple lock region?
e9a5e0a812c8 7125896: Eliminate nested locks
kvn
parents: 2426
diff changeset
84 bool is_simple_lock_region(LockNode** unique_lock, Node* obj);
66
6dbf1a175d6b 6672848: (Escape Analysis) improve lock elimination with EA
kvn
parents: 0
diff changeset
85
0
a61af66fc99e Initial load
duke
parents:
diff changeset
86 #ifndef PRODUCT
a61af66fc99e Initial load
duke
parents:
diff changeset
87 virtual void format( PhaseRegAlloc *, outputStream *st ) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
88 virtual void dump_spec(outputStream *st) const { st->print(" Lock %d",_slot); }
a61af66fc99e Initial load
duke
parents:
diff changeset
89 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
90 };
a61af66fc99e Initial load
duke
parents:
diff changeset
91
a61af66fc99e Initial load
duke
parents:
diff changeset
92 //------------------------------FastLockNode-----------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
93 class FastLockNode: public CmpNode {
a61af66fc99e Initial load
duke
parents:
diff changeset
94 private:
17780
606acabe7b5c 8031320: Use Intel RTM instructions for locks
kvn
parents: 6842
diff changeset
95 BiasedLockingCounters* _counters;
606acabe7b5c 8031320: Use Intel RTM instructions for locks
kvn
parents: 6842
diff changeset
96 RTMLockingCounters* _rtm_counters; // RTM lock counters for inflated locks
606acabe7b5c 8031320: Use Intel RTM instructions for locks
kvn
parents: 6842
diff changeset
97 RTMLockingCounters* _stack_rtm_counters; // RTM lock counters for stack locks
0
a61af66fc99e Initial load
duke
parents:
diff changeset
98
a61af66fc99e Initial load
duke
parents:
diff changeset
99 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
100 FastLockNode(Node *ctrl, Node *oop, Node *box) : CmpNode(oop,box) {
a61af66fc99e Initial load
duke
parents:
diff changeset
101 init_req(0,ctrl);
a61af66fc99e Initial load
duke
parents:
diff changeset
102 init_class_id(Class_FastLock);
a61af66fc99e Initial load
duke
parents:
diff changeset
103 _counters = NULL;
17780
606acabe7b5c 8031320: Use Intel RTM instructions for locks
kvn
parents: 6842
diff changeset
104 _rtm_counters = NULL;
606acabe7b5c 8031320: Use Intel RTM instructions for locks
kvn
parents: 6842
diff changeset
105 _stack_rtm_counters = NULL;
0
a61af66fc99e Initial load
duke
parents:
diff changeset
106 }
a61af66fc99e Initial load
duke
parents:
diff changeset
107 Node* obj_node() const { return in(1); }
a61af66fc99e Initial load
duke
parents:
diff changeset
108 Node* box_node() const { return in(2); }
4777
e9a5e0a812c8 7125896: Eliminate nested locks
kvn
parents: 2426
diff changeset
109 void set_box_node(Node* box) { set_req(2, box); }
0
a61af66fc99e Initial load
duke
parents:
diff changeset
110
a61af66fc99e Initial load
duke
parents:
diff changeset
111 // FastLock and FastUnlockNode do not hash, we need one for each correspoding
a61af66fc99e Initial load
duke
parents:
diff changeset
112 // LockNode/UnLockNode to avoid creating Phi's.
a61af66fc99e Initial load
duke
parents:
diff changeset
113 virtual uint hash() const ; // { return NO_HASH; }
17780
606acabe7b5c 8031320: Use Intel RTM instructions for locks
kvn
parents: 6842
diff changeset
114 virtual uint size_of() const;
0
a61af66fc99e Initial load
duke
parents:
diff changeset
115 virtual uint cmp( const Node &n ) const ; // Always fail, except on self
a61af66fc99e Initial load
duke
parents:
diff changeset
116 virtual int Opcode() const;
a61af66fc99e Initial load
duke
parents:
diff changeset
117 virtual const Type *Value( PhaseTransform *phase ) const { return TypeInt::CC; }
a61af66fc99e Initial load
duke
parents:
diff changeset
118 const Type *sub(const Type *t1, const Type *t2) const { return TypeInt::CC;}
a61af66fc99e Initial load
duke
parents:
diff changeset
119
a61af66fc99e Initial load
duke
parents:
diff changeset
120 void create_lock_counter(JVMState* s);
17780
606acabe7b5c 8031320: Use Intel RTM instructions for locks
kvn
parents: 6842
diff changeset
121 void create_rtm_lock_counter(JVMState* state);
606acabe7b5c 8031320: Use Intel RTM instructions for locks
kvn
parents: 6842
diff changeset
122 BiasedLockingCounters* counters() const { return _counters; }
606acabe7b5c 8031320: Use Intel RTM instructions for locks
kvn
parents: 6842
diff changeset
123 RTMLockingCounters* rtm_counters() const { return _rtm_counters; }
606acabe7b5c 8031320: Use Intel RTM instructions for locks
kvn
parents: 6842
diff changeset
124 RTMLockingCounters* stack_rtm_counters() const { return _stack_rtm_counters; }
0
a61af66fc99e Initial load
duke
parents:
diff changeset
125 };
a61af66fc99e Initial load
duke
parents:
diff changeset
126
a61af66fc99e Initial load
duke
parents:
diff changeset
127
a61af66fc99e Initial load
duke
parents:
diff changeset
128 //------------------------------FastUnlockNode---------------------------------
a61af66fc99e Initial load
duke
parents:
diff changeset
129 class FastUnlockNode: public CmpNode {
a61af66fc99e Initial load
duke
parents:
diff changeset
130 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
131 FastUnlockNode(Node *ctrl, Node *oop, Node *box) : CmpNode(oop,box) {
a61af66fc99e Initial load
duke
parents:
diff changeset
132 init_req(0,ctrl);
a61af66fc99e Initial load
duke
parents:
diff changeset
133 init_class_id(Class_FastUnlock);
a61af66fc99e Initial load
duke
parents:
diff changeset
134 }
a61af66fc99e Initial load
duke
parents:
diff changeset
135 Node* obj_node() const { return in(1); }
a61af66fc99e Initial load
duke
parents:
diff changeset
136 Node* box_node() const { return in(2); }
a61af66fc99e Initial load
duke
parents:
diff changeset
137
a61af66fc99e Initial load
duke
parents:
diff changeset
138
a61af66fc99e Initial load
duke
parents:
diff changeset
139 // FastLock and FastUnlockNode do not hash, we need one for each correspoding
a61af66fc99e Initial load
duke
parents:
diff changeset
140 // LockNode/UnLockNode to avoid creating Phi's.
a61af66fc99e Initial load
duke
parents:
diff changeset
141 virtual uint hash() const ; // { return NO_HASH; }
a61af66fc99e Initial load
duke
parents:
diff changeset
142 virtual uint cmp( const Node &n ) const ; // Always fail, except on self
a61af66fc99e Initial load
duke
parents:
diff changeset
143 virtual int Opcode() const;
a61af66fc99e Initial load
duke
parents:
diff changeset
144 virtual const Type *Value( PhaseTransform *phase ) const { return TypeInt::CC; }
a61af66fc99e Initial load
duke
parents:
diff changeset
145 const Type *sub(const Type *t1, const Type *t2) const { return TypeInt::CC;}
a61af66fc99e Initial load
duke
parents:
diff changeset
146
a61af66fc99e Initial load
duke
parents:
diff changeset
147 };
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
148
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
149 #endif // SHARE_VM_OPTO_LOCKNODE_HPP