The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Aug. 12, 2014
Filed:
Sep. 10, 2009
Henrique Andrade, Croton-on-Hudson, NY (US);
Bugra Gedik, White Plains, NY (US);
Kirsten Weale Hildrum, Hawthorne, NY (US);
Rohit Madhukar Khandekar, Elmsford, NY (US);
Sujay Sunil Parekh, Dobbs Ferry, NY (US);
Deepak Rajan, Fishkill, NY (US);
Joel Leonard Wolf, Katonah, NY (US);
Kun-lung Wu, Yorktown Heights, NY (US);
Henrique Andrade, Croton-on-Hudson, NY (US);
Bugra Gedik, White Plains, NY (US);
Kirsten Weale Hildrum, Hawthorne, NY (US);
Rohit Madhukar Khandekar, Elmsford, NY (US);
Sujay Sunil Parekh, Dobbs Ferry, NY (US);
Deepak Rajan, Fishkill, NY (US);
Joel Leonard Wolf, Katonah, NY (US);
Kun-Lung Wu, Yorktown Heights, NY (US);
International Business Machines Corporation, Armonk, NY (US);
Abstract
Techniques for determining feasibility of a set of one or more operator partitioning constraints are provided. The techniques include 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, processing each set of one or more operator partitioning constraints to determine feasibility of each set of one or more operator partitioning constraints, creating and outputting one or more candidate partitions and one or more host placements for each set of feasible partitioning constraints, 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.