Mercurial > hg > truffle
annotate src/share/vm/opto/locknode.hpp @ 4777:e9a5e0a812c8
7125896: Eliminate nested locks
Summary: Nested locks elimination done before lock nodes expansion by looking for outer locks of the same object.
Reviewed-by: never, twisti
author | kvn |
---|---|
date | Sat, 07 Jan 2012 13:26:43 -0800 |
parents | 1d1603768966 |
children | b0ff910edfc9 |
rev | line source |
---|---|
0 | 1 /* |
2426
1d1603768966
7010070: Update all 2010 Oracle-changed OpenJDK files to have the proper copyright dates - second pass
trims
parents:
2192
diff
changeset
|
2 * Copyright (c) 1999, 2011, Oracle and/or its affiliates. All rights reserved. |
0 | 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
4 * | |
5 * This code is free software; you can redistribute it and/or modify it | |
6 * under the terms of the GNU General Public License version 2 only, as | |
7 * published by the Free Software Foundation. | |
8 * | |
9 * This code is distributed in the hope that it will be useful, but WITHOUT | |
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License | |
12 * version 2 for more details (a copy is included in the LICENSE file that | |
13 * accompanied this code). | |
14 * | |
15 * You should have received a copy of the GNU General Public License version | |
16 * 2 along with this work; if not, write to the Free Software Foundation, | |
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. | |
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 | 22 * |
23 */ | |
24 | |
1972 | 25 #ifndef SHARE_VM_OPTO_LOCKNODE_HPP |
26 #define SHARE_VM_OPTO_LOCKNODE_HPP | |
27 | |
28 #include "opto/node.hpp" | |
29 #include "opto/opcodes.hpp" | |
30 #include "opto/subnode.hpp" | |
31 #ifdef TARGET_ARCH_MODEL_x86_32 | |
32 # include "adfiles/ad_x86_32.hpp" | |
33 #endif | |
34 #ifdef TARGET_ARCH_MODEL_x86_64 | |
35 # include "adfiles/ad_x86_64.hpp" | |
36 #endif | |
37 #ifdef TARGET_ARCH_MODEL_sparc | |
38 # include "adfiles/ad_sparc.hpp" | |
39 #endif | |
40 #ifdef TARGET_ARCH_MODEL_zero | |
41 # include "adfiles/ad_zero.hpp" | |
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 |
b92c45f2bc75
7016023: Enable building ARM and PPC from src/closed repository
bobv
parents:
1972
diff
changeset
|
46 #ifdef TARGET_ARCH_MODEL_ppc |
b92c45f2bc75
7016023: Enable building ARM and PPC from src/closed repository
bobv
parents:
1972
diff
changeset
|
47 # include "adfiles/ad_ppc.hpp" |
b92c45f2bc75
7016023: Enable building ARM and PPC from src/closed repository
bobv
parents:
1972
diff
changeset
|
48 #endif |
1972 | 49 |
0 | 50 //------------------------------BoxLockNode------------------------------------ |
51 class BoxLockNode : public Node { | |
52 const int _slot; | |
53 RegMask _inmask; | |
66
6dbf1a175d6b
6672848: (Escape Analysis) improve lock elimination with EA
kvn
parents:
0
diff
changeset
|
54 bool _is_eliminated; // indicates this lock was safely eliminated |
0 | 55 |
4777 | 56 public: |
0 | 57 BoxLockNode( int lock ); |
58 virtual int Opcode() const; | |
59 virtual void emit(CodeBuffer &cbuf, PhaseRegAlloc *ra_) const; | |
60 virtual uint size(PhaseRegAlloc *ra_) const; | |
61 virtual const RegMask &in_RegMask(uint) const; | |
62 virtual const RegMask &out_RegMask() const; | |
63 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
|
64 virtual uint hash() const; |
0 | 65 virtual uint cmp( const Node &n ) const; |
66 virtual const class Type *bottom_type() const { return TypeRawPtr::BOTTOM; } | |
67 virtual uint ideal_reg() const { return Op_RegP; } | |
68 | |
4777 | 69 static OptoReg::Name reg(Node* box_node); |
70 static BoxLockNode* box_node(Node* box_node); | |
71 static bool same_slot(Node* box1, Node* box2); | |
72 int stack_slot() const { return _slot; } | |
0 | 73 |
4777 | 74 bool is_eliminated() const { return _is_eliminated; } |
66
6dbf1a175d6b
6672848: (Escape Analysis) improve lock elimination with EA
kvn
parents:
0
diff
changeset
|
75 // mark lock as eliminated. |
4777 | 76 void set_eliminated() { _is_eliminated = true; } |
77 | |
78 // Is BoxLock node used for one simple lock region? | |
79 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
|
80 |
0 | 81 #ifndef PRODUCT |
82 virtual void format( PhaseRegAlloc *, outputStream *st ) const; | |
83 virtual void dump_spec(outputStream *st) const { st->print(" Lock %d",_slot); } | |
84 #endif | |
85 }; | |
86 | |
87 //------------------------------FastLockNode----------------------------------- | |
88 class FastLockNode: public CmpNode { | |
89 private: | |
90 BiasedLockingCounters* _counters; | |
91 | |
92 public: | |
93 FastLockNode(Node *ctrl, Node *oop, Node *box) : CmpNode(oop,box) { | |
94 init_req(0,ctrl); | |
95 init_class_id(Class_FastLock); | |
96 _counters = NULL; | |
97 } | |
98 Node* obj_node() const { return in(1); } | |
99 Node* box_node() const { return in(2); } | |
4777 | 100 void set_box_node(Node* box) { set_req(2, box); } |
0 | 101 |
102 // FastLock and FastUnlockNode do not hash, we need one for each correspoding | |
103 // LockNode/UnLockNode to avoid creating Phi's. | |
104 virtual uint hash() const ; // { return NO_HASH; } | |
105 virtual uint cmp( const Node &n ) const ; // Always fail, except on self | |
106 virtual int Opcode() const; | |
107 virtual const Type *Value( PhaseTransform *phase ) const { return TypeInt::CC; } | |
108 const Type *sub(const Type *t1, const Type *t2) const { return TypeInt::CC;} | |
109 | |
110 void create_lock_counter(JVMState* s); | |
111 BiasedLockingCounters* counters() const { return _counters; } | |
112 }; | |
113 | |
114 | |
115 //------------------------------FastUnlockNode--------------------------------- | |
116 class FastUnlockNode: public CmpNode { | |
117 public: | |
118 FastUnlockNode(Node *ctrl, Node *oop, Node *box) : CmpNode(oop,box) { | |
119 init_req(0,ctrl); | |
120 init_class_id(Class_FastUnlock); | |
121 } | |
122 Node* obj_node() const { return in(1); } | |
123 Node* box_node() const { return in(2); } | |
124 | |
125 | |
126 // FastLock and FastUnlockNode do not hash, we need one for each correspoding | |
127 // LockNode/UnLockNode to avoid creating Phi's. | |
128 virtual uint hash() const ; // { return NO_HASH; } | |
129 virtual uint cmp( const Node &n ) const ; // Always fail, except on self | |
130 virtual int Opcode() const; | |
131 virtual const Type *Value( PhaseTransform *phase ) const { return TypeInt::CC; } | |
132 const Type *sub(const Type *t1, const Type *t2) const { return TypeInt::CC;} | |
133 | |
134 }; | |
1972 | 135 |
136 #endif // SHARE_VM_OPTO_LOCKNODE_HPP |