Introduce a Forward Progress guarantee option to HLSL

[AdamJMiles]

Hi,

Many algorithms, particularly those involving spin-locks or producer-consumer style algorithms implicitly require a forward progress guarantee. Shaders have been shipped that rely on forward progress already and are simply 'getting lucky' that this seems to work even without such a guarantee.

APIs such as CUDA have a forward progress guarantee and other non-NVIDIA hardware has the ability to run in such a mode as well. I believe this should be an optional feature that a shader can request via an entry point attribute.

Not having such a guarantee both deters inventive algorithms being deployed on D3D12 and runs the risk of them being shipped and used in an ecosystem that may not be capable of executing them safely.

Thanks,

Adam

[devshgraphicsprogramming]

Suggestion, change title from to HLSL to to SM 7.0