News for hackers. Stuff that matters.
Re:Temporal Fuzzing I: Memory Models (2021) by sdbbp on Thursday May 09, 2024 @12:09AM (#40305229)
It would be interesting to see this interact with the lower-level ISA memory model work in diy, litmus, etc. Could you validate your ISA memory models against the generated litmus tests in https://www.cl.cam.ac.uk/~pes20/ppc-supplemental/test6.pdf, https://github.com/litmus-tests/litmus-tests-riscv?
Re:Temporal Fuzzing I: Memory Models (2021) by reitzensteinm on Thursday May 09, 2024 @12:23AM (#40305282)
It should be quite possible to validate this way, although I would need to implement more ISA specific fences and features.

As mentioned in a sibling comment, I've moved away from the idea of building a model in Clojure and implementing separately, to a system in Rust where the model is the program with a compile time switch.

There were too many ways to introduce careless errors when doing a port. Although the opposite approach would have been to ingest compiled programs directly, or move to something higher level like WASM (once it gets more than SeqCst atomics).