复杂应用工作流的并发控制策略与实现

本文主要探讨的是"支持复杂应用的工作流并发控制机制"，发表于2002年的《东北大学学报（自然科学版）》第23卷第1期。论文针对复杂应用领域工作流的特性，提出了一个关键的解决方案。在复杂应用中，工作流常常涉及多个并发执行的实例，每个实例可能包含异构环境下的任务，这使得并发控制变得尤为重要。 首先，作者定义了核心概念，如任务冲突、冲突类别、同名共享锁和同名互斥锁。任务冲突指的是在并发执行过程中，两个或多个任务对同一资源的竞争，而冲突类别则是对这些冲突类型的分类，有助于理解和处理各种并发情况。同名共享锁允许多个实例同时访问相同的资源，但需遵循某些访问规则，而同名互斥锁则确保同一时刻只有一个实例能访问特定资源，避免数据竞争。 接着，作者构建了一种基于这些概念的工作流并发控制机制。这个机制充分考虑了工作流的并发特性和多样性，包括不同工作流实例之间的并发控制、跨工作流的任务同步以及对共享资源的排他性访问。通过这种机制，能够在复杂应用环境中确保多工作流、多实例并发执行的正确性，即使面对异构环境和事务型任务的需求。 论文的研究背景是工作流技术在办公自动化领域的广泛应用，并期望将其扩展到更为复杂的业务流程。然而，复杂应用中的多工作流模式往往涉及到事务性任务，这些任务可能需要在并发执行时进行有效的协调，以防止资源争用和数据一致性问题。 关键词涵盖了数据库理论与系统、工作流并发控制、事务型工作流、工作流管理系统（WFMS）、利它锁（这是一种特殊的并发控制机制，允许多个任务同时持有共享锁，但禁止它们同时持有互斥锁）以及工作流调度。这篇论文的研究成果对于理解和优化复杂应用环境中的工作流执行有着重要的理论价值和实践意义。