Skip to content

Commit

Permalink
Clarify event finalization docu-comment
Browse files Browse the repository at this point in the history
  • Loading branch information
lukstafi committed Sep 30, 2024
1 parent 7ce920d commit 2dd9527
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion cudajit.mli
Original file line number Diff line number Diff line change
Expand Up @@ -756,7 +756,8 @@ module Event : sig
The event value is finalized using
{{:https://docs.nvidia.com/cuda/cuda-driver-api/group__CUDA__EVENT.html#group__CUDA__EVENT_1g593ec73a8ec5a5fc031311d3e4dca1ef}
cuEventDestroy}. *)
cuEventDestroy}. This is safe because the event resources are only released when the event
completes, so waiting streams are not affected by the finalization. *)

val elapsed_time : start:t -> end_:t -> float
(** Returns (an upper bound on) elapsed time in milliseconds with a resolution of around 0.5
Expand Down

0 comments on commit 2dd9527

Please sign in to comment.