转载

Java并发 -- 软件事务内存

STM：Software Transactional Memory，软件事务内存，借鉴于数据库的事务管理
传统的数据库事务支持 ACID ，即原子性（A）、一致性（C）、隔离性（I）和持久性（D）
STM不支持持久化，即只支持ACI

数据库事务

数据库保证在并发情况下不会发生死锁，而且还能保证ACID

Connection conn = null;
try{
    // 获取数据库连接
    conn = DriverManager.getConnection();
    // 设置手动提交事务
    conn.setAutoCommit(false);
    // 执行转账SQL
    ...
    // 提交事务
    conn.commit();
} catch (Exception e) {
    // 出现异常回滚事务
    conn.rollback();
}

synchronized转账

@AllArgsConstructor
public class UnsafeAccount {
    private long balance;

    // 转账，存在死锁问题
    public void transfer(UnsafeAccount to, long amt) {
        synchronized (this) {
            synchronized (to) {
                if (this.balance > amt) {
                    this.balance -= amt;
                    to.balance += amt;
                }
            }
        }
    }
}

STM转账

Java语言并不支持STM，可以借助第三方类库来Multiverse实现

public class Account {
    // 余额
    private TxnLong balance;

    public Account(long balance) {
        this.balance = StmUtils.newTxnLong(balance);
    }

    // 转账
    public void transfer(Account to, int amt) {
        // 原子化操作
        StmUtils.atomic(() -> {
            if (this.balance.get() > amt) {
                this.balance.decrement(amt);
                to.balance.increment(amt);
            }
        });
    }
}