Data Parallel Programming Model

• US 20110314256A1
• Filed: 06/18/2010
• Published: 12/22/2011
• Est. Priority Date: 06/18/2010
• Status: Abandoned Application

• Current Assignee: Microsoft Technology Licensing LLC (Microsoft Corporation)
• Original Assignee: Microsoft Corporation
• Inventors: Callahan, Charles David II, Ringseth, Paul F., Levanoni, Yosseff, Zhu, Weirong, Zhang, Lingli
• Application Number:
  US12/819,097
• Publication Number:
  US 20110314256A1
• Time in Patent Office: Days
• US Class Current: 712/17
• CPC Class Codes: G06F 8/45 Exploiting coarse grain parallelism in compilation, i.e. parallelism between groups of instructions

Abstract

Described herein are techniques for enabling a programmer to express a call for a data parallel call-site function in a way that is accessible and usable to the typical programmer. With some of the described techniques, an executable program is generated based upon expressions of those data parallel tasks. During execution of the executable program, data is exchanged between non-data parallel (non-DP) capable hardware and DP capable hardware for the invocation of data parallel functions.

Claims

1. A method that facilitates production of data parallel (DP) executable programs, the method comprising:

obtaining a representation of how to call a DP call-site function, wherein the representation includes indicators of arguments associated with the call for the DP call-site function;

based at least in part upon the DP call-site function representation, generating a set of executable instructions based upon the DP call-site function with its associated arguments, wherein the executable instructions perform, when executed on one or more computing devices, operations comprising;

defining a data set based upon the arguments, the data set being stored in a memory that is part of a DP capable hardware of the one or more computing devices;

performing the data parallel call-site function call upon the data set stored in the DP capable memory.

2. A method as recited in claim 1, wherein the function call, which is represented by the textual representation, comprises a DP primitive forall.

3. A method as recited in claim 1, wherein the function call, which is represented by the textual representation, is selected from a group of DP primitives consisting of:

forall, reduce, scan, and sort.

4. A method as recited in claim 1, wherein the arguments, which are indicated by the indicators of the arguments associated with the call for the DP call-site function, include parameters defining the data set.

5. A method as recited in claim 1, wherein the arguments, which are indicated by the indicators of the arguments associated with the call for the DP call-site function, include parameters defining a logical arrangement of the data set, wherein those parameters include a rank of the data set, the rank being a number of dimensions of the data set.

6. A method as recited in claim 1, wherein the arguments, which are indicated by the indicators of the arguments associated with the call for the DP call-site function, include parameters defining a logical arrangement of the data set, wherein those parameters include a data type of the data in the data set.

7. A method as recited in claim 1, wherein the arguments, which are indicated by the indicators of the arguments associated with the call for the DP call-site function, include parameters defining a logical arrangement of the data set, wherein those parameters include a rank of the data set and a data type of the data in the data set, the rank being a number of dimensions of the data set.

8. A method as recited in claim 1, wherein the arguments, which are indicated by the indicators of the arguments associated with the call for the DP call-site function, include parameters indicating that at least a portion of the data set is to be stored in read-only memory.

9. A method as recited in claim 1, wherein the arguments, which are indicated by the indicators of the arguments associated with the call for the DP call-site function, include parameters defining a multi-dimensional logical arrangement of the data set, wherein the parameters include a compute domain of the data set, the compute domain defining an extent of each of the dimensions of the multi-dimensional logical arrangement of the data set.

10. A method as recited in claim 1, wherein the arguments, which are indicated by the indicators of the arguments associated with the call for the DP call-site function, include parameters defining at least a portion of the data set to be stored in a read-only area of the DP-capable memory.

11. A method as recited in claim 1, wherein the arguments, which are indicated by the indicators of the arguments associated with the call for the DP call-site function, are elemental.

12. A method as recited in claim 1, wherein the arguments, which are indicated by the indicators of the arguments associated with the call for the DP call-site function, are non-elemental.

13. A method as recited in claim 1, wherein the operations further comprise:

based upon the function call, generating multiple instances of a DP kernel;

invoking, in parallel, the multiple instances of the DP kernel in the DP capable hardware, wherein each invoked instance of a kernel performs a common set of instructions but on different portions of the data set.

14. A method as recited in claim 1, wherein the operations further comprise transferring the data set from non-DP capable memory to the DP capable memory.

15. A method as recited in claim 1, further comprising transferring the resulting output from the DP capable memory to the non-DP capable memory.

16. One or more computer-readable media storing processor-executable instructions that, when executed, cause one or more processors to perform operations, the operations comprising:

selecting a data set to be used for data parallel (DP) computation, the data set being stored in a memory that is not part of DP capable hardware of one or more computing devices;

transferring the selected data set from the non-DP capable memory to another memory that is part of DP capable hardware of the one or more computing devices;

defining data of the data set stored in the DP capable memory as a field;

generating multiple instances of a DP kernel;

receiving as input, by each instance of the DP kernel, a portion of the data from the field;

invoking, in parallel, the multiple instances of the DP kernel in the DP capable hardware;

obtaining output resulting from the invoked multiple instances of the DP kernel, the resulting output being stored in the DP capable memory;

concurrent with parallel invocation of the multiple instances of the DP kernel, performing one or more non-DP computations by hardware that is not part of DP capable hardware of the one or more computing devices; and

transferring the resulting output from the DP capable memory to the non-DP capable memory.

17. A method that facilitates execution of a data parallel (DP) executable program, the method comprising:

selecting a data set to be used for DP computation, the data set being stored in a memory that is not part of DP capable hardware of one or more computing devices;

transferring the selected data set from the non-DP capable memory to another memory that is part of DP capable hardware of the one or more computing devices;

invoking, in parallel, multiple instances of a DP kernel in the DP capable hardware; and

obtaining output resulting from the invoked multiple instances of the DP kernel, the resulting output being stored in the DP capable memory.

18. A method as recited in claim 17, further comprising:

defining the data set stored in the DP capable memory as a field;

generating the multiple instances of a DP kernel; and

receiving as input, by each instance of the DP kernel, a portion of the data from the field.

19. A method as recited in claim 17, further comprising transferring the resulting output from the DP capable memory to the non-DP capable memory.

20. A method as recited in claim 17, further comprising:

concurrent with parallel invocation of the multiple instances of the DP kernel, performing one or more non-DP computations by hardware that is not part of DP capable hardware of the one or more computing devices;

transferring the resulting output from the DP capable memory to the non-DP capable memory.