yang yu (Jun 24 2022 at 02:01): yang yu (Jun 24 2022 at 02:01):atomic operation should have ordering parameters,like relax release...
bjorn3 (Jun 24 2022 at 06:02):Cranelift currently uses sequential consistency as only ordering option. This matches webassembly. Having a weaker memory model requires carefully specifying it. Using C++'s memory model is not an option IMO as it has been proven to be inconsistent and thus effectively allow miscompilation in certain cases.
yang yu (Jun 24 2022 at 06:37):ok,thanks.
Notification Bot (Aug 10 2022 at 00:47):yang yu has marked this topic as resolved.
Last updated: Nov 26 2024 at 00:12 UTC