Patent ID: 8806510
Filing Date: 2014-08-12
Classification: G06F

Abstract:
1. A method for determining feasibility of a set of one or more operator partitioning constraints, wherein the method comprises: receiving one or more sets of operator partitioning constraints, wherein each set of one or more constraints define one or more desired conditions for grouping together of operators into partitions and placing partitions on hosts, wherein each operator is embodied as software that performs a particular function, and wherein said receiving is carried out on a distinct software module executing on a hardware processor; processing each set of one or more operator partitioning constraints to determine (i) a feasible partitioning of operators into a fusion of operators and (ii) an assignment of the fusion of operators to a host, such that all operator partitioning constraints are satisfied, wherein said processing is carried out on a distinct software module executing on a hardware processor; creating and outputting one or more candidate partitions and one or more host placements for each set of feasible partitioning constraints, wherein said creating and outputting one or more candidate partitions is carried out on a distinct software module executing on a hardware processor; and creating and outputting a certificate of infeasibility for each set of infeasible partitioning constraints, wherein the certificate of infeasibility outlines one or more reasons for infeasibility, wherein said creating and outputting a certificate is carried out on a distinct software module executing on a hardware processor, and wherein said outlining comprises: