Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- createQueryPool :: forall a io. (Extendss QueryPoolCreateInfo a, PokeChain a, MonadIO io) => Device -> QueryPoolCreateInfo a -> ("allocator" ::: Maybe AllocationCallbacks) -> io QueryPool
- withQueryPool :: forall a io r. (Extendss QueryPoolCreateInfo a, PokeChain a, MonadIO io) => Device -> QueryPoolCreateInfo a -> Maybe AllocationCallbacks -> (io QueryPool -> (QueryPool -> io ()) -> r) -> r
- destroyQueryPool :: forall io. MonadIO io => Device -> QueryPool -> ("allocator" ::: Maybe AllocationCallbacks) -> io ()
- getQueryPoolResults :: forall io. MonadIO io => Device -> QueryPool -> ("firstQuery" ::: Word32) -> ("queryCount" ::: Word32) -> ("dataSize" ::: Word64) -> ("data" ::: Ptr ()) -> ("stride" ::: DeviceSize) -> QueryResultFlags -> io Result
- data QueryPoolCreateInfo (es :: [Type]) = QueryPoolCreateInfo {}
- newtype QueryPool = QueryPool Word64
- newtype QueryPoolCreateFlags = QueryPoolCreateFlags Flags
- newtype QueryType where
- QueryType Int32
- pattern QUERY_TYPE_OCCLUSION :: QueryType
- pattern QUERY_TYPE_PIPELINE_STATISTICS :: QueryType
- pattern QUERY_TYPE_TIMESTAMP :: QueryType
- pattern QUERY_TYPE_PERFORMANCE_QUERY_INTEL :: QueryType
- pattern QUERY_TYPE_ACCELERATION_STRUCTURE_SERIALIZATION_SIZE_KHR :: QueryType
- pattern QUERY_TYPE_ACCELERATION_STRUCTURE_COMPACTED_SIZE_KHR :: QueryType
- pattern QUERY_TYPE_PERFORMANCE_QUERY_KHR :: QueryType
- pattern QUERY_TYPE_TRANSFORM_FEEDBACK_STREAM_EXT :: QueryType
- newtype QueryResultFlagBits where
- type QueryResultFlags = QueryResultFlagBits
- newtype QueryPipelineStatisticFlagBits where
- QueryPipelineStatisticFlagBits Flags
- pattern QUERY_PIPELINE_STATISTIC_INPUT_ASSEMBLY_VERTICES_BIT :: QueryPipelineStatisticFlagBits
- pattern QUERY_PIPELINE_STATISTIC_INPUT_ASSEMBLY_PRIMITIVES_BIT :: QueryPipelineStatisticFlagBits
- pattern QUERY_PIPELINE_STATISTIC_VERTEX_SHADER_INVOCATIONS_BIT :: QueryPipelineStatisticFlagBits
- pattern QUERY_PIPELINE_STATISTIC_GEOMETRY_SHADER_INVOCATIONS_BIT :: QueryPipelineStatisticFlagBits
- pattern QUERY_PIPELINE_STATISTIC_GEOMETRY_SHADER_PRIMITIVES_BIT :: QueryPipelineStatisticFlagBits
- pattern QUERY_PIPELINE_STATISTIC_CLIPPING_INVOCATIONS_BIT :: QueryPipelineStatisticFlagBits
- pattern QUERY_PIPELINE_STATISTIC_CLIPPING_PRIMITIVES_BIT :: QueryPipelineStatisticFlagBits
- pattern QUERY_PIPELINE_STATISTIC_FRAGMENT_SHADER_INVOCATIONS_BIT :: QueryPipelineStatisticFlagBits
- pattern QUERY_PIPELINE_STATISTIC_TESSELLATION_CONTROL_SHADER_PATCHES_BIT :: QueryPipelineStatisticFlagBits
- pattern QUERY_PIPELINE_STATISTIC_TESSELLATION_EVALUATION_SHADER_INVOCATIONS_BIT :: QueryPipelineStatisticFlagBits
- pattern QUERY_PIPELINE_STATISTIC_COMPUTE_SHADER_INVOCATIONS_BIT :: QueryPipelineStatisticFlagBits
- type QueryPipelineStatisticFlags = QueryPipelineStatisticFlagBits
Documentation
:: forall a io. (Extendss QueryPoolCreateInfo a, PokeChain a, MonadIO io) | |
=> Device |
|
-> QueryPoolCreateInfo a |
|
-> ("allocator" ::: Maybe AllocationCallbacks) |
|
-> io QueryPool |
vkCreateQueryPool - Create a new query pool object
Valid Usage (Implicit)
device
must be a validDevice
handle
pCreateInfo
must be a valid pointer to a validQueryPoolCreateInfo
structure- If
pAllocator
is notNULL
,pAllocator
must be a valid pointer to a validAllocationCallbacks
structure pQueryPool
must be a valid pointer to aQueryPool
handle
Return Codes
See Also
withQueryPool :: forall a io r. (Extendss QueryPoolCreateInfo a, PokeChain a, MonadIO io) => Device -> QueryPoolCreateInfo a -> Maybe AllocationCallbacks -> (io QueryPool -> (QueryPool -> io ()) -> r) -> r Source #
A convenience wrapper to make a compatible pair of calls to
createQueryPool
and destroyQueryPool
To ensure that destroyQueryPool
is always called: pass
bracket
(or the allocate function from your
favourite resource management library) as the first argument.
To just extract the pair pass (,)
as the first argument.
:: forall io. MonadIO io | |
=> Device |
|
-> QueryPool |
|
-> ("allocator" ::: Maybe AllocationCallbacks) |
|
-> io () |
vkDestroyQueryPool - Destroy a query pool object
Valid Usage
- All submitted commands that refer to
queryPool
must have completed execution
- If
AllocationCallbacks
were provided whenqueryPool
was created, a compatible set of callbacks must be provided here - If no
AllocationCallbacks
were provided whenqueryPool
was created,pAllocator
must beNULL
Valid Usage (Implicit)
device
must be a validDevice
handle
- If
queryPool
is notNULL_HANDLE
,queryPool
must be a validQueryPool
handle - If
pAllocator
is notNULL
,pAllocator
must be a valid pointer to a validAllocationCallbacks
structure - If
queryPool
is a valid handle, it must have been created, allocated, or retrieved fromdevice
Host Synchronization
- Host access to
queryPool
must be externally synchronized
See Also
:: forall io. MonadIO io | |
=> 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
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 inqueryPool
- If
QUERY_RESULT_64_BIT
is not set inflags
, thenpData
andstride
must be multiples of4
- If
QUERY_RESULT_64_BIT
is not set inflags
and thequeryType
used to createqueryPool
was notQUERY_TYPE_PERFORMANCE_QUERY_KHR
, thenpData
andstride
must be multiples of4
- If
QUERY_RESULT_64_BIT
is set inflags
thenpData
andstride
must be multiples of8
- If the
queryType
used to createqueryPool
wasQUERY_TYPE_PERFORMANCE_QUERY_KHR
, thenpData
andstride
must be multiples of the size ofPerformanceCounterResultKHR
- If the
queryType
used to createqueryPool
wasQUERY_TYPE_PERFORMANCE_QUERY_KHR
, thenstride
must be large enough to containQueryPoolPerformanceCreateInfoKHR
::counterIndexCount
used to createqueryPool
times the size ofPerformanceCounterResultKHR
. - The sum of
firstQuery
andqueryCount
must be less than or equal to the number of queries inqueryPool
dataSize
must be large enough to contain the result of each query, as described here- If the
queryType
used to createqueryPool
wasQUERY_TYPE_TIMESTAMP
,flags
must not containQUERY_RESULT_PARTIAL_BIT
- If the
queryType
used to createqueryPool
wasQUERY_TYPE_PERFORMANCE_QUERY_KHR
,flags
must not containQUERY_RESULT_WITH_AVAILABILITY_BIT
,QUERY_RESULT_PARTIAL_BIT
orQUERY_RESULT_64_BIT
- If the
queryType
used to createqueryPool
wasQUERY_TYPE_PERFORMANCE_QUERY_KHR
, thequeryPool
must have been recorded once for each pass as retrieved via a call togetPhysicalDeviceQueueFamilyPerformanceQueryPassesKHR
Valid Usage (Implicit)
device
must be a validDevice
handle
queryPool
must be a validQueryPool
handlepData
must be a valid pointer to an array ofdataSize
bytesflags
must be a valid combination ofQueryResultFlagBits
valuesdataSize
must be greater than0
queryPool
must have been created, allocated, or retrieved fromdevice
Return Codes
See Also
data QueryPoolCreateInfo (es :: [Type]) Source #
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 beQUERY_TYPE_PIPELINE_STATISTICS
- If
queryType
isQUERY_TYPE_PIPELINE_STATISTICS
,pipelineStatistics
must be a valid combination ofQueryPipelineStatisticFlagBits
values - If
queryType
isQUERY_TYPE_PERFORMANCE_QUERY_KHR
, thepNext
chain must include a structure of typeQueryPoolPerformanceCreateInfoKHR
queryCount
must be greater than 0
Valid Usage (Implicit)
sType
must beSTRUCTURE_TYPE_QUERY_POOL_CREATE_INFO
- Each
pNext
member of any structure (including this one) in thepNext
chain must be eitherNULL
or a pointer to a valid instance ofQueryPoolPerformanceCreateInfoKHR
orQueryPoolPerformanceQueryCreateInfoINTEL
- The
sType
value of each struct in thepNext
chain must be unique flags
must be0
queryType
must be a validQueryType
value
See Also
QueryPipelineStatisticFlags
,
QueryPoolCreateFlags
,
QueryType
,
StructureType
, createQueryPool
QueryPoolCreateInfo | |
|
Instances
VkQueryPool - Opaque handle to a query pool object
See Also
cmdBeginQuery
,
cmdBeginQueryIndexedEXT
,
cmdCopyQueryPoolResults
,
cmdEndQuery
,
cmdEndQueryIndexedEXT
,
cmdResetQueryPool
,
cmdWriteAccelerationStructuresPropertiesKHR
,
cmdWriteAccelerationStructuresPropertiesNV
,
cmdWriteTimestamp
,
createQueryPool
,
destroyQueryPool
,
getQueryPoolResults
,
resetQueryPool
,
resetQueryPoolEXT
Instances
Eq QueryPool Source # | |
Ord QueryPool Source # | |
Defined in Vulkan.Core10.Handles | |
Show QueryPool Source # | |
Storable QueryPool Source # | |
Defined in Vulkan.Core10.Handles | |
Zero QueryPool Source # | |
Defined in Vulkan.Core10.Handles | |
HasObjectType QueryPool Source # | |
Defined in Vulkan.Core10.Handles objectTypeAndHandle :: QueryPool -> (ObjectType, Word64) Source # | |
IsHandle QueryPool Source # | |
Defined in Vulkan.Core10.Handles |
newtype QueryPoolCreateFlags Source #
VkQueryPoolCreateFlags - Reserved for future use
Description
QueryPoolCreateFlags
is a bitmask type for setting a mask, but is
currently reserved for future use.
See Also
Instances
VkQueryType - Specify the type of queries managed by a query pool
See Also
QueryPoolCreateInfo
,
cmdWriteAccelerationStructuresPropertiesKHR
,
cmdWriteAccelerationStructuresPropertiesNV
,
writeAccelerationStructuresPropertiesKHR
Instances
Eq QueryType Source # | |
Ord QueryType Source # | |
Defined in Vulkan.Core10.Enums.QueryType | |
Read QueryType Source # | |
Show QueryType Source # | |
Storable QueryType Source # | |
Defined in Vulkan.Core10.Enums.QueryType | |
Zero QueryType Source # | |
Defined in Vulkan.Core10.Enums.QueryType |
newtype QueryResultFlagBits Source #
VkQueryResultFlagBits - Bitmask specifying how and when query results are returned
See Also
pattern QUERY_RESULT_64_BIT :: QueryResultFlagBits |
|
pattern QUERY_RESULT_WAIT_BIT :: QueryResultFlagBits |
|
pattern QUERY_RESULT_WITH_AVAILABILITY_BIT :: QueryResultFlagBits |
|
pattern QUERY_RESULT_PARTIAL_BIT :: QueryResultFlagBits |
|
Instances
newtype QueryPipelineStatisticFlagBits Source #
VkQueryPipelineStatisticFlagBits - Bitmask specifying queried pipeline statistics
Description
These values are intended to measure relative statistics on one implementation. Various device architectures will count these values differently. Any or all counters may be affected by the issues described in Query Operation.
Note
For example, tile-based rendering devices may need to replay the scene multiple times, affecting some of the counts.
If a pipeline has rasterizerDiscardEnable
enabled, implementations
may discard primitives after the final vertex processing stage. As a
result, if rasterizerDiscardEnable
is enabled, the clipping input and
output primitives counters may not be incremented.
When a pipeline statistics query finishes, the result for that query is
marked as available. The application can copy the result to a buffer
(via cmdCopyQueryPoolResults
), or
request it be put into host memory (via
getQueryPoolResults
).
See Also
pattern QUERY_PIPELINE_STATISTIC_INPUT_ASSEMBLY_VERTICES_BIT :: QueryPipelineStatisticFlagBits |
|
pattern QUERY_PIPELINE_STATISTIC_INPUT_ASSEMBLY_PRIMITIVES_BIT :: QueryPipelineStatisticFlagBits |
|
pattern QUERY_PIPELINE_STATISTIC_VERTEX_SHADER_INVOCATIONS_BIT :: QueryPipelineStatisticFlagBits |
|
pattern QUERY_PIPELINE_STATISTIC_GEOMETRY_SHADER_INVOCATIONS_BIT :: QueryPipelineStatisticFlagBits |
|
pattern QUERY_PIPELINE_STATISTIC_GEOMETRY_SHADER_PRIMITIVES_BIT :: QueryPipelineStatisticFlagBits |
|
pattern QUERY_PIPELINE_STATISTIC_CLIPPING_INVOCATIONS_BIT :: QueryPipelineStatisticFlagBits |
|
pattern QUERY_PIPELINE_STATISTIC_CLIPPING_PRIMITIVES_BIT :: QueryPipelineStatisticFlagBits |
|
pattern QUERY_PIPELINE_STATISTIC_FRAGMENT_SHADER_INVOCATIONS_BIT :: QueryPipelineStatisticFlagBits |
|
pattern QUERY_PIPELINE_STATISTIC_TESSELLATION_CONTROL_SHADER_PATCHES_BIT :: QueryPipelineStatisticFlagBits |
|
pattern QUERY_PIPELINE_STATISTIC_TESSELLATION_EVALUATION_SHADER_INVOCATIONS_BIT :: QueryPipelineStatisticFlagBits |
|
pattern QUERY_PIPELINE_STATISTIC_COMPUTE_SHADER_INVOCATIONS_BIT :: QueryPipelineStatisticFlagBits |
|