diff options
| author | Adam Sandberg Ericsson <adam@sandbergericsson.se> | 2023-03-12 11:26:09 +0000 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2023-03-21 11:17:53 -0400 |
| commit | bb05b4ccdfe81e9fc60065337eafa9c94499ad61 (patch) | |
| tree | fbb17403561dd92f93f87d268547b159005b2d09 /docs | |
| parent | 898afaef53470adbc03b4a8272c209b6f9aed6fa (diff) | |
| download | haskell-bb05b4ccdfe81e9fc60065337eafa9c94499ad61.tar.gz | |
docs: add WALL_CLOCK_TIME event in eventlog encodings
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/eventlog-formats.rst | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/docs/users_guide/eventlog-formats.rst b/docs/users_guide/eventlog-formats.rst index e77e971a87..c1c446742a 100644 --- a/docs/users_guide/eventlog-formats.rst +++ b/docs/users_guide/eventlog-formats.rst @@ -122,6 +122,18 @@ environment which the program is being run in. Describes the environment variables present in the program's environment. +.. event-type:: WALL_CLOCK_TIME + + :tag: 43 + :length: fixed + :field CapSetId: Capability set + :field Word64: Unix epoch seconds + :field Word32: Nanoseconds + + Records the wall clock time to make it possible to correlate events from + elsewhere with the eventlog. + + Thread and scheduling events ~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |