lkml.org 
[lkml]   [2023]   [Jan]   [20]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
SubjectRe: Internal vs. external barriers (was: Re: Interesting LKMM litmus test)
From


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

\
 
 \ /
  Last update: 2023-03-26 23:51    [W:0.272 / U:0.256 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site