问答题
阅读下列说明，回答问题1至问题3，将解答填入答题纸的对应栏内。
【说明】
某航空售票系统负责所有本地起飞航班的机票销售，并设有多个机票销售网点。各售票网点使用相同的售票程序。假设售票程序中用到的伪指令如表5.1所示。
假设某售票网点一次售出a张航班A的机票，则售票程序的伪指令序列为：R(A，x);W(A，x-a)。根据上述业务及规则，完成下列问题：
【问题2】(6分)
(1)判定事务并发执行正确性的准则是什么？如何保证并发事务正确地执行？
(2)引入相应的加解锁指令，重写售票程序的伪指令序列，以保证正确的并发调度。
【参考答案】
（1）
（2）