Precompute removes atomic.fence in shared-memory modules

Fechada
  • Algo errado?
#9,369 1 comentário 0 reações 0 responsáveis Ver no GitHub

Mantenedores costumam responder em até 1 dia

@stevenfontanella já está trabalhando nisso.

Desde 10/11/2026.

  • #9379 de @stevenfontanella — integrado

Avaliação

Dificuldade
4/5
Tempo estimado
3-5 dias
Facilidade para iniciantes
53/100
Tipo de issue
Bug
Clareza
Claramente especificada
Status de atividade
Ativa
Stack de tecnologia
c, cpp, wasm
Domínio
backend, compilers

Direção de pesquisa

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.

Escrita pelo modelo de indexação a partir do texto da issue.

Descrição

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.

Linguagem predominante
WebAssembly
Estrelas
8.7k
Forks
905
Merge médio
2d 1h
PRs com merge (30d)
91

Preparar o ambiente

Primeiros passos

  1. Leia a issue inteira e depois o guia de contribuição do projeto.
  2. Comente na issue dizendo que vai assumir — evita que duas pessoas façam o mesmo trabalho.
  3. Faça um fork do repositório e trabalhe em uma branch.
  4. Abra um pull request que referencie o número da issue.

Mais de WebAssembly/binaryen

Todas as issues de WebAssembly/binaryen

Issues semelhantes

Mais issues de Backend & API Design

Receba novas issues na sua caixa de entrada

Um resumo curto de issues do GitHub para quem está começando.