银行存钱悖论探讨！！

冬瓜头 · 发表于 2010-1-11 23:30

银行存钱悖论探讨！！

以下纯属虚构如有雷同请对号入座。

某日我去银行存捡来的5块钱，操作员拿着我的卡和现金，鄙视的看着我，我没什么感觉，习惯了。当他刷卡之后，点击输入金额5，点击存入之后，数据发送到应用服务器，应用服务器命令数据库服务器将“余额”改为“余额+5”，并且commit。数据库服务器成功的将记录更新到了磁盘并且受到了文件系统成功写入的应答，该回复应用服务器成功的消息了，commit成功的消息到达了应用服务器的tcp协议栈缓存中，并且tcp成功的返回了一个珍贵的ack应答，数据库服务器还没收到这个ack呢，便Down机了，或者收到ack了，正要往日志里更新commit成功点了，Down机了。重启之后，当然是将这笔操作回退了，数据文件中的“余额+5”变回了“余额”。但是就在几分钟之前，应用服务器早就把成功的消息传回给了操作员终端，我也拿着回执单走了。但是我回去一看，怎么余额没有增加？我气冲冲的找到柜台，依然是鄙视的眼光，操作员说：5块钱，至于么！

兄弟们，你说这5块钱，我是要还是不要呢？

-------------------------------------------------
例子中有一步是错误的，即db必须commit之后才会返回给操作端。所以在此对这个错误引来的不便表示歉意。而且我绝对不是在对db本身的机制质疑，二是对整体流程方面有疑问。其次，本贴确实不是什么悖论，用这个词只是为了吸引个眼球，就像签名广告一样，如果觉得碍眼，请多担待。

更正一下。
如果是存钱，出现这个问题，你就赚了，相当于拿了一笔现金，操作员重复操作给存了两笔、
如果是取钱，你就亏了，重复操作的结果就是取了两次而你只拿到一笔钱。
cu讨论的结果，这种情况下人的因素很重要，要靠人来解决。
-------------------------------------------------

[ 本帖最后由冬瓜头于 2010-1-13 08:57 编辑 ]

luckytian · 发表于 2010-1-11 23:56

要，不过得先把流程再给详细的解析一下

zergduan · 发表于 2010-1-12 00:05

"或者收到ack了，正要往日志里更新commit成功点了，Down机了" 这个不可能，数据库把commit写入日至之前不可能给app发出成功的消息

yanggq · 发表于 2010-1-12 00:06

步骤有错...

zergduan · 发表于 2010-1-12 00:08

但是就在几分钟之前，应用服务器早就把成功的消息传回给了操作员终端 -- app怎么可能再没有接到数据库的相应之前就发给clinet成功的消息?

花好月不圆 · 发表于 2010-1-12 00:19

lz 连什么是悖论都没搞清楚把

〇〇 · 发表于 2010-1-12 08:04

“余额”改为“余额+5”是结果
应该有个动作叫做存入5

冬瓜头 · 发表于 2010-1-12 08:54

呵呵，首先感谢各位的关注，这确实不是什么悖论，只是吸引点眼球罢了，不必太多心。
至于步骤有错，3楼和5楼的结论是因果关系，如果我能退出3楼结论也一样会造成问题的话呢？如果说db在没有给app回复的情况下就先写入commit点，那么如果是取钱，我取走了，你余额降低了，但是打算给app回复的瞬间，链路中断或者db down，那么操作员就会认为钱没有取走，db重启后，操作员再次重试，由于操作员刚才和现在都没有对余额的变化关注过，所以再次取走了钱，也就是说，db中钱被降低数值两次，而你拿到手的钱和回执单却只有一次，损失谁来给？

而且这是银行，有回执单可以作证，如果是没有回执单的应用呢？down个机就丢一些数据，链路中断也可能丢一些数据，真不知道这样怎么行呢？

各位，这个问题我是演绎了很长时间的，我是来请大家帮忙推翻我的结论的，如果能推翻万事大吉，如果不能推翻，现实中是如何解决这的问题的呢？多谢多谢！

xxxgfj · 发表于 2010-1-12 09:30

有回执单的话就有记录可查，还是会给你钱的

shiri512003 · 发表于 2010-1-12 09:44

这事多了吧，银行调账不就干这个的嘛

[讨论] 银行存钱悖论探讨！！

~

浏览过的版块