vulkan
Safe HaskellNone
LanguageHaskell2010

Vulkan.Extensions.VK_EXT_robustness2

Description

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 Vulkan Version 1.1
Deprecation State
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

Issues

  1. Why do PhysicalDeviceRobustness2PropertiesEXT::robustUniformBufferAccessSizeAlignment and PhysicalDeviceRobustness2PropertiesEXT::robustStorageBufferAccessSizeAlignment exist?

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.

Synopsis

Documentation

type EXT_ROBUSTNESS_2_EXTENSION_NAME = "VK_EXT_robustness2" Source #

data PhysicalDeviceRobustness2FeaturesKHR Source #

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

Valid Usage (Implicit)

See Also

VK_EXT_robustness2, VK_KHR_robustness2, Bool32, StructureType

Constructors

PhysicalDeviceRobustness2FeaturesKHR 

Fields

Instances

Instances details
Eq PhysicalDeviceRobustness2FeaturesKHR Source # 
Instance details

Defined in Vulkan.Extensions.VK_KHR_robustness2

Storable PhysicalDeviceRobustness2FeaturesKHR Source # 
Instance details

Defined in Vulkan.Extensions.VK_KHR_robustness2

Show PhysicalDeviceRobustness2FeaturesKHR Source # 
Instance details

Defined in Vulkan.Extensions.VK_KHR_robustness2

FromCStruct PhysicalDeviceRobustness2FeaturesKHR Source # 
Instance details

Defined in Vulkan.Extensions.VK_KHR_robustness2

ToCStruct PhysicalDeviceRobustness2FeaturesKHR Source # 
Instance details

Defined in Vulkan.Extensions.VK_KHR_robustness2

Zero PhysicalDeviceRobustness2FeaturesKHR Source # 
Instance details

Defined in Vulkan.Extensions.VK_KHR_robustness2

data PhysicalDeviceRobustness2PropertiesKHR Source #

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.

Valid Usage (Implicit)

See Also

VK_EXT_robustness2, VK_KHR_robustness2, DeviceSize, StructureType

Constructors

PhysicalDeviceRobustness2PropertiesKHR 

Fields

Instances

Instances details
Eq PhysicalDeviceRobustness2PropertiesKHR Source # 
Instance details

Defined in Vulkan.Extensions.VK_KHR_robustness2

Storable PhysicalDeviceRobustness2PropertiesKHR Source # 
Instance details

Defined in Vulkan.Extensions.VK_KHR_robustness2

Show PhysicalDeviceRobustness2PropertiesKHR Source # 
Instance details

Defined in Vulkan.Extensions.VK_KHR_robustness2

FromCStruct PhysicalDeviceRobustness2PropertiesKHR Source # 
Instance details

Defined in Vulkan.Extensions.VK_KHR_robustness2

ToCStruct PhysicalDeviceRobustness2PropertiesKHR Source # 
Instance details

Defined in Vulkan.Extensions.VK_KHR_robustness2

Zero PhysicalDeviceRobustness2PropertiesKHR Source # 
Instance details

Defined in Vulkan.Extensions.VK_KHR_robustness2