内容简介：数据库保证在并发情况下不会发生死锁，而且还能保证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的编程语言主要是 函数式语言 ，因为函数式语言里的数据天生具备 不可变性
以上就是本文的全部内容，希望对大家的学习有所帮助，也希望大家多多支持 码农网
本站部分资源来源于网络，本站转载出于传递更多信息之目的，版权归原作者或者来源机构所有，如转载稿涉及版权问题，请联系我们。
HTML 5实战
陶国荣 / 机械工业出版社 / 2011-11 / 59.00元
陶国荣编著的《HTML5实战》是一本系统而全面的HTML 5教程，根据HTML 5标准的最新草案，系统地对HTML 5的所有重要知识点进行了全面的讲解。在写作方式上，本书以一种开创性的方式使理论与实践达到极好的平衡，不仅对理论知识进行了清晰而透彻的阐述，而且根据读者理解这些知识的需要，精心设计了106个完整（每个案例分为功能描述、实现代码、效果展示和代码分析4个部分）的实战案例，旨在帮助读者通过实......一起来看看 《HTML 5实战》 这本书的介绍吧!
