Graphics.Vulkan.Core10.Query

Documentation

createQueryPool :: PokeChain a => Device -> QueryPoolCreateInfo a -> ("allocator" ::: Maybe AllocationCallbacks) -> IO QueryPool

vkCreateQueryPool - Create a new query pool object

Parameters

• Device is the logical device that creates the query pool.

• pCreateInfo is a pointer to a QueryPoolCreateInfo structure containing the number and type of queries to be managed by the pool.
• pAllocator controls host memory allocation as described in the Memory Allocation chapter.
• pQueryPool is a pointer to a QueryPool handle in which the resulting query pool object is returned.

Valid Usage (Implicit)

• Device must be a valid Device handle

• pCreateInfo must be a valid pointer to a valid QueryPoolCreateInfo structure
• If pAllocator is not NULL, pAllocator must be a valid pointer to a valid AllocationCallbacks structure
• pQueryPool must be a valid pointer to a QueryPool handle

Return Codes

Success

• SUCCESS

Failure

• ERROR_OUT_OF_HOST_MEMORY
• ERROR_OUT_OF_DEVICE_MEMORY

See Also

AllocationCallbacks, Device, QueryPool, QueryPoolCreateInfo

withQueryPool :: PokeChain a => Device -> QueryPoolCreateInfo a -> Maybe AllocationCallbacks -> (QueryPool -> IO r) -> IO r

A safe wrapper for createQueryPool and destroyQueryPool using bracket

The allocated value must not be returned from the provided computation

destroyQueryPool :: Device -> QueryPool -> ("allocator" ::: Maybe AllocationCallbacks) -> IO ()

vkDestroyQueryPool - Destroy a query pool object

Parameters

• Device is the logical device that destroys the query pool.

• QueryPool is the query pool to destroy.
• pAllocator controls host memory allocation as described in the Memory Allocation chapter.

Valid Usage

• All submitted commands that refer to QueryPool must have completed execution

• If AllocationCallbacks were provided when QueryPool was created, a compatible set of callbacks must be provided here
• If no AllocationCallbacks were provided when QueryPool was created, pAllocator must be NULL

Valid Usage (Implicit)

• Device must be a valid Device handle

• If QueryPool is not NULL_HANDLE, QueryPool must be a valid QueryPool handle
• If pAllocator is not NULL, pAllocator must be a valid pointer to a valid AllocationCallbacks structure
• If QueryPool is a valid handle, it must have been created, allocated, or retrieved from Device

Host Synchronization

• Host access to QueryPool must be externally synchronized

See Also

AllocationCallbacks, Device, QueryPool

getQueryPoolResults :: Device -> QueryPool -> ("firstQuery" ::: Word32) -> ("queryCount" ::: Word32) -> ("dataSize" ::: Word64) -> ("data" ::: Ptr ()) -> ("stride" ::: DeviceSize) -> QueryResultFlags -> IO Result

vkGetQueryPoolResults - Copy results of queries in a query pool to a host memory region

Parameters

• Device is the logical device that owns the query pool.

• QueryPool is the query pool managing the queries containing the desired results.
• firstQuery is the initial query index.
• queryCount is the number of queries to read.
• dataSize is the size in bytes of the buffer pointed to by pData.
• pData is a pointer to a user-allocated buffer where the results will be written
• stride is the stride in bytes between results for individual queries within pData.
• Flags is a bitmask of QueryResultFlagBits specifying how and when results are returned.

Description

The range of queries read is defined by [firstQuery, firstQuery + queryCount - 1]. For pipeline statistics queries, each query index in the pool contains one integer value for each bit that is enabled in QueryPoolCreateInfo::pipelineStatistics when the pool is created.

If no bits are set in Flags, and all requested queries are in the available state, results are written as an array of 32-bit unsigned integer values. The behavior when not all queries are available, is described below.

If QUERY_RESULT_64_BIT is not set and the result overflows a 32-bit value, the value may either wrap or saturate. Similarly, if QUERY_RESULT_64_BIT is set and the result overflows a 64-bit value, the value may either wrap or saturate.

If QUERY_RESULT_WAIT_BIT is set, Vulkan will wait for each query to be in the available state before retrieving the numerical results for that query. In this case, getQueryPoolResults is guaranteed to succeed and return SUCCESS if the queries become available in a finite time (i.e. if they have been issued and not reset). If queries will never finish (e.g. due to being reset but not issued), then getQueryPoolResults may not return in finite time.

If QUERY_RESULT_WAIT_BIT and QUERY_RESULT_PARTIAL_BIT are both not set then no result values are written to pData for queries that are in the unavailable state at the time of the call, and getQueryPoolResults returns NOT_READY. However, availability state is still written to pData for those queries if QUERY_RESULT_WITH_AVAILABILITY_BIT is set.

Note

Applications must take care to ensure that use of the QUERY_RESULT_WAIT_BIT bit has the desired effect.

For example, if a query has been used previously and a command buffer records the commands cmdResetQueryPool, cmdBeginQuery, and cmdEndQuery for that query, then the query will remain in the available state until resetQueryPool is called or the cmdResetQueryPool command executes on a queue. Applications can use fences or events to ensure that a query has already been reset before checking for its results or availability status. Otherwise, a stale value could be returned from a previous use of the query.

The above also applies when QUERY_RESULT_WAIT_BIT is used in combination with QUERY_RESULT_WITH_AVAILABILITY_BIT. In this case, the returned availability status may reflect the result of a previous use of the query unless resetQueryPool is called or the cmdResetQueryPool command has been executed since the last use of the query.

Note

Applications can double-buffer query pool usage, with a pool per frame, and reset queries at the end of the frame in which they are read.

If QUERY_RESULT_PARTIAL_BIT is set, QUERY_RESULT_WAIT_BIT is not set, and the query’s status is unavailable, an intermediate result value between zero and the final result value is written to pData for that query.

If QUERY_RESULT_WITH_AVAILABILITY_BIT is set, the final integer value written for each query is non-zero if the query’s status was available or zero if the status was unavailable. When QUERY_RESULT_WITH_AVAILABILITY_BIT is used, implementations must guarantee that if they return a non-zero availability value then the numerical results must be valid, assuming the results are not reset by a subsequent command.

Note

Satisfying this guarantee may require careful ordering by the application, e.g. to read the availability status before reading the results.

Valid Usage

• firstQuery must be less than the number of queries in QueryPool

• If QUERY_RESULT_64_BIT is not set in Flags, then pData and stride must be multiples of 4
• If QUERY_RESULT_64_BIT is not set in Flags and the QueryType used to create QueryPool was not QUERY_TYPE_PERFORMANCE_QUERY_KHR, then pData and stride must be multiples of 4
• If QUERY_RESULT_64_BIT is set in Flags then pData and stride must be multiples of 8
• If the QueryType used to create QueryPool was QUERY_TYPE_PERFORMANCE_QUERY_KHR, then pData and stride must be multiples of the size of PerformanceCounterResultKHR
• The sum of firstQuery and queryCount must be less than or equal to the number of queries in QueryPool
• dataSize must be large enough to contain the result of each query, as described here
• If the QueryType used to create QueryPool was QUERY_TYPE_TIMESTAMP, Flags must not contain QUERY_RESULT_PARTIAL_BIT
• If the QueryType used to create QueryPool was QUERY_TYPE_PERFORMANCE_QUERY_KHR, Flags must not contain QUERY_RESULT_WITH_AVAILABILITY_BIT, QUERY_RESULT_PARTIAL_BIT or QUERY_RESULT_64_BIT
• If the QueryType used to create QueryPool was QUERY_TYPE_PERFORMANCE_QUERY_KHR, the QueryPool must have been recorded once for each pass as retrieved via a call to getPhysicalDeviceQueueFamilyPerformanceQueryPassesKHR

Valid Usage (Implicit)

• Device must be a valid Device handle

• QueryPool must be a valid QueryPool handle
• pData must be a valid pointer to an array of dataSize bytes
• Flags must be a valid combination of QueryResultFlagBits values
• dataSize must be greater than 0
• QueryPool must have been created, allocated, or retrieved from Device

Return Codes

Success

• SUCCESS
• NOT_READY

Failure

• ERROR_OUT_OF_HOST_MEMORY
• ERROR_OUT_OF_DEVICE_MEMORY
• ERROR_DEVICE_LOST

See Also

Device, DeviceSize, QueryPool, QueryResultFlags

data QueryPoolCreateInfo (es :: [Type])

VkQueryPoolCreateInfo - Structure specifying parameters of a newly created query pool

Description

pipelineStatistics is ignored if QueryType is not QUERY_TYPE_PIPELINE_STATISTICS.

Valid Usage

• If the pipeline statistics queries feature is not enabled, QueryType must not be QUERY_TYPE_PIPELINE_STATISTICS

• If QueryType is QUERY_TYPE_PIPELINE_STATISTICS, pipelineStatistics must be a valid combination of QueryPipelineStatisticFlagBits values
• If QueryType is QUERY_TYPE_PERFORMANCE_QUERY_KHR, the pNext chain must include a structure of type QueryPoolPerformanceCreateInfoKHR
• queryCount must be greater than 0

Valid Usage (Implicit)

• sType must be STRUCTURE_TYPE_QUERY_POOL_CREATE_INFO

• Each pNext member of any structure (including this one) in the pNext chain must be either NULL or a pointer to a valid instance of QueryPoolCreateInfoINTEL or QueryPoolPerformanceCreateInfoKHR
• The sType value of each struct in the pNext chain must be unique
• Flags must be 0
• QueryType must be a valid QueryType value

See Also

QueryPipelineStatisticFlags, QueryPoolCreateFlags, QueryType, StructureType, createQueryPool

Constructors

QueryPoolCreateInfo

Fields

• next :: Chain es

  pNext is NULL or a pointer to an extension-specific structure.

• flags :: QueryPoolCreateFlags

  Flags is reserved for future use.

• queryType :: QueryType

  QueryType is a QueryType value specifying the type of queries managed by the pool.

• queryCount :: Word32

  queryCount is the number of queries managed by the pool.

• pipelineStatistics :: QueryPipelineStatisticFlags

  pipelineStatistics is a bitmask of QueryPipelineStatisticFlagBits specifying which counters will be returned in queries on the new pool, as described below in https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#queries-pipestats.

Instances

Extensible QueryPoolCreateInfo

Defined in Graphics.Vulkan.Core10.Query

Methods

extensibleType :: StructureType

getNext :: QueryPoolCreateInfo es -> Chain es

setNext :: QueryPoolCreateInfo ds -> Chain es -> QueryPoolCreateInfo es

extends :: Typeable e => proxy e -> (Extends QueryPoolCreateInfo e -> b) -> Maybe b

Show (Chain es) => Show (QueryPoolCreateInfo es)

Defined in Graphics.Vulkan.Core10.Query

Methods

showsPrec :: Int -> QueryPoolCreateInfo es -> ShowS

show :: QueryPoolCreateInfo es -> String

showList :: [QueryPoolCreateInfo es] -> ShowS

PeekChain es => FromCStruct (QueryPoolCreateInfo es)

Defined in Graphics.Vulkan.Core10.Query

Methods

peekCStruct :: Ptr (QueryPoolCreateInfo es) -> IO (QueryPoolCreateInfo es)

PokeChain es => ToCStruct (QueryPoolCreateInfo es)

Defined in Graphics.Vulkan.Core10.Query

Methods

withCStruct :: QueryPoolCreateInfo es -> (Ptr (QueryPoolCreateInfo es) -> IO b) -> IO b

pokeCStruct :: Ptr (QueryPoolCreateInfo es) -> QueryPoolCreateInfo es -> IO b -> IO b

withZeroCStruct :: (Ptr (QueryPoolCreateInfo es) -> IO b) -> IO b

pokeZeroCStruct :: Ptr (QueryPoolCreateInfo es) -> IO b -> IO b

cStructSize :: Int

cStructAlignment :: Int

es ~ ([] :: [Type]) => Zero (QueryPoolCreateInfo es)

Defined in Graphics.Vulkan.Core10.Query

Methods

zero :: QueryPoolCreateInfo es