Re: [syzbot] [mm?] KCSAN: data-race in try_to_migrate_one / zap_page_range_single

From: Ignacio Encinas Rubio
Date: Sat Mar 15 2025 - 07:53:21 EST


Hello!

This seems like a recurrent complaint from KCSAN (other examples are
[1], [2]).

>From what I understand looking at the source code, imprecise reporting
of the maximum resident set size is considered to be acceptable.

Annotating `hiwater_rss` as `__data_racy` [3] should make KCSAN happy.
Would this be an acceptable change? Another possibility would be making
the update from `update_hiwater_rss` atomic, but it doesn't seem worth
the potential slowdown.

Let me know if my proposal works for you.

Thanks!

[1] https://syzkaller.appspot.com/bug?extid=73d65fc86d6338db5990
[2] https://syzkaller.appspot.com/bug?extid=31cd52ba68feee156393
[3] https://docs.kernel.org/dev-tools/kcsan.html#selective-analysis