程序死锁典型案例分析

franliu

某系统分析员对对程序员甲和乙说，我们要开发一个库存系统。
如果收货，我们要更新两个文件:
1）库存文件ITEM_MST，更新收货量 I_REC，
2）批号文件LOT_MST，更新收货量  L_REC。

如果发货，我们也一样要更新同样两个文件:
1）库存文件ITEM_MST，更新发货量 I_ISSUE，
2）批号文件LOT_MST，更新发货量。L_ISSUE。

程序员甲负责收货程序开发，程序员乙负责发货开发。

于是程序员甲开发了收货子程序， 看来像下面那样（略去无关紧要的部分，假定纪录总是存在）


C     GOOD_REC   BEGSR
C     SKU               CHAIN ITEM_MST
C     LOT               CHAIN LOT_MST
C                          EVAL I_REC += R_QTY
C                          EVAL L_REC += R_QTY
C                          UPDATE LOT_REC
C                          UPDATE_ITEM_REC
C                          ENDSR



而程序员乙的开发的发货子程序看来像下面那样（略去无关紧要的部分，假定纪录总是存在）

C     GOOD_ISSUE   BEGSR
C     LOT                  CHAIN LOT_MST
C     SKU                  CHAIN ITEM_MST
C                             EVAL L_ISSUE += I_QTY
C                             EVAL I_ISSUE += I_QTY
C                             UPDATE LOT_REC
C                             UPDATE ITEM_REC
C                             ENDSR

程序测试均没有发现问题。
可是一旦发给大量用户使用，就发生了死锁的问题。

请大家分析死锁的原因，讨论解决的方法。

[ 本帖最后由 franliu 于 2009-11-23 13:00 编辑 ]

4321258sun

是不是应该做一个排他处理呀，防止多个用户同时更新一条数据

franliu

你读懂了没有程序是怎样死锁的？注意一定要有两个或者以上的用户同时争夺系统某一资源（这里是纪录），死锁才会发生。

其实这个程序只要稍微加以改动，就可以安全地在多用户环境里面安全地运行。

[ 本帖最后由 franliu 于 2009-11-23 13:03 编辑 ]

insmile

C     GOOD_ISSUE   BEGSR
C     LOT                  CHAIN LOT_MST
C                             EVAL L_ISSUE += I_QTY
C                             UPDATE LOT_REC
C     SKU                  CHAIN ITEM_MST
C                             EVAL I_ISSUE += I_QTY
C                             UPDATE ITEM_REC
C                             ENDSR

franliu

对了！菜鸟们千万要记得除非必要，不要同时锁住太多的纪录， 不然你写的程序很可能只有在你独霸系统的时候才能够顺利完成。

上面的例子是简化的典型例子。实际上通常的应用程序源代码长达成千上万行。要看出来其中奥妙需要花蛮长的时间。

不过死锁的“pattern” 都是一样的。那就是：

作业甲锁住资源a, 同时等待乙作业释放资源b

作业乙锁住资源b, 同时等待作业甲释放资源a

这样死锁就发生啦。

[ 本帖最后由 franliu 于 2009-11-23 14:06 编辑 ]

huangxkst

如果有两个人同时使用就可能会出现死锁,可是你得根据具体的业务作修改,否则还是不行的阿..!

franliu

你要学习四楼的改法。这样改既不影响程序逻辑，又解决了死锁的问题。

看来你还没有完全读懂我那样板程序中死锁是如何发生的。

huangxkst

关键你的程序本来就可能出现这种加锁...

franliu

这个程序是一个典型的有问题的程序样板，我拿来给大家分析死锁原因的。

tomroom

在RPG400里,对F表里设置为update操作的表，CHAIN可以用参数N如下 ，在LenDH的D位置下面输入N表示当前CHAIN操作不锁记录，在紧跟update之前才去用普通CHAIN去lock 记录,同时锁记录的CHAIN结果指示器做判断增加异常处理。
RPGLE里这个怎么实现还请大侠们指教。
CL0N01N02N03Factor1+++OpcdeFactor2+++ResultLenDHHiLoEqComments+++++++
C                     CHAIN

[ 本帖最后由 tomroom 于 2009-11-24 13:17 编辑 ]