4c80cb3ed1
Fix typos in docs and extend CPU index usage
2024-10-25 14:22:32 +02:00
706aa4a787
Rename trace-model.md to just trace.md
2024-10-25 13:41:15 +02:00
53aa3b3679
Add example program for mark API
2024-10-25 13:41:15 +02:00
6c33a2f4c0
Document environment variables
2024-10-25 13:41:15 +02:00
c190d27467
Remove tracing.md
2024-10-25 13:41:15 +02:00
ecf4c5da8c
Update trace specification to version 3
2024-10-25 13:41:15 +02:00
6285a47f72
Explain some concepts in the documentation
2024-10-25 13:41:15 +02:00
5d4fa15eb9
Change hyperlinks to point to .md files
...
Allows mkdocs to discover broken links when the pointed document has
moved.
2024-10-25 13:41:15 +02:00
038b9d8564
Document usage rules for the mark API
2024-07-23 10:35:08 +02:00
43792fb349
Clarify push and pop value in mark API
2024-06-20 11:48:31 +02:00
c803a7566f
Prevent zero values in the mark API
...
These values cannot be differentiated from a null value, due to a
Paraver limitation.
2024-06-20 11:41:09 +02:00
670edb6ddc
Add documentation for the mark API
...
Includes the runtime usage as well as how to adjust the Paraver
configuration.
2024-06-20 11:08:29 +02:00
e002db72fd
Correct documentation on thread metadata
2023-11-16 12:39:14 +01:00
f02994c149
Document thread metadata in trace spec
2023-11-16 12:39:14 +01:00
ab42ac4557
Add thread metadata
2023-11-16 12:21:50 +01:00
Kevin Sala
7b4ebca002
Add OVNI_TRACEDIR envar to change trace directory
...
This commit introduces the OVNI_TRACEDIR environment variable to change
the directory where traces are generated. By default, when the envar is
not defined, the trace is still generated in the ovni directory. The
envar can take a trace directory name, a relative path to the directory,
or its absolute path. In the first case, the directory is created in the
current path $PWD.
Both libovni (rt) and ovnisync read this environment variable.
2023-10-23 07:49:28 +00:00
d8a9f33075
Add .obs suffix in doc of thread streams
2023-03-24 12:08:45 +00:00
757a8e9f39
Run one process of ovnisync per node
2023-03-24 12:08:45 +00:00
5adfd80bce
Move user guide docs to a new directory
2023-03-24 12:08:45 +00:00
