-
Notifications
You must be signed in to change notification settings - Fork 791
[SYCL] Implement coverage instrumentation for device code #20206
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
base: sycl
Are you sure you want to change the base?
Changes from 8 commits
a1e71e8
4f9041b
43ff03a
9408601
8201ffc
259e666
c30c098
094c73d
fca194f
607e2c1
e2ea6ed
d4459f9
1bbdc76
5d16d4e
bd4e454
5c42c6c
b3fbe61
7d5f8b1
4c3d87b
File filter
Filter by extension
Conversations
Jump to
Diff view
Diff view
There are no files selected for viewing
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -389,13 +389,16 @@ add_custom_target(sycl-compiler | |
clang-offload-extract | ||
clang-offload-packager | ||
clang-linker-wrapper | ||
compiler-rt | ||
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. Do other projects enable profiling unconditionally in the build too? There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. This is the only remaining question from me, the rest is 🔥 👍 There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. I don't know of any projects that enable profiling unconditionally. This change enables support for coverage instrumentation in our build but does not enable the instrumentation itself. I think it makes sense to do this unconditionally so that the related functionality in the SYCL runtime can be tested as part of our regular end-to-end testing process. I'd like to add a build flag for building the SYCL runtime with instrumentation enabled. This flag would allow us to produce coverage reports and identify areas in the runtime that are not covered by tests. I plan to do this in a separate PR and make the instrumentation disabled by default. There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more.
I'd argue that that would be a reason to enable it in That said, if others are ok, I'm not going to block PR on this. |
||
file-table-tform | ||
llc | ||
llvm-ar | ||
llvm-foreach | ||
llvm-spirv | ||
llvm-link | ||
llvm-objcopy | ||
llvm-profdata | ||
llvm-cov | ||
spirv-to-ir-wrapper | ||
sycl-post-link | ||
opencl-aot | ||
|
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,69 @@ | ||
# Design for Device-side Code Coverage | ||
|
||
## Overview | ||
|
||
This document describes the design and implementation of device-side code coverage for SYCL, extending Clang's source-based code coverage to support device code. The approach leverages the existing SYCL device global infrastructure, as detailed in the [DeviceGlobal.md](DeviceGlobal.md) design document, to enable collection and aggregation of coverage data from device kernels. | ||
|
||
## Design Details | ||
|
||
### Profiling Counter Representation | ||
|
||
Profiling counters for code coverage are lowered by the compiler as device globals. Specifically, the `InstrProfilingLoweringPass` is modified so that, when targeting SPIR-V, coverage counters are represented as pointers to USM buffers, matching the representation of other SYCL device globals. This indirection allows counters to be relocatable and managed consistently with other device-side global variables. | ||
|
||
Each counter is annotated with a unique identifier (`sycl-unique-id`) of the form `__profc_<fn_hash>`, where `<fn_hash>` is a 64-bit unsigned integer uniquely identifying the instrumented function. The counter's size is also recorded via the `sycl-device-global-size` attribute. These attributes ensure that counters are discoverable and manageable by the SYCL runtime and integration headers/footers. | ||
0x12CC marked this conversation as resolved.
Show resolved
Hide resolved
|
||
|
||
### Integration with Device Global Infrastructure | ||
|
||
The device global infrastructure, as described in [DeviceGlobal.md](DeviceGlobal.md), provides mechanisms for mapping host and device instances of global variables, managing their lifetimes, and facilitating data transfer. Device-side coverage counters are treated as a special class of device globals: | ||
|
||
- They use the shared allocation type rather than the device allocation type for the underlying USM memory. | ||
- They do not have corresponding `device_global` declarations in host code. | ||
- Their lifetime and cleanup are managed via the device global map, with integration footer code ensuring registration and deregistration. | ||
|
||
### Runtime Handling and Data Aggregation | ||
|
||
When a device global entry corresponding to a coverage counter is released (e.g., when a device image is unloaded), the SYCL runtime aggregates the values from the device-side counter into the equivalent host-side counter. Equivalence is determined by matching both the `<fn_hash>` and the number of counter regions. If no matching host-side counter exists—typically due to differences in code between host and device caused by the `__SYCL_DEVICE_ONLY__` macro—the device-side counter values are discarded. | ||
|
||
The aggregation is performed by invoking a new function in the compiler runtime, `__sycl_increment_profile_counters`, which is weakly linked to accommodate optional runtime availability. This function accepts the `<fn_hash>`, the number of regions, and the increment values, and updates the host-side counters accordingly. At program exit, the final profile data reflects the sum of host and device coverage counters. | ||
|
||
### Compiler and Runtime Changes | ||
|
||
#### Compiler Frontend | ||
|
||
- The lowering pass for coverage counters is updated to emit device globals with the appropriate attributes and indirection. | ||
- Integration headers and footers are updated to register device global counters with the runtime, using the unique identifier and size. | ||
|
||
#### SYCL Runtime | ||
|
||
- Device globals with IDs matching the `__profc_<fn_hash>` pattern are recognized as coverage counters. | ||
- USM allocation and management for counters is handled as for other device globals, but without host-side declarations. | ||
- Upon cleanup, device-side counter values are aggregated into host-side counters via the runtime API. | ||
|
||
#### Compiler Runtime | ||
|
||
- The new function `__sycl_increment_profile_counters` is introduced to update host-side counters. | ||
- The function is weakly linked to allow for optional inclusion. | ||
bader marked this conversation as resolved.
Show resolved
Hide resolved
|
||
|
||
### Limitations and Considerations | ||
|
||
- The feature is currently implemented only for SPIR-V targets; CUDA and HIP backends are not supported. | ||
- Devices lacking support for device globals cannot utilize device-side code coverage. | ||
- Differences in code between host and device (e.g., due to `__SYCL_DEVICE_ONLY__`) may prevent aggregation of coverage data for some functions. | ||
0x12CC marked this conversation as resolved.
Show resolved
Hide resolved
|
||
- The design relies on the robustness of the device global infrastructure for correct mapping and lifetime management. | ||
|
||
## Relationship to Device Global Design | ||
|
||
This feature is built upon the mechanisms described in [DeviceGlobal.md](DeviceGlobal.md), including: | ||
|
||
- Use of unique string identifiers (`sycl-unique-id`) for mapping and management. | ||
- USM-based allocation and zero-initialization of device-side storage. | ||
- Integration header/footer registration for host-device correlation. | ||
- Runtime database for device global management and lookup. | ||
|
||
The code coverage counters are a specialized use case of device globals, with additional logic for aggregation and profile generation. | ||
|
||
## References | ||
|
||
- [Implementation design for SYCL device globals](DeviceGlobal.md) | ||
- [Clang Source-based Code Coverage](https://clang.llvm.org/docs/SourceBasedCodeCoverage.html) | ||
- [SYCL Specification](https://registry.khronos.org/SYCL/specs/sycl-2020/html/sycl-2020.html) |
Uh oh!
There was an error while loading. Please reload this page.