CODE COVERAGE GENERATION IN GPU BY USING HOST-DEVICE COORDINATION

Abstract

System and method of compiling a program having a mixture of host code and device code to enable code coverage data collection for device code execution. An exemplary integrated compiler can compile source code programmed to be executed by a host processor (e.g., CPU) and a co-processor (e.g., a GPU) concurrently. The compilation can generate an instrumented executable code which includes: coverage instrumentation counters for the device functions; mapping information that maps the counters with the instrumented source points; and instructions for the host processor to allocate and initialize device memory for the counters and to retrieve collected code coverage information from the device memory to the host memory. Execution of the instrumented executable can yield a coverage report on the device code functions.

Claims

1. A method comprising: accessing source code of a program comprising code configured to be executed by a host processor and code configured to be executed by a co-processor; and compiling the source code to generate instrumented executable code, wherein the compiling comprises inserting instrumentation code operable to cause generation of code coverage data during execution of the instrumented executable code by the co-processor, wherein the instrumentation code comprises one or more instrumentation counters for a kernel to be executed by the co-processor, and wherein the instrumented executable code is operable to cause the host processor to initialize a co-processor memory for the one or more instrumentation counters.

2. The method of claim 1, wherein the host processor comprises a Central Processing Unit (CPU) and the co-processor comprises a Graphics Processing Unit (GPU).

3. The method of claim 1, wherein the compiling further comprises generating coverage mapping information indicative of correspondences between the one or more instrumentation counters and source positions of instrumented points.

4. The method of claim 3, wherein the inserting comprises providing the instrumentation code and a function call list from a co-processor compiler to a host processor compiler.

5. The method of claim 4, wherein the inserting further comprises inserting calls to coverage intrinsics, wherein the coverage intrinsic are operable to encode source positions of instrumented points into parameters.

6. The method of claim 5, wherein the inserting the instrumentation code further comprises converting the calls to coverage intrinsics related to the co-processor into coverage instrumentation instructions and the coverage mapping information.

7. The method of claim 4, wherein the compiling further comprises: generating call graph information and memory usage requirements for functions defined for the co-processor; and sending the call graph information and the memory usage requirements from a co-processor compiler to a host compiler.

8. The method of claim 1, wherein the instrumented executable code is operable to cause said host processor to allocate the co-processor memory for the one or more instrumentation counters.

9. The method of claim 1, wherein the instrumented executable code is operable to cause the host processor to initialize the co-processor memory by using a driver for the co-processor.

10. The method of claim 1, wherein the instrumented executable code is operable to: cause the host processor to invoke the kernel for execution after initializing the co-processor memory for the one or more instrumentation counters; and cause the co-processor to update the one or more instrumentation counters during execution of the kernel.

11. The method of claim 1, wherein further the one or more instrumentation counters are configured to increment in atomic operations.

12. The method of claim 1, wherein the instrumented executable code is further operable to cause the host processor to copy values of the one or more instrumentation counters from the co-processor memory to a host processor memory after completion of the kernel.

13. The method of claim 1, wherein the instrumented executable code is operable to cause the host processor to call a library to write the code coverage data into an output file.

14. The method of claim 1, wherein the compiling comprises performing a set of separate compilations for multiple portions of the source code, wherein performing a separate compilation comprises: inserting instrumentation code for a portion of the source code in the separate compilation; and generating an initialized constant variable for the separate compilation, wherein the initialized constant variable comprises a partial function call list associated with the separate compilation.

15. The method of claim 14, wherein the compiling further comprises linking the instrumented code resulting from the set of separate compilations to generate the instrumented executable code, wherein the linking comprises: generating a combined call list from partial function call lists; and generating a representation of a combined call graph comprising partial call graphs associated with the multiple portions of the source code respectively.

16. The method of claim 14, wherein the performing the separate compilation further comprises: sending instrumentation code for the portion from a device compiler to a host compiler; and declaring mirrors for counters at the host compiler.

17. A system comprising: a processor; and a memory coupled to the processor and storing instructions that, when executed by the processor, cause the system to perform a method of generating code coverage data, wherein the method comprises: accessing source code of a program comprising code configured to be executed by a host processor and code configured to be executed by a co-processor concurrently; and compiling the source code to generate instrumented executable code, wherein the compiling comprises inserting instrumentation code operable to cause generation of code coverage data during execution of the instrumented executable code by the co-processor, wherein the instrumentation code comprises one or more instrumentation counters for a kernel to be executed by the co-processor, and wherein the instrumented executable code is operable to cause the host processor to initialize a co-processor memory for the one or more instrumentation counters before the host processor invokes the kernel.

18. The system of claim 17, wherein the compiling further comprises generating coverage mapping information indicative of correspondence between the one or more instrumentation counters and source positions of instrumented points.

19. The system of claim 18, wherein the inserting comprises converting calls to coverage intrinsics related to the co-processor into coverage instrumentation instructions, wherein the calls to coverage intrinsics are operable to encode the source positions of instrumented points into parameters.

20. The system of claim 18, wherein the compiling further comprises generating call graph information and memory usage requirements for functions defined for the co-processor.

21. The system of claim 17, wherein the instrumented executable code is further operable to cause the host processor to allocate the co-processor memory.

22. The system of claim 17, wherein the instrumented executable code is further operable to: cause the host processor to initialize the co-processor memory by using a driver for the co-processor; and cause the host processor to invoke the kernel for execution by the co-processor after initializing the co-processor memory.

23. The system of claim 17, wherein the instrumented executable code is further operable to cause the co-processor to update the one or more instrumentation counters during execution of the kernel, and wherein further said the one or more instrumentation counters are configured to increment in atomic operations.

24. The system of claim 17, wherein the instrumented executable code is further operable to cause the host processor to: copy values of said the one or more instrumentation counters from the co-processor memory to a host processor memory after completion of execution of the kernel; and write the code coverage data into an output file.

25. The system of claim 17, wherein the compiling comprises performing a set of separate compilations for multiple portions of the source code, wherein performing a separate compilation comprises: inserting instrumentation code for a portion of the source code in the separate compilation; and generating an initialized constant variable for the separate compilation, wherein the initialized constant variable comprises a partial function call list associated with the separate compilation.

26. The system of claim 25, wherein the compiling further comprises linking the instrumented code resulting from the set of separate compilations to generate the instrumented executable code, wherein the linking comprises: generating a combined call list from partial function call lists; and generating a representation of a combined call graph comprising partial call graphs associated with the multiple portions of the source code respectively.

27. The system claim 25, wherein the performing the separate compilation further comprises: sending instrumentation code for the portion from a co-processor compiler to a host compiler; and declaring mirrors for counters at the host compiler.

Description

BRIEF DESCRIPTION OF THE DRAWINGS

[0004] Embodiments are illustrated by way of example, and not by way of limitation, in the figures of the accompanying drawings.

[0005] FIG. 1 illustrates an exemplary computer implemented process of compilation and instrumented execution to generate code coverage information from device code execution in accordance with an embodiment of the present disclosure.

[0006] FIG. 2A illustrates an exemplary computer implemented process of instrumented compilation in a device compiler in accordance with an embodiment of the present disclosure.

[0007] FIG. 2B is a flow chart depicting an exemplary computer implemented process of instrumenting device functions in a device compiler in accordance with an embodiment of the present disclosure.

[0008] FIG. 3 is a flow chart depicting an exemplary instrumented execution process through coordination between a CPU and a GPU in accordance with an embodiment of the present disclosure.

[0009] FIG. 4 is a block diagram illustrating an exemplary computing system operable to compile integrated source code and instrument the code for code coverage data collection in accordance with an embodiment of the present disclosure.

DETAILED DESCRIPTION OF THE INVENTION

[0010] Reference will now be made in detail to the preferred embodiments of the present disclosure, examples of which are illustrated in the accompanying drawings. While the disclosure will be described in conjunction with the preferred embodiments, it will be understood that they are not intended to limit the disclosure to these embodiments. On the contrary, the disclosure is intended to cover alternatives, modifications and equivalents, which may be included within the spirit and scope of the disclosure as defined by the appended claims. Furthermore, in the following detailed description of embodiments of the present disclosure, numerous specific details are set forth in order to provide a thorough understanding of the present disclosure. However, it will be recognized by one of ordinary skill in the art that the present disclosure may be practiced without these specific details. In other instances, well-known methods, procedures, components, and circuits have not been described in detail as not to unnecessarily obscure aspects of the embodiments of the present disclosure.

[0011] Notation and Nomenclature:

[0012] Some portions of the detailed descriptions, which follow, are presented in terms of procedures, steps, logic blocks, processing, and other symbolic representations of operations on data bits within a computer memory. These descriptions and representations are the means used by those skilled in the data processing arts to most effectively convey the substance of their work to others skilled in the art. A procedure, computer executed step, logic block, process, etc., is here, and generally, conceived to be a self-consistent sequence of steps or instructions leading to a desired result. The steps are those requiring physical manipulations of physical quantities. Usually, though not necessarily, these quantities take the form of electrical or magnetic signals capable of being stored, transferred, combined, compared, and otherwise manipulated in a computer system. It has proven convenient at times, principally for reasons of common usage, to refer to these signals as bits, values, elements, symbols, characters, terms, numbers, or the like.

[0013] It should be borne in mind, however, that all of these and similar terms are to be associated with the appropriate physical quantities and are merely convenient labels applied to these quantities. Unless specifically stated otherwise as apparent from the following discussions, it is appreciated that throughout the present disclosure, discussions utilizing terms such as processing or compiling or linking or accessing or performing or executing or providing or the like, refer to the action and processes of an integrated circuit, or similar electronic computing device, that manipulates and transforms data represented as physical (electronic) quantities within the computer system's registers and memories into other data similarly represented as physical quantities within the computer system memories or registers or other such information storage, transmission or display devices.

Code Coverage Generation in GPU by Using Host-Device Coordination

[0014] Embodiments of the present disclosure provide a compilation mechanism to enable generation of code coverage information with regard to code execution by a device processor (or a co-processor or accelerator processor herein). An exemplary integrated compiler can compile source code programmed to be concurrently executed by a host processor (or main processor) and a device processor. The compilation can generate an instrumented executable code including (1) code coverage instrumentation counters for the device functions, (2) mapping information that maps instrumentation counters to source constructs, (3) memory requirements of the counters, and (4) instructions for the host processor to allocate and initialize device memory for the counters and to retrieve collected coverage data from the device memory to generate instrumentation output. Execution of the instrumented executable code can produce values coverage counters, which when provided to coverage tool, along with the executable can produce code coverage report on the device functions.

[0015] The code coverage information can be used to determine the extent that the source code is expressed by a test-suite of test applications.

[0016] In one embodiment, a first processor, such as a GPU operates, as a co-processor of a second processor, such as a CPU, or vice versa. The first processor and the second professor are configured to operate in a co-processing manner.

[0017] Some embodiments of the present disclosure can be integrated in a NVCC compiler for the CUDA programming language and a General-Purpose computing on Graphics Processing Units (GPGPU) platform, e.g., with a CPU being the host and a GPU being a device. However, other embodiments of the present disclosure may also be used in any other suitable parallel computing platform that includes different types of processors.

[0018] For example, an application program written for CUDA may include sequential C language programming statements, and calls to a specialized application programming interface (API) used for configuring and managing parallel execution of program threads. A function associated with a CUDA application program that is destined for concurrent execution on a device processor is referred to as a kernel function. An instance of a kernel function is referred to as a thread, and a set of concurrently executing threads may be organized as a thread block.

[0019] FIG. 1 illustrates an exemplary computer implemented process 100 of compilation and instrumented execution to generate code coverage information from device code execution in accordance with an embodiment of the present disclosure. In one embodiment, the compilation process may be performed by an exemplary compiler that integrates the functionalities of host compilation by using a host compiler 113, device compilation by using a device compiler 122, and linking.

[0020] More specifically, the integrated source code is processed by the host and device preprocessors 111 and 112. The device code and the host code are separated from each other and supplied to the host compiler 113 and the device compiler 122, respectively. In the device compiler 122, the device code is subject to front end and back end processing to generate device code machine binary. In the illustrated embodiment, a code coverage pass 123 is implemented to generate instrumentation code by inserting code to increment counters to the device functions, e.g., as part of the optimization phase. As described in greater detail with reference to FIGS. 2A-3, in one embodiment, the code coverage pass 123 also generates mapping information that maps the inserted instrumentation counters to their source constructs (e.g., the source construct information is generated as part of the front end processing), and memory usage requirement for each device function. In one embodiment, the mapping information is passed along in the device binary, while the memory usage information and the call graph information are enclosed in a file named covinfo.

[0021] The device compiler 122 sends the instrumentation code and the covinfo file to the host compiler 113 which uses the enclosed information to declare mirrors for counters on the host side. The device instrumented code is combined with the front end-processed host code and processed by the host compiler 113 to generate an object file. Provided with the device instrument code and the covinfo file, the host compiler 113 can generate instructions for a host processor to allocate and initialize memory for the counters in the instrumented execution phase, as described in greater detail below with reference to FIG. 3. The object file is then processed by the device linker 131 (in case of separate compilation as described below), the host compiler 113, and the host linker 132. As a result, the instrumented executable code is produced for the program.

[0022] After the execution platform 140 executes the executable, it produces code coverage data including counter information, which when combined with coverage information available in the executable, is passed to a code coverage tool. A code coverage report with collected code coverage data can be produced by the coverage tool 150, e.g., in a format that can be displayed in a graphics user interface (GUI) viewable by a user. In one embodiment the report may present the source file as annotated with coverage information at source block granularity, and annotated uncovered source region. In one embodiment, the device compiler 122 may be configured to limit instrumentation and annotation to a selected set of functions in the program.

[0023] In one embodiment, the flow in the dashed-line box 120 may be performed for each virtual architecture, e.g., each Instruction Set Architecture (ISA). In one embodiment, an architecture field is added to the host-device communication macros to uniquely identify the different architecture variants.

[0024] In case of whole compilation, in one embodiment, the flow in the dashed-line box 110 is performed once as the device instrument code supplied to the host compiler includes a complete function call list (callee list) of each kernel. In case of separate compilation, in one embodiment, a complete function call list of a kernel may not be known at the time of compiling the kernel by the device compiler 122. The call graph and the callee list may be only available at link time. In one embodiment, communications between the device compiler 122, the device linker 131 and the host compiler 113 are used to achieve instrumentation. Partial instrument information from all compilation units is fed to the device linker 131 and combined with the object file. As such, the instrumentation for the entire program, and therefore for a complete function call list, becomes available.

[0025] More specifically, for each compilation unit configured to compile a portion of the source code, the flow in the dashed-line box 110 is performed once and the code coverage pass 123 may generate instrumentation related to a partial function call list contained in the portion. During compilation, the device compiler 122 instruments the portion of the code as it would for a whole program compilation. In addition, it emits information of instrumentation counters and mapping in covinfo to the host compiler 113 for it to declare mirrors for the counters.

[0026] In one embodiment, an initialized constant variable may be created, containing: [0027] 1. Function name, function hash, architecture ID and number of counters for each device function; and [0028] 2. Partial call list containing calls recognized for one compilation unit.

[0029] In one embodiment, at link time, the instrument information from all compilation units is collated and a call graph is generated which contains the partial call graphs using compiler information. This call graph is supplemented with the call graph generated by the linker 131, and instrument code is generated using the combined call list. In one embodiment, this instrument code contains all the information necessary for the host side to allocate memory and print the collected coverage data to a file after a kernel launch. In one embodiment, a host side stub file is created, compiled and linked to produce the final executable.

[0030] In one embodiment, function names may be passed between the device compiler 122 and the linker 131 using relocations. The device compiler 122 uses function addresses in the counter variable initialization. They turn into linker relocations, which are patched at link time. In another embodiment, function names can be passed as strings.

[0031] As the coverage information collected for a program is sensitive to changes to the compiler and the source code, in one embodiment, a Cyclic Redundancy Check (CRC) error detection code can be used to check based on the structure and indexes of the CFG of the program. The CRC code in combination with the function names can be used to facilitate validity verification of the code coverage data.

[0032] According to embodiments of the present disclosure, coverage instrumentation for device code includes two major tasks: (1) instrumenting the source code with increment counters; and (2) generating coverage mapping information to map instrumentation counters to source constructs. Task (1) uses call graph information and full instrumentation information for each function. Thus, in one embodiment, it may be achieved by using an optimization (OPT) module pass. In one embodiment, task (2) may be achieved by a front end process with its access to source lexical blocks. In one embodiment, as part of parsing, the front end of the device compiler constructs a syntax tree, along with the source line information, e.g., Source Position (SPOS).

[0033] FIG. 2A illustrates an exemplary computer implemented process 200 of instrumented compilation in an exemplary device compiler 210 in accordance with an embodiment of the present disclosure. In the illustrated example, the device front end 211 is configured to generate and emit calls to coverage intrinsics at instrumentation points as part of intermediate representation (IR) code generation. At this stage, the lexical blocks and their source positions are available. The intrinsics are operable to encode the source positional information as parameters and may be emitted for each lexical block in the source program.

[0034] In one embodiment, the optimization phase (OPT) 212 includes a code coverage module pass 221 operable to convert the coverage intrinsics to coverage instrumentation instructions in the instrumentation code and emit relevant information in a file (e.g., in the covinfo) which can be used by the host compiler to generate instructions for a host processor to allocate memory during execution. In addition, the code coverage pass 221 also converts the coverage intrinsics to coverage mapping information and emits this information in the assembly language code (e.g., PTX code) and the machine binary code (e.g., cubin) for example. In one embodiment, a global coverage mapping variable may be emitted for each compilation unit in case of separate compilation. In one embodiment, the information in all such variables from different compilation units is then combined together by the linker.

[0035] The coverage mapping information can be used in reconstruction of the collected coverage data into a coverage report, which needs the values of all the counters emitted for a compilation unit, and the mapping of source positions to the corresponding counters. In some embodiments, for reconstruction, an extract library may be implemented to enable a coverage tool to retrieve the mapping information. Since the machine binary code (e.g., cubin) is wrapped in fatbinary in the host-side executable, the library can operate to unpack all the machine binary and append the coverage information for the coverage tool. This information is then analyzed along with the instrumentation counter values read from the library calls to construct the coverage report.

[0036] As illustrated, the device compiler 210 emits a list of information to the host side for combination with the front end processed host code, the information including the constant global variable of call list or partial call lists in case of separate compilation, instrumentation counters, and the memory requirements of the counters.

[0037] The output from the optimization phase 212, including the instrumented calls to counters and coverage mapping information, is sent to the back end 215, where the device code generator 213 converts it into assembly language code (e.g., PTX). The PTX code is further converted to machine binary code by the PTX assembly 214. In one embodiment, the PTX code and machine binary code are embedded in the fatbinary through the fatbinary module 220 and also combined (included) in the front end-processed host code which is fed to the host compiler.

[0038] In this example, the code coverage pass is a module pass integrated as part of an Intermediate Representation (IR) pass in the device optimization phase, and can be invoked anywhere in the optimization phase 212 of the device back end 215 before conversion of the IR code to the machine instruction code. However, it will be appreciated that the device code coverage generation can be implemented in any other well-known suitable manner without departing from the scope of the present disclosure.

[0039] FIG. 2B is a flow chart depicting an exemplary computer implemented process 250 of instrumenting device functions in a device compiler in accordance with an embodiment of the present disclosure. Process 250 can be implemented in a module pass as call graph information is needed. In one embodiment, process 250 may be performed by the code coverage pass 221 in FIG. 2A. At 250, for each device function, the calls to coverage intrinsics are converted to instrumentation instructions in the instrumentation code. At 252, the memory usage requirement for each function is collected and this information is emitted in the covinfo file with call graph information. At 253, the coverage mapping information for each function is accumulated, and a global constant variable for the whole compilation unit is emitted.

[0040] In one embodiment, a code coverage pass is used to generate device instrumentation code by inserting instrumentation counters. The counters are updated each time the associated code is executed. Also generated in compilation are the instructions for coordination between the host processor and the device processor during the instrumented execution, such as memory allocation and initialization. FIG. 3 is a flow chart depicting an exemplary instrumented execution process 300 through coordination between a CPU and a GPU in accordance with an embodiment of the present disclosure.

[0041] The flows in the dashed-boxes 310 and 320 illustrate the CPU (host) execution and GPU (device) execution processes, respectively. Steps 311-317 and 321-322 are performed for each kernel invocation at runtime. At 311, the CPU allocates GPU memory for the coverage instrumentation counters of a kernel and all the device functions called from the kernel. At 312, the GPU driver is used to initialize the coverage instrumentation counters. At 313, the GPU memory is bound to an ID of the GPU, e.g., a device symbol name. At 314, the CPU launches the kernel.

[0042] In response, the GPU executes the kernel at 321 and increments the coverage instrumentation counters accordingly at 322. The counters associated with a respective code portion are updated each time the respective code portion is executed at 321. In one embodiment, atomic instructions (e.g., PTX instructions) are used to achieve atomic update operations.

[0043] At 315, the CPU copies the counter values from the GPU memory, and at 316 calls into a library interface to record the collected coverage data including the counter values. When the execution exits, at 317, the CPU calls a library to write the collected coverage data to an output file.

[0044] FIG. 4 is a block diagram illustrating an exemplary computing system 400 operable to compile integrated source code and instrument the code for code coverage data collection in accordance with an embodiment of the present disclosure. In one embodiment, system 400 may be a general-purpose computing device used to compile a program configured to be executed concurrently by a host processor and one or more device processors in parallel execution system. System 400 comprises a Central Processing Unit (CPU) 401, a system memory 402, a Graphics Processing Unit (GPU) 403, I/O interfaces 404 and network circuits 405, an operating system 406 and application software 407 stored in the memory 402. In one embodiment, software 407 includes an exemplary integrated compiler 408 configured to compile source code of programs having a mixture of host code and device code.

[0045] In one embodiment, provided with source code of a program and executed by the CPU 401, a code coverage pass 410 in the integrated compiler 408 can generate instrumented executable code with coverage instrumentation counters inserted for the device functions, coverage mapping information and memory requirement for the counters. The compiler 408 can further generate instructions for the host processor to allocate and initialize device memory for the counters and to retrieve collected coverage information from the device memory and output coverage counters. The compiler 408 may perform various other functions that are well known in the art as well as those discussed in details with reference to FIGS. 1-3.