Signed-off-by: Akira Yokosawa <akiyks@xxxxxxxxx> --- debugging/debugging.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/debugging/debugging.tex b/debugging/debugging.tex index fd52d9e7..3f697f58 100644 --- a/debugging/debugging.tex +++ b/debugging/debugging.tex @@ -755,7 +755,7 @@ access to data. The Kernel Concurrency Sanitizer (KCSAN)~\cite{JonathanCorbet2019KCSAN} uses existing markings such as \co{READ_ONCE()} and \co{WRITE_ONCE()} to determine which concurrent accesses deserve warning messages. -KCSAN has a significant false-positive rate, especially in from the +KCSAN has a significant false-positive rate, especially from the viewpoint of developers thinking in terms of C as assembly language with additional syntax. KCSAN therefore provides a \co{data_race()} construct to forgive -- 2.17.1