对Synchronied对象锁的一些理解与测试

          作为Java语言的关键字，当它用来修饰一个方法或者一个代码块的时候，能够保证在同一时刻最多只有一个线程执行该段代码。那么他的同步机制到底是怎么的？让我们来做一些测试。

• 测试一：

  public class SynchronTest {
  
  	/**
  	 * @param args
  	 */
  	public static void main(String[] args) {
  		TestThread  t1 = new TestThread();
  		Thread ta = new Thread(t1,"A");
  		Thread tb = new Thread(t1,"B");
  		ta.start();
  		tb.start();
  	}
  
  }
  
  class TestThread implements Runnable{
  
  	@Override
  	public void run() {
  		synchronized(this){
  			for(int i = 0 ; i < 5;i++){
  				System.out.println(Thread.currentThread().getName() + " synchronized loop " + i);
  			}
  		}
  	}
  }

  
  我们定义了一个线程类，对当前对象上琐。然后用同一个对象启动了2线程ta和tb。让我们来看一下结果：

  A synchronized loop 0
  A synchronized loop 1
  A synchronized loop 2
  A synchronized loop 3
  A synchronized loop 4
  B synchronized loop 0
  B synchronized loop 1
  B synchronized loop 2
  B synchronized loop 3
  B synchronized loop 4
  

  
  是不是太规律了？那为了防止是偶然事件，让我们多运行几次，发现运行结果都是一样。这说明这个结果是正常的，并不是意外或者偶尔的。那么这个结果告诉我们什么列？相信大家都明白，这说明：ta和tb同步了，他们是同一个对象启动的2个线程，这说明synchronized(this)，对这个对象（t1)执行了同步。或许这一个例子还不能说明太多问题。那么我们继续测试
  
• 多个对象的同步：

  	public static void main(String[] args) {
  		TestThread  t1 = new TestThread();
  		TestThread  t2 = new TestThread();
  		Thread ta = new Thread(t1,"A");
  		Thread tb = new Thread(t2,"B");
  		ta.start();
  		tb.start();
  	}

  
  此时，我们只对main()方法进行了小小的修改，创建了一个TestThread的另外一个实例t2，并且ta,tb分别由2个不同的实例的启动。那我们再运行，看看结果。我这边引一次运行的结果是这样的：

  A synchronized loop 0
  A synchronized loop 1
  B synchronized loop 0
  B synchronized loop 1
  B synchronized loop 2
  B synchronized loop 3
  A synchronized loop 2
  A synchronized loop 3
  A synchronized loop 4
  B synchronized loop 4

  
  大家循环出来的很大可能性会跟我不一样。你不妨多运行几次，或者将循环次数设置大一点，效果就会更明显，现在你发现。并不总是A先运行完，B再运行。这说明了什么列？ 说明ta,tb没有同步。在ta运行的同时，tb也在运行，tb并没有因为ta先获得了锁而阻塞，也就是说synchronized(this)对ta,tb分别用了不同的锁。所以synchronized的锁，是针对同一个对象而言。

ps：

public synchronized void test(){
    //.......
}

public void test(){
    synchronized(this){
       //....
    }
}

如果后者所有代码在synchronized块中的时候，这两者是完全等价的。

附上一个比喻，在网上看到的一个比较恰当的比喻：

：一个object就像一个大房子，大门永远打开。房子里有 很多房间（也就是方法）。

这些房间有上锁的（synchronized方法）， 和不上锁之分（普通方法）。房门口放着一把钥匙（key），这把钥匙可以打开所有上锁的房间。

另外我把所有想调用该对象方法的线程比喻成想进入这房子某个 房间的人。所有的东西就这么多了，下面我们看看这些东西之间如何作用的。

在此我们先来明确一下我们的前提条件。该对象至少有一个synchronized方法，否则这个key还有啥意义。当然也就不会有我们的这个主题了。

一个人想进入某间上了锁的房间，他来到房子门口，看见钥匙在那儿（说明暂时还没有其他人要使用上锁的 房间）。于是他走上去拿到了钥匙

，并且按照自己 的计划使用那些房间。注意一点，他每次使用完一次上锁的房间后会马上把钥匙还回去。即使他要连续使用两间上锁的房间，

中间他也要把钥匙还回去，再取回来。

因此，普通情况下钥匙的使用原则是：“随用随借，用完即还。”

这时其他人可以不受限制的使用那些不上锁的房间，一个人用一间可以，两个人用一间也可以，没限制。但是如果当某个人想要进入上锁的房

间，他就要跑到大门口去看看了。有钥匙当然拿了就走，没有的话，就只能等了。

要是很多人在等这把钥匙，等钥匙还回来以后，谁会优先得到钥匙？Not guaranteed。象前面例子里那个想连续使用两个上锁房间的家伙，他

中间还钥匙的时候如果还有其他人在等钥匙，那么没有任何保证这家伙能再次拿到。 （JAVA规范在很多地方都明确说明不保证，象

Thread.sleep()休息后多久会返回运行，相同优先权的线程那个首先被执行，当要访问对象的锁被 释放后处于等待池的多个线程哪个会优先得

到，等等。我想最终的决定权是在JVM，之所以不保证，就是因为JVM在做出上述决定的时候，绝不是简简单单根据 一个条件来做出判断，而是

根据很多条。而由于判断条件太多，如果说出来可能会影响JAVA的推广，也可能是因为知识产权保护的原因吧。SUN给了个不保证 就混过去了

。无可厚非。但我相信这些不确定，并非完全不确定。因为计算机这东西本身就是按指令运行的。即使看起来很随机的现象，其实都是有规律

可寻。学过 计算机的都知道，计算机里随机数的学名是伪随机数，是人运用一定的方法写出来的，看上去随机罢了。另外，或许是因为要想弄

的确定太费事，也没多大意义，所 以不确定就不确定了吧。）

再来看看同步代码块。和同步方法有小小的不同。

1.从尺寸上讲，同步代码块比同步方法小。你可以把同步代码块看成是没上锁房间里的一块用带锁的屏风隔开的空间。

2.同步代码块还可以人为的指定获得某个其它对象的key。就像是指定用哪一把钥匙才能开这个屏风的锁，你可以用本房的钥匙；你也可以指定

用另一个房子的钥匙才能开，这样的话，你要跑到另一栋房子那儿把那个钥匙拿来，并用那个房子的钥匙来打开这个房子的带锁的屏风。

         记住你获得的那另一栋房子的钥匙，并不影响其他人进入那栋房子没有锁的房间。

         为什么要使用同步代码块呢？我想应该是这样的：首先对程序来讲同步的部分很影响运行效率，而一个方法通常是先创建一些局部变

量，再对这些变量做一些 操作，如运算，显示等等；而同步所覆盖的代码越多，对效率的影响就越严重。因此我们通常尽量缩小其影响范围。

如何做？同步代码块。我们只把一个方法中该同 步的地方同步，比如运算。

         另外，同步代码块可以指定钥匙这一特点有个额外的好处，是可以在一定时期内霸占某个对象的key。还记得前面说过普通情况下钥

匙的使用原则吗。现在不是普通情况了。你所取得的那把钥匙不是永远不还，而是在退出同步代码块时才还。

          还用前面那个想连续用两个上锁房间的家伙打比方。怎样才能在用完一间以后，继续使用另一间呢。用同步代码块吧。先创建另外

一个线程，做一个同步代码 块，把那个代码块的锁指向这个房子的钥匙。然后启动那个线程。只要你能在进入那个代码块时抓到这房子的钥匙

，你就可以一直保留到退出那个代码块。也就是说 你甚至可以对本房内所有上锁的房间遍历，甚至再sleep(10*60*1000)，而房门口却还有

1000个线程在等这把钥匙呢。很过瘾吧。

          在此对sleep()方法和钥匙的关联性讲一下。一个线程在拿到key后，且没有完成同步的内容时，如果被强制sleep()了，那key还一

直在 它那儿。直到它再次运行，做完所有同步内容，才会归还key。记住，那家伙只是干活干累了，去休息一下，他并没干完他要干的事。为

了避免别人进入那个房间 把里面搞的一团糟，即使在睡觉的时候他也要把那唯一的钥匙戴在身上。