Precompute removes atomic.fence in shared-memory modules
Maintainer antworten meist innerhalb von 1 Tag
Bewertung
- Schwierigkeit
- 4/5
- Geschätzter Aufwand
- 3-5 Tage
- Anfängerfreundlichkeit
- 53/100
Rechercherichtung
Start by tracing how --precompute handles atomic.fence and how EffectAnalyzer marks shared-memory reads and writes; the issue does not name implementation files or tests. Reproduce with the provided C example and wasm-opt --precompute --enable-threads, then compare the output with --vacuum alone. Done when precompute preserves the fence in the shared-memory case.
Vom Indexierungsmodell aus dem Issue-Text verfasst.
Beschreibung
wasm-opt version 133 (version_133-96-ga631c1445), from emsdk.
--precompute (and so -O1 and above) replaces atomic.fence with nothing, even with --enable-threads and a shared memory. --vacuum alone keeps it. EffectAnalyzer marks the fence as reading/writing shared memory, so Precompute seems to skip that check.
Repro:
int x, y;
__attribute__((export_name("st"))) void st(int v) {
x = v; __atomic_thread_fence(__ATOMIC_SEQ_CST); y = 1;
}
clang --target=wasm32 -O2 -matomics -mbulk-memory -c f.c -o f.o
wasm-ld --no-entry --shared-memory --import-memory --max-memory=1048576 f.o -o f.wasm
wasm-opt --precompute --enable-threads f.wasm -o g.wasm
llvm-objdump -d f.wasm | grep -c atomic.fence # 1
llvm-objdump -d g.wasm | grep -c atomic.fence # 0
Same result with -O1, -O2, -O3, -Os and with --detect-features; -O0 keeps it.
Impact: in our emulator a guest FENCE is compiled to atomic.fence; after wasm-opt the engine had none, and a producer/consumer ring between threads read stale bytes (intermittent aborts on ARM64 Chrome). Using an atomic.rmw.or seq_cst on a dummy cell instead survives -O3.
- Vorherrschende Sprache
- WebAssembly
- Sterne
- 8.7k
- Forks
- 905
- Ø Merge
- 2 T. 1 Std.
- Gemergte PRs (30 T.)
- 91
Entwicklungsumgebung
- Kein Dockerfile und keine Docker-Compose-Datei
- Keine Pull-Request-Vorlage
- Beitragsleitfaden lesen
Erste Schritte
- Lesen Sie das ganze Issue und danach den Beitragsleitfaden des Projekts.
- Schreiben Sie ins Issue, dass Sie es übernehmen — das erspart doppelte Arbeit.
- Forken Sie das Repository und arbeiten Sie in einem Branch.
- Öffnen Sie einen Pull Request, der die Issue-Nummer nennt.
Mehr aus WebAssembly/binaryen
-
Schwierigkeit 1/5 Unter einer Stunde Anfängerfreundlichkeit 88/100
WebAssembly/binaryen#9135 · 1 Kommentar ·
Maintainer antworten meist innerhalb von 1 Tag
-
Schwierigkeit 2/5 Ein halber Tag Anfängerfreundlichkeit 76/100
WebAssembly/binaryen#9018 · 3 Kommentare ·
Maintainer antworten meist innerhalb von 1 Tag
-
RemoveUnusedModuleElements drops an active elem segment whose items are global.get, so call_indirect trapsEvtl. vergeben @tlively hat das vor 1 Tag übernommen. Offen
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 68/100
WebAssembly/binaryen#9366 ·
Maintainer antworten meist innerhalb von 1 Tag
-
Binary reader rebuilds tag types from Signature, dropping rec group and supertype (follow-up to #7219)Evtl. vergeben @tlively hat das vor 1 Tag übernommen. Offen
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 68/100
WebAssembly/binaryen#9365 ·
Maintainer antworten meist innerhalb von 1 Tag
-
Add a pass to relax nullabilities of definitionsEvtl. vergeben @stevenfontanella hat das vor 4 Tagen übernommen. Offenenhancement
WebAssembly/binaryen#9352 · 1 zugewiesene Person ·
Maintainer antworten meist innerhalb von 1 Tag
Alle Issues in WebAssembly/binaryen
Ähnliche Issues
-
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 76/100
volcengine/OpenViking#7347 ·
Maintainer antworten meist innerhalb von 1 Tag
-
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 74/100
kingcharleslzy-ai/dsh-purge#179 ·
Maintainer antworten meist innerhalb von 1 Tag
-
enhancement
Schwierigkeit 1/5 1-3 Stunden Anfängerfreundlichkeit 88/100
carp-dk/carp.sensing-flutter#664 ·
-
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 72/100
duolicious/duolicious#1943 ·
Maintainer antworten meist innerhalb von 1 Tag
-
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 76/100
fedora-infra/anitya#2166 ·
Maintainer antworten meist innerhalb von 1 Tag