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+
1111projects. RTSan can be used to detect real-time violations, i.e. calls to methods
1212that are not safe for use in functions with deterministic run time requirements.
1313RTSan 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]] ``
1717RTSan raises an error.
1818
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+
1924The runtime slowdown introduced by RealtimeSanitizer is negligible.
2025
2126How to build
You can’t perform that action at this time.
0 commit comments