Regarding prefix sum, the specific question I'm interested in is that SPIRV OpControlBarrier with device scope gets translated into threadgroup_barrier(mem_device) [2]. That's insufficient to make decoupled look-back work. Conversely, if you're not using decoupled look-back, you're not getting the full throughput on GPUs that do support that barrier. I'm wondering how your infrastructure deals with that.
[1]: https://developer.nvidia.com/blog/programming-tensor-cores-c...
[2]: https://github.com/linebender/piet-gpu/blob/d81e5cb4ee145abd...