Re: Internal vs. external barriers (was: Re: Interesting LKMM litmus test)

[Jonas Oberhauser]

On 1/20/2023 10:37 PM, Paul E. McKenney wrote:
> Just out of curiosity, are you [set] up to run LKMM locally at your end?

I don't know what exactly that means. I generally run it on wetware.
But I sometimes ask Hernan to run Dat3M (on his machine) over all the 
litmus tests in your repo to spot any obvious problems with variations I 
consider.
I don't think Dat3M is feature-complete with herd at the moment, just 
unbelievably faster. For example I think it ignores all flags in the cat 
files.
Oh, I just remembered that I also installed herd7 recently to make sure 
that any patches I might send in satisfy herd7 syntax requirements (I 
think you called this diagnostic driven development?), but I haven't 
used it to really run anything.

Is it too obvious that my words usually aren't backed by cold machine logic?

Best wishes,
jonas