On 08/05/18 05:34, Jia-Ju Bai wrote:
The read operation to "req->type" is protected byNo, xs_request_enter() is never called for a request already visible to
the lock on line 128, but the write operation to
this data on line 118 is not protected by the lock.
Thus, there may exist a data race for "req->type".
To fix this data race, the write operation to "req->type"
should be also protected by the lock.
another thread or processor. So no race exists.