avatar

正进一步

只有喜欢,才会全情投入,才会成功!!!

不关注架构设计细节的程序员不是一个好架构师

  • Home
  • Tags
  • Categories
  • Archives
  • 2018寄语
ABA典型银行存取款问题描述
正 · 2018/0119 · 高可用 · 高并发

ABA典型银行存取款问题描述

错误的SQL：

1
2
update account set amount=amount-${wanted}
where user_id=${user_id} and amount=${amount}

修改之后的SQL:

1
2
3
update account set amount=amount-${wanted}
where user_id=${user_id} and amount=${amount}
and version=${prev_version}
当多线程并发遇到Actor
正 · 2018/0119 · · 高并发 · 高并发
引自于:https://mp.weixin.qq.com/s/mzZatZ10Rh19IEgQvbhGUg

“我发现了一个漏洞，你这个转账虽然看起来很美，没有加锁，但是和原来的是有区别的，原来多线程思路是会把旺财和小强的账户同时锁住，然后转账，在这个过程中，别人是不能操作这两个账号的！ 而你的Actor方案中，当转账管家给旺财发消息扣款的时候，小强其实是自由的，如果这时候小强的账户被冻结，那你的转账管家还得回滚旺财的扣款，这多麻烦啊。”

Bill：“哈哈，你小子还挺机灵的嘛，看出了这个问题，Actor模型非常适用于多个组件独立工作，相互之间仅仅依靠消息传递的情况。如果想在多个组件之间维持一致的状态（比如咱们例子中的转账），那就不爽了。”

“那怎么解决这个问题？”

“那必须得用一些特殊手段了，有些实现Actor的框架，例如Akka，专门提供了像Coordinated /Transactor这样的机制来处理这个问题。有空的话给你仔细讲讲。”