Earlier quoted context omitted.
5. How do they solve the problem that x86 has a much stronger memory model than ARM, which makes emulation of multithreaded x86 code pretty hard without introducing a huge performance disadvantage?
Since there are no publicly available details, I would guess this is solved in hardware. The Qualcomm processor can be made to support stronger memory model for translated instructions similar to how the Power processors support strong-access ordering for efficient x86 emulation[1]. [1] https://www.google.com/patents/WO2012101538A1?cl=en
Not sure where MikusR gets this info from, but it could be right given that Snapdragon 820 is Qualcomm's custom core.