Re: [PATCH RFC memory-model 27/31] tools/memory-model: Add data-race capabilities to judgelitmus.sh

2019-08-12 Thread Paul E. McKenney
On Mon, Aug 12, 2019 at 11:32:35PM +0900, Akira Yokosawa wrote: > Hi Paul, > (CC: using Andrea's gmail address, adding Daniel) Good point, I did forget to update at my end. Fixed, thank you! > Sorry for slow response, but please find inline comments below. > > On Thu, 1 Aug 2019 15:20:52

Re: [PATCH RFC memory-model 27/31] tools/memory-model: Add data-race capabilities to judgelitmus.sh

2019-08-12 Thread Akira Yokosawa
Hi Paul, (CC: using Andrea's gmail address, adding Daniel) Sorry for slow response, but please find inline comments below. On Thu, 1 Aug 2019 15:20:52 -0700, Paul E. McKenney wrote: > This commit adds functionality to judgelitmus.sh to allow it to handle > both the "DATARACE" markers in the

[PATCH RFC memory-model 27/31] tools/memory-model: Add data-race capabilities to judgelitmus.sh

2019-08-01 Thread Paul E. McKenney
This commit adds functionality to judgelitmus.sh to allow it to handle both the "DATARACE" markers in the "Result:" comments in litmus tests and the "Flag data-race" markers in LKMM output. For C-language tests, if either marker is present, the other must also be as well, at least for litmus