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

Jonas Oberhauser
2023-01-20T22:36:57Z

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