Hacktoberfest 2026: những issue maintainer đã đánh dấu cho tháng Mười, đang mở và phù hợp người mới. Xem issue Hacktoberfest

consumer_acceptance: the EIGS_DIR overlay is shared across rows, so one consumer's write reaches later rows

Đang mở
  • Có gì không ổn?
#1,306 0 bình luận 0 reaction 0 người được giao Xem trên GitHub

Maintainer thường phản hồi trong vòng 1 ngày

Chưa có ai nhận issue này.

Đánh giá

Độ khó
4/5
Thời gian dự kiến
3-5 ngày
Mức phù hợp với người mới
72/100
Loại issue
Lỗi
Độ rõ ràng
Đặc tả rõ ràng
Mức độ hoạt động
Sôi nổi
Công nghệ
c
Lĩnh vực
testing-qa

Hướng nghiên cứu

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.

Do mô hình lập chỉ mục viết ra từ nội dung của issue.

Mô tả

area:gates found-by:code-review kind:silent-wrong

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.
Ngôn ngữ chính
C
Star
3
Fork
7
Merge trung bình
3 giờ 56 phút
Pull request đã merge (30 ngày)
102

Chuẩn bị môi trường

Mở trong Codespaces

Khởi chạy dev container của dự án ngay trên trình duyệt, bằng tài khoản GitHub của bạn.

Bắt đầu từ đâu

  1. Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
  2. Bình luận trên issue rằng bạn sẽ nhận — tránh hai người làm cùng một việc.
  3. Fork repository và làm thay đổi trên một nhánh.
  4. Mở pull request có tham chiếu số hiệu của issue.

Issue khác của InauguralSystems/EigenScript

Tất cả issue của InauguralSystems/EigenScript

Issue tương tự

Thêm issue về C

Nhận issue mới trong hộp thư của bạn

Bản tóm tắt ngắn những issue GitHub phù hợp với người mới.