论文部分内容阅读
针对网格环境中自治性与动态性的特点,提出了一种事务处理模型算法。该算法仅定义关键性事务,不区分协调者与参与者,每个节点只对其分配任务的节点返回执行结果;在节点不能完成任务时,利用服务发现技术实时发现网格中提供相同服务的候补节点,提高了事务顺利完成的概率;并考虑了节点退出后的卷回操作,保证事务的可靠性。最后利用Petri网验证了该算法的正确性。