１引言长沙某科研所开发成功一套金融网络保险系统，该系统包括中央控制系统及其控制的各个电子保险锁终端。该电子保险锁试用期的情况表明：每使用１０００次，即输入正确的电子密码后，保险锁总会发生２０次左右的死锁现象，不能正常工作。更为严重的是，死锁现象一旦发... 1 Introduction A scientific research institute in Changsha has successfully developed a set of financial network insurance system, which includes the central control system and various electronic lock terminals controlled by it. The trial period of the electronic insurance lock shows that: for each use of 1000 times, that is, after entering the correct electronic password, the lock will always have about 20 deadlocks and will not work properly. More seriously, the deadlock phenomenon once sent ...