Define a package contract for multi-dispatch execution graphs
Chưa có ai nhận issue này.
Đánh giá
- Độ khó
- 5/5
- Thời gian dự kiến
- Hơn một tuần
- Mức phù hợp với người mới
- 30/100
Hướng nghiên cứu
Start by mapping the public package schema and C++ data model to the proposed versioned execution graph, then review package verification and inspection entry points. Define the graph, resource, node, dependency, and diagnostic coverage described in the acceptance criteria. Done means deterministic round-tripping, validation tests for each listed failure, inspection counts and diagnostics, and a one-node compatibility fixture without a host scheduler.
Do mô hình lập chỉ mục viết ra từ nội dung của issue.
Mô tả
Problem
Compiler packages describe compiled artifacts, reflection, validation, and source metadata, but they cannot represent an operation that dispatches multiple artifacts over shared resources with explicit ordering and visibility requirements.
Repository runtimes commonly sequence initialization, transformation, reduction, scan, FFT, and aggregation kernels through temporary buffers. Treating each artifact as an independent package entry loses the resource lifetime, dependency, and synchronization contract needed by package verification and downstream runtime tooling.
Expected behavior
- Define a versioned, target-neutral execution graph document that can be embedded in or referenced by a compiler package.
- Represent graph-scoped external inputs, external outputs, and temporary resources with logical type, physical layout, allocation size/alignment, and lifetime.
- Represent dispatch, copy, fill, and barrier nodes with stable IDs and explicit dependency edges.
- Resolve dispatch nodes to packaged artifact identity, entry point, specialization values, resource binding coordinates, and dispatch geometry.
- Express resource access and memory visibility without encoding one target API's barrier enum.
- Permit conditional or repeated execution only when the control resource and finite bound are explicit; arbitrary host callbacks remain outside the portable contract.
- Preserve source/provenance metadata for graph nodes and referenced artifacts.
- Extend package verification and inspection to reject missing artifacts, missing interfaces, incompatible resource layouts, invalid ranges, dependency cycles, unordered conflicting accesses, and unsupported graph capabilities.
Acceptance criteria
- The public package schema and C++ data model round-trip a deterministic two-dispatch graph.
- Package verification checks every referenced artifact, entry point, resource binding, and physical layout before reporting the graph ready.
- Validation tests cover missing references, duplicate IDs, dependency cycles, unsafe barriers, invalid temporary lifetimes, and bounded-control errors.
- Package inspection reports graph/node/resource counts, readiness, and structured diagnostics.
- A compatibility fixture demonstrates that a single packaged compute artifact can be represented as a one-node graph without changing existing package consumers.
- The contract is documented as metadata and verification; it does not claim a built-in host scheduler or native runtime executor.
Real-world driver
At MLX commit 4367c73b60541ddd5a266ce4644fd93d20223b6e, operations including reductions, scans, FFTs, split-kernel matrix multiplication, and quantized paths sequence multiple compute pipelines and temporary allocations. CrossTL issue CrossGL/crosstl#1736 is implementing the translator-side repository-neutral graph and runtime validation needed to exercise these paths on DirectX and OpenGL. A compiler package contract would let both repositories exchange the same artifact and graph identities without making the translator depend on a compiler release.
- Ngôn ngữ chính
- C++
- Star
- 0
- Fork
- 0
- Chỉ số merge pull request
- Không có pull request nào được merge trong 30 ngày
Chuẩn bị môi trường
Dự án này không cung cấp dev container, Dockerfile hay hướng dẫn đóng góp, nên bạn cần tự thiết lập môi trường: hãy bắt đầu từ README và xem hướng dẫn đóng góp lần đầu của chúng tôi để biết các bước chung.
Bắt đầu từ đâu
- Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
- 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.
- Fork repository và làm thay đổi trên một nhánh.
- Mở pull request có tham chiếu số hiệu của issue.
Issue khác của CrossGL/compiler
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
-
Track CrossTL project-porting report and source-remap compatibilityCó thể làm lại được Pull request cho issue này đã bị đóng mà không được merge. Đang mở
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 42/100
Tất cả issue của CrossGL/compiler
Issue tương tự
-
extended_stabilizer: `std::pow(2, p/2.)` in `scalar_t::to_complex()` takes ~40% of runtime on LinuxCó thể đã có người làm @mehmetniyazikayi đã nhận hôm nay. Đang mở
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 74/100
Qiskit/qiskit-aer#2502 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Test failure on FreeBSD: #26 unexpected system_clock sourceCó thể đã có người làm Có pull request liên kết đang mở hoặc đã được merge. Đang mởlow priority rt_lib tests
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 67/100
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 65/100
RobLoach/raylib-cpp#440 · 2 bình luận ·
-
bug
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 84/100
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 85/100
Maintainer thường phản hồi trong vòng 1 ngày