JAVA 同步之 synchronized 修饰方法
在JAVA多线程编程中,将需要并发执行的代码放在Thread类的run方法里面,然后创建多个Thread类的对象,调用start()方法,线程启动执行。
当某段代码需要互斥时,可以用 synchronized 关键字修饰,这里讨论 synchronized 关键字修饰方法时,是如何互斥的。
synchronized 修饰方法时锁定的是调用该方法的对象。它并不能使调用该方法的多个对象在执行顺序上互斥。
下面举个具体的例子说明:
Test.java 通过 implements Runnable 成为一个线程类,它有一个MethodSync实例变量,这样,每当实例化一个Test对象时(相当于创建一个线程)就会初始化一个相应的MethodSync对象。然后在Test类的run()方法里面调用 synchronized 修饰的方法。
Test.java
1 public class Test implements Runnable{ 2 private String name; 3 // private static MethodSync methodSync = new MethodSync(); 4 private MethodSync methodSync = new MethodSync(); 5 6 public Test(String name){ 7 this.name = name; 8 } 9 10 @Override 11 public void run() { 12 methodSync.method(name); 13 } 14 15 public static void main(String[] args) { 16 Thread t1 = new Thread(new Test("test 1")); 17 Thread t2 = new Thread(new Test("test 2")); 18 t1.start(); 19 t2.start(); 20 } 21 }
上面创建了二个Test类的对象,相当于启动了两个线程, 这两个线程将会并发地执行它们的run方法中的代码。
MethodSync.java ,该类只拥有一个用来测试的 synchronized 方法
1 public class MethodSync { 2 3 /* 4 * @Task : 测试 synchronized 修饰方法时锁定的是调用该方法的对象 5 * @param name 线程的标记名称 6 */ 7 public synchronized void method(String name){ 8 System.out.println(name + " Start a sync method"); 9 try{ 10 Thread.sleep(300); 11 }catch(InterruptedException e){} 12 System.out.println(name + " End the sync method"); 13 } 14 }
先看执行结果:
test1 先于 test2 执行 同步方法,但是却后于 test2 结束。这里并没有达到互斥的效果!原因是:MethodSync是实例变量,每次创建一个Test对象就会创建一个MethodSync对象, synchronized 只会锁定调用method()方法的那个MethodSync对象,而这里创建的两个线程分别拥有两个不同的MethodSync对象,它们调用method方法时就没有互斥关系。
当把Test.java 中的MethodSync 变量 用 static 来修饰时,执行结果如下:
这里,正确实现了同步作用。原因如下:这里也创建了二个线程(Test 对象),但是每个Test对象共享MethodSync 变量,也即只有一个MethodSync 变量在两个线程中执行 method方法,这样两个线程在执行到method 方法这段代码时就会形成互斥。
2018.12.13更新:
记录一下我对synchronized关键字的理解:
1,相对于ReentrantLock而言,synchronized锁是重量级锁,重量级体现在活跃性差一点。synchronized锁是内置锁,意味着JVM能基于synchronized锁做一些优化:比如增加锁的粒度(锁粗化)、锁消除。
2,在synchronized锁上阻塞的线程是不可中断的:线程A获得了synchronized锁,当线程B也去获取synchronized锁时会被阻塞。而且,线程B无法被其他线程中断(不可中断的阻塞),而ReentrantLock锁能实现可中断的阻塞。
3,synchronized锁释放是自动的,当线程执行退出synchronized锁保护的同步代码块时,会自动释放synchronized锁。而ReentrantLock需要显示地释放:即在try-finally块中释放锁。
4,线程在竞争synchronized锁时是非公平的:假设synchronized锁目前被线程A占有,线程B请求锁未果,被放入队列中,线程C请求锁未果,也被 放入队列中,线程D也来请求锁,恰好此时线程A将锁释放了,那么线程D将跳过队列中所有的等待线程(即:线程B和线程C)并获得这个锁。
而ReentrantLock能够实现锁的公平性。
5,synchronized锁是读写互斥并且 读读也互斥,ReentrantReadWriteLock 分为读锁和写锁,而读锁可以同时被多个线程持有,适合于读多写少场景的并发。