目录
关于多线程并发环境下,数据的安全问题:
- 以后在开发中,我们的项目都是运行在服务器当中,而服务器已经将线程的定义,线程对象的拆功能键,线程的启动等,都已经实现完了。这些代码我们都不需要编写。
- 重要是的:
- 你要知道,你编写的程序需要放到一个多线程的环境下运行,
- 你更需要关注的是这些数据在多线程并发的环境下是否是安全的。
什么时候数据在多线程并发的环境下存在安全问题呢?
- 三个条件:
- 1、多线程并发
- 2、有共享数据
- 3、共享数据有修改的行为。
- 满足以上三个条件之后,就会存在线程安全问题。
怎么解决线程安全问题呢?
- 当多线程并发的环境下,有共享数据,并且这个数据还会被修改,此时就存在线程安全问题,
- 怎么解决这个问题呢?
- 线程排队执行。(不能并发)
- 用排队执行解决线程安全问题。
- 这种机制被称为:线程同步机制。
- 专业术语叫做:线程同步,实际上就是线程不能并发了,线程必须排队执行。
- 线程同步就是线程排队了,线程排队了就会牺牲一部分效率,没办法,
- 数据安全第一位,只有数据安全了,我们才可以谈效率。数据不安全,没有效率的事。
- 说到线程同步这块,涉及到这两个专业术语:
- 异步编程模型:
- 线程t1和线程t2,各自执行各自的,t1不管t2,t2不管t1,谁也不需要登谁,这种编程模型叫做:异步编程模型。其实就是:多线程并发(效率较高)。
- 同步编程模型:
- 线程t1和线程t2,在线程t1执行的时候,必须等待t2线程执行结束,或者说在t2线程执行的时候,必须等待t1线程执行结束,两个线程之间发生了等待关系,这就是同步编程模型。效率较低,线程排队执行。
- 异步编程模型:
线程同步机制的语法是:
synchronized(){
//线程同步代码块
}
synchronized后面的小括号中传的这个数据是相当关键的。
这个数据必须是多线程共享的数据。才能达到多线程排队。
()中写什么?
那要看你想让哪些线程同步。
假设t1,t2,t3,t4,t5,有五个线程。
你只希望t1,t2,t3排队,t4,t5不需要排队,怎么办?
你一定要在()写一个t1,t2,t3共享的对象,而这个对象对于t4,t5来说不是共享的。
执行原理:
1、假设t1和t2线程并发,开始执行以下代码的时候,肯定有一个先一个后。
2、假设t1先执行了,遇到了synchronized,这个时候自动找后面共享对象的对象锁。找到之后,并占有这把锁,然后执行同步代码块中的程序,在程序执行过程中一直都是占有这把锁的。直到同步代码块代码结束,这把锁才会释放。
3、假设t1已经占有这把锁,此时t2也遇到synchronized关键字,也会去占有后面共享对象的这把锁,结果这把锁被t1占有,t2只能在同步代码块外面等待t1的结束,直到t1把同步代码块执行结束了,t1会归还这把锁,此时t2终于等到这把锁,然后t2占有这把锁之后,进入同步代码块执行程序。
这里需要注意的是:这个共享对象一定要选好了。这个共享对象一定是你需要排队执行的这些线程对象锁共享的。
java中的三大变量,那些会存在线程安全问题:
- 实例变量:堆中
- 静态变量:方法区中
- 局部变量:栈中
- 以上三大变量中:
- 局部变量永远都不会存在线程安全问题。
- 因为局部变量不共享,一个线程一个栈。
- 局部变量在栈中。所以局部变量永远都不会共享。
- 实例变量在堆中,堆只有一个。
- 静态变量在方法区中,方法区只有一个。
- 堆和方法区都是多线程共享的,所以可能存在线程安全问题。
- 局部变量 + 常量:不会有线程安全问题。
- 成员变量:可能会有线程安全问题。
- 在实例方法上可以使用synchronized吗? 可以的
- synchronized出现在实例方法上,一定锁的是this。没得挑,只能是this,不能是其他的对象了。所以这种方式不灵活。
- 另外还有一个缺点:
- synchronized出现在实例方法上,表示整个方法体都需要同步,可能会无故扩大同步的范围,
- 导致程序的执行效率降低。所以这种方式不常用。
- 优点是:
- 代码写的少了,节俭了。
- 如果共享的对象就是this,并且需要同步的代码块是整个方法体,不建议使用这种方式。
synchronized有三种写法:
- 第一种:同步代码块,灵活
- Synchronized(线程共享对象){
- 同步代码块
- }
- Synchronized(线程共享对象){
- 第二种:在实例方法上使用synchronized
- 表示共享对象一定是this
- 并且同步代码块是整个方法体。
- 第三种:在静态方法上使用synchronized
- 表示找类锁。
- 类锁永远只有一把。
- 就算创建100个对象,哪类锁也只有一把。
- 对象锁:一个对象一把锁,一百个对象一百把锁。
- 类锁:一百个对象,也只能是一把类锁。
互斥锁:
1、Java语言中,引入了对象互斥锁的概念,来保证共享数据操作的完整性
2、每个对象都对应于一个可称为互斥锁的标记,这个标记用来保证在任意时刻,只能有一个线程访问该对象
3、关键字synchronized来与对象的互斥锁联系,当某个对象用synchronized修饰时,表明该对象在任意时刻只能由一个线程访问
4、同步的局限性:导致程序的执行效率要降低
5、同步方法 (非静态方法) 的所可以是this,也可以是其他对象(要求是同一个对象)
6、同步方法 (静态的) 的锁为当前类本身
注意事项:
1、同步方法如果没有使用static修饰:默认锁对象为this
2、如果方法使用static修饰:默认锁对象为 当前类.class
3、实现的落地步骤:
1、需要先分析上锁的代码
2、选择同步代码块或同步方法
3、要求多个线程的锁对象为同一个即可
我们以后开发中应该怎么解决线程安全问题?
是一上来就选择线程同步吗?
不是,synchronized会让程序的执行效率降低,用户体验不好。
系统的用户吞吐量降低。用户体验差。在不得已的情况下在选择线程同步机制。
第一种方案:
尽量使用局部变量代替实例变量和静态变量。
第二种方案:
如果必须是实例变量,那么可以考虑创建多个对象,这样实例变量的内存就不共享了。
一个线程对应一个对象,一百个线程对应一百个对象,对象不共享,就没有数据安全问题了。
第三种方案:
如果不能使用局部变量,对象也不能创建多个,这个时候就只能选择synchronized了。线程同步机制。
实现线程的第三种方式:实现Callable接口。
这种方式实现的线程可以获取线程的返回值。
之前讲解的哪两种方法是无法获取线程返回值的,因为run方法返回void。
优点:可以获取到线程的执行结果,也就是返回值。
缺点:效率比较低,在获取线程执行结果的时候,当前线程受阻塞,效率较低。
第一步、创建一个未来任务类,需要给一个参数:Callable接口实现类对象。
第二部、创建线程对象,把未来任务类作为线程参数传进去,调用未来任务类的get方法可以得到返回值。