This series reworks the index projection syntax in the pointer projection infrastructure to use the keyworded syntax to be more explicit.
Doing this allows adding a new panicking variant of index projection, just like the normal index operator. This is useful for cases where compiler cannot prove (or cannot reliably prove) access is inbounds. The new syntax looks like this: - `[try: index]`: Fallible indexing (replaces `[index]?`). - `[build: index]`: Build-time checked indexing (replaces `[index]`). - `[panic: index]`: Runtime panicking indexing (newly added). DMA sample driver and nova core is updated. Danilo, we previously discussed merging this series with I/O projection for patch logistics. However, I'll need more time for next version of I/O projection (implementing view types that have original container type erased) which won't make it this cycle. This new version for projection syntax rework is minor changes only comparde to v1, so I think it's worth sending out so it can still land this cycle and get out of the way. --- Changes in v2: - Fix missing colon in documentation (Alice) - Reworded safety comment (Andreas) - Convert `unwrap_or_else` to match (Alice) - Split rename of `index` to `build_index` to a separate patch (Alex) - Dropped nova cmdq refactor as this will be better served in the I/O projection series. - Link to v1: https://patch.msgid.link/[email protected] To: Miguel Ojeda <[email protected]> To: Boqun Feng <[email protected]> To: Gary Guo <[email protected]> To: Björn Roy Baron <[email protected]> To: Benno Lossin <[email protected]> To: Andreas Hindborg <[email protected]> To: Alice Ryhl <[email protected]> To: Trevor Gross <[email protected]> To: Danilo Krummrich <[email protected]> To: Abdiel Janulgue <[email protected]> To: Daniel Almeida <[email protected]> To: Robin Murphy <[email protected]> To: Alexandre Courbot <[email protected]> To: David Airlie <[email protected]> To: Simona Vetter <[email protected]> Cc: [email protected] Cc: [email protected] Cc: [email protected] Cc: [email protected] Cc: [email protected] --- Gary Guo (6): rust: ptr: rename `ProjectIndex::index` to `build_index` rust: ptr: use `match` instead of `unwrap_or_else` for `build_index` rust: ptr: add panicking index projection variant rust: dma: update to keyworded index projection syntax gpu: nova-core: convert to keyworded projection syntax rust: ptr: remove implicit index projection syntax drivers/gpu/nova-core/gsp/cmdq.rs | 6 +-- rust/kernel/dma.rs | 15 +++--- rust/kernel/ptr/projection.rs | 97 +++++++++++++++++++++++++++++++-------- samples/rust/rust_dma.rs | 12 ++--- 4 files changed, 93 insertions(+), 37 deletions(-) --- base-commit: 46def663dd34da36464ba059f7cfeacf29d98e5e change-id: 20260415-projection-syntax-rework-b790a305bc52 Best regards, -- Gary Guo <[email protected]>
