Modulevulkan-3.27GHC2021
Vulkan.Extensions.VK_EXT_robustness2
Name
VK_EXT_robustness2 - device extension
VK_EXT_robustness2
- Name String
VK_EXT_robustness2
- Extension Type
Device extension
- Registered Extension Number
287
- Revision
1
- Ratification Status
Ratified
- Extension and Version Dependencies
VK_KHR_get_physical_device_properties2
or
- Deprecation State
Promoted to VK_KHR_robustness2 extension
- Contact
Other Extension Metadata
- Last Modified Date
2020-01-29
- IP Status
No known IP claims.
- Contributors
Liam Middlebrook, NVIDIA
Jeff Bolz, NVIDIA
Description
This extension adds stricter requirements for how out of bounds reads and writes are handled. Most accesses must be tightly bounds-checked, out of bounds writes must be discarded, out of bound reads must return zero. Rather than allowing multiple possible (0,0,0,x) vectors, the out of bounds values are treated as zero, and then missing components are inserted based on the format as described in https://registry.khronos.org/vulkan/specs/latest/html/vkspec.html#images-component-substitution and vertex input attribute extraction.
These additional requirements may be expensive on some implementations, and should only be enabled when truly necessary.
This extension also adds support for “null descriptors”, where NULL_HANDLE can be used instead of a valid handle. Accesses to null descriptors have well-defined behavior, and do not rely on robustness.
Promotion to VK_KHR_robustness2
All functionality in this extension is included in VK_KHR_robustness2,
with the suffix changed to KHR. The original type, enum, and command
names are still available as aliases of the core functionality.
New Structures
New Enum Constants
Extending StructureType:
Issues
Why do PhysicalDeviceRobustness2PropertiesEXT::
robustUniformBufferAccessSizeAlignmentand PhysicalDeviceRobustness2PropertiesEXT::robustStorageBufferAccessSizeAlignmentexist?
RESOLVED: Some implementations cannot efficiently tightly bounds-check all buffer accesses. Rather, the size of the bound range is padded to some power of two multiple, up to 256 bytes for uniform buffers and up to 4 bytes for storage buffers, and that padded size is bounds-checked. This is sufficient to implement D3D-like behavior, because D3D only allows binding whole uniform buffers or ranges that are a multiple of 256 bytes, and D3D raw and structured buffers only support 32-bit accesses.
Examples
None.
Version History
Revision 1, 2019-11-01 (Jeff Bolz, Liam Middlebrook)
Initial draft
See Also
No cross-references are available
Document Notes
For more information, see the Vulkan Specification.
This page is a generated document. Fixes and changes should be made to the generator scripts, not directly.
- 6 types
- Packagevulkan-3.27
- Exports10
- LanguageGHC2021
- LicenceBSD-3-Clause
- SourceVK_EXT_robustness2.hs
VkPhysicalDeviceRobustness2FeaturesKHR - Structure describing the out-of-bounds behavior for an implementation
Members
This structure describes the following features:
Description
If the PhysicalDeviceRobustness2FeaturesKHR structure is included in
the pNext chain of the
PhysicalDeviceFeatures2
structure passed to
getPhysicalDeviceFeatures2,
it is filled in to indicate whether each corresponding feature is
supported. If the application wishes to use a
Device with any features described by
PhysicalDeviceRobustness2FeaturesKHR, it must add an instance of the
structure, with the desired feature members set to
TRUE, to the pNext chain of
DeviceCreateInfo when creating the
Device.
Valid Usage
If
robustBufferAccess2is enabled then robustBufferAccess must also be enabled
Valid Usage (Implicit)
sTypemust be STRUCTURE_TYPE_PHYSICAL_DEVICE_ROBUSTNESS_2_FEATURES_KHR
Structure Chaining
See Also
VK_EXT_robustness2, VK_KHR_robustness2, Bool32, StructureType
Constructors
PhysicalDeviceRobustness2FeaturesKHRrobustBufferAccess2 :: BoolrobustBufferAccess2enables https://registry.khronos.org/vulkan/specs/latest/html/vkspec.html#shaders-robust-buffer-access2 guarantees for shader buffer accesses.robustImageAccess2 :: BoolrobustImageAccess2enables https://registry.khronos.org/vulkan/specs/latest/html/vkspec.html#shaders-robust-image-access2 guarantees for shader image accesses.nullDescriptor :: BoolnullDescriptorindicates whether descriptors can be written with a NULL_HANDLE resource or view, which are considered valid to access and act as if the descriptor were bound to nothing.
Instances6Eq, Show, Storable, FromCStruct, ToCStruct, Zero
Eq PhysicalDeviceRobustness2FeaturesKHRDefined in vulkan-3.27 · Vulkan.Extensions.VK_KHR_robustness2Show PhysicalDeviceRobustness2FeaturesKHRDefined in vulkan-3.27 · Vulkan.Extensions.VK_KHR_robustness2Storable PhysicalDeviceRobustness2FeaturesKHRDefined in vulkan-3.27 · Vulkan.Extensions.VK_KHR_robustness2FromCStruct PhysicalDeviceRobustness2FeaturesKHRDefined in vulkan-3.27 · Vulkan.Extensions.VK_KHR_robustness2ToCStruct PhysicalDeviceRobustness2FeaturesKHRDefined in vulkan-3.27 · Vulkan.Extensions.VK_KHR_robustness2Zero PhysicalDeviceRobustness2FeaturesKHRDefined in vulkan-3.27 · Vulkan.Extensions.VK_KHR_robustness2
VkPhysicalDeviceRobustness2PropertiesKHR - Structure describing robust buffer access properties supported by an implementation
Description
If the PhysicalDeviceRobustness2PropertiesKHR structure is included in
the pNext chain of the
PhysicalDeviceProperties2
structure passed to
getPhysicalDeviceProperties2,
it is filled in with each corresponding implementation-dependent
property.
Structure Chaining
See Also
VK_EXT_robustness2, VK_KHR_robustness2, DeviceSize, StructureType
Constructors
PhysicalDeviceRobustness2PropertiesKHRrobustStorageBufferAccessSizeAlignment :: DeviceSizerobustStorageBufferAccessSizeAlignmentis the number of bytes that the range of a storage buffer descriptor is rounded up to when used for bounds-checking when the robustBufferAccess2 feature is enabled. This value must be either 1 or 4.robustUniformBufferAccessSizeAlignment :: DeviceSizerobustUniformBufferAccessSizeAlignmentis the number of bytes that the range of a uniform buffer descriptor is rounded up to when used for bounds-checking when the robustBufferAccess2 feature is enabled. This value must be a power of two in the range [1, 256].
Instances6Eq, Show, Storable, FromCStruct, ToCStruct, Zero
Eq PhysicalDeviceRobustness2PropertiesKHRDefined in vulkan-3.27 · Vulkan.Extensions.VK_KHR_robustness2Show PhysicalDeviceRobustness2PropertiesKHRDefined in vulkan-3.27 · Vulkan.Extensions.VK_KHR_robustness2Storable PhysicalDeviceRobustness2PropertiesKHRDefined in vulkan-3.27 · Vulkan.Extensions.VK_KHR_robustness2FromCStruct PhysicalDeviceRobustness2PropertiesKHRDefined in vulkan-3.27 · Vulkan.Extensions.VK_KHR_robustness2ToCStruct PhysicalDeviceRobustness2PropertiesKHRDefined in vulkan-3.27 · Vulkan.Extensions.VK_KHR_robustness2Zero PhysicalDeviceRobustness2PropertiesKHRDefined in vulkan-3.27 · Vulkan.Extensions.VK_KHR_robustness2