- 正确答案：多线程是指在一个进程内并发执行多个线程，共享进程的地址空间（如堆、全局变量、文件描述符等），但每个线程拥有独立的栈、寄存器上下文、线程局部存储（TLS）和线程ID。Java中通过Thread类或Runnable/Callable接口实现；C++11起通过std::thread；Python因GIL限制，CPython解释器下多线程无法真正并行CPU密集型任务，但对I/O密集型仍有效。 - 解答思路：从“为什么需要多线程”切入——提升资源利用率（尤其I/O等待期）、改善响应性（如GUI主线程不阻塞）、简化异步逻辑建模；接着说明线程与进程的本质区别（共享vs隔离）、线程生命周期（NEW→RUNNABLE→BLOCKED/WAITING→TIMED_WAITING→TERMINATED）；再深入同步机制（锁、条件变量、原子操作）及其典型问题（竞态、死锁、活锁、虚假唤醒）；最后延伸至现代实践（线程池、ForkJoinPool、协程替代方案）。 - 深度知识讲解： 1. 底层实现原理（以Linux为例）： - 线程在内核中由轻量级进程（LWP, Light Weight Process）实现，即clone()系统调用配合CLONE_THREAD标志。所有同属一个线程组的LWP共享同一个线程组ID（tgid），但各自有唯一pid（即内核调度的基本单位仍是task_struct）。用户态pthread库（如glibc的NPTL）在此基础上封装POSIX线程语义。 - 栈内存分配：每个线程栈默认大小通常为2MB（Linux x86_64），由mmap(MAP_ANONYMOUS | MAP_STACK)分配，栈底固定、栈顶动态增长（受RLIMIT_STACK限制），内核通过guard page检测栈溢出。 2. 同步原语的硬件基础： - 互斥锁（mutex）底层依赖CPU提供的原子指令，如x86的cmpxchg（compare-and-swap）、test-and-set、lock xadd等。pthread_mutex_t在未竞争时是无锁的（fast path），仅修改用户态标志位；一旦发生竞争，则陷入内核调用futex_wait()，由内核维护等待队列。 - futex（fast userspace mutex）本质是一个用户态整型变量+内核等待队列的组合：当值为0表示空闲，非0表示被占用或有等待者。其设计哲学是“绝大多数情况下不陷入内核”，极大降低同步开销。 3. 内存可见性与happens-before： - 多线程程序正确性的核心不仅是互斥，更是内存模型保障。JMM（Java Memory Model）定义了volatile读写、synchronized块、Lock.lock/unlock、Thread.start/join等构成happens-before边，确保前序操作对后续操作可见。 - 底层对应CPU内存屏障（memory barrier）：如x86的mfence（全屏障）、lfence（加载屏障）、sfence（存储屏障）。注意x86具有较强的TSO（Total Store Order）模型，普通写操作天然具备store-load重排序禁止能力，但Java仍需插入屏障以适配其他弱序架构（ARM/RISC-V）。 4. 死锁四大必要条件及破除策略： - 互斥、占有并等待、不可剥夺、循环等待。典型检测手段：银行家算法（静态预防）、资源分配图环路检测（动态检测）、超时放弃（如tryLock(timeout)）、按全局顺序加锁（如Lock ordering by address/hashCode）。 5. 线程安全的层级分类： - 不可变对象（Immutable）：如String、LocalDateTime，天然线程安全； - 线程本地对象（ThreadLocal）：每个线程持有独立副本，适用于上下文传递（如事务ID、用户认证信息），但需注意内存泄漏（ThreadLocalMap的key为弱引用，value需手动remove）； - 同步容器（Vector/Hashtable）vs 并发容器（ConcurrentHashMap、CopyOnWriteArrayList）：后者采用分段锁（JDK7）、CAS+synchronized on node（JDK8）、或写时复制（COW）策略，在高并发读场景下性能显著优于synchronized包装器。 6. 线程池核心参数与工作流程（以Java ThreadPoolExecutor为例）： - corePoolSize：常驻核心线程数，即使空闲也不回收（除非allowCoreThreadTimeOut=true）； - maximumPoolSize：最大线程数，仅当workQueue满后才创建新线程直至该上限； - keepAliveTime + unit：非核心线程空闲存活时间； - workQueue：阻塞队列，常见有LinkedBlockingQueue（无界，可能导致OOM）、ArrayBlockingQueue（有界，可控）、SynchronousQueue（无缓冲，直接移交，适合cached pool）； - handler：拒绝策略，包括AbortPolicy（抛异常）、CallerRunsPolicy（由提交线程执行）、DiscardPolicy（静默丢弃）、DiscardOldestPolicy（丢弃队首任务）。 - 执行流程：先尝试复用core线程 → 若忙则入队 → 队满且线程数 { private AtomicReference> top = new AtomicReference<>(); public void push(T item) { Node newNode = new Node<>(item); Node currentTop; do { currentTop = top.get(); newNode.next = currentTop; } while (!top.compareAndSet(currentTop, newNode)); } public T pop() { Node currentTop; Node newTop; do { currentTop = top.get(); if (currentTop == null) return null; newTop = currentTop.next; } while (!top.compareAndSet(currentTop, newTop)); return currentTop.item; } static class Node { T item; Node next; Node(T item) { this.item = item; } } } ``` - 补充提醒：实际工程中应优先使用成熟并发工具类（如java.util.concurrent包），而非手写无锁数据结构——后者极易出错且难以调试。理解原理是为了更好选型与排查问题，而非替代标准库。

虾皮测开日常实习一面

全站热榜

创作者周榜