多线程的出现是要解决什么问题?本质是什么?

多线程的出现是要解决什么问题?本质是什么?

CPU、内存、I/O设备的速度是有极大的差异的,为了合理利用CPU的高性能,平衡三者的速度差异,计算机体系结构、操作系统、编译程序都做出了贡献,主要体现为:

  • CPU增加了缓存,以均衡与内存的速度差异;//导致可见性问题
  • 操作系统增加了进程、线程,以分时复用CPU,进而均衡CPU和I/O设备的速度差异;//导致原子性问题
  • 编译程序优化指令执行次序,使得缓存能够得到更加合理的利用。//导致有序性问题

接着理解一下:可见性、有序性、原子性

  • 原子性

    在java中,对基本数据类型的变量的读取和赋值操作是原子性操作,即这些操作是不可被中断的,要么执行,要么不执行。

    x=1;//语句1:直接数值10 赋值给x,也就是说线程执行这个语句的会直接将数值10写入到工作内存中
    y=x;//语句2:包含2个操作,他先要去读取x的值,再将x的值写入工作内存,虽然读取x的值以及将x的值写入工作内存,这两个操作都是     //原子性操作,但是合起来就不是原子性的了
    x++;//语句3:x++包含三个操作,读取x的值,进行加1操作,写入新的值
    x=x+1;//语句4:和语句3一样
    

    上面4个语句只有语句1是原子性操作;也就是说,只有简单的读取、赋值(而且必须是将数字赋值给耨个变量,变量之间的相互赋值不是原子性操作)才是原子性操作
    从上面可以看出,java内存模型只保证了基本读取和赋值是原子性操作,如果要实现更大范围操作的原子性,可以通过synchronized和Lock来实现。由于synchronized和Lock能够保证任意时刻只有一个线程执行该代码块,那么自然不存在原子性问题了,从而保证了原子性

  • 可见性

    Java提供了volatile关键字来保证可见性
    当一个共享变量被volatile修饰时,他会保证修改的值会立即被更新到主存,当其他线程需要读取时,他会去内存中读取新值
    而普通的共享变量不能保证可见性,因为普通共享变量修改之后,什么时候被写入主存是不确定的,当其他线程去读取时,此时内存中可能还是原来的旧值,因此无法保证可见性
    另外,通过synchronized和Lock也能够保证可见性,synchronized和Lock能保证同一时刻只有一个线程获取锁然后执行同步代码块,并且在释放锁之前会将对变量的修改刷新到主存当中,因此保证可见性

  • 有序性

    在Java里面,可以通过volatile关键字来保证一定的“有序性”。另外可以通过synchronized和Lock来保证有序性,很显然synchronized和Lock保证每个时刻是有一个线程执行同步代码,相当于是让线程顺序执行同步代码块,自然保证了有序性;当然JMM是通过Happens-Before规则来保证有序性的;

  • 0
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值