3 ms·
Shouldn't ARMv8 LDAR (Load Acquire) and STL (Store Release) instructions be enough to emulate x86 memory model? What did I miss? Or would that entail more over
by vardump 6y ago
Shouldn't ARMv8 LDAR (Load Acquire) and STL (Store Release) instructions be enough to emulate x86 memory model? What did I miss?
Or would that entail more overhead compared to just having TSO memory model?
- saagarjha 6y agoToo slow, probably. Either they'd need to do advanced dataflow analysis to not have them everywhere (slow/complicated) or just insert them everywhere (slow).
- vardump 6y agoI don't see how any kind of dataflow analysis could capture for example accessing thread stack from another thread. Just too many ways to get the pointer.