US 9,811,392 B2
Precondition exclusivity mapping of tasks to computational locations
Ilya Grebnov, Kirkland, WA (US); Stephen Siciliano, Bellevue, WA (US); and Charles Lamanna, Bellevue, WA (US)
Assigned to Microsoft Technology Licensing, LLC, Redmond, WA (US)
Filed by Microsoft Technology Licensing, LLC, Redmond, WA (US)
Filed on Nov. 24, 2015, as Appl. No. 14/950,397.
Prior Publication US 2017/0147413 A1, May 25, 2017
Int. Cl. G06F 9/46 (2006.01); G06F 9/52 (2006.01)
CPC G06F 9/528 (2013.01) 20 Claims
OG exemplary drawing
 
1. An optimizing method of mapping between computational tasks and computational locations, the method comprising:
attempting to determine a mutual exclusivity status of a task A and a task B by determining whether any precondition A_P for running task A is mutually exclusive of any precondition B_P for running task B;
when the attempting succeeds in determining that at least one precondition A_P is mutually exclusive of at least one precondition B_P, then mapping task A and task B to the same computational location as one another;
attempting to determine a mutual exclusivity status of a task C and a task D by determining whether any precondition C_P for running task C is mutually exclusive of any precondition D_P for running task D;
when the attempting succeeds in determining that no precondition C_P is mutually exclusive of any precondition D_P, then mapping task C and task D to different computational locations than one another; and
attempting to determine a mutual exclusivity status of a task E and a task F by determining whether any precondition E_P for running task E is mutually exclusive of any precondition F_P for running task F;
when the attempting fails to determine the mutual exclusivity status of task E and task F, then mapping task E and task F to different computational locations than one another.