Messages in this thread | | | Date | Fri, 20 Jan 2023 23:36:15 +0100 | Subject | Re: Internal vs. external barriers (was: Re: Interesting LKMM litmus test) | From | 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
| |