- 正确答案：以下是一个基于Java实现的线程安全转账系统，使用可重入锁（ReentrantLock）+ 顺序加锁策略 + 原子性校验，确保在多线程环境下不会出现死锁、超扣、余额不一致等问题。核心设计包括：账户唯一ID排序加锁、余额检查与更新的原子操作、异常回滚机制。 - 解答思路： 1. 转账本质是“从A扣钱”和“向B加钱”两个操作，必须作为原子事务执行； 2. 多线程并发时，若不加控制，可能出现：A→B 和 B→A 同时执行导致死锁；或A余额被多次读取后重复扣款（ABA问题或脏读）； 3. 解决方案需同时满足：互斥性（同一账户不被并发修改）、有序性（全局统一加锁顺序避免死锁）、一致性（扣款前严格校验余额 ≥ 转账金额）； 4. 不依赖数据库事务时，纯内存模型下需用显式锁 + 比较并交换（CAS）或锁内校验更新；但CAS对双账户更新难以原子化，故采用“按ID排序+双重校验+可重入锁”更稳妥； 5. 进一步可升级为乐观锁（版本号）或STM（软件事务内存），但工程中ReentrantLock已足够高效且可控。 - 深度知识讲解：【底层锁机制】ReentrantLock基于AQS（AbstractQueuedSynchronizer）实现，内部维护一个volatile state变量和FIFO同步队列。lock()会CAS尝试将state从0设为1，失败则入队阻塞；unlock()将state减1，唤醒头结点。相比synchronized，它支持公平/非公平策略、可中断等待、超时获取、多条件队列等，更适合复杂并发控制场景。【死锁规避原理】按账户ID升序加锁是经典“资源分级分配法”。假设转账发生在账户id=1001和id=2002之间，则所有线程必须先lock(1001)，再lock(2002)；反之id=2002→1001的转账也强制转为先lock(1001)再lock(2002)。这样打破了循环等待条件（Coffman条件之一），从根源上杜绝死锁。【内存可见性与重排序】账户余额字段必须用volatile修饰（或用AtomicLong），否则一个线程在锁内更新balance，另一个线程可能因CPU缓存未刷新而读到旧值。但注意：volatile不能保证复合操作（如“if (a.balance >= amount) a.balance -= amount”）的原子性——这就是为何必须将整个校验+更新包在同一个锁内。【ACID在内存事务中的映射】 - Atomicity：通过单一锁包裹两个账户操作实现； - Consistency：转账前后总金额不变（守恒律），且每个账户余额≥0； - Isolation：锁保证中间态不被其他线程观测到； - Durability：内存模型无持久化保障，若需落地需额外日志（WAL）或数据库写入，此处仅讨论内存一致性。【扩展对比】若用synchronized(this)，会导致锁粒度粗（锁整个Account实例），但不同转账涉及不同账户组合，无法复用同一把锁；若用synchronized(Account.class)，则全局串行，吞吐量归零。因此必须细粒度锁单个账户，再配合顺序策略。 - 代码示例（Java，纯内存实现，含完整校验与异常处理）： ```java import java.util.concurrent.locks.ReentrantLock; import java.util.concurrent.atomic.AtomicLong; class Account { final long id; final ReentrantLock lock = new ReentrantLock(); final AtomicLong balance = new AtomicLong(0); Account(long id, long initBalance) { this.id = id; this.balance.set(initBalance); } void withdraw(long amount) { if (amount < 0) throw new IllegalArgumentException("amount < 0"); if (!balance.compareAndSet(balance.get(), balance.get() - amount)) { // 实际中应重试或抛异常，此处简化：直接失败 throw new IllegalStateException("withdraw failed due to concurrent update"); } } void deposit(long amount) { if (amount < 0) throw new IllegalArgumentException("amount < 0"); balance.addAndGet(amount); } long getBalance() { return balance.get(); } ReentrantLock getLock() { return lock; } } public class TransferService { // 核心转账方法：线程安全、防死锁、强一致性 public static boolean transfer(Account from, Account to, long amount) { if (from == null || to == null || amount <= 0) { return false; } if (from.id == to.id) { return true; // 同账户转账视为成功（无实际变化） } // 死锁预防：按id升序获取锁 Account firstLockAccount = from.id < to.id ? from : to; Account secondLockAccount = from.id < to.id ? to : from; firstLockAccount.lock.lock(); try { secondLockAccount.lock.lock(); try { // 再次检查余额（防御性编程：防止锁获取后余额已被其他线程变更） if (from.balance.get() < amount) { return false; } // 执行转账：原子性不可拆分 from.balance.addAndGet(-amount); to.balance.addAndGet(amount); return true; } finally { secondLockAccount.lock.unlock(); } } finally { firstLockAccount.lock.unlock(); } } // 使用示例（多线程测试） public static void main(String[] args) throws InterruptedException { Account a = new Account(1001, 1000); Account b = new Account(2002, 500); Runnable task = () -> { for (int i = 0; i < 100; i++) { boolean ok = transfer(a, b, 10); if (!ok) System.out.println("Transfer failed: insufficient balance"); } }; Thread t1 = new Thread(task); Thread t2 = new Thread(() -> { for (int i = 0; i < 100; i++) { boolean ok = transfer(b, a, 5); // 反向转账，同样走排序逻辑 if (!ok) System.out.println("Reverse transfer failed"); } }); t1.start(); t2.start(); t1.join(); t2.join(); System.out.println("A balance: " + a.getBalance()); // 应为 1000 - 10*100 + 5*100 = 1000 - 1000 + 500 = 500 System.out.println("B balance: " + b.getBalance()); // 应为 500 + 10*100 - 5*100 = 500 + 1000 - 500 = 1000 System.out.println("Total: " + (a.getBalance() + b.getBalance())); // 守恒：1500 } } ``` - 补充说明（进阶知识点）： 1. 若需更高性能，可用StripedLock（如Guava的Striped）对账户ID哈希分段加锁，牺牲部分隔离性换取吞吐； 2. 生产环境强烈建议引入分布式锁（如Redis RedLock或ZooKeeper临时节点）+ 幂等事务表 + 补偿任务，应对服务重启、网络分区； 3. 余额字段推荐用BigDecimal替代long避免浮点精度问题（金融场景），但需注意BigDecimal不可变性带来的CAS困难，此时应改用synchronized块+对象锁； 4. 可加入转账流水日志（Log Entry），用于后续对账和TCC事务（Try-Confirm-Cancel）实现最终一致性； 5. JVM层面还可利用VarHandle（JDK9+）替代AtomicLong，获得更底层的内存屏障控制能力。以上实现覆盖了校园招聘中对并发编程、锁机制、事务思想、防御性编码的综合考察，既体现原理深度，又具备工程落地意识。

蔚来一面（挂）

全站热榜

创作者周榜