pool dialect
← Dialect reference
Block-managed device memory pool ops.
| Property |
Value |
| Bytecode dialect ID |
0x0a |
| Registered by default |
yes |
| Operations |
6 |
Operations
| Operation |
Summary |
pool.buffer |
Extract the raw device buffer handle from a pool. |
pool.duplicate |
Create another local owner of a memory pool handle. |
pool.load |
Read a page from the pool as a typed tile. |
pool.pin |
Atomically increment the pin count for a block. |
pool.store |
Write tile data into the pool at a page offset. |
pool.unpin |
Atomically decrement the pin count for a block. |