Vulkan.Extensions.VK_EXT_shader_module_identifier

Name

VK_EXT_shader_module_identifier - device extension

VK_EXT_shader_module_identifier

Name String

VK_EXT_shader_module_identifier

Extension Type

Device extension

Registered Extension Number

463

Revision

1

Extension and Version Dependencies

• Requires support for Vulkan 1.0
• Requires VK_KHR_get_physical_device_properties2 to be enabled for any device-level functionality
• Requires VK_EXT_pipeline_creation_cache_control to be enabled for any device-level functionality

Contact

• Hans-Kristian Arntzen @HansKristian-Work%0A*Here describe the issue or question you have about the VK_EXT_shader_module_identifier extension*

Extension Proposal

VK_EXT_shader_module_identifier

Other Extension Metadata

Last Modified Date

2022-05-16

IP Status

No known IP claims.

Contributors

• Hans-Kristian Arntzen, Valve
• Ricardo Garcia, Igalia
• Piers Daniell, NVIDIA
• Jan-Harald Fredriksen, Arm
• Tom Olson, Arm
• Jason Ekstrand, Collabora

Description

Some applications generate SPIR-V code at runtime. When pipeline caches are primed, either explicitly through e.g. PipelineCache mechanisms, or implicitly through driver managed caches, having to re-generate SPIR-V modules is redundant. SPIR-V modules could be cached on disk by an application, but the extra disk size requirement might be prohibitive in some use cases.

This extension adds the ability for an application to query a small identifier associated with a ShaderModule. On subsequent runs of the application, the same identifier can be provided in lieu of a ShaderModule object. A pipeline creation call with such a module may succeed if a pipeline could be created without invoking compilation, and information inside the SPIR-V module is not required by the implementation.

PIPELINE_CREATE_FAIL_ON_PIPELINE_COMPILE_REQUIRED_BIT must be used if only the identifier is provided, and this use case is intended to work like a non-blocking, speculative compile. Applications can fallback as necessary.

The main motivation for identifying the module itself and not the entire pipeline is that pipeline identifiers change when a driver is updated, but module identifiers are expected to be stable for any particular driver implementation. This approach is helpful for shader pre-compilation systems which can prime pipeline caches ahead of time. When on-disk pipeline caches are updated, the same shader identifiers could lead to a pipeline cache hit.

New Commands

• getShaderModuleCreateInfoIdentifierEXT

• getShaderModuleIdentifierEXT

New Structures

• ShaderModuleIdentifierEXT

• Extending PhysicalDeviceFeatures2, DeviceCreateInfo:

  • PhysicalDeviceShaderModuleIdentifierFeaturesEXT

• Extending PhysicalDeviceProperties2:

  • PhysicalDeviceShaderModuleIdentifierPropertiesEXT

• Extending PipelineShaderStageCreateInfo:

  • PipelineShaderStageModuleIdentifierCreateInfoEXT

New Enum Constants

• EXT_SHADER_MODULE_IDENTIFIER_EXTENSION_NAME

• EXT_SHADER_MODULE_IDENTIFIER_SPEC_VERSION
• MAX_SHADER_MODULE_IDENTIFIER_SIZE_EXT

• Extending StructureType:

  • STRUCTURE_TYPE_PHYSICAL_DEVICE_SHADER_MODULE_IDENTIFIER_FEATURES_EXT
  • STRUCTURE_TYPE_PHYSICAL_DEVICE_SHADER_MODULE_IDENTIFIER_PROPERTIES_EXT
  • STRUCTURE_TYPE_PIPELINE_SHADER_STAGE_MODULE_IDENTIFIER_CREATE_INFO_EXT
  • STRUCTURE_TYPE_SHADER_MODULE_IDENTIFIER_EXT

Version History

• Revision 1, 2022-03-16 (Hans-Kristian Arntzen)

  • Initial draft

See Also

MAX_SHADER_MODULE_IDENTIFIER_SIZE_EXT, PhysicalDeviceShaderModuleIdentifierFeaturesEXT, PhysicalDeviceShaderModuleIdentifierPropertiesEXT, PipelineShaderStageModuleIdentifierCreateInfoEXT, ShaderModuleIdentifierEXT, getShaderModuleCreateInfoIdentifierEXT, getShaderModuleIdentifierEXT

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.

Documentation

getShaderModuleIdentifierEXT

Arguments

:: forall io. MonadIO io

=> Device

device is the logical device that created the shader module.

-> ShaderModule

shaderModule is the handle of the shader module.

-> io ShaderModuleIdentifierEXT

vkGetShaderModuleIdentifierEXT - Query a unique identifier for a shader module

Description

The identifier returned by the implementation must only depend on shaderIdentifierAlgorithmUUID and information provided in the ShaderModuleCreateInfo which created shaderModule. The implementation may return equal identifiers for two different ShaderModuleCreateInfo structures if the difference does not affect pipeline compilation. Identifiers are only meaningful on different Device objects if the device the identifier was queried from had the same shaderModuleIdentifierAlgorithmUUID as the device consuming the identifier.

Valid Usage

• shaderModuleIdentifier feature must be enabled

Valid Usage (Implicit)

• device must be a valid Device handle

• shaderModule must be a valid ShaderModule handle
• pIdentifier must be a valid pointer to a ShaderModuleIdentifierEXT structure
• shaderModule must have been created, allocated, or retrieved from device

See Also

VK_EXT_shader_module_identifier, Device, ShaderModule, ShaderModuleIdentifierEXT

getShaderModuleCreateInfoIdentifierEXT

Arguments

:: forall a io. (Extendss ShaderModuleCreateInfo a, PokeChain a, MonadIO io)

=> Device

device is the logical device that can create a ShaderModule from pCreateInfo.

-> ShaderModuleCreateInfo a

pCreateInfo is a pointer to a ShaderModuleCreateInfo structure.

-> io ShaderModuleIdentifierEXT

vkGetShaderModuleCreateInfoIdentifierEXT - Query a unique identifier for a shader module create info

Description

The identifier returned by implementation must only depend on shaderIdentifierAlgorithmUUID and information provided in the ShaderModuleCreateInfo. The implementation may return equal identifiers for two different ShaderModuleCreateInfo structures if the difference does not affect pipeline compilation. Identifiers are only meaningful on different Device objects if the device the identifier was queried from had the same shaderModuleIdentifierAlgorithmUUID as the device consuming the identifier.

The identifier returned by the implementation in getShaderModuleCreateInfoIdentifierEXT must be equal to the identifier returned by getShaderModuleIdentifierEXT given equivalent definitions of ShaderModuleCreateInfo and any chained pNext structures.

Valid Usage

• shaderModuleIdentifier feature must be enabled

Valid Usage (Implicit)

• device must be a valid Device handle

• pCreateInfo must be a valid pointer to a valid ShaderModuleCreateInfo structure
• pIdentifier must be a valid pointer to a ShaderModuleIdentifierEXT structure

See Also

VK_EXT_shader_module_identifier, Device, ShaderModuleCreateInfo, ShaderModuleIdentifierEXT

data PhysicalDeviceShaderModuleIdentifierFeaturesEXT

VkPhysicalDeviceShaderModuleIdentifierFeaturesEXT - Structure describing whether querying and providing an identifier of a shader module is supported by the implementation

Members

This structure describes the following feature:

Description

If the PhysicalDeviceShaderModuleIdentifierFeaturesEXT 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. PhysicalDeviceShaderModuleIdentifierFeaturesEXT can also be used in the pNext chain of DeviceCreateInfo to selectively enable these features.

Valid Usage (Implicit)

See Also

VK_EXT_shader_module_identifier, Bool32, StructureType

Constructors

PhysicalDeviceShaderModuleIdentifierFeaturesEXT

Fields

• shaderModuleIdentifier :: Bool

  shaderModuleIdentifier indicates whether the implementation supports querying an identifier of a ShaderModule or ShaderModuleCreateInfo structure, and creating pipelines from identifiers only.

Instances

Storable PhysicalDeviceShaderModuleIdentifierFeaturesEXT

Defined in Vulkan.Extensions.VK_EXT_shader_module_identifier

Methods

sizeOf :: PhysicalDeviceShaderModuleIdentifierFeaturesEXT -> Int

alignment :: PhysicalDeviceShaderModuleIdentifierFeaturesEXT -> Int

peekElemOff :: Ptr PhysicalDeviceShaderModuleIdentifierFeaturesEXT -> Int -> IO PhysicalDeviceShaderModuleIdentifierFeaturesEXT

pokeElemOff :: Ptr PhysicalDeviceShaderModuleIdentifierFeaturesEXT -> Int -> PhysicalDeviceShaderModuleIdentifierFeaturesEXT -> IO ()

peekByteOff :: Ptr b -> Int -> IO PhysicalDeviceShaderModuleIdentifierFeaturesEXT

pokeByteOff :: Ptr b -> Int -> PhysicalDeviceShaderModuleIdentifierFeaturesEXT -> IO ()

peek :: Ptr PhysicalDeviceShaderModuleIdentifierFeaturesEXT -> IO PhysicalDeviceShaderModuleIdentifierFeaturesEXT

poke :: Ptr PhysicalDeviceShaderModuleIdentifierFeaturesEXT -> PhysicalDeviceShaderModuleIdentifierFeaturesEXT -> IO ()

Show PhysicalDeviceShaderModuleIdentifierFeaturesEXT

Defined in Vulkan.Extensions.VK_EXT_shader_module_identifier

Methods

showsPrec :: Int -> PhysicalDeviceShaderModuleIdentifierFeaturesEXT -> ShowS

show :: PhysicalDeviceShaderModuleIdentifierFeaturesEXT -> String

showList :: [PhysicalDeviceShaderModuleIdentifierFeaturesEXT] -> ShowS

Eq PhysicalDeviceShaderModuleIdentifierFeaturesEXT

Defined in Vulkan.Extensions.VK_EXT_shader_module_identifier

Methods

(==) :: PhysicalDeviceShaderModuleIdentifierFeaturesEXT -> PhysicalDeviceShaderModuleIdentifierFeaturesEXT -> Bool

(/=) :: PhysicalDeviceShaderModuleIdentifierFeaturesEXT -> PhysicalDeviceShaderModuleIdentifierFeaturesEXT -> Bool

FromCStruct PhysicalDeviceShaderModuleIdentifierFeaturesEXT

Defined in Vulkan.Extensions.VK_EXT_shader_module_identifier

Methods

peekCStruct :: Ptr PhysicalDeviceShaderModuleIdentifierFeaturesEXT -> IO PhysicalDeviceShaderModuleIdentifierFeaturesEXT

ToCStruct PhysicalDeviceShaderModuleIdentifierFeaturesEXT

Defined in Vulkan.Extensions.VK_EXT_shader_module_identifier

Methods

withCStruct :: PhysicalDeviceShaderModuleIdentifierFeaturesEXT -> (Ptr PhysicalDeviceShaderModuleIdentifierFeaturesEXT -> IO b) -> IO b

pokeCStruct :: Ptr PhysicalDeviceShaderModuleIdentifierFeaturesEXT -> PhysicalDeviceShaderModuleIdentifierFeaturesEXT -> IO b -> IO b

withZeroCStruct :: (Ptr PhysicalDeviceShaderModuleIdentifierFeaturesEXT -> IO b) -> IO b

pokeZeroCStruct :: Ptr PhysicalDeviceShaderModuleIdentifierFeaturesEXT -> IO b -> IO b

cStructSize :: Int

cStructAlignment :: Int

Zero PhysicalDeviceShaderModuleIdentifierFeaturesEXT

Defined in Vulkan.Extensions.VK_EXT_shader_module_identifier

Methods

zero :: PhysicalDeviceShaderModuleIdentifierFeaturesEXT

data PhysicalDeviceShaderModuleIdentifierPropertiesEXT

VkPhysicalDeviceShaderModuleIdentifierPropertiesEXT - Structure describing shader module identifier properties of an implementation

Members

The members of the PhysicalDeviceShaderModuleIdentifierPropertiesEXT structure describe the following:

Description

Note

The algorithm UUID may be the same in different ICDs if the algorithms are guaranteed to produce the same results. This may happen in driver stacks which support different kinds of hardware with shared code.

Khronos' conformance testing can not guarantee that shaderModuleIdentifierAlgorithmUUID values are actually unique, so implementors should make their own best efforts to ensure that their UUID is unlikely to conflict with other implementations which may use a different algorithm. In particular, hard-coded values which easily conflict, such as all-0 bits, should never be used. Hard-coded values are acceptable if best effort is ensured that the value will not accidentally conflict.

If the PhysicalDeviceShaderModuleIdentifierPropertiesEXT 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_shader_module_identifier, StructureType

Constructors

PhysicalDeviceShaderModuleIdentifierPropertiesEXT

Fields

• shaderModuleIdentifierAlgorithmUUID :: ByteString

  shaderModuleIdentifierAlgorithmUUID is an array of UUID_SIZE uint8_t values which uniquely represents the algorithm used to compute an identifier in getShaderModuleIdentifierEXT and getShaderModuleCreateInfoIdentifierEXT. Implementations should not change this value in different driver versions if the algorithm used to compute an identifier is the same.

Instances

Storable PhysicalDeviceShaderModuleIdentifierPropertiesEXT

Defined in Vulkan.Extensions.VK_EXT_shader_module_identifier

Methods

sizeOf :: PhysicalDeviceShaderModuleIdentifierPropertiesEXT -> Int

alignment :: PhysicalDeviceShaderModuleIdentifierPropertiesEXT -> Int

peekElemOff :: Ptr PhysicalDeviceShaderModuleIdentifierPropertiesEXT -> Int -> IO PhysicalDeviceShaderModuleIdentifierPropertiesEXT

pokeElemOff :: Ptr PhysicalDeviceShaderModuleIdentifierPropertiesEXT -> Int -> PhysicalDeviceShaderModuleIdentifierPropertiesEXT -> IO ()

peekByteOff :: Ptr b -> Int -> IO PhysicalDeviceShaderModuleIdentifierPropertiesEXT

pokeByteOff :: Ptr b -> Int -> PhysicalDeviceShaderModuleIdentifierPropertiesEXT -> IO ()

peek :: Ptr PhysicalDeviceShaderModuleIdentifierPropertiesEXT -> IO PhysicalDeviceShaderModuleIdentifierPropertiesEXT

poke :: Ptr PhysicalDeviceShaderModuleIdentifierPropertiesEXT -> PhysicalDeviceShaderModuleIdentifierPropertiesEXT -> IO ()

Show PhysicalDeviceShaderModuleIdentifierPropertiesEXT

Defined in Vulkan.Extensions.VK_EXT_shader_module_identifier

Methods

showsPrec :: Int -> PhysicalDeviceShaderModuleIdentifierPropertiesEXT -> ShowS

show :: PhysicalDeviceShaderModuleIdentifierPropertiesEXT -> String

showList :: [PhysicalDeviceShaderModuleIdentifierPropertiesEXT] -> ShowS

FromCStruct PhysicalDeviceShaderModuleIdentifierPropertiesEXT

Defined in Vulkan.Extensions.VK_EXT_shader_module_identifier

Methods

peekCStruct :: Ptr PhysicalDeviceShaderModuleIdentifierPropertiesEXT -> IO PhysicalDeviceShaderModuleIdentifierPropertiesEXT

ToCStruct PhysicalDeviceShaderModuleIdentifierPropertiesEXT

Defined in Vulkan.Extensions.VK_EXT_shader_module_identifier

Methods

withCStruct :: PhysicalDeviceShaderModuleIdentifierPropertiesEXT -> (Ptr PhysicalDeviceShaderModuleIdentifierPropertiesEXT -> IO b) -> IO b

pokeCStruct :: Ptr PhysicalDeviceShaderModuleIdentifierPropertiesEXT -> PhysicalDeviceShaderModuleIdentifierPropertiesEXT -> IO b -> IO b

withZeroCStruct :: (Ptr PhysicalDeviceShaderModuleIdentifierPropertiesEXT -> IO b) -> IO b

pokeZeroCStruct :: Ptr PhysicalDeviceShaderModuleIdentifierPropertiesEXT -> IO b -> IO b

cStructSize :: Int

cStructAlignment :: Int

Zero PhysicalDeviceShaderModuleIdentifierPropertiesEXT

Defined in Vulkan.Extensions.VK_EXT_shader_module_identifier

Methods

zero :: PhysicalDeviceShaderModuleIdentifierPropertiesEXT

data PipelineShaderStageModuleIdentifierCreateInfoEXT

VkPipelineShaderStageModuleIdentifierCreateInfoEXT - Structure specifying an identifier for a shader module

Description

Any identifier can be used. If the pipeline being created with identifier requires compilation to complete the pipeline creation call, pipeline compilation must fail as defined by PIPELINE_CREATE_FAIL_ON_PIPELINE_COMPILE_REQUIRED_BIT.

pIdentifier and identifierSize can be obtained from an ShaderModuleIdentifierEXT queried earlier.

Valid Usage

• If this structure is included in a pNext chain and identifierSize is not equal to 0, the shaderModuleIdentifier feature must be enabled

• If this struct is included in a pNext chain of PipelineShaderStageCreateInfo and identifierSize is not equal to 0, the pipeline must be created with the PIPELINE_CREATE_FAIL_ON_PIPELINE_COMPILE_REQUIRED_BIT flag set
• identifierSize must be less-or-equal to MAX_SHADER_MODULE_IDENTIFIER_SIZE_EXT

Valid Usage (Implicit)

• sType must be STRUCTURE_TYPE_PIPELINE_SHADER_STAGE_MODULE_IDENTIFIER_CREATE_INFO_EXT

• If identifierSize is not 0, pIdentifier must be a valid pointer to an array of identifierSize uint8_t values

See Also

VK_EXT_shader_module_identifier, StructureType

Constructors

PipelineShaderStageModuleIdentifierCreateInfoEXT

Fields

• identifier :: Vector Word8

  pIdentifier points to a buffer of opaque data specifying an identifier.

Instances

Show PipelineShaderStageModuleIdentifierCreateInfoEXT

Defined in Vulkan.Extensions.VK_EXT_shader_module_identifier

Methods

showsPrec :: Int -> PipelineShaderStageModuleIdentifierCreateInfoEXT -> ShowS

show :: PipelineShaderStageModuleIdentifierCreateInfoEXT -> String

showList :: [PipelineShaderStageModuleIdentifierCreateInfoEXT] -> ShowS

FromCStruct PipelineShaderStageModuleIdentifierCreateInfoEXT

Defined in Vulkan.Extensions.VK_EXT_shader_module_identifier

Methods

peekCStruct :: Ptr PipelineShaderStageModuleIdentifierCreateInfoEXT -> IO PipelineShaderStageModuleIdentifierCreateInfoEXT

ToCStruct PipelineShaderStageModuleIdentifierCreateInfoEXT

Defined in Vulkan.Extensions.VK_EXT_shader_module_identifier

Methods

withCStruct :: PipelineShaderStageModuleIdentifierCreateInfoEXT -> (Ptr PipelineShaderStageModuleIdentifierCreateInfoEXT -> IO b) -> IO b

pokeCStruct :: Ptr PipelineShaderStageModuleIdentifierCreateInfoEXT -> PipelineShaderStageModuleIdentifierCreateInfoEXT -> IO b -> IO b

withZeroCStruct :: (Ptr PipelineShaderStageModuleIdentifierCreateInfoEXT -> IO b) -> IO b

pokeZeroCStruct :: Ptr PipelineShaderStageModuleIdentifierCreateInfoEXT -> IO b -> IO b

cStructSize :: Int

cStructAlignment :: Int

Zero PipelineShaderStageModuleIdentifierCreateInfoEXT

Defined in Vulkan.Extensions.VK_EXT_shader_module_identifier

Methods

zero :: PipelineShaderStageModuleIdentifierCreateInfoEXT

data ShaderModuleIdentifierEXT

VkShaderModuleIdentifierEXT - A unique identifier for a shader module

Description

Any returned values beyond the first identifierSize bytes are undefined. Implementations must return an identifierSize greater than 0, and less-or-equal to MAX_SHADER_MODULE_IDENTIFIER_SIZE_EXT.

Two identifiers are considered equal if identifierSize is equal and the first identifierSize bytes of identifier compare equal.

Implementations may return a different identifierSize for different modules. Implementations should ensure that identifierSize is large enough to uniquely define a shader module.

Valid Usage (Implicit)

See Also

VK_EXT_shader_module_identifier, StructureType, getShaderModuleCreateInfoIdentifierEXT, getShaderModuleIdentifierEXT

Constructors

ShaderModuleIdentifierEXT

Fields

• identifierSize :: Word32

  identifierSize is the size, in bytes, of valid data returned in identifier.

• identifier :: ByteString

  identifier is a buffer of opaque data specifying an identifier.

Instances

Storable ShaderModuleIdentifierEXT

Defined in Vulkan.Extensions.VK_EXT_shader_module_identifier

Methods

sizeOf :: ShaderModuleIdentifierEXT -> Int

alignment :: ShaderModuleIdentifierEXT -> Int

peekElemOff :: Ptr ShaderModuleIdentifierEXT -> Int -> IO ShaderModuleIdentifierEXT

pokeElemOff :: Ptr ShaderModuleIdentifierEXT -> Int -> ShaderModuleIdentifierEXT -> IO ()

peekByteOff :: Ptr b -> Int -> IO ShaderModuleIdentifierEXT

pokeByteOff :: Ptr b -> Int -> ShaderModuleIdentifierEXT -> IO ()

peek :: Ptr ShaderModuleIdentifierEXT -> IO ShaderModuleIdentifierEXT

poke :: Ptr ShaderModuleIdentifierEXT -> ShaderModuleIdentifierEXT -> IO ()

Show ShaderModuleIdentifierEXT

Defined in Vulkan.Extensions.VK_EXT_shader_module_identifier

Methods

showsPrec :: Int -> ShaderModuleIdentifierEXT -> ShowS

show :: ShaderModuleIdentifierEXT -> String

showList :: [ShaderModuleIdentifierEXT] -> ShowS

FromCStruct ShaderModuleIdentifierEXT

Defined in Vulkan.Extensions.VK_EXT_shader_module_identifier

Methods

peekCStruct :: Ptr ShaderModuleIdentifierEXT -> IO ShaderModuleIdentifierEXT

ToCStruct ShaderModuleIdentifierEXT

Defined in Vulkan.Extensions.VK_EXT_shader_module_identifier

Methods

withCStruct :: ShaderModuleIdentifierEXT -> (Ptr ShaderModuleIdentifierEXT -> IO b) -> IO b

pokeCStruct :: Ptr ShaderModuleIdentifierEXT -> ShaderModuleIdentifierEXT -> IO b -> IO b

withZeroCStruct :: (Ptr ShaderModuleIdentifierEXT -> IO b) -> IO b

pokeZeroCStruct :: Ptr ShaderModuleIdentifierEXT -> IO b -> IO b

cStructSize :: Int

cStructAlignment :: Int

Zero ShaderModuleIdentifierEXT

Defined in Vulkan.Extensions.VK_EXT_shader_module_identifier

Methods

zero :: ShaderModuleIdentifierEXT

type EXT_SHADER_MODULE_IDENTIFIER_SPEC_VERSION = 1

pattern EXT_SHADER_MODULE_IDENTIFIER_SPEC_VERSION :: forall a. Integral a => a

type EXT_SHADER_MODULE_IDENTIFIER_EXTENSION_NAME = "VK_EXT_shader_module_identifier"

pattern EXT_SHADER_MODULE_IDENTIFIER_EXTENSION_NAME :: forall a. (Eq a, IsString a) => a

type MAX_SHADER_MODULE_IDENTIFIER_SIZE_EXT = 32

pattern MAX_SHADER_MODULE_IDENTIFIER_SIZE_EXT :: forall a. Integral a => a