并发编程面试题

并发编程面试题1

一、原子性高频问题：

1.1 Java中如何实现线程安全?

多线程操作共享数据出现的问题。

锁：

• 悲观锁：synchronized，lock
• 乐观锁：CAS

可以根据业务情况，选择ThreadLocal，让每个线程玩自己的数据。

1.2 CAS底层实现

最终回答：先从比较和交换的角度去聊清楚，在Java端聊到native方法，然后再聊到C++中的cmpxchg的指令，再聊到lock指令保证cmpxchg原子性

Java的角度，CAS在Java层面最多你就能看到native方法。

你会知道比较和交换：

• 先比较一下值是否与预期值一致，如果一致，交换，返回true
• 先比较一下值是否与预期值一致，如果不一致，不交换，返回false

可以去看Unsafe类中提供的CAS操作

四个参数：哪个对象，哪个属性的内存偏移量，oldValue，newValue

native是直接调用本地依赖库C++中的方法。

https://hg.openjdk.java.net/jdk8u/jdk8u/hotspot/file/69087d08d473/src/share/vm/prims/unsafe.cpp

https://hg.openjdk.java.net/jdk8u/jdk8u/hotspot/file/69087d08d473/src/os_cpu/linux_x86/vm/atomic_linux_x86.inline.hpp

在CAS底层，如果是多核的操作系统，需要追加一个lock指令

单核不需要加，因为cmpxchg是一行指令，不能再被拆分了

看到cmpxchg ，是汇编的指令，CPU硬件底层就支持 比较和交换 （cmpxchg），cmpxchg并不保证原子性的。（cmpxchg的操作是不能再拆分的指令）

所以才会出现判断CPU是否是多核，如果是多核就追加lock指令。

lock指令你可以理解为是CPU层面的锁，一般锁的粒度就是 缓存行 级别的锁，当然也有 总线锁 ，但是成本太高，CPU会根据情况选择。

1.3 CAS的常见问题

ABA： ABA不一定是问题！因为一些只存在 ++，–的这种操作，即便出现ABA问题，也不影响结果！

线程A：期望将value从A1 - B2

线程B：期望将value从B2 - A3

线程C：期望将value从A1 - C4

按照原子性来说，无法保证线程安全。

解决方案很简单，Java端已经提供了。

说人话就是，在修改value的同时，指定好版本号。

JUC下提供的AtomicStampedReference就可以实现。

自旋次数过多：

自旋次数过多，会额外的占用大量的CPU资源！浪费资源。

回答方式：可以从synchronized或者LongAdder层面去聊

• synchronized方向：从CAS几次失败后，就将线程挂起（WAITING），避免占用CPU过多的资源！
• LongAdder方向：这里是基于类似 分段锁 的形式去解决（要看业务，有限制的），传统的AtmoicLong是针对内存中唯一的一个值去++，LongAdder在内存中搞了好多个值，多个线程去加不同的值，当你需要结果时，我将所有值累加，返回给你。

只针对一个属性保证原子性： 处理方案，学了AQS就懂了。ReentrantLock基于AQS实现，AQS基于CAS实现核心功能。

1.4 四种引用类型 + ThreadLocal的问题？

ThreadLocal的问题：Java基础面试题2 – 第16题。

四种引用类型：

• 强引用：User xx = new User(); xx就是强引用，只要引用还在，GC就不会回收！

• 软引用：用一个SofeReference引用的对象，就是软引用，如果内存空间不足，才会回收只有软引用指向对象。 一般用于做缓存。

  SoftwareReference xx = new SoftwareReference (new User);
  
  User user = xx.get();
  

• 弱引用：WeakReference引用的对象，一般就是弱引用，只要执行GC，就会回收只有弱引用指向的对象。可以解决内存泄漏的问题 ，看ThreadLocal即可

  ThreadLocal的问题：Java基础面试题2 – 第16题。

• 虚引用：PhantomReference引用的对象，就是虚引用，拿不到虚引用指向的对象，一般监听GC回收阶段，或者是回收堆外内存时使用。

二、可见性高频问题：

2.1 Java的内存模型

回答方式。先全局描述。 在处理指令时，CPU会拉取数据，优先级是从L1到L2到L3，如果都没有，需要去主内存中拉取，JMM就是在CPU和主内存之间，来协调，保证可见、有序性等操作。

一定要聊JMM，别上来就聊JVM的内存结构，不是一个东西！！！！（Java Memory Model）

、

CPU核心，就是CPU核心（寄存器）

缓存是CPU的缓存，CPU的缓存分为L1（线程独享），L2（内核独享），L3（多核共享）

JMM就是Java内存模型的核心，可见性，有序性都基于这实现。

主内存JVM，就是你堆内存。

2.2 保证可见性的方式

啥是可见性： 可见性是指线程间的，对变量的变化是否可见

Java层面中，保证可见性的方式有很多：

• volatile，用volatile基本数据类型，可以保证每次CPU去操作数据时，都直接去主内存进行读写。
• synchronized，synchronized的内存语义可以保证在获取锁之后，可以保证前面操作的数据是可见的。
• lock（CAS-volatile），也可以保证CAS或者操作volatile的变量之后，可以保证前面操作的数据是可见的。
• final，是常量没法动~~

2.3 volatile修饰引用数据类型

先说结果， 首先volatile修饰引用数据类型，只能保证引用数据类型的地址是可见的，不保证内部属性可见。

But，这个结论只能在hotspot中实现，如果换一个版本的虚拟机，可能效果就不一样了。volatile修饰引用数据类型，JVM压根就没规范过这种操作，不同的虚拟机厂商，可以自己实现。
这个问题，只出现在面试中，干活你要这么干……………………干丫的~

2.4 有了MESI协议，为啥还有volatile？

MESI是CPU缓存一致性的协议࿰