2、 Failed mutual exclusion:对资源的互 斥使用考虑不周,常常会出现多个用户或 程序试图同时使用一个共享资源的情况。 因此必须有某种互斥机制,以保证一次只 允许一个例程对一部分数据执行事务处理 很难证明这类互斥机制的实现对所有可能 的事件序列都是正确的。 3 Nondeterminate program operation 不能保证操作的原子性。2、Failed mutual exclusion：对资源的互 斥使用考虑不周，常常会出现多个用户或 程序试图同时使用一个共享资源的情况。 因此必须有某种互斥机制，以保证一次只 允许一个例程对一部分数据执行事务处理。 很难证明这类互斥机制的实现对所有可能 的事件序列都是正确的。 3、Nondeterminate program operation： 不能保证操作的原子性