Thus, a data race can occur for tblk->flag.How do you think about a wording variant like the following?
To fix this data race, the spinlock log->gclock is used in
txBegin().
This data race is found by our concurrency fuzzer.
Change description:
A data race can occur for the data structure member âflagâ.
This data race was found by our concurrency fuzzer.
Thus use the spin lock âgclockâ for the resetting of five
data structure members in this function implementation.
Would you like to add the tag âFixesâ to the commit message?