最后
我还为大家准备了一套体系化的架构师学习资料包以及BAT面试资料,供大家参考及学习
已经将知识体系整理好(源码,笔记,PPT,学习视频)
volatile 保证了共享变量的可见性和有序性。
可见性是指一个线程修改了共享变量,另一个线程可以立即感知到。有序性是指禁止编译器或处理器重排序。
volatile 是如何保证可见性的呢?
其实是 JVM 在 volatile 写的时候加一个 lock 前缀,它包含两层含义,第一个是将当前处理器缓存行的数据写回到系统内存,第二个就是这个写内存的操作会使其他 CPU 里缓存了该内存地址的数据无效。但是,就算回写到内存,如果其他处理器缓存的值还是旧的还是有问题的,为了保证各个处理器的缓存是一致的,就会实现缓存一致性协议,即每个处理器通过嗅探在总线上传播的数据来检查自己缓存的值是不是过期了,如果内存地址被修改就会把当前处理器的缓存行设置为无效状态,当处理器对这个数据进行操作的时候,就会重新拉一份新的值。
volatile 是如何保证有序性的呢?
其实是通过内存屏障来实现的,具体有以下三条:
- 在 volatile 写操作的前面插入一个 StoreStore 屏障,保证 volatile 写操作不会和之前的写操作重排序。
- 在 volatile 写操作的后面插入一个 StoreLoad 屏障,保证 volatile 写操作不会和之后的读操作重排序。
- 在 volatile 读操作的后面插入一个 LoadLoad 屏障 + LoadStore 屏障,保证 volatile 读操作不会和之后的读操作、写操作重排序。
synchronized 的实现原理
先说一下 synchronized 的基本使用,对于普通方法,锁是当前实例对象,对于静态方法,锁是当前类的 Class 对象,对于同步代码块,锁是括号里配置的对象。
对于锁方法,就是在编译方法的时候 ACCESS_FLAGS 加一个 ACC_SYNCHRONIZED 标识位,Access_Flags 就是访问标识位,除此之外还有常见的 public、private、static 等等。
对于锁代码块,其实就在代码块的前后增加一对 monitorenter 和 monitorexit 指令。
在 Java 1.6 时,synchronized 做了大量优化,引入了轻量级锁和偏向锁。此时锁有四种状态,分别是无锁、偏向锁、轻量级锁和重量级锁。这几个状态会随着竞争情况逐渐升级,锁可以升级但不能降级,不过锁降级确实会发生,只不过概率很小,当 JVM 进入安全点的时候,会检查是否有闲置的 Monitor,然后试图进行降级。
在讲这四种状态之前,首先要先讲一下对象头。
synchronized 用的锁的信息是存放在 Java 对象头的 Mard Word 标记字段中的,它里面保存了对象的 HashCode、分代年龄和锁标志位。锁标志位用两个 bit 表示,00 表示轻量级锁,10 表示重量级锁,01 表示偏向锁和无锁,它们两个再用一个 bit 表示是否是偏向锁。
下面就先讲一下偏向锁,为什么要有偏向锁呢?其实呢,在大多数情况下,锁不仅不存在多线程竞争,而且总是由同一个线程多次获得,为了让线程获得锁的代价更低而引入了偏向锁。当一个线程访问同步块并获取锁时,会在对象头里记录锁偏向的线程 ID,下次该线程再次进入只需要判断线程 ID 就可以了。
接着讲轻量级锁。当有一个线程竞争获取锁时,由于该锁已经是偏向锁,当发现对象头 Mark Word 中的线程 ID 不是自己的线程 ID,就会进行 CAS 操作获取该锁。如果获取到了就替换线程 ID,继续保持偏向锁状态,如果获取不到就自旋一段时间再次获取,也就是自旋锁,如果在指定次数没有成功,就会膨胀为重量级锁,当前线程阻塞掉。默认次数好像是 15,当然,后面出了自适应自旋锁,会根据上次自旋的次数来设置。因为长时间的自旋会消耗 CPU,所以会有限制次数这一说。轻量级锁适用于线程交替执行同步块的场景,绝大部分的锁在整个同步周期都不存在长时间的竞争。
Lock 的实现原理
Lock 和 synchronized 相比,都是可重入的独占锁,不同的是 Lock 是显式锁,lock/unlock 需要自己手动调用加解锁,而 synchronized 是隐式锁。Lock 本身是一个接口,可以通过调用 lockInterruptibly 设置可中断锁,也可以调用其 newConditicon 获取一个 Condition,它的一个实现子类 ReentrantLock 也可以实现公平锁和非公平锁,默认是非公平锁。
但是呢,现在基本上大多数还是使用 synchronized,因为 synchronized 是 JVM 的一个内置属性,它能执行一些优化,例如锁消除、锁力度粗化等等。
原子类的实现原理
原子类即是指 Java 中的 Atomic 类,比如 AtomicInteger、AtomicLong、AtomicStampedReference、AtomicReference 等。都是通过 CAS 来做的。
CAS 即比较并替换,它是通过硬件来保证操作的原子性。
在 Java 中,UnSafe 类提供了对 CAS 的简单封装,Atomic 类内部也都是使用 UnSafe 类来做的,UnSafe 类是可以直接操作内存的,一般在应用程序中是不能使用的,它是由启动类加载器加载的。UnSafe 类提供了一系列的 compareAndSwapXxx 方法,它们都是 native 方法。除此之外,UnSafe 还有一对 park/unpark 阻塞唤醒线程的方法,LockSupport 便是对它的包装。
CAS 存在的问题也比较多,但是现在基本上都已经有解决方案。
首先是 ABA 问题,解决思路就是加一个版本号,可以使用 AtomicStampedReference 来解决。
其次是循环时间长开销大,这个问题的解决可以参考 Java8 新增的 LongAdder 类。在高并发场景下,大量线程会同时去竞争更新同一个原子变量,但是由于同时只有一个线程的 CAS 操作会成功,这就造成了大量线程竞争失败后自旋继续尝试,严重损耗 CPU,这时候 LongAdder 的思路就是把一个变量分解为多个变量,让多个线程去竞争多个资源,也就是把 long 值分为一个 base 加上一个 Cell 数组,最后取值时就是 base 加上多个 Cell 的值。
最后是 CAS 的一个限制,就是只能保证一个共享变量的原子操作。解决办法就是可以把多个共享变量合成一个共享变量,比如 ThreadPoolExecutor 的 ctl 字段包含了线程池状态和 Worker 线程数量。或者可以使用 AtomicReferecne 类来保证引用对象之间的原子性,也就是把多个变量放在一个对象里进行 CAS 操作。
最后
要想面试成功进大厂,面试前的准备肯定是要很充分的。
而自己的知识准备得怎么样,这直接决定了你能否顺利通过一面和二面,所以在面试前来一个知识梳理,看需不需要提升自己的知识储备是很有必要的。
关于知识梳理,这里再分享一下我面试这段时间的复习路线:(以下体系的复习资料是我从各路大佬收集整理好的)
知识梳理完之后,就需要进行查漏补缺,所以针对这些知识点,我手头上也准备了不少的电子书和笔记,这些笔记将各个知识点进行了完美的总结:
《379页Android开发面试宝典》
历时半年,我们整理了这份市面上最全面的安卓面试题解析大全
包含了腾讯、百度、小米、阿里、乐视、美团、58、猎豹、360、新浪、搜狐等一线互联网公司面试被问到的题目。熟悉本文中列出的知识点会大大增加通过前两轮技术面试的几率。
如何使用它?
1.可以通过目录索引直接翻看需要的知识点,查漏补缺。
2.五角星数表示面试问到的频率,代表重要推荐指数
《507页Android开发相关源码解析》
自我介绍一下,小编13年上海交大毕业,曾经在小公司待过,也去过华为、OPPO等大厂,18年进入阿里一直到现在。
深知大多数Android工程师,想要提升技能,往往是自己摸索成长或者是报班学习,但对于培训机构动则几千的学费,着实压力不小。自己不成体系的自学效果低效又漫长,而且极易碰到天花板技术停滞不前!
因此收集整理了一份《2024年Android移动开发全套学习资料》,初衷也很简单,就是希望能够帮助到想自学提升又不知道该从何学起的朋友,同时减轻大家的负担。
既有适合小白学习的零基础资料,也有适合3年以上经验的小伙伴深入学习提升的进阶课程,基本涵盖了95%以上Android开发知识点,真正体系化!
由于文件比较大,这里只是将部分目录大纲截图出来,每个节点里面都包含大厂面经、学习笔记、源码讲义、实战项目、讲解视频,并且后续会持续更新
如果你觉得这些内容对你有帮助,可以添加V获取:vip204888 (备注Android)
文末
我总结了一些Android核心知识点,以及一些最新的大厂面试题、知识脑图和视频资料解析。
以后的路也希望我们能一起走下去。(谢谢大家一直以来的支持)
最后
分享一些资料给大家,我觉得这些都是很有用的东西,大家也可以跟着来学习,查漏补缺。
《Java高级面试》
《Java高级架构知识》
《算法知识》
NZuH-1715809557599)]