Binary Translators for Weak Memory Model Architectures

woodruffw 3y ago ↗

Is there supposed to be more content on this website? Both of the links on the main page lead to stubbed pages; the one for the SBT (Lasagne) has a GitHub link to a different static binary translator from 2015 (Microsoft's mctoll).

Edit: From the paper[1], Lasagne is based on mctoll?

[1]: https://binary-translation.github.io/pubs/pldi22-lasagne.pdf

rurban 3y ago ↗

obviously an too eager submission. out of 5 planned pages, only one is done yet. let's check again in two months

dataangel 3y ago ↗

Or do what Apple did and addon an x86 memory semantics mode for ARM.

hedgehog 3y ago ↗

Obligatory Alan Kay quote: "People who are really serious about software should make their own hardware."

lathiat 3y ago ↗

This ("TSO") is actually an ARM standard however its only very latest ARM (v8.4-v8.7) and not many other CPU implementation currently. AWS Graviton 3 and maybe very latest phone SoCs if I understand correctly.

https://news.ycombinator.com/item?id=31664688 https://twitter.com/marcan42/status/1534053625110351872 https://twitter.com/never_released/status/153412764108259328...

garaetjjte 3y ago ↗

TSO is not architectural.

TheLoafOfBread 3y ago ↗

As far as I know, for "emulation" they are still using x86 memory model, which is making binary translation much simpler. I am not aware of any MCU/CPU, which would be able to just change its memory model / peripheral mapping as it pleases.

monads 3y ago ↗

An interesting paper. Do you know books/papers to learn more about memory models?

aaronbee 3y ago ↗

Russ Cox has a few good explainer blog posts: https://research.swtch.com/mm

monads 3y ago ↗

Many thanks.

Binary Translators for Weak Memory Model Architectures (binary-translation.github.io)

10 comments