rev 5968 : 8031320: Use Intel RTM instructions for locks
Summary: Use RTM for inflated locks and stack locks.
Reviewed-by: iveresov, twisti, roland, dcubed

   1 /*
   2  * Copyright (c) 1999, 2012, Oracle and/or its affiliates. All rights reserved.
   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  *
  19  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
  20  * or visit www.oracle.com if you need additional information or have any
  21  * questions.
  22  *
  23  */
  24 
  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
  43 #ifdef TARGET_ARCH_MODEL_arm
  44 # include "adfiles/ad_arm.hpp"
  45 #endif
  46 #ifdef TARGET_ARCH_MODEL_ppc
  47 # include "adfiles/ad_ppc.hpp"
  48 #endif
  49 
  50 //------------------------------BoxLockNode------------------------------------
  51 class BoxLockNode : public Node {
  52   const int     _slot; // stack slot
  53   RegMask     _inmask; // OptoReg corresponding to stack slot
  54   bool _is_eliminated; // Associated locks were safely eliminated
  55 
  56 public:
  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;
  64   virtual uint hash() const;
  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 
  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     return box1->as_BoxLock()->_slot == box2->as_BoxLock()->_slot;
  73   }
  74   int stack_slot() const { return _slot; }
  75 
  76   bool is_eliminated() const { return _is_eliminated; }
  77   // mark lock as eliminated.
  78   void set_eliminated()      { _is_eliminated = true; }
  79 
  80   // Is BoxLock node used for one simple lock region?
  81   bool is_simple_lock_region(LockNode** unique_lock, Node* obj);
  82 
  83 #ifndef PRODUCT
  84   virtual void format( PhaseRegAlloc *, outputStream *st ) const;
  85   virtual void dump_spec(outputStream *st) const { st->print("  Lock %d",_slot); }
  86 #endif
  87 };
  88 
  89 //------------------------------FastLockNode-----------------------------------
  90 class FastLockNode: public CmpNode {
  91 private:
  92   BiasedLockingCounters*        _counters;
  93   RTMLockingCounters*       _rtm_counters; // RTM lock counters for inflated locks
  94   RTMLockingCounters* _stack_rtm_counters; // RTM lock counters for stack locks
  95 
  96 public:
  97   FastLockNode(Node *ctrl, Node *oop, Node *box) : CmpNode(oop,box) {
  98     init_req(0,ctrl);
  99     init_class_id(Class_FastLock);
 100     _counters = NULL;
 101     _rtm_counters = NULL;
 102     _stack_rtm_counters = NULL;
 103   }
 104   Node* obj_node() const { return in(1); }
 105   Node* box_node() const { return in(2); }
 106   void  set_box_node(Node* box) { set_req(2, box); }
 107 
 108   // FastLock and FastUnlockNode do not hash, we need one for each correspoding
 109   // LockNode/UnLockNode to avoid creating Phi's.
 110   virtual uint hash() const ;                  // { return NO_HASH; }
 111   virtual uint size_of() const;
 112   virtual uint cmp( const Node &n ) const ;    // Always fail, except on self
 113   virtual int Opcode() const;
 114   virtual const Type *Value( PhaseTransform *phase ) const { return TypeInt::CC; }
 115   const Type *sub(const Type *t1, const Type *t2) const { return TypeInt::CC;}
 116 
 117   void create_lock_counter(JVMState* s);
 118   void create_rtm_lock_counter(JVMState* state);
 119   BiasedLockingCounters*        counters() const { return _counters; }
 120   RTMLockingCounters*       rtm_counters() const { return _rtm_counters; }
 121   RTMLockingCounters* stack_rtm_counters() const { return _stack_rtm_counters; }
 122 };
 123 
 124 
 125 //------------------------------FastUnlockNode---------------------------------
 126 class FastUnlockNode: public CmpNode {
 127 public:
 128   FastUnlockNode(Node *ctrl, Node *oop, Node *box) : CmpNode(oop,box) {
 129     init_req(0,ctrl);
 130     init_class_id(Class_FastUnlock);
 131   }
 132   Node* obj_node() const { return in(1); }
 133   Node* box_node() const { return in(2); }
 134 
 135 
 136   // FastLock and FastUnlockNode do not hash, we need one for each correspoding
 137   // LockNode/UnLockNode to avoid creating Phi's.
 138   virtual uint hash() const ;                  // { return NO_HASH; }
 139   virtual uint cmp( const Node &n ) const ;    // Always fail, except on self
 140   virtual int Opcode() const;
 141   virtual const Type *Value( PhaseTransform *phase ) const { return TypeInt::CC; }
 142   const Type *sub(const Type *t1, const Type *t2) const { return TypeInt::CC;}
 143 
 144 };
 145 
 146 #endif // SHARE_VM_OPTO_LOCKNODE_HPP
--- EOF ---