File tree Expand file tree Collapse file tree 1 file changed +8
-3
lines changed Expand file tree Collapse file tree 1 file changed +8
-3
lines changed Original file line number Diff line number Diff line change @@ -11,11 +11,16 @@ RealtimeSanitizer (a.k.a. RTSan) is a real-time safety testing tool for C and C+
11
11
projects. RTSan can be used to detect real-time violations, i.e. calls to methods
12
12
that are not safe for use in functions with deterministic run time requirements.
13
13
RTSan considers any function marked with the ``[[clang::nonblocking]] `` attribute
14
- to be a real-time function. If RTSan detects a call to ``malloc ``, `` free ``,
15
- ``pthread_mutex_lock ``, or anything else that could have a non-deterministic
16
- execution time in a function marked ``[[clang::nonblocking]] ``
14
+ to be a real-time function. At run-time, if RTSan detects a call to ``malloc ``,
15
+ ``free ``, `` pthread_mutex_lock ``, or anything else that could have a
16
+ non-deterministic execution time in a function marked ``[[clang::nonblocking]] ``
17
17
RTSan raises an error.
18
18
19
+ RTSan performs its analysis at run-time but shares the ``[[clang::nonblocking]] ``
20
+ attribute with the :doc: `FunctionEffectAnalysis ` system, which operates at
21
+ compile-time to detect potential real-time safety violations. For comprehensive
22
+ detection of real-time safety issues, it is recommended to use both systems together.
23
+
19
24
The runtime slowdown introduced by RealtimeSanitizer is negligible.
20
25
21
26
How to build
You can’t perform that action at this time.
0 commit comments