1.4 KiB
1.4 KiB
title, kind, status, owners, primary_code_paths, related_code_paths, depends_on, validation_paths, upstream_refs, last_reviewed
| title | kind | status | owners | primary_code_paths | related_code_paths | depends_on | validation_paths | upstream_refs | last_reviewed | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Diffusion Offloader | module | draft |
|
|
|
|
|
|
2026-07-16 |
Diffusion offloader
The offloader owns component residency, transfer scheduling, memory accounting, prefetch, and teardown for diffusion execution.
Candidate invariants
OFFLOAD-INV-001: Residency is explicit
Rule: Each managed component MUST have one known residency state and one owner responsible for transitions.
OFFLOAD-INV-002: Use follows readiness
Rule: Runtime execution MUST NOT consume a component until its transfer to the required device is complete.
OFFLOAD-INV-003: Transfers preserve model state
Rule: Offloading MUST preserve parameter and buffer identity, dtype, device, and correctness required by the selected execution mode.
OFFLOAD-INV-004: Memory is bounded and released
Rule: Retained host and device copies MUST respect configured limits and provide deterministic teardown.
Safe-change guide
Test enabled and disabled paths, repeated execution, asynchronous transfer, memory limits, failure, teardown, and numerical equivalence.