用于检查参数访问的方法及任务管理系统的制作方法

专利名称：用于检查参数访问的方法及任务管理系统的制作方法
技术领域：
本发明涉及依赖关系图中的参数范围的划分，尤其涉及用于检査参数访 问的方法及任务管理系统。
背景技术：
计算机作业控制系统已经被用于根据与待执行程序的定序相关的限制 来顺序执行计算机程序或其它处理。 一种指定定序限制的方法是使用依赖关 系图。程序可接受在将作业提交给系统时所指定的变量。这类作业控制系统 的一个示例是分布式批处理系统，其中可指定不同的作业在不同的计算机或 不同类型的计算机(例如超级计算机)上执行，并且不同作业之间的依赖关 系在作业被执行之前清楚地标识。 一种在作业之间传送信息的方法是通过公 用数据存储，例如通过文件系统中的文件进行。这类作业控制的另一示例涉 及分布式个人计算机环境中的作业调度，例如，调度需要以特定顺序在不同 计算机上执行的维护任务。发明内容作为概括方案，本发明提供一种用于绑定参数值的方法。根据依赖关系 图定义多个任务。保持分别与不同的任务范围关联的多个参数范围。在第一 任务中使用的参数与参数值绑定。这种绑定操作包括根据依赖关系图识别第 一范围，并根据所识别的范围检索所述参数值。这一方案可包括一个或多个以下特征在第二任务执行期间确定赋予参数的值。所述参数的值被存储在与第二 任务相关的第一参数范围中。所述依赖关系图指定任务的执行顺序。识别所述第一范围的操作包括识 别必须在第一任务之前执行的任务。识别所述第一范围的操作还包括识别对 所述第一参数赋值的任务，并且根据所述依赖关系图识别最后执行的任务。作为另一概括方案，本发明还提供一种用于检査参数访问的方法，该方 法包括接受对多个任务的定序限制的描述内容，其中至少一些任务未彼此定 序。这种检查操作包括对一个或多个参数中的每个参数，识别访问这些参 数的任务；以及根据定序限制的描述内容，检查通过识别的任务对参数的访 问中潜在的冲突。本发明的方案可包含一个或多个下列优点利用在各任务之间传送的显式参数，能够检查参数值中的冲突和模糊 性。例如，这种检査能够确保各参数在任务计划的重复执行中将取相同的值。根据依赖关系图中的优先级的范围划分优选为根据嵌套或计划和子计 划进行的范围划分，这是因为参数可在计划中的同级任务之间传送。通过允许在依赖关系图的不同部分中使用的相同参数名能够根据范围 划分规则被多重使用而不引入冲突或模糊性，多种参数范围的使用可减少名 称冲突。这样就能够允许不同的开发者在不引入名称冲突并且不必清楚标识 不同的命名域(naming domain)的情况下编写计划的不同部分。根据以下描述和权利要求书，本发明的其它特征和优点是显而易见的。


图1为任务管理系统。 图2为依赖关系图。图3为包含任务管理器中的单个全局范围(global context)的示图。图4A为包含任务管理器中的基于特定任务的多个动态范围的框图。图4B为根据图2的依赖关系图展示各动态范围之间的关系的示图。图4C为展示图2的依赖关系图中的任务范围的示图。图5为任务描述内容。图6A-B为使用动态参数的应用示例。
具体实施方式
概述参照图1，任务管理系统IOO根据依赖性限制控制构成整个计划的任务 的执行，所述依赖性限制指定计划中的哪些任务必须在执行其它任务之前完成。依赖性限制是用定向依赖关系图132来表示的，在依赖关系图132中该 图的每一节点134对应于计划中的不同任务，而从一个节点到另一节点的每 个定向弧136表示这样的定序限制对应于第一个("上游")节点的任务 必须在执行对应于第二个("下游")节点的任务之前完成。更一般地说， 对应于节点的任务仅可以在所述图中其所有上游任务均己完成之后再执行。 所述依赖关系图建立了任务的部分定序。因此，任务可按照限制而同时执行， 这些限制包括基于图的依赖性限制。任务也可在不同的计算机上执行，以在 整个计划执行中实现并行性加速。任务管理系统100包括任务管理器110，该管理器读取计划描述内容 120。上述计划描述内容包括定义依赖关系图132的依赖关系图描述内容122 及定义每个任务特性的任务描述内容124。依赖关系图描述内容122通过一 列节点134和一列弧136来定义依赖关系图，每个弧136标识该图中的源节 点和目标节点。每一节点与任务定义相关，该任务定义被指定于任务描述内 容124中，任务描述内容124指定该任务中所要执行的特定操作。任务可用任务模板来定义，而计划可用计划模板来定义。任务或计划的 模板可包括对参数的引用，所述对参数的引用是以符号表示的，并且在任务 被执行前不必与值绑定。例如，任务模板可包括对被命名为FILENAME的 参数的引用，并且对该参数的引用利用"美元符号"语法SFILENAME来表 示并在执行任务之前或执行任务期间通过任务管理器110与特定值绑定。有些参数对整个计划来说是全局性的，并且在整个计划第一次执行时被 赋值。这类参数总体上可以是计划的形式参数，并可以，举例来说，在调用 总体计划的命令中加以指定，或可由调用计划的用户以交互方式引出。其它参数无需在计划第一次执行时指定值。这类动态参数可在一个或多 个任务的执行期间或作为执行结果而被赋值，并随后为其它任务的模板所引 用。例如在图2中，参数A可通过任务1而被设定成值，并且该值可随后由 任务2使用。任务管理系统100支持多个与以下讨论有关的附加特征。第一个特征是，节点134可与整个"子计划"相关，而非与单个任务相关。子计划是部分定 序任务的较低级计划。子计划具有与上级计划描述内容相同或相似的结构的 计划描述内容120。第二个特征是任务能够通过其执行来修改计划描述内容120。特别是， 任务能够将附加节点134和弧136添加到依赖关系图132，并且利用由任务 管理器IIO所提供的服务来定义与所添加的节点相关的任务的特性。例如， 对于具有未知(在运行之前)数目的待完成任务的计划，第一任务可利用模 板产生子计划。使用动态参数在运行时绑定模板中任务的数目。所产生的子 计划由任务管理器110合并到第一任务的较高级计划。 绑定方法如下所述，任务管理器IIO利用多个可选方法之一进行参数绑定。或者， 任务管理器110利用多种绑定方法的结合，例如，根据这些参数的声明而对 不同的参数采用不同的方法。其中部分(或全部)方法不同的一个方面在于 参数定义的范围。 方法l参照图3，在第一绑定方法中，任务管理器IIO对所有参数保持单一全 局范围310。任务管理器IIO保持任何参数的单一拷贝。也就是说，它保持 数据结构320，该数据结构使得多个不同的参数名322均与该参数的当前值 324相关联(其中若相应参数尚未被赋值则值324可以为空)。此相同数据 结构320可被用来保存全局参数的值以及那些随着任务的执行通过任务而被 动态赋予的值。参照图2和图3 ，在上述第一方法的示例中，任务1对参数A赋予值FOO， 如赋值语句A=FOO所示。任务管理器110从任务1接收所赋的值FOO (以 从任务1到参数A的值单元324的箭头表示)，并将该值存储于值单元324 内。任务管理器110此后将值FOO提供给任务2，以便在任务2的模板中绑 定对参数A的引用。在这一示例中，任务2包含赋值语句B=$A/BAZ，这能 够使得参数B被赋值FOO/BAZ。任务管理器110接收存储在全局范围310 中的B的赋值。根据依赖关系图132，任务2仅在任务1完成之后执行。因 此，对参数A的赋值FOO保证在执行任务2之前即已执行。通常，可同时执行计划的多项任务组。针对特定依赖关系图，如果在依赖关系图中未彼此定序的两个或更多个任务之间没有直接路径，则这些任务可能被同时执行，或者以不可预知的顺序执行。在图2中，任务2及3便是 这样的未定序任务。在图2所示示例中，任务3对参数A赋值BAR。如果 任务3在任务2之前执行，则参数B在任务2中被赋值BAR/BAZ，而如果 任务3在任务2之后执行，参数B即被赋值FOO/BAZ。在许多应用中，关于哪个值将被赋予B的不确定性是不希望的。避免这 种情况的一种方法是执行依赖关系图的静态检查，并且禁止使用表现出这种 不确定性的计划。所述检查包含识别未被依赖关系图定序的各任务组。如果 特定参数是由该组中一个任务使用而由该组中另一任务赋值的，则产生潜在 的模糊性。类似地，如果在这样的组中的两个任务对一特定参数赋予多个值， 也会产生冲突。通常，在其中多个任务访问一特定参数的未定序任务的任何 组中，没有任务能给该参数赋值。这种静态检查会根据任务2与3对参数A 的引用识别它们之间的冲突。任务管理系统100处理由静态检查所识别的冲 突(例如利用错误处理机制)。注意在本示例中，任务2及5也可能以不可 预知的顺序执行，但二者均使用参数A的值而非给参数A赋值，因此并不 表现出冲突或模糊性。依赖关系图的静态检査是在计划执行之前由任务管理器110执行的，或 可选择地由确认计划描述内容的另一模块以预处理的方式来执行。在通过任 务的执行来修改依赖关系图的情况下，再次执行或增加静态检査，以用于依 赖关系图的修改。对于包括子计划的计划，可采用上述方法的两种变形。在第一种变形中， 任务管理器110对于所有级别的子计划的所有参数保持单个范围。在对包含 具有子计划的节点的计划进行的静态检査中，由该子计划的任何任务所进行 的参数赋值与使用该参数值的较高级计划中的任何未定序任务(对于具有该 子计划的节点而言)冲突。在涉及子计划的第二种变形中，任务管理器110对每个子计划的参数保 持单独的范围，并且子计划的描述内容明确地标识当子计划完成时从子计划 输出到下一个较高级计划的参数。在这类变形中，静态检査涉及子计划的输 出参数与在下一个较高级计划内的任务(该任务不依子计划的执行来定序) 中对该参数的访问之间的冲突。在这种方法的另一版式中，任务管理器IIO禁止对任何特定全局动态参 数的重复赋值。方法2参照图4A，在第二方法中，任务管理器110对于为整个计划设置的参 数保持一全局范围310，以及保持分别与依赖关系图的不同节点相关的多个 动态范围410。对参数赋值的每个任务产生该参数的新"实例(instance)" 并将赋值(通过任务管理器110)存储在与对应于该任务的节点相关的动态 范围410中。任务管理器110因此可存储与参数相关的多个值，每个值与该 参数的不同实例相关。对于任何特定参数(例如A)，任务管理器110保持 与其中参数被赋值的每个任务相关的参数的单独值(因为每个任务对应于单 独节点和单独动态范围410)。参照图4B及4C,参数的每个实例及其相关动态范围410具有确定哪个 任务"得知"对该实例赋予的值的任务范围。根据依赖关系图132的图形420， 每个动态范围410基于各动态范围410之间的关系与不同的任务范围相关。 例如，在任务1中被赋值为A=FOO的参数A的实例(存储在动态范围410 中)具有任务范围430，该任务范围不同于任务范围432，所述任务范围432 与在任务3中被赋值为A=BAR的参数A的实例相关。与参数B的实例相关 的任务范围434包含任务4但不包含任务5，所述参数B在任务2中被赋值 为B-SA/BAZ。在这种方法中，任务范围或参数实例的"范围"(及其相关 动态范围410)仅包含将该值赋予参数实例的任务以及在该任务之后("下 游的")定序的任务。当任务引用参数时，任务管理器110将其范围包括该 任务的参数实例的值绑定到该引用。当任务1赋值FOO给参数A时，任务管理器110将该值存储在与任务 1相关的动态范围410中。类似地，当任务3赋值BAR给参数A时，任务 管理器110将该值存储在与任务3相关的动态范围410中。任务2处于在任 务1中被赋值成A=FOO的参数A的实例的范围内，但不处于在任务3中被 赋值成A-BAR的参数A的实例的范围内。因此，在这种范围划分方法下， 对于任务2中的B值不存在不确定性或模糊性。任务管理器110将任务2中 对参数A的引用与来自任务1的动态范围410的值绑定。任务2将B赋值为 FOO/BAZ，该值提供给任务管理器110从而存储在与任务2相关的动态范围410中。通常在执行期间，任务管理器HO通过考虑经过依赖关系图的上游路径 (即经过单个弧的直接路径或经过已执行任务的非直接路径)，使值与对任 务中参数的引用绑定，其中所述路径以对该参数赋值的任务终止。在此示例 中，当绑定任务2中的参数A时，任务管理器110采用已设定参数的任务1 的上游路径。在图2的示例中，任务4潜在地处于任务1参数A的实例范围之内、以 及处于任务3的参数A的实例范围之内。也就是说，存在从任务4到达任务 1 (非直接而是经任务2)和到达任务3 (直接地)的上游路径，任务l和任 务3各自给A赋值。然而在本示例中不存在模糊性，因为任务3被限制成在 任务1之后执行。如果有多个上游参数赋值，且如果有一个任务被定序到所 有其它任务之后，则不存在模糊性，并且使用赋予最后任务的动态范围410 中参数实例的值。与第一种方法相同，潜在的模糊性可根据依赖关系图静态地进行检查。 具体地说，对于依赖关系图中节点(任务)处对参数的每个引用，首先识别 可给该参数赋值的上游任务。如果没有这样的任务，则此参数将会具有未定 义值或从计划的全局范围提供该参数。如果确实有一个上游任务，则不存在 模糊性。如果有多个对该参数赋值的上游任务，则存在模糊性，除非这些任 务中有单独一个被定序到其它任务之后(即通过依赖关系图被限制在其它任 务之后执行)。 实施方法参照图5，任务描述内容500 (其包含在图1中的任务描述内容124内) 包含声明部分510和指令部分520。声明部分510标识(例如用一个或多个 声明语句)通过相应任务的执行而被赋值的动态参数。图5中所示任务描述 内容对应于图2中的任务1。参数A被声明为由任务来动态赋值，表示成声 明"dynamicA" 512。声明部分510还标识对需要由任务管理器110根据可 用参数的范围来绑定的参数的引用。指令部分520包含待由任务来执行的操作的计算机指令(例如编程语言 或其它过程语句)，以及对动态参数赋值的指令，例如指令"A-FOO"522。 这类计算机指令，举例来说，可由用户指定或通过计算机处理而自动产生。任务管理器110能够处理计划的任务描述内容的声明部分，以确定在相 应任务的执行期间要被赋值、或引用、或者既赋值又引用的参数。任务管理器IIO可通过额外地处理任务描述内容的指令部分，或可选择地通过使用单独类型的用于动态参数赋值的声明语句或用于引用的声明语句，在赋值或引用之间进行区分。例如，对于图2中所示的示例，任务管理器UO可解析任 务描述内容，从而确定任务2引用参数A而任务3对A赋值。这使得任务 管理器110能够完成对第一种方法(见图3，其中任务2中的引用会与任务 3中的赋值冲突)的静态检查。当声明部分标识待引用的参数时，任务管理器110能够在执行指令部分 520的各指令之前配置参数及其绑定值的环境。在配置了任务的环境后，任 务管理器IIO调用执行任务描述内容的指令部分的指令的处理。该处理随后 访问来自已为参数值创建的环境中的那些参数值。在执行期间，通过动态参 数的赋值指令的处理，将(参数，值)对记录在任务执行的输出中，即动态 参数赋值部分530中。例如，对(A， FOO) 532将会记录在赋值部分530 中。任务管理器110在指令部分520的指令执行之后接收赋值部分530，并 使用其内容来更新参数值。在此方法的一个特定实施方式中，指令部分包含SHELL脚本语言的语 句，例如"ksh"。在调用SHELL处理以翻译指令之前，任务管理器110利 用声明部分510来配置那些将在SHELL指令的处理中使用的参数值的环境。 在这一实施方式中，赋值语句采用脚本的文本输出的输出语句的形式。也就 是说，，脚本指令将会包括诸如"PRINT A=FOO"之类语句而不采用赋值 "A=FOO"，从而输出行"A=FOO"。脚本的文本输出构成动态参数赋值 部分530。任务管理器IIO接收该文本输出，并翻译将值存储在适当的动态 范围410中的赋值语句。在另一实施方式中，指令部分520中翻译指令的处理与任务管理器110 通信，并且任务管理器110为存储或访问动态参数值的请求提供服务。当参 数引用需要与值绑定以执行指令时，处理向任务管理器110发出请求，该管 理器确定用于该参数的适当动态范围410并返回该动态范围410中的值。类 似地，当参数被赋值时，处理发出请求以将该值存储在适当的动态范围410 中。在一可选的实施方式中，任务描述内容500的声明部分510不标识在执 行期间任务将会需要的参数，并且在任务的指令正在执行时无法用适当的通 信机制来请求参数值。在这一实施方式中，任务管理器110配置其范围包含 该任务的所有参数实例的完整列表。对于其绑定会导致潜在的模糊性的参数 (例如因为该参数是由多个上游未定序任务赋值的)，以指示符如 "ambiguous—value"来取代参数值，因此若在任务中引用该参数就会产生错 误。当声明部分510不包含将在每个任务中被动态赋值和/或被引用的参数 的声明时，依赖关系图的静态检查将是不可能的。然而，任务管理器110仍 然能够识别在计划的执行期间可能发生的某些潜在冲突。例如，使用对单个 全局范围进行范围划分的方法(见图3)，如果任务管理器110在计划执行 期间检测到多个未定序任务已对参数赋值，则任务管理器110可识别潜在的 冲突。任务管理系统100可随后处理任务管理器所识别的冲突。 示例参照图6A，使用动态赋值参数的示例包括通过整个计划中的不同任务 631-633分别对多个数据文件641-643的处理。数据文件641-643的文件名在 计划被第一次执行时是未知的。更确切地说，文件名被列于文本文件622中， 其名称是作为整个计划的全局参数LIST_FILE提供的。计划包括第一任务620，该任务负责打开LIST—FILE文件622，并读取 其内容。此任务620打开文件并读取内容，确定列出的单个数据文件的数目。 在这一示例中，列表文件622有三个文件名FNAME1 .DAT、 FNAME2.DAT、 及FNAME3X)AT。任务例如利用数据网络上的文件传输协议来检索所列文 件641-643。任务1对多个动态参数NUM_INPUT、及DATA_FILE_1到 DATA一FILE—3赋值，并将这一赋值信息传送给任务管理器110，该管理器将 其记录到适当的范围610 (例如全局范围、或与任务1相关的动态范围，这 取决于所用范围划分方法)中。在示例的这个第一版本中，最初规定的计划确切地具有用于处理输入文 件的任务的三个实例，即任务2-4 (631-633)。每个任务通过引用由任务l 赋值的动态参数来检索其相应的输入数据文件名。这个示例的变形利用了能够修改计划描述内容的任务。计划最初仅有单一任务，"获取名称"任务1 (620)。在"获取名称"任务已确定存在三个 待处理数据文件之后，该任务利用任务管理器110的服务来创建三个处理任 务631-633，并将它们连接到其自身(任务l)。然后在任务l完成之后，如 上所述，任务管理器110执行新创建的任务631-633。或者，在这个示例的另一变形中，任务管理器110可采用具有可修改数 目任务的计划模板。参照图6B，计划最初有两个任务"获取名称"任务1 (620)、及"处理"任务2 (650)。在"获取名称"任务已确定存在三个 待处理数据文件之后，"处理"任务利用具有可修改数目任务的计划模板创 建子计划。"处理"任务引用动态参数NUMJNPUT来创建具有三个(未定 序)处理任务631-633的子计划。如上所述，任务管理器110执行新创建子 计划中的任务631-633。上述参数范围划分方法可用软件实施，以在计算机上执行。例如，所述 软件产生一个或多个计算机程序中的过程，所述计算机程序在一个或多个编 程或可编程计算机系统(其可具有多种结构，例如分布式、客户/服务器、或 网格)上执行，每个计算机系统包括至少一个处理器、至少一个数据存储系 统(包括易失和非易失性存储器和/或存储元件)、至少一个输入装置或端口、 及至少一个输出装置或端口。所述软件可产生一较大程序的一个或多个模 块，例如，其提供与计算图的设计和配置相关的其它服务。所述软件可以设置在由通用或专用可编程计算机可读的介质(例如 CD-ROM)上，或者可以通过网络传递(以传播信号编码)到执行该软 件的计算机。所有功能可以在专用计算机上执行，或者使用诸如协处理 器的专用硬件来执行。所述软件可以以分布式来实现，在该分布式中通 过不同的计算机来执行由所述软件指定的计算的不同部分。每个这种计 算机程序优选地存储或者下载到由通用或专用可编程计算机可读取的存 储介质或装置(例如，固态存储器或介质、或者磁或光介质)中，用于 在由计算机系统读取该存储介质或装置时对计算机进行配置和操作，以 执行这里所述的过程。本发明系统还可以认为是作为由计算机程序配置 的计算机可读存储介质来实现，其中这样配置的存储介质使得计算机系 统以专用或者预定的方式来操作，以执行这里所述的功能。应该理解以上的描述是示例的目的，而不是对由所附权利要求所限定的 本发明范围的限制。其它实施例也落于以下权利要求书的范围中。
权利要求
1. 一种用于检查参数访问的方法，包括接受用于多个任务的定序限制的描述内容，其中至少一些任务未彼此定序；对于一个参数或多个参数中的每个参数，识别访问所述参数的任务；以及根据所述定序限制的描述内容，检查通过识别的任务对所述参数的访问中潜在的冲突。
2. 根据权利要求1所述的方法，其中接受所述定序限制的描述内容的操 作包括接受依赖关系图的描述内容。
3. 根据权利要求1所述的方法，其中识别访问参数的任务的操作包括处 理任务的声明。
4. 根据权利要求1所述的方法，其中检查对所述参数的访问中潜在的冲 突的操作包括确定所述参数之一的实例的范围，以及是否多个范围包含引用 该参数的任务。
5. 根据权利要求4所述的方法，还包括如果多个范围包含引用该参数 的任务，则将引用的参数识别为模糊参数。
6. 存储在计算机可读介质上的软件，该软件包括使得计算机系统执行以 下操作的指令接受用于多个任务的定序限制的描述内容，其中至少一些任务未彼此定序；对于一个参数或多个参数中的每个参数，识别访问所述参数的任务；以及根据所述定序限制的描述内容，检査通过所识别的任务对所述参数的访 问中潜在的冲突。
7. 根据权利要求6所述的软件，其中接受所述定序限制的描述内容的操 作包括接受依赖关系图的描述内容。
8. 根据权利要求6所述的软件，其中识别访问参数的任务的操作包括处 理任务的声明。
9. 根据权利要求6所述的软件，其中检査对所述参数的访问中潜在的冲突的操作包括确定所述参数之一的实例的范围，以及是否多个范围包含引用 该参数的任务。
10. 根据权利要求9所述的软件，还包括使得计算机系统执行以下操作的指令如果多个范围包含引用所述参数的任务，则将引用的参数识别为模 糊参数。
11. 一种任务管理系统，包括任务管理器定义模块，其被配置为接受用于多个任务的定序限制的描述 内容，其中至少一些任务未彼此定序；以及任务管理器静态检査模块，其能够访问所述描述内容，并被配置为执行以下操作对于一个参数或多个参数中的每个参数，识别访问所述参数的任 务；以及根据所述定序限制的描述内容，检查通过所识别的任务对所述参数 的访问中潜在的冲突。
12. 根据权利要求11所述的系统，其中接受所述定序限制的描述内容的操作包括接受依赖关系图的描述内容。
13. 根据权利要求11所述的系统，其中识别访问参数的任务的操作包括 处理所述任务的声明。
14. 根据权利要求11所述的系统，其中检査对所述参数的访问中潜在的 冲突的操作包括确定所述参数之一的实例的范围，以及是否多个范围包含引 用该参数的任务。
15. 根据权利要求14所述的系统，其中所述任务管理器静态检查模块还 被配置为如果多个范围包含引用所述参数的任务，则将引用的参数识别为 模糊参数。
16. —种任务管理系统，包括用于接受多个任务的定序限制的描述内容的装置，其中至少一些任务未彼此定序；用于对于一个参数或多个参数中的每个参数识别访问所述参数的任务 的装置；以及用于根据所述定序限制的描述内容检査通过所识别的任务对所述参数的访问中潜在的冲突的装置。
17. 根据权利要求16所述的系统，其中接受所述定序限制的描述内容的 操作包括接受依赖关系图的描述内容。
18. 根据权利要求16所述的系统，其中识别访问参数的任务的操作包括 处理任务的声明。
19. 根据权利要求16所述的系统，其中检查对所述参数的访问中潜在的 冲突的操作包括确定所述参数之一的实例的范围，以及是否多个范围包含引 用该参数的任务。
20. 根据权利要求19所述的系统，还包括如果多个范围包含引用所述参 数的任务，则将引用的参数识别为模糊参数的装置。
全文摘要
本发明公开了一种用于检查参数访问的方法以及任务管理系统。其中，该用于检查参数访问的方法包括接受用于多个任务的定序限制的描述内容，其中至少一些任务未彼此定序；对于一个参数或多个参数中的每个参数，识别访问所述参数的任务；以及根据所述定序限制的描述内容，检查通过识别的任务对所述参数的访问中潜在的冲突。
文档编号G06F9/46GK101276290SQ20081009710
公开日2008年10月1日 申请日期2005年3月8日 优先权日2004年3月8日
发明者克雷格·W.·斯坦菲尔, 弗兰克·因金戈洛 申请人:Ab开元软件公司