Define byte-cursor output aliasing with cursor state

Đang mở
  • Có gì không ổn?
#1,037 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
38/100
Loại issue
Tính năng
Độ rõ ràng
Khá rõ ràng
Mức độ hoạt động
Sôi nổi
Công nghệ
rust
Lĩnh vực
compilers

Hướng nghiên cứu

Start with std/bytes/read.wave:40, then locate the read and peek cursor-output variants and their tests. Before implementation, get the required design discussion with @LunaStev to decide whether cursor outputs may alias position, length, or backing storage. Done means the approved rule is documented for all alias cases, existing success and rollback behavior remains intact, and read/peek variants apply the same rule without per-width duplication.

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

Mô tả

discussion enhancement help wanted

Motivation

Passing &reader.position as the u64 output of a valid eight-byte read returns success and leaves position=28 for len=8 when the decoded value is 20. O0/O2 agree. The API does not state whether output may overlap cursor state, and cannot simultaneously preserve two meanings for the same bytes.

Starting point: std/bytes/read.wave:40.

Validation

Audited canonical Wave 540728c2eb6cc12f5c69c3fb3fdb96e07ba059a4 (0.0.1-alpha-dev), whose tree matches the local checkout. Validation: Executed valid-memory output/state alias fixture at native O0/O2. Executed compiler probes use the matching checkout-built compiler and std on Linux amd64 (Rust 1.89.0 / LLVM 21.1.8). Source/header or mocked checks are not native execution on another OS.

Scope

Choose explicit non-aliasing or checked-overlap rules for cursor outputs/state/backing storage. Do not promise arbitrary alias support or call this a Rust memory-safety defect.

Related: #674, #763. These links do not claim those broader or completed scopes are unfinished.

Design discussion required

This issue records a proposal or an unresolved contract; it is not approval to choose new semantics. Please mention @LunaStev to discuss the design before starting implementation.

Completion criteria

  • The position/len/data alias cases have documented permitted or rejected behavior.
  • Normal outputs and failure rollback keep their existing results.
  • Read and peek variants apply the same approved rule without duplicating one cause per integer width.
Ngôn ngữ chính
Rust
Star
56
Fork
21
Merge trung bình
23 giờ 20 phút
Pull request đã merge (30 ngày)
45

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

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 wavefnd/Wave

Tất cả issue của wavefnd/Wave

Issue tương tự

Thêm issue về Rust

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.