Skip to content

Amend Coherent Pointers Proposal #28

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Jul 14, 2025
Merged

Amend Coherent Pointers Proposal #28

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
12 changes: 4 additions & 8 deletions proposals/031-coherent-pointers.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -113,13 +113,9 @@ Any access through a coherent-pointer to a `groupshared` object is coherent; Sin

`CoopVec` and `CoopMat` load data into their respective data-structures from other objects using `CoopVec::Load`, `CoopVec::Store`, `CoopMat::Load`, and `CoopMat::Store`. Due to this design, we will add coherent operations to `CoopVec` and `CoopMat` by modifying `CoopVec::Load`, `CoopVec::Store`, `CoopMat::Load`, and `CoopMat::Store` to complete coherent operations if given a `CoherentPtr` as a parameter. Syntax required to use the method(s) will not change.

### Support Casting Pointers With Different `CoherentScope`
### Casting Pointers

We will allow pointers with different `CoherentScope` to be explicitly castable to each other. For example, `CoherentPtr<int, CoherentScope::Device>` will be castable to `CoherentPtr<int, MemoryScope.Workgroup>`.

### Casting and Pointer access

We will not allow casting between pointers of different `Access`.
All pointers can be casted to each other. Casting must be explicit.

### Banned keywords

Expand All @@ -129,12 +125,12 @@ HLSL style `globallycoherent T*` and GLSL style `coherent T*` will be disallowed

* Frontend for coherent pointers & pointer access
* Logic for pointer access
* Support casting explicitly between pointers
* Disallow `globallycoherent T*` and `coherent T*`
* Support for coherent buffers and textures
* Support casting between pointers with different `CoherentScope`
* Support for workgroup memory pointers.
* Support for coherent workgroup memory
* Support for coherent cooperative matrix & cooperative vector
* disallow `globallycoherent T*` and `coherent T*`

## Future Work

Expand Down