前往小程序,Get更优阅读体验!
立即前往
首页
学习
活动
专区
工具
TVP
发布
社区首页 >专栏 >快速掌握并发编程---synchronized篇(上)

快速掌握并发编程---synchronized篇(上)

作者头像
田维常
发布2020-10-23 15:41:49
3820
发布2020-10-23 15:41:49
举报
文章被收录于专栏:Java后端技术栈cwnait

昨天我们聊了并发编程的基础篇快速掌握并发编程---基础篇,今天我们继续聊并发编程的synchronized篇。

谈到线程可能都会想到线程安全问题,想到线程安全,可能会联想到synchronized这个关键字。这也是工作中或者面试中很重要的一个知识点。

相信不少同学在工作中使用过这个synchronized(同步锁)。

下面来个面试连环炮:

  1. 什么业务场景下使用了同步锁?
  2. 使用他有什么好处?
  3. 会存在问题吗?
  4. 有更好的方法替换吗?
  5. 什么叫做线程安全?
  6. 如果让你来设计一个同步锁,你会怎么设计?

何为线程安全?

我们经常会听说某个类是线程安全,某个类不是线程安全的。那么究竟什么叫做线程安全呢?

我们引用《Java Concurrency in Practice》里面的定义:

在不使用额外同步的情况下,多个线程访问一个对象时,不论线程之间如何交替执行或者在调用方进行任何其它的协调操作,调用这个对象的行为都能得到正确的结果,那么这个对象是线程安全的。

也可以这么理解:

多个线程访问同一个对象时,如果不用考虑这些线程在运行时环境下的调度和交替执行,也不需要进行额外的同步,或者在调用方进行任何其他操作,调用这个对象的行为都可以获得正确的结果,那么这个对象就是线程安全的。 或者说:一个类或者程序所提供的接口对于线程来说是原子操作或者多个线程之间的切换不会导致该接口的执行结果存在二义性,也就是说我们不用考虑同步的问题。

可以简单的理解为:“你随便怎么调用,出了问题算我输”。

这个定义对于类来说是十分严格的,即使是Java API中标为线程安全的类也很难满足这个要求。

比如Vector是标记为线程安全的,但实际上并不能满足这个条件,举个例子:

代码语言:javascript
复制
public class Vector<E>  extends AbstractList<E>  implements List<E>, RandomAccess, Cloneable, java.io.Serializable{
    public synchronized E get(int index) {
        if (index >= elementCount)
            throw new ArrayIndexOutOfBoundsException(index);
        return elementData(index);
    }
    public synchronized void removeElementAt(int index) {
        modCount++;
        if (index >= elementCount) {
            throw new ArrayIndexOutOfBoundsException(index + " >= " +
                                                     elementCount);
        }
        else if (index < 0) {
            throw new ArrayIndexOutOfBoundsException(index);
        }
        int j = elementCount - index - 1;
        if (j > 0) {
            System.arraycopy(elementData, index + 1, elementData, index, j);
        }
        elementCount--;
        elementData[elementCount] = null; /* to let gc do its work */
    }
    //....基本上所有方法都是synchronized修饰的
}   

来看下面一个案例:

判断Vector中第0个元素是不是空字符,如果是空字符就将其删除。

代码语言:javascript
复制
package com.java.tian.blog.utils;

import java.util.Vector;

public class SynchronizedDemo{
    static Vector<String> vct = new Vector<String>();
    public  void remove() {
        if("".equals(vct.get(0))) {
            vct.remove(0);
        }
    }

    public static void main(String[] args) {
        vct.add("");
        SynchronizedDemo synchronizedDemo = new SynchronizedDemo();
        new Thread(new Runnable() {
            @Override
            public void run() {
                synchronizedDemo.remove();
            }
        },"线程1").start();
        new Thread(new Runnable() {
            @Override
            public void run() {
                synchronizedDemo.remove();
            }
        },"线程2").start();

    }
}

上面的逻辑看起来没有瑕疵,实际上是有可能导致错误的。假设第0个元素是空字符,判断的时候得到的结果是true。

两个线程同时执行上面的remove方法,(极端的情况)都可能get到的是"",然后都去删除第0个元素,这个元素有可能已经被其它线程删除了,因此Vector不是绝对线程安全的。(上面这个案例只是做演示而已,在你的业务代码里面这么写的话,线程安全真的就不能靠Vector来保证了)。

通常情况下我们说的线程安全都是相对线程安全,相对线程安全只要求调用单个方法的时候不需要同步就可以得到正确的结果,但是多个方法组合调用的时候也是有可能导致多线程问题的。如果想让上面的操作执行正确我们需要在调用Vector方法的时候添加额外的同步操作:

代码语言:javascript
复制
package com.java.tian.blog.utils;

import java.util.Vector;

public class SynchronizedDemo {
    static Vector<String> vct = new Vector<String>();

    public void remove() {
        synchronized (vct) {
        //synchronized (SynchronizedDemo.class) {
            if ("".equals(vct.get(0))) {
                vct.remove(0);
            }
        }
    }

    public static void main(String[] args) {
        vct.add("");
        SynchronizedDemo synchronizedDemo = new SynchronizedDemo();
        new Thread(new Runnable() {
            @Override
            public void run() {
                synchronizedDemo.remove();
            }
        }, "线程1").start();
        new Thread(new Runnable() {
            @Override
            public void run() {
                synchronizedDemo.remove();
            }
        }, "线程2").start();
    }
}

根据Vector的源代码可知:Vector的每个方法都使用了synchronized关键字修饰,因此锁对象就是这个对象本身。在上面的代码中我们尝试获取的也是vct对象的锁,可以和vct对象的其它方法互斥,因此这样做可以保证得到正确的结果。

如果Vector内部使用的是其它锁同步的,并封装了锁对象,那么我们无论如何都无法正确执行这个“先判断后修改”的操作。假设被封装的对象锁为obj,get()和remove()方法对应的锁都是obj,而整个操作过程获取的是vct的锁,一个线程调用get()方法成功后就释放了obj的锁,这时这个线程只持有vct的锁,而其它线程可以获得obj的锁并抢先一步删除了第0个元素。

Java为开发者提供了很多强大的工具类,这些工具类里面有的是线程安全的,有的不是线程安全的。在这里我们列举几个面试常考的:

线程安全的类:Vector、Hashtable、StringBuffer

非线程安全的类:ArrayList、HashMap、StringBuilder

有人可能会反问:为什么Java不把所有的类都设计成线程安全的呢?这样对于我们开发者来说岂不是更爽吗?我们就不用考虑什么线程安全问题了。

事情都是具有两面性的,获得线程安全但是性能会有所下降,毕竟锁的开销是摆在那里的。线程不安全但是性能会有所提升。具体场景还得看业务更偏向于哪一个。

一个问题引发的思考

代码语言:javascript
复制
public class SynchronizedDemo {

    static int count;

    public void incre() {
        try {
            //每个线程都睡一会,模仿业务代码
            Thread.sleep(100 );
        } catch (InterruptedException e) {
            e.printStackTrace();
        }
        count++;
    }

    public static void main(String[] args) {
        SynchronizedDemo synchronizedDemo = new SynchronizedDemo();

        for (int i = 0; i < 1000; i++) {
            new Thread(new Runnable() {
                @Override
                public void run() {
                    synchronizedDemo.incre();
                }
            }).start();
        }
        try {
            //让主线程等待所有线程执行完毕
            Thread.sleep(2000L);
        } catch (InterruptedException e) {
            e.printStackTrace();
        }
        System.out.println(count);
    }
}

上面这段代码输出的结果是不确定的,结果是小于等于1000。

1000线程都去对count进行++操作。

如何使用同步锁?

在Java中有个说法叫做“万事万物皆对象”。synchronized就是基于对象来做文章的,与其称之为同步锁还不如叫它对象锁。

synchronized常用三种使用方式:

  • 修饰普通方法(实例方法)
  • 静态同步方法
  • 代码块
修饰普通方法(实例方法)
多个对象多把锁
代码语言:javascript
复制
public class SynchronizedDemo {

    static int count;

    public synchronized void incre() {
        try {
            Thread.sleep(1);
        } catch (InterruptedException e) {
            e.printStackTrace();
        }
        count++;
    }

    public static void main(String[] args) {
        for (int i = 0; i < 1000; i++) {
            SynchronizedDemo synchronizedDemo = new SynchronizedDemo();
            new Thread(new Runnable() {
                @Override
                public void run() {
                    synchronizedDemo.incre();
                }
            }).start();
        }
        try {
            Thread.sleep(2000L);
        } catch (InterruptedException e) {
            e.printStackTrace();
        }
        System.out.println(count);
    }
}

输出

代码语言:javascript
复制
996

这里输出的结果是小于等于1000。证明了,进去test方法没有收到同步锁synchronized的管控。证明synchronized锁失败。原因就是多个对象多把锁造成的。因为每次都是重新new一个SynchronizedDemo对象。这里就叫做多个对象多把锁。

一个对象一把锁

把上面代码进行一点点调整

代码语言:javascript
复制
public class SynchronizedDemo {

    static int count;

    public synchronized void incre() {
        try {
            Thread.sleep(1);
        } catch (InterruptedException e) {
            e.printStackTrace();
        }
        count++;
    }

    public static void main(String[] args) {
        //只有一个对象
        SynchronizedDemo synchronizedDemo = new SynchronizedDemo();
        for (int i = 0; i < 1000; i++) {
            new Thread(new Runnable() {
                @Override
                public void run() {
                    synchronizedDemo.incre();
                }
            }).start();
        }
        try {
            Thread.sleep(2000L);
        } catch (InterruptedException e) {
            e.printStackTrace();
        }
        System.out.println(count);
    }
}

输出

代码语言:javascript
复制
1000

这时候的synchronized同步锁就有效了。后面的线程必须等前面线程执行完了在执行。

修饰静态同步方法

也就是上面的代码稍作调整

代码语言:javascript
复制
public class SynchronizedDemo {

    static int count;

    public static synchronized void incre() {
        try {
            Thread.sleep(1);
        } catch (InterruptedException e) {
            e.printStackTrace();
        }
        count++;
    }

    public static void main(String[] args) {

        for (int i = 0; i < 1000; i++) {
            new Thread(new Runnable() {
                @Override
                public void run() {
                    incre();
                }
            }).start();
        }
        try {
            Thread.sleep(2000L);
        } catch (InterruptedException e) {
            e.printStackTrace();
        }
        System.out.println(count);
    }
}

输出

代码语言:javascript
复制
1000

同步锁synchronized起到了锁的作用。多个线程同时访问静方法,线程会发生互斥(即一个线程访问,另一个线程只能等着),因为静态方法是依附于类对象而不是实例对象的,当synchronized修饰静态方法时,锁是class对象。

修饰代码块

第一种同步代码块(实例)

代码语言:javascript
复制
public class SynchronizedDemo {

    static int count;

    public void incre() {
        synchronized(this) {
            try {
                Thread.sleep(1);
            } catch (InterruptedException e) {
                e.printStackTrace();
            }
            count++;
        }
    }

    public static void main(String[] args) {

        for (int i = 0; i < 1000; i++) {
            new Thread(new Runnable() {
                //每个线程都自己创建一个对象
                SynchronizedDemo synchronizedDemo = new SynchronizedDemo();
                @Override
                public void run() {
                    synchronizedDemo.incre();
                }
            }).start();
        }
        try {
            Thread.sleep(2000L);
        } catch (InterruptedException e) {
            e.printStackTrace();
        }
        System.out.println(count);
    }
}

输出结果不是确定的值,但是是小于等于1000的值。说明这个synchronized同步锁没起到作用。

代码语言:javascript
复制
synchronized (this) {
 //......
}

这里的this只的是当前对象,但是上面main方法中我们是new了两个对象SynchronizedDemo。由此这个synchronized肯定就没有锁的作用了。

代码语言:javascript
复制
public class SynchronizedDemo {

    static int count;

    public   void incre() {
        synchronized(this) {
            try {
                Thread.sleep(1);
            } catch (InterruptedException e) {
                e.printStackTrace();
            }
            count++;
        }
    }

    public static void main(String[] args) {
        SynchronizedDemo synchronizedDemo = new SynchronizedDemo();
        for (int i = 0; i < 1000; i++) {
            new Thread(new Runnable() {
                @Override
                public void run() {
                    synchronizedDemo.incre();
                }
            }).start();
        }
        try {
            Thread.sleep(2000L);
        } catch (InterruptedException e) {
            e.printStackTrace();
        }
        System.out.println(count);
    }
}

输出

代码语言:javascript
复制
1000

共用一个对象synchronizedDemo的时候,锁住synchronizedDemo对象后,其他线程就必须得等待前一个线程执行结束。

第二种同步代码块(静态)

在对上面的同步代码块进行稍微的改造:

代码语言:javascript
复制
public class SynchronizedDemo {

    static int count;

    public  void incre() {
        synchronized(SynchronizedDemo.class) {
            try {
                Thread.sleep(1);
            } catch (InterruptedException e) {
                e.printStackTrace();
            }
            count++;
        }
    }

    public static void main(String[] args) {
        for (int i = 0; i < 1000; i++) {
            new Thread(new Runnable() {
                SynchronizedDemo synchronizedDemo = new SynchronizedDemo();
                @Override
                public void run() {
                    synchronizedDemo.incre();
                }
            }).start();
        }
        try {
            Thread.sleep(2000L);
        } catch (InterruptedException e) {
            e.printStackTrace();
        }
        System.out.println(count);
    }
}

输出

代码语言:javascript
复制
1000

同步锁起到锁的作用了。

代码语言:javascript
复制
synchronized (SynchronizedDemo.class) {
   //....
}

这时候锁住的是SynchronizedDemo.class对象,class对象在整个JVM里只有一个,所以此时的synchronized是起到锁的作用了。

类加载器对 class 锁的影响
代码语言:javascript
复制
synchronized (SynchronizedDemo.class) {
   //....
}

在 JVM 里,class 的唯一性是由 class 全限定名和 classloader 决定的,同一个全限定名的 class 被不同的 classloader 加载,最终的 class 对象是不一样的。下面来看一段代码

代码语言:javascript
复制
public class SynchronizedDemo{

    public  void test1() {
        synchronized (this.getClass()) {
            System.out.println("start-" + Thread.currentThread().getName());
            try {
                Thread.sleep(1000);
            } catch (InterruptedException e) {
                e.printStackTrace();
            }
            System.out.println("end-" + Thread.currentThread().getName());
        }
    }
    public  void test2() {
        synchronized (this.getClass()) {
            System.out.println("start-" + Thread.currentThread().getName());
            try {
                Thread.sleep(1000);
            } catch (InterruptedException e) {
                e.printStackTrace();
            }
            System.out.println("end-" + Thread.currentThread().getName());
        }
    }

    public static void main(String[] args) throws InterruptedException {
        SynchronizedDemo synchronizedDemo1 = new SynchronizedDemo();
        SynchronizedDemo synchronizedDemo2 = new SynchronizedDemo();
        new Thread(new Runnable() {
            @Override
            public void run() {
                synchronizedDemo1.test1();
            }
        },"线程1").start();
        new Thread(new Runnable() {
            @Override
            public void run() {
                synchronizedDemo2.test2();
            }
        },"线程2").start();
    }
}

输出

代码语言:javascript
复制
start-线程1
end-线程1
start-线程2
end-线程2

我们可以看到,通过对this.getClass() 加锁,即使咱调用的是不同的实例对象,也能达到互斥访问的效果,因为它们的 class 是相同的,竞争的是同一把锁。

当我们的类加载器使用的不是同一个的情况下,会出现不同的Class对象。下面来证明一下

自定义一个类加载器MyClassLoader

代码语言:javascript
复制
package com.java.tian.blog.utils;

import java.net.URL;
import java.net.URLClassLoader;

public class MyClassLoader extends URLClassLoader {
    public MyClassLoader(URL[] urls) {
        super(urls);
    }

    @Override
    protected Class<?> loadClass(String name, boolean resolve)
            throws ClassNotFoundException {
        synchronized (getClassLoadingLock(name)) {
            Class<?> c = findLoadedClass(name);
            if (c == null) {
                if ("com.java.tian.blog.utils.SynchronizedDemo".equals(name)) {
                    c = findClass(name);
                } else {
                    return super.loadClass(name, resolve);
                }
            }
            if (resolve) {
                resolveClass(c);
            }
            return c;
        }
    }
}

然后对SynchronizedDemo进行改造

代码语言:javascript
复制
package com.java.tian.blog.utils;

import java.io.File;
import java.lang.reflect.Method;
import java.net.URL;

public class SynchronizedDemo{

    public  void test1() {
        synchronized (this.getClass()) {
            System.out.println("start-" + Thread.currentThread().getName());
            try {
                Thread.sleep(1000);
            } catch (InterruptedException e) {
                e.printStackTrace();
            }
            System.out.println("end-" + Thread.currentThread().getName());
        }
    }
    public  void test2() {
        synchronized (this.getClass()) {
            System.out.println("start-" + Thread.currentThread().getName());
            try {
                Thread.sleep(1000);
            } catch (InterruptedException e) {
                e.printStackTrace();
            }
            System.out.println("end-" + Thread.currentThread().getName());
        }
    }

    public static void main(String[] args) throws Exception {
        URL url = new File("E:\\bokeCode\\mblog-master\\target\\classes").toURL();
        MyClassLoader myClassLoader = new MyClassLoader(new URL[]{url});
        MyClassLoader myClassLoader2 = new MyClassLoader(new URL[]{url});

        //分别使用myClassLoader和myClassLoader2加载
        Class clazz1 = myClassLoader.loadClass("com.java.tian.blog.utils.SynchronizedDemo");
        Class clazz2 = myClassLoader2.loadClass("com.java.tian.blog.utils.SynchronizedDemo");
        Method method01 = clazz1.getMethod("test1");
        Method method02 = clazz2.getMethod("test2");
        new Thread(new Runnable() {
            @Override
            public void run() {
                try {
                    method01.invoke(clazz1.newInstance());
                } catch (Exception e) {
                    e.printStackTrace();
                }
            }
        },"线程1").start();
        new Thread(new Runnable() {
            @Override
            public void run() {
                try {
                    method02.invoke(clazz2.newInstance());
                } catch (Exception e) {
                    e.printStackTrace();
                }
            }
        },"线程2").start();
    }
}

输出

代码语言:javascript
复制
start-线程1
start-线程2
end-线程1
end-线程2

发现此时的synchronized没有同步的作用了。

小总结

上面已经给出了synchronized的使用场景,以及什么时候有锁的作用,什么时候没有锁的作用。

我们在使用 Synchronized 的时候需要明确,在指定的用法下,当前的锁对象是谁?

是当前实例对象、动态实例对象、类对象。

一个对象一把锁、多个对象多把锁。

上面这里举了这么些个例子,只是为了说明使用 Synchronized 时,一定要保证锁对象的唯一性,只是 class 对象由于有类加载器的影响,较为特殊。

关于 JVM 的类加载机制有很多内容,本文的重心不在这里,也就不进行过多的讨论了。此外, Synchronized知识点相对较多,明天我们再继续聊~

推荐阅读

本文参与 腾讯云自媒体同步曝光计划,分享自微信公众号。
原始发表:2020-10-07,如有侵权请联系 cloudcommunity@tencent.com 删除

本文分享自 Java后端技术全栈 微信公众号,前往查看

如有侵权,请联系 cloudcommunity@tencent.com 删除。

本文参与 腾讯云自媒体同步曝光计划  ,欢迎热爱写作的你一起参与!

评论
登录后参与评论
0 条评论
热度
最新
推荐阅读
目录
  • 何为线程安全?
  • 如何使用同步锁?
    • 修饰普通方法(实例方法)
      • 多个对象多把锁
      • 一个对象一把锁
    • 修饰静态同步方法
      • 修饰代码块
        • 类加载器对 class 锁的影响
          • 小总结
          领券
          问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档