多线程安全问题试题及清晰答案解读

多线程安全问题试题及清晰答案解读考试时间：______分钟总分：______分姓名：______选择题（每题5分，共20分）1.下列关于`volatile`关键字的描述，正确的是？A.`volatile`能保证变量的原子性操作B.`volatile`能禁止JVM指令重排序C.`volatile`等同于`synchronized`，可保证线程同步D.`volatile`修饰的变量在多线程环境下一定不会出现可见性问题2.下列哪个方法不会导致死锁？A.线程A持有锁L1，尝试获取锁L2；线程B持有锁L2，尝试获取锁L1B.线程A在同步代码块中调用`Thread.sleep(1000)`C.线程A持有锁L1，线程B持有锁L2，且两个线程均不释放锁D.线程A调用`synchronized`方法，该方法内部又调用另一个`synchronized`方法（同一对象）3.下列关于线程池`ThreadPoolExecutor`的描述，错误的是？A.若核心线程数设置为0，则任务提交时会直接创建新线程执行B.当工作线程数达到核心线程数且队列满时，会创建非核心线程执行任务C.调用`shutdown()`后，线程池会立即停止接收新任务并正在执行的任务D.`allowCoreThreadTimeOut`为`true`时，核心线程空闲超过`keepAliveTime`会被回收4.下列哪个集合类是线程安全的？A.`ArrayList`B.`HashMap`C.`CopyOnWriteArrayList`D.`TreeSet`填空题（每空3分，共15分）1.在Java中，`synchronized`关键字可修饰______、______和______，其中修饰静态方法时，锁对象是______，修饰实例方法时，锁对象是______。2.CAS（Compare-And-Swap）操作包含三个操作数：______、______和______，其核心思想是______。3.`ThreadLocal`的作用是______，其可能导致内存泄漏的原因是______。简答题（每题10分，共20分）1.简述死锁的四个必要条件，并给出两种预防死锁的方法。2.说明`ConcurrentHashMap`在JDK1.8中如何保证线程安全，与JDK1.7相比有哪些改进？代码分析题（15分）下列代码在多线程环境下是否存在线程安全问题？若有，请说明原因并修改为线程安全版本。```javapublicclassCounter{privateintcount=0;publicvoidincrement(){count++;//非原子操作}publicintgetCount(){returncount;}}```测试代码：```javapublicclassTest{publicstaticvoidmain(String[]args)throwsInterruptedException{Countercounter=newCounter();Thread[]threads=newThread[100];for(inti=0;i<100;i++){threads[i]=newThread(()->{for(intj=0;j<1000;j++){counter.increment();}});threads[i].start();}for(Threadt:threads){t.join();}System.out.println(counter.getCount());//预期100000，实际小于100000}}```编程题（30分）设计一个线程安全的LRU（LeastRecentlyUsed）缓存，要求支持`put`和`get`操作，且时间复杂度为O(1)。LRU缓存的特点是：当容量满时，淘汰最近最少使用的数据。要求：1.使用双向链表维护访问顺序（最近访问的节点移至链表头部，最少使用的节点在尾部）。2.使用`HashMap`存储节点，实现快速查找。3.确保多线程环境下`put`和`get`操作的安全。试卷答案选择题1.答案：B解析思路：`volatile`关键字能保证内存可见性和禁止JVM指令重排序，但不保证原子性，因此A错误；`volatile`与`synchronized`机制不同，`volatile`仅保证可见性和禁止重排，而`synchronized`保证原子性和可见性，因此C错误；`volatile`修饰的变量若未正确使用，仍可能出现可见性问题，因此D错误；B正确，因为`volatile`通过内存屏障禁止指令重排序。2.答案：D解析思路：死锁的必要条件包括互斥、持有并等待、不可剥夺和循环等待；A符合循环等待条件；B中`Thread.sleep()`只是线程阻塞，不涉及锁竞争，不会导致死锁；C符合持有并等待条件；D中`synchronized`方法作用于同一对象，是同一把锁，可重入，不会形成循环等待，因此不会导致死锁。3.答案：C解析思路：`shutdown()`后线程池变为“正在终止”状态，不再接收新任务，但会继续执行队列中的任务和正在执行的任务，不会立即停止；A正确，核心线程数为0时，提交任务会直接创建新线程执行；B正确，线程池执行逻辑为核心线程→队列→非核心线程；D正确，`allowCoreThreadTimeOut`为`true`时，核心线程空闲超过`keepAliveTime`会被回收；C错误，因为`shutdown()`不会立即停止正在执行的任务。4.答案：C解析思路：`ArrayList`非线程安全，多线程下扩容可能引发异常；`HashMap`非线程安全，多线程下扩容可能导致数据丢失；`CopyOnWriteArrayList`是线程安全集合，通过写时复制机制实现；`TreeSet`基于`TreeMap`，非线程安全，多线程下可能引发数据不一致；因此C正确。填空题1.答案：方法、代码块、类对象；当前类的Class对象；当前实例对象（this）解析思路：`synchronized`可修饰方法（实例方法/静态方法）、代码块；修饰静态方法时，锁对象是当前类的`Class`对象，所有线程竞争同一把类锁；修饰实例方法时，锁对象是当前实例对象（`this`），不同实例的对象锁互不影响。2.答案：内存位置、预期原值、新值；若内存位置的值等于预期原值，则更新为新值，否则失败解析思路：CAS操作包含三个操作数：内存位置（V）、预期原值（A）、新值（B）；核心思想是通过硬件指令（如`CMPXCHG`）实现原子更新，若内存位置的值等于预期原值，则更新为新值，否则失败并重试。3.答案：为每个线程提供独立的变量副本，实现线程隔离；ThreadLocal的引用未被清除，而线程池中的线程复用，导致线程的ThreadLocalMap中残留无效数据解析思路：`ThreadLocal`通过`ThreadLocalMap`为每个线程提供独立变量副本，避免多线程竞争；内存泄漏原因是`ThreadLocalMap`的`Entry`的`key`是弱引用，若`ThreadLocal`被回收，但`value`是强引用，且线程池线程长期复用，导致`value`无法被回收。简答题1.答案：死锁的四个必要条件是：互斥条件（资源独占）、持有并等待（线程持有资源并等待其他资源）、不可剥夺条件（资源不可强制释放）、循环等待（存在资源循环等待链）；预防方法：破坏“持有并等待”（一次性获取所有资源）、破坏“循环等待”（对资源排序并按固定顺序申请）解析思路：死锁需同时满足四个条件；预防方法通过破坏条件避免死锁，如一次性获取资源避免持有并等待，资源排序避免循环等待。2.答案：JDK1.8中`ConcurrentHashMap`使用数组+链表/红黑树结构，通过CAS操作定位数组桶，若桶冲突则用`synchronized`锁定桶级别；与JDK1.7的改进：锁粒度更细（桶级别而非分段锁）、查询效率更高（直接定位桶）、避免死锁（CAS协助扩容减少锁依赖）解析思路：JDK1.8放弃分段锁，改为桶级别锁，提高并发度；通过CAS和`synchronized`结合，减少锁竞争；红黑树优化查询效率；扩容机制改进避免死锁。代码分析题答案：存在线程安全问题。原因：`count++`非原子操作，包含读、改、写三步，多线程下指令交错导致结果不正确；修改为线程安全版本：```javapublicclassCounter{privateAtomicIntegercount=newAtomicInteger(0);publicvoidincrement(){count.incrementAndGet();}publicintgetCount(){returncount.get();}}```解析思路：`count++`非原子，多线程下竞态条件导致结果小于预期；使用`AtomicInteger`的`incrementAndGet()`方法，基于CAS操作保证原子性，确保线程安全。编程题答案：```javaimportjava.util.HashMap;importjava.util.Map;importjava.util.concurrent.locks.ReentrantLock;classNode{intkey;intvalue;Nodeprev;Nodenext;publicNode(intkey,intvalue){this.key=key;this.value=value;}}publicclassLRUCache{privatefinalintcapacity;privatefinalMap<Integer,Node>cache;privatefinalNodehead;privatefinalNodetail;privatefinalReentrantLocklock=newReentrantLock();publicLRUCache(intcapacity){this.capacity=capacity;this.cache=newHashMap<>();this.head=newNode(-1,-1);this.tail=newNode(-1,-1);head.next=tail;tail.prev=head;}publicintget(intkey){lock.lock();try{if(!cache.containsKey(key))return-1;Nodenode=cache.get(key);moveToHead(node);returnnode.value;}finally{lock.unlock();}}publicvoidput(intkey,intvalue){lock.lock();try{if(cache.containsKey(key)){Nodenode=cache.get(key);node.value=value;moveToHead(node);return;}if(cache.size()==capacity){NodelastNode=tail.prev;removeNode(lastNode);cache.remove(lastNode.key);}NodenewNode=newNode(key,value);