内容简介：数据库保证在并发情况下不会发生死锁，而且还能保证ACIDJava语言并不支持STM，可以借助第三方类库来Multiverse实现
- 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);
}
});
}
}
MVCC
- MVCC可以简单地理解为数据库事务在开始的时候，给数据库打一个 快照 ，以后所有的读写都是基于这个快照
- 当提交事务的时候，如果所有读写过的数据在该事务执行期间没有发生过变化，那么可以提交
- 如果发生了变化，说明该事务与其他事务读写的数据冲突了，那就不能提交了
- 为了记录数据是否发生了变化，可以给每条数据增加一个版本号，每次成功修改数据都会增加版本号的值
- 不少STM的实现方案都是基于MVCC，例如Clojure STM
小结
- STM借鉴的是数据库的经验，数据库仅仅存储数据，而编程语言除了共享变量之外，还会执行各种IO操作（很难支持回滚）
- 因此，STM不是万能的，目前支持STM的编程语言主要是 函数式语言 ，因为函数式语言里的数据天生具备 不可变性
以上就是本文的全部内容，希望对大家的学习有所帮助，也希望大家多多支持 码农网
猜你喜欢:
本站部分资源来源于网络，本站转载出于传递更多信息之目的，版权归原作者或者来源机构所有，如转载稿涉及版权问题，请联系我们。
