[HN Gopher] Binary Translators for Weak Memory Model Architectures
       ___________________________________________________________________
        
       Binary Translators for Weak Memory Model Architectures
        
       Author : hasheddan
       Score  : 22 points
       Date   : 2022-07-29 15:30 UTC (7 hours ago)
        
 (HTM) web link (binary-translation.github.io)
 (TXT) w3m dump (binary-translation.github.io)
        
       | woodruffw wrote:
       | 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
        
       | dataangel wrote:
       | Or do what Apple did and addon an x86 memory semantics mode for
       | ARM.
        
         | hedgehog wrote:
         | Obligatory Alan Kay quote: "People who are really serious about
         | software should make their own hardware."
        
       | monads wrote:
       | An interesting paper. Do you know books/papers to learn more
       | about memory models?
        
         | aaronbee wrote:
         | Russ Cox has a few good explainer blog posts:
         | https://research.swtch.com/mm
        
           | monads wrote:
           | Many thanks.
        
       ___________________________________________________________________
       (page generated 2022-07-29 23:02 UTC)