[Openmp-commits] [PATCH] D142492: [OpenMP][docs] Update for record-and-replay

[Giorgis Georgakoudis via Phabricator via Openmp-commits]

ggeorgakoudis updated this revision to Diff 491920.
ggeorgakoudis added a comment.

Rebase


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D142492/new/

https://reviews.llvm.org/D142492

Files:
  openmp/docs/ReleaseNotes.rst


Index: openmp/docs/ReleaseNotes.rst
===================================================================
--- openmp/docs/ReleaseNotes.rst
+++ openmp/docs/ReleaseNotes.rst
@@ -87,3 +87,14 @@
 * OpenMP-Opt (run as part of O1/O2/O3) will more effectively lower GPU resource
   usage and improve performance.
 
+* Support record-and-replay functionality for individual OpenMP offload kernels.
+  Enabling recording in the host OpenMP target runtime library stores per-kernel
+  the device image, device memory state, and kernel launching information. The
+  newly added command-line tool `llvm-omp-kernel-replay` replays kernel execution.
+  Environment variables control recording/replaying:
+   * LIBOMPTARGET_RECORDING=<0|1>, 0: disable recording (default), 1: enable recording
+   * LIBOMPTARGET_RR_DEVMEM_SIZE = <integer in bytes>, default 64GB, amount of device
+     memory to pre-allocate for storing/loading when recording/replaying
+   * LIBOMPTARGET_RR_SAVE_OUTPUT=<0|1>, 0: disable saving device memory post-kernel execution
+     (default), 1: enable saving device memory post-kernel execution (used for verification
+     with `llvm-omp-kernel-replay`)


-------------- next part --------------
A non-text attachment was scrubbed...
Name: D142492.491920.patch
Type: text/x-patch
Size: 1162 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/openmp-commits/attachments/20230124/a99e2d94/attachment.bin>