Precondition exclusivity mapping of tasks to computational locations

A computer-readable storage medium configured with software which upon execution by at least one processor performs with at least two iterations an optimizing method of mapping computational tasks to computational locations in a production rule system, the optimizing method comprising:

• determining whether any precondition for running a task is mutually exclusive of any other precondition for running another task, each precondition operational in the production rule system as a production rule precondition or as a production rule trigger condition or as both;
• in at least one iteration said determining determines that at least one precondition is mutually exclusive of at least one other precondition, and the iteration further includes mapping the tasks of said mutually exclusive preconditions to the same computational location as one another in the production rule system;
• in at least one other iteration said determining does not determine that at least one precondition of a task is mutually exclusive of at least one other precondition of another task, and the iteration further includes mapping those tasks to different computational locations than one another in the production rule system;
• and
• in each iteration running a task at the computational location to which the task was mapped.

A computational system comprising:

• at least one processor;
• a memory in operable communication with the processor;
• a graph residing in the memory, the graph having nodes which represent tasks, the graph also having precondition links connected to the nodes, each precondition link (a) representing a task execution order dependency or (b) pointing to one or more data structures which represent at least one precondition, or both (a) and (b);
• and
• mapping software residing in the memory which upon execution by at least one processor performs an optimizing method of mapping computational tasks to computational locations, an iteration of the optimizing method including:
• selecting a pair of nodes, determining at least in part by using one or more precondition links whether the node tasks of the selected nodes have mutually exclusive preconditions, and assigning the node tasks to the same computational location when the node tasks are determined to have mutually exclusive preconditions and otherwise assigning the node tasks to different computational locations;
• the optimizing method further characterized by including multiple iterations, at least one iteration assigning the node tasks to the same computational location and at least one other iteration assigning the node tasks to different computational locations.