JVM源码研读：Java 中自旋锁的实现

Java中初始是使用mutex互斥锁，因为互斥锁是会线程等待挂起，而对获取锁后的操作时间比较短暂的应用场景来说，这样的锁会让竞争锁的线程不停的park,unpark 的操作，这样的系统的调用性能是非常糟糕的，为了提高锁的性能，java 在6 默认使用了自旋锁。

 

在Linux中本身就已经提供了自旋锁的系统调用，在glibc-2.9中就有它的比较简单的实现方法

 

int pthread_spin_lock (lock) pthread_spinlock_t *lock;
{
asm ("\n"
"1:\t" LOCK_PREFIX "decl %0\n\t"
"jne 2f\n\t"
".subsection 1\n\t"
".align 16\n"
"2:\trep; nop\n\t"
"cmpl $0, %0\n\t"
"jg 1b\n\t"
"jmp 2b\n\t"
".previous"
: "=m" (*lock)
: "m" (*lock));
return 0;
}

通过总线锁把参数-1保证了减法的原子性，如果减后的值是（0）的代表获得锁，其他线程的线程自旋直到参数变成初始值（1），继续竞争锁，直到获得这把锁。

 

 

 

 

 

Java 并没有使用系统自带的自旋锁，自己重写了自旋锁的逻辑，并且增加了自旋的次数的控制。详细见-XX:+UseSpinning 和 -XX:PreBlockSpin=xx

让我们具体来看是如何实现的，注意这是mutex锁中所实现的lock，而并不是synchinized 的锁的spin lock的实现（这个你可以参考synchronizer.cpp里的方法TrySpin_VaryDuration）

 

int Monitor::TrySpin (Thread * const Self) {
  if (TryLock())    return 1 ;
  if (!os::is_MP()) return 0 ;  

  int Probes  = 0 ;
  int Delay   = 0 ;
  int Steps   = 0 ;
  int SpinMax = NativeMonitorSpinLimit ;
  int flgs    = NativeMonitorFlags ;
  for (;;) {
    intptr_t v = _LockWord.FullWord;
    if ((v & _LBIT) == 0) {
      if (CASPTR (&_LockWord, v, v|_LBIT) == v) {
        return 1 ;
      }
      continue ;
    }

    if ((flgs & 8) == 0) {
      SpinPause () ;
    }

    // Periodically increase Delay -- variable Delay form
    // conceptually: delay *= 1 + 1/Exponent
    ++ Probes;
    if (Probes > SpinMax) return 0 ;

    if ((Probes & 0x7) == 0) {
      Delay = ((Delay << 1)|1) & 0x7FF ;
      // CONSIDER: Delay += 1 + (Delay/4); Delay &= 0x7FF ;
    }

    if (flgs & 2) continue ;

    // Consider checking _owner's schedctl state, if OFFPROC abort spin.
    // If the owner is OFFPROC then it's unlike that the lock will be dropped
    // in a timely fashion, which suggests that spinning would not be fruitful
    // or profitable.

    // Stall for "Delay" time units - iterations in the current implementation.
    // Avoid generating coherency traffic while stalled.
    // Possible ways to delay:
    //   PAUSE, SLEEP, MEMBAR #sync, MEMBAR #halt,
    //   wr %g0,%asi, gethrtime, rdstick, rdtick, rdtsc, etc. ...
    // Note that on Niagara-class systems we want to minimize STs in the
    // spin loop.  N1 and brethren write-around the L1$ over the xbar into the L2$.
    // Furthermore, they don't have a W$ like traditional SPARC processors.
    // We currently use a Marsaglia Shift-Xor RNG loop.
    Steps += Delay ;
    if (Self != NULL) {
      jint rv = Self->rng[0] ;
      for (int k = Delay ; --k >= 0; ) {
        rv = MarsagliaXORV (rv) ;
        if ((flgs & 4) == 0 && SafepointSynchronize::do_call_back()) return 0 ;
      }
      Self->rng[0] = rv ;
    } else {
      Stall (Delay) ;
    }
  }
}

 

 

 

 

a. os::is_MP() 判断系统是否是多核的系统，在单核下，自旋锁是没有意义的。

b. CASPTR 使用了 Atomic::cmpxchg_ptr 原子语义 cmpxchg 比较替换，如果比较的值相等就替换成需要的值并且返回去比较的值，如果不相同返回被比较的值的内容。

在这里的语义是比较_LockWord.FullWord 和 _Lockword 的值是否相同，如果相同就把_Lockword 的值置换成v|_LBIT（_LBIT的值是1）。

自旋锁的逻辑：判断_LockWord.FullWord bit 0 是否是0，如果是0代表没有占有锁，那就尝试去占有锁，通过原子替换置bit0 为1，如果置换成功那么代表拥有锁，没有则进入自旋。

SpinPause ()  函数
在linux_x86 64位机器上 定义了
 .globl SpinPause
        .align 16
        .type  SpinPause,@function
SpinPause:
        rep
        nop
        movq   $1, %rax
        ret

主要在rep, nop 的指令经过编译器后的指令是pause,是用于提高cpu性能的，在官方上描述pase指令是为了避免memory order violation ，有种说法就是cpu是流水线的处理指令的，当原子指令store的时候，而如果有线程同时也在load他的值，那么load 必须等到store 执行成功,这样cpu就无法进行流水线作业了。但我更觉的这是个加强版的nop 也就是多增加几个空的机器周期，一来省电，二来本身spin lock就需要cpu空运行，并且不需要访问内存。

c. SafepointSynchronize::do_call_back()这是一个安全点，提供一个停止自旋锁的切入点，比如vm thread,在做线程dump, 内存 dump的时候，是需要让 自旋锁提前停止的。
 
d. if (Probes > SpinMax) return 0 ; 当大于自旋的次数的时候，自旋自动退出,也就是前面所说的参数 -XX:PreBlockSpin

 

最后这里还有个比较有意思的方法MarsagliaXORV (rv) ; 是算随机数的，不清楚为什么java让cpu自旋的过程中计算随机数的意义何在，为了不让cpu空转？感觉用spinpase 更合理一点。