Re:How to trigger races reliably in the Linux kernel
by chrisseaton on Tuesday May 05, 2020 @11:04AM
(#23080760)
> Data races...
Yes data races are always bugs, according to Padua et al.
Yes data races are always bugs, according to Padua et al.
Worth noting however, that the first article I found in those 23 references that actually used the phrase 'race condition' (in "What are race conditions? Some issues and formalizations") explicitly stated:
> However, in the literature, there seems to be little agreement as to precisely what constitutes a race condition. Indeed, two different notions have been used, but the distinction between them has not been previously recognized. Because no consistent terminology has appeared, several terms have been used with different intended meanings... [0]
Further,
> Data races cause nonatomic execution of critical sections and are failures in (nondeterministic) programs
All I'm trying to suggest is that colloquially, people will use this phrase to mean a lot of things, and I'm not sure the literature is entirely clear cut.
[0]: https://dl.acm.org/doi/pdf/10.1145/130616.130623