consumer_acceptance: the EIGS_DIR overlay is shared across rows, so one consumer's write reaches later rows
I maintainer di solito rispondono entro 1 giorno
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 4/5
- Tempo stimato
- 3-5 giorni
- Idoneità per principianti
- 72/100
- Tipo di issue
- Bug
- Chiarezza
- Specificata chiaramente
- Stato di attività
- Attiva
- Stack tecnologico
- c
- Ambito
- testing-qa
Direzione di ricerca
Start by tracing build_candidate_overlay in the consumer-acceptance harness and inspect Tidepool's Makefile and ouroboros's use of $EIGS_DIR/src. Run the self-test plant with two stub consumers, then verify that each row gets a fresh or hash-verified overlay and that the second consumer fails when given a rejected program.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
Found by /code-review on #1305. It is pre-existing: the old harness also built one overlay per run and shared it across rows (build_candidate_overlay, called once, at 88ba928 line ~3126).
Problem. Consumer a writes $EIGS_DIR/src/eigenscript (a rebuild, or a stray write). Consumer b then calls "$EIGS_DIR/src/eigenscript" bad.eigs, and the replaced slot answers. The candidate exits 42 on bad.eigs, yet both rows PASS. Tidepool's Makefile has $(MAKE) -C $(EIGS_DIR) build, and ouroboros compiles the runtime from $EIGS_DIR/src. Related: #1304, the same slot replaced within one row.
Done when:
- Each row gets a fresh overlay, or the runtime slots are re-installed and the overlay is re-verified (hash) before every row.
- A self-test plant with two stub consumers (a writes the slot; b calls it with a program the candidate rejects) makes b's row FAIL.
- Lingua principale
- C
- Stelle
- 3
- Fork
- 7
- Merge medio
- 3h 58m
- PR unite (30g)
- 105
Preparare l'ambiente
Avvia il container di sviluppo del progetto nel browser, con il tuo account GitHub.
- Include un Dockerfile o un file Docker Compose
- Ha un modello di pull request
- Leggi la guida per i contributori
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Altre issue di InauguralSystems/EigenScript
-
area:lint-tooling bug
Difficoltà 2/5 1-3 ore Idoneità per principianti 88/100
InauguralSystems/EigenScript#1340 ·
I maintainer di solito rispondono entro 1 giorno
-
area:stdlib found-by:code-review kind:silent-wrong
Difficoltà 2/5 1-3 ore Idoneità per principianti 88/100
InauguralSystems/EigenScript#1338 ·
I maintainer di solito rispondono entro 1 giorno
-
area:lint-tooling found-by:critic kind:docs-drift
Difficoltà 2/5 1-3 ore Idoneità per principianti 76/100
InauguralSystems/EigenScript#1335 ·
I maintainer di solito rispondono entro 1 giorno
-
area:ci found-by:critic kind:gate-defect
Difficoltà 2/5 1-3 ore Idoneità per principianti 86/100
InauguralSystems/EigenScript#1311 ·
I maintainer di solito rispondono entro 1 giorno
-
enrolment: decide test_gc_runner_controls.py (exempt vs enrol) and whether floors need a ratchetApertaarea:gates found-by:critic kind:decision
Difficoltà 2/5 1-3 ore Idoneità per principianti 65/100
InauguralSystems/EigenScript#1280 · 1 commento ·
I maintainer di solito rispondono entro 1 giorno
Tutte le issue di InauguralSystems/EigenScript
Issue simili
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 76/100
-
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 75/100
NabuCasa/silabs-firmware-builder#231 · 1 commento ·
-
Difficoltà 1/5 1-3 ore Idoneità per principianti 88/100
ClickHouse/pg_clickhouse#383 · 1 commento ·
I maintainer di solito rispondono entro 1 giorno
-
bug
Difficoltà 2/5 1-3 ore Idoneità per principianti 76/100
johnsonjh/emu2-cpm86#68 · 1 commento ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 78/100
I maintainer di solito rispondono entro 1 giorno