HORIZON HASKELLDocslts/ghc-10.0.xfc4e5982026-10-11Search names, modules, packages, or :: a typeCtrl K

GHC 10.0.0.20260917 · lts/ghc-10.0.x · fc4e598 · 2026-10-11

ModuleVulkanMemoryAllocator-0.11.1.0Haskell2010

VulkanMemoryAllocator

  • 44 types
  • 80 values

Returns information about existing Allocator object - handle to Vulkan device etc.

It might be useful if you want to keep just the Allocator handle and fetch other required handles to VkPhysicalDevice, VkDevice etc. every time using this function.

valuecalculateStatistics
  1. :: MonadIO io
  2. => Allocator
  3. -> io ("stats" ::: TotalStatistics)
#

Retrieves statistics from current state of the Allocator.

This function is called "calculate" not "get" because it has to traverse all internal data structures, so it may be quite slow. Use it for debugging purposes. For faster but more brief statistics suitable to be called every frame or every allocation, use getHeapBudgets.

Note that when using allocator from multiple threads, returned information may immediately become outdated.

valuegetHeapBudgets
  1. :: MonadIO io
  2. => Allocator
  3. -> "budgets" ::: Ptr Budget
  4. -> io ()
#

Retrieves information about current memory usage and budget for all memory heaps.

Parameters

allocator

out

pBudgets

Must point to array with number of elements at least equal to number of memory heaps in physical device used.

This function is called "get" not "calculate" because it is very fast, suitable to be called every frame or every allocation. For more detailed statistics use calculateStatistics.

Note that when using allocator from multiple threads, returned information may immediately become outdated.

valuefindMemoryTypeIndex
  1. :: MonadIO io
  2. => Allocator
  3. -> "memoryTypeBits" ::: Word32
  4. -> AllocationCreateInfo
  5. -> io ("memoryTypeIndex" ::: Word32)
#

Helps to find memoryTypeIndex, given memoryTypeBits and AllocationCreateInfo.

This algorithm tries to find a memory type that:

  • Is allowed by memoryTypeBits.

  • Contains all the flags from pAllocationCreateInfo->requiredFlags.

  • Matches intended usage.

  • Has as many flags from pAllocationCreateInfo->preferredFlags as possible.

Returns

Returns VK_ERROR_FEATURE_NOT_PRESENT if not found. Receiving such result from this function or any other allocating function probably means that your device doesn't support any memory type with requested features for the specific type of resource you want to use it for. Please check parameters of your resource, like image layout (OPTIMAL versus LINEAR) or mip level count.

valuecheckPoolCorruption :: MonadIO io => Allocator -> Pool -> io ()
#

Checks magic number in margins around all allocations in given memory pool in search for corruptions.

Corruption detection is enabled only when VMA_DEBUG_DETECT_CORRUPTION macro is defined to nonzero, VMA_DEBUG_MARGIN is defined to nonzero and the pool is created in memory type that is HOST_VISIBLE and HOST_COHERENT. For more information, see Corruption detection.

Possible return values:

  • VK_ERROR_FEATURE_NOT_PRESENT - corruption detection is not enabled for specified pool.

  • VK_SUCCESS - corruption detection has been performed and succeeded.

  • VK_ERROR_UNKNOWN - corruption detection has been performed and found memory corruptions around one of the allocations. VMA_ASSERT is also fired in that case.

  • Other value: Error returned by Vulkan, e.g. memory mapping failure.

valuegetPoolName :: MonadIO io => Allocator -> Pool -> io ("name" ::: Ptr CChar)
#

Retrieves name of a custom pool.

After the call ppName is either null or points to an internally-owned null-terminated string containing name of the pool that was previously set. The pointer becomes invalid when the pool is destroyed or its name is changed using setPoolName.

valuesetPoolName
  1. :: MonadIO io
  2. => Allocator
  3. -> Pool
  4. -> "name" ::: Maybe ByteString
  5. -> io ()
#

Sets name of a custom pool.

pName can be either null or pointer to a null-terminated string with new name for the pool. Function makes internal copy of the string, so it can be changed or freed immediately after this call.

General purpose memory allocation.

Parameters

allocator

pVkMemoryRequirements

pCreateInfo

out

pAllocation

Handle to allocated memory.

out

pAllocationInfo

Optional. Information about allocated memory. It can be later fetched using function

getAllocationInfo

.

You should free the memory using freeMemory or freeMemoryPages.

It is recommended to use allocateMemoryForBuffer, allocateMemoryForImage, createBuffer, createImage instead whenever possible.

valueallocateMemoryPages
  1. :: MonadIO io
  2. => Allocator
  3. -> "vkMemoryRequirements" ::: Vector MemoryRequirements
  4. -> "createInfo" ::: Vector AllocationCreateInfo
  5. -> io ("allocations" ::: Vector Allocation, "allocationInfo" ::: Vector AllocationInfo)
#

General purpose memory allocation for multiple allocation objects at once.

Parameters

allocator

Allocator object.

pVkMemoryRequirements

Memory requirements for each allocation.

pCreateInfo

Creation parameters for each allocation.

allocationCount

Number of allocations to make.

out

pAllocations

Pointer to array that will be filled with handles to created allocations.

out

pAllocationInfo

Optional. Pointer to array that will be filled with parameters of created allocations.

You should free the memory using freeMemory or freeMemoryPages.

Word "pages" is just a suggestion to use this function to allocate pieces of memory needed for sparse binding. It is just a general purpose allocation function able to make multiple allocations at once. It may be internally optimized to be more efficient than calling allocateMemory allocationCount times.

All allocations are made using same parameters. All of them are created out of the same memory pool and type. If any allocation fails, all allocations already made within this function call are also freed, so that when returned result is not VK_SUCCESS, pAllocation array is always entirely filled with VK_NULL_HANDLE.

A convenience wrapper to make a compatible pair of calls to allocateMemoryPages and freeMemoryPages

To ensure that freeMemoryPages is always called: pass bracket (or the allocate function from your favourite resource management library) as the last argument. To just extract the pair pass (,) as the last argument.

Allocates memory suitable for given VkBuffer.

Parameters

allocator

buffer

pCreateInfo

out

pAllocation

Handle to allocated memory.

out

pAllocationInfo

Optional. Information about allocated memory. It can be later fetched using function

getAllocationInfo

.

It only creates Allocation. To bind the memory to the buffer, use bindBufferMemory.

This is a special-purpose function. In most cases you should use createBuffer.

You must free the allocation using freeMemory when no longer needed.

Allocates memory suitable for given VkImage.

Parameters

allocator

image

pCreateInfo

out

pAllocation

Handle to allocated memory.

out

pAllocationInfo

Optional. Information about allocated memory. It can be later fetched using function

getAllocationInfo

.

It only creates Allocation. To bind the memory to the buffer, use bindImageMemory.

This is a special-purpose function. In most cases you should use createImage.

You must free the allocation using freeMemory when no longer needed.

valuefreeMemoryPages
  1. :: MonadIO io
  2. => Allocator
  3. -> "allocations" ::: Vector Allocation
  4. -> io ()
#

Frees memory and destroys multiple allocations.

Word "pages" is just a suggestion to use this function to free pieces of memory used for sparse binding. It is just a general purpose function to free memory and destroy allocations made using e.g. allocateMemory, allocateMemoryPages and other functions. It may be internally optimized to be more efficient than calling freeMemory allocationCount times.

Allocations in pAllocations array can come from any memory pools and types. Passing VK_NULL_HANDLE as elements of pAllocations array is valid. Such entries are just skipped.

Returns current information about specified allocation.

Current parameters of given allocation are returned in pAllocationInfo.

Although this function doesn't lock any mutex, so it should be quite efficient, you should avoid calling it too often. You can retrieve same AllocationInfo structure while creating your resource, from function createBuffer, createImage. You can remember it if you are sure parameters don't change (e.g. due to defragmentation).

valuesetAllocationUserData
  1. :: MonadIO io
  2. => Allocator
  3. -> Allocation
  4. -> "userData" ::: Ptr ()
  5. -> io ()
#

Sets pUserData in given allocation to new value.

The value of pointer pUserData is copied to allocation's pUserData. It is opaque, so you can use it however you want - e.g. as a pointer, ordinal number or some handle to you own data.

valuesetAllocationName
  1. :: MonadIO io
  2. => Allocator
  3. -> Allocation
  4. -> "name" ::: Maybe ByteString
  5. -> io ()
#

Sets pName in given allocation to new value.

pName must be either null, or pointer to a null-terminated string. The function makes local copy of the string and sets it as allocation's pName. String passed as pName doesn't need to be valid for whole lifetime of the allocation - you can free it after this call. String previously pointed by allocation's pName is freed from memory.

valuemapMemory :: MonadIO io => Allocator -> Allocation -> io ("data" ::: Ptr ())
#

Maps memory represented by given allocation and returns pointer to it.

Maps memory represented by given allocation to make it accessible to CPU code. When succeeded, *ppData contains pointer to first byte of this memory.

Warning

If the allocation is part of a bigger VkDeviceMemory block, returned pointer is correctly offsetted to the beginning of region assigned to this particular allocation. Unlike the result of vkMapMemory, it points to the allocation, not to the beginning of the whole block. You should not add VmaAllocationInfo::offset to it!

Mapping is internally reference-counted and synchronized, so despite raw Vulkan function vkMapMemory() cannot be used to map same block of VkDeviceMemory multiple times simultaneously, it is safe to call this function on allocations assigned to the same memory block. Actual Vulkan memory will be mapped on first mapping and unmapped on last unmapping.

If the function succeeded, you must call unmapMemory to unmap the allocation when mapping is no longer needed or before freeing the allocation, at the latest.

It also safe to call this function multiple times on the same allocation. You must call unmapMemory same number of times as you called mapMemory.

It is also safe to call this function on allocation created with ALLOCATION_CREATE_MAPPED_BIT flag. Its memory stays mapped all the time. You must still call unmapMemory same number of times as you called mapMemory. You must not call unmapMemory additional time to free the "0-th" mapping made automatically due to ALLOCATION_CREATE_MAPPED_BIT flag.

This function fails when used on allocation made in memory type that is not HOST_VISIBLE.

This function doesn't automatically flush or invalidate caches. If the allocation is made from a memory types that is not HOST_COHERENT, you also need to use invalidateAllocation / flushAllocation, as required by Vulkan specification.

valueflushAllocation
  1. :: MonadIO io
  2. => Allocator
  3. -> Allocation
  4. -> "offset" ::: DeviceSize
  5. -> DeviceSize
  6. -> io ()
#

Flushes memory of given allocation.

Calls vkFlushMappedMemoryRanges() for memory associated with given range of given allocation. It needs to be called after writing to a mapped memory for memory types that are not HOST_COHERENT. Unmap operation doesn't do that automatically.

  • offset must be relative to the beginning of allocation.

  • size can be VK_WHOLE_SIZE. It means all memory from offset the the end of given allocation.

  • offset and size don't have to be aligned. They are internally rounded down/up to multiply of nonCoherentAtomSize.

  • If size is 0, this call is ignored.

  • If memory type that the allocation belongs to is not HOST_VISIBLE or it is HOST_COHERENT, this call is ignored.

Warning! offset and size are relative to the contents of given allocation. If you mean whole allocation, you can pass 0 and VK_WHOLE_SIZE, respectively. Do not pass allocation's offset as offset!!!

This function returns the VkResult from vkFlushMappedMemoryRanges if it is called, otherwise VK_SUCCESS.

valueinvalidateAllocation
  1. :: MonadIO io
  2. => Allocator
  3. -> Allocation
  4. -> "offset" ::: DeviceSize
  5. -> DeviceSize
  6. -> io ()
#

Invalidates memory of given allocation.

Calls vkInvalidateMappedMemoryRanges() for memory associated with given range of given allocation. It needs to be called before reading from a mapped memory for memory types that are not HOST_COHERENT. Map operation doesn't do that automatically.

  • offset must be relative to the beginning of allocation.

  • size can be VK_WHOLE_SIZE. It means all memory from offset the the end of given allocation.

  • offset and size don't have to be aligned. They are internally rounded down/up to multiply of nonCoherentAtomSize.

  • If size is 0, this call is ignored.

  • If memory type that the allocation belongs to is not HOST_VISIBLE or it is HOST_COHERENT, this call is ignored.

Warning! offset and size are relative to the contents of given allocation. If you mean whole allocation, you can pass 0 and VK_WHOLE_SIZE, respectively. Do not pass allocation's offset as offset!!!

This function returns the VkResult from vkInvalidateMappedMemoryRanges if it is called, otherwise VK_SUCCESS.

valueflushAllocations
  1. :: MonadIO io
  2. => Allocator
  3. -> "allocations" ::: Vector Allocation
  4. -> "offsets" ::: Vector DeviceSize
  5. -> "sizes" ::: Vector DeviceSize
  6. -> io ()
#

Flushes memory of given set of allocations.

Calls vkFlushMappedMemoryRanges() for memory associated with given ranges of given allocations. For more information, see documentation of flushAllocation.

Parameters

allocator

allocationCount

allocations

offsets

If not null, it must point to an array of offsets of regions to flush, relative to the beginning of respective allocations. Null means all ofsets are zero.

sizes

If not null, it must point to an array of sizes of regions to flush in respective allocations. Null means

VK_WHOLE_SIZE

for all allocations.

This function returns the VkResult from vkFlushMappedMemoryRanges if it is called, otherwise VK_SUCCESS.

valueinvalidateAllocations
  1. :: MonadIO io
  2. => Allocator
  3. -> "allocations" ::: Vector Allocation
  4. -> "offsets" ::: Vector DeviceSize
  5. -> "sizes" ::: Vector DeviceSize
  6. -> io ()
#

Invalidates memory of given set of allocations.

Calls vkInvalidateMappedMemoryRanges() for memory associated with given ranges of given allocations. For more information, see documentation of invalidateAllocation.

Parameters

allocator

allocationCount

allocations

offsets

If not null, it must point to an array of offsets of regions to flush, relative to the beginning of respective allocations. Null means all ofsets are zero.

sizes

If not null, it must point to an array of sizes of regions to flush in respective allocations. Null means

VK_WHOLE_SIZE

for all allocations.

This function returns the VkResult from vkInvalidateMappedMemoryRanges if it is called, otherwise VK_SUCCESS.

valuecheckCorruption
  1. :: MonadIO io
  2. => Allocator
  3. -> "memoryTypeBits" ::: Word32
  4. -> io ()
#

Checks magic number in margins around all allocations in given memory types (in both default and custom pools) in search for corruptions.

Parameters

allocator

memoryTypeBits

Bit mask, where each bit set means that a memory type with that index should be checked.

Corruption detection is enabled only when VMA_DEBUG_DETECT_CORRUPTION macro is defined to nonzero, VMA_DEBUG_MARGIN is defined to nonzero and only for memory types that are HOST_VISIBLE and HOST_COHERENT. For more information, see Corruption detection.

Possible return values:

  • VK_ERROR_FEATURE_NOT_PRESENT - corruption detection is not enabled for any of specified memory types.

  • VK_SUCCESS - corruption detection has been performed and succeeded.

  • VK_ERROR_UNKNOWN - corruption detection has been performed and found memory corruptions around one of the allocations. VMA_ASSERT is also fired in that case.

  • Other value: Error returned by Vulkan, e.g. memory mapping failure.

Begins defragmentation process.

Parameters

allocator

Allocator object.

pInfo

Structure filled with parameters of defragmentation.

out

pContext

Context object that must be passed to

endDefragmentation

to finish defragmentation.

Returns

  • VK_SUCCESS if defragmentation can begin.

  • VK_ERROR_FEATURE_NOT_PRESENT if defragmentation is not supported.

For more information about defragmentation, see documentation chapter: Defragmentation.

Starts single defragmentation pass.

Parameters

allocator

Allocator object.

context

Context object that has been created by

beginDefragmentation

.

out

pPassInfo

Computed information for current pass.

Returns

Ends single defragmentation pass.

Parameters

allocator

Allocator object.

context

Context object that has been created by

beginDefragmentation

.

pPassInfo

Computed information for current pass filled by

beginDefragmentationPass

and possibly modified by you.

Returns VK_SUCCESS if no more moves are possible or VK_INCOMPLETE if more defragmentations are possible.

Ends incremental defragmentation pass and commits all defragmentation moves from pPassInfo. After this call:

If no more moves are possible you can end whole defragmentation.

valuebindBufferMemory :: MonadIO io => Allocator -> Allocation -> Buffer -> io ()
#

Binds buffer to allocation.

Binds specified buffer to region of memory represented by specified allocation. Gets VkDeviceMemory handle and offset from the allocation. If you want to create a buffer, allocate memory for it and bind them together separately, you should use this function for binding instead of standard vkBindBufferMemory(), because it ensures proper synchronization so that when a VkDeviceMemory object is used by multiple allocations, calls to vkBind*Memory() or vkMapMemory() won't happen from multiple threads simultaneously (which is illegal in Vulkan).

It is recommended to use function createBuffer instead of this one.

valuebindBufferMemory2
  1. :: MonadIO io
  2. => Allocator
  3. -> Allocation
  4. -> "allocationLocalOffset" ::: DeviceSize
  5. -> Buffer
  6. -> "next" ::: Ptr ()
  7. -> io ()
#

Binds buffer to allocation with additional parameters.

Parameters

allocator

allocation

allocationLocalOffset

Additional offset to be added while binding, relative to the beginning of the

allocation

. Normally it should be 0.

buffer

pNext

A chain of structures to be attached to

VkBindBufferMemoryInfoKHR

structure used internally. Normally it should be null.

This function is similar to bindBufferMemory, but it provides additional parameters.

If pNext is not null, Allocator object must have been created with ALLOCATOR_CREATE_KHR_BIND_MEMORY2_BIT flag or with VmaAllocatorCreateInfo::vulkanApiVersion >= VK_API_VERSION_1_1. Otherwise the call fails.

valuebindImageMemory :: MonadIO io => Allocator -> Allocation -> Image -> io ()
#

Binds image to allocation.

Binds specified image to region of memory represented by specified allocation. Gets VkDeviceMemory handle and offset from the allocation. If you want to create an image, allocate memory for it and bind them together separately, you should use this function for binding instead of standard vkBindImageMemory(), because it ensures proper synchronization so that when a VkDeviceMemory object is used by multiple allocations, calls to vkBind*Memory() or vkMapMemory() won't happen from multiple threads simultaneously (which is illegal in Vulkan).

It is recommended to use function createImage instead of this one.

valuebindImageMemory2
  1. :: MonadIO io
  2. => Allocator
  3. -> Allocation
  4. -> "allocationLocalOffset" ::: DeviceSize
  5. -> Image
  6. -> "next" ::: Ptr ()
  7. -> io ()
#

Binds image to allocation with additional parameters.

Parameters

allocator

allocation

allocationLocalOffset

Additional offset to be added while binding, relative to the beginning of the

allocation

. Normally it should be 0.

image

pNext

A chain of structures to be attached to

VkBindImageMemoryInfoKHR

structure used internally. Normally it should be null.

This function is similar to bindImageMemory, but it provides additional parameters.

If pNext is not null, Allocator object must have been created with ALLOCATOR_CREATE_KHR_BIND_MEMORY2_BIT flag or with VmaAllocatorCreateInfo::vulkanApiVersion >= VK_API_VERSION_1_1. Otherwise the call fails.

Creates a new VkBuffer, allocates and binds memory for it.

Parameters

allocator

pBufferCreateInfo

pAllocationCreateInfo

out

pBuffer

Buffer that was created.

out

pAllocation

Allocation that was created.

out

pAllocationInfo

Optional. Information about allocated memory. It can be later fetched using function

getAllocationInfo

.

This function automatically:

  1. Creates buffer.

  2. Allocates appropriate memory for it.

  3. Binds the buffer with the memory.

If any of these operations fail, buffer and allocation are not created, returned value is negative error code, *pBuffer and *pAllocation are null.

If the function succeeded, you must destroy both buffer and allocation when you no longer need them using either convenience function destroyBuffer or separately, using vkDestroyBuffer() and freeMemory.

If ALLOCATOR_CREATE_KHR_DEDICATED_ALLOCATION_BIT flag was used, VK_KHR_dedicated_allocation extension is used internally to query driver whether it requires or prefers the new buffer to have dedicated allocation. If yes, and if dedicated allocation is possible (ALLOCATION_CREATE_NEVER_ALLOCATE_BIT is not used), it creates dedicated allocation for this buffer, just like when using ALLOCATION_CREATE_DEDICATED_MEMORY_BIT.

Note

This function creates a new VkBuffer. Sub-allocation of parts of one large buffer, although recommended as a good practice, is out of scope of this library and could be implemented by the user as a higher-level logic on top of VMA.

A convenience wrapper to make a compatible pair of calls to createBuffer and destroyBuffer

To ensure that destroyBuffer is always called: pass bracket (or the allocate function from your favourite resource management library) as the last argument. To just extract the pair pass (,) as the last argument.

Creates a buffer with additional minimum alignment.

Similar to createBuffer but provides additional parameter minAlignment which allows to specify custom, minimum alignment to be used when placing the buffer inside a larger memory block, which may be needed e.g. for interop with OpenGL.

Creates a new VkBuffer, binds already created memory for it.

Parameters

allocator

allocation

Allocation that provides memory to be used for binding new buffer to it.

pBufferCreateInfo

out

pBuffer

Buffer that was created.

This function automatically:

  1. Creates buffer.

  2. Binds the buffer with the supplied memory.

If any of these operations fail, buffer is not created, returned value is negative error code and *pBuffer is null.

If the function succeeded, you must destroy the buffer when you no longer need it using vkDestroyBuffer(). If you want to also destroy the corresponding allocation you can use convenience function destroyBuffer.

Note

There is a new version of this function augmented with parameter allocationLocalOffset - see createAliasingBuffer2.

Creates a new VkBuffer, binds already created memory for it.

Parameters

allocator

allocation

Allocation that provides memory to be used for binding new buffer to it.

allocationLocalOffset

Additional offset to be added while binding, relative to the beginning of the allocation. Normally it should be 0.

pBufferCreateInfo

out

pBuffer

Buffer that was created.

This function automatically:

  1. Creates buffer.

  2. Binds the buffer with the supplied memory.

If any of these operations fail, buffer is not created, returned value is negative error code and *pBuffer is null.

If the function succeeded, you must destroy the buffer when you no longer need it using vkDestroyBuffer(). If you want to also destroy the corresponding allocation you can use convenience function destroyBuffer.

Note

This is a new version of the function augmented with parameter allocationLocalOffset.

valuedestroyBuffer :: MonadIO io => Allocator -> Buffer -> Allocation -> io ()
#

Destroys Vulkan buffer and frees allocated memory.

This is just a convenience function equivalent to:

vkDestroyBuffer(device, buffer, allocationCallbacks);
vmaFreeMemory(allocator, allocation);

It is safe to pass null as buffer and/or allocation.

A convenience wrapper to make a compatible pair of calls to createImage and destroyImage

To ensure that destroyImage is always called: pass bracket (or the allocate function from your favourite resource management library) as the last argument. To just extract the pair pass (,) as the last argument.

valuedestroyImage :: MonadIO io => Allocator -> Image -> Allocation -> io ()
#

Destroys Vulkan image and frees allocated memory.

This is just a convenience function equivalent to:

vkDestroyImage(device, image, allocationCallbacks);
vmaFreeMemory(allocator, allocation);

It is safe to pass null as image and/or allocation.

valuedestroyVirtualBlock :: MonadIO io => VirtualBlock -> io ()
#

Destroys VirtualBlock object.

Please note that you should consciously handle virtual allocations that could remain unfreed in the block. You should either free them individually using virtualFree or call clearVirtualBlock if you are sure this is what you want. If you do neither, an assert is called.

If you keep pointers to some additional metadata associated with your virtual allocations in their pUserData, don't forget to free them.

Allocates new virtual allocation inside given VirtualBlock.

If the allocation fails due to not enough free space available, VK_ERROR_OUT_OF_DEVICE_MEMORY is returned (despite the function doesn't ever allocate actual GPU memory). pAllocation is then set to VK_NULL_HANDLE and pOffset, if not null, it set to UINT64_MAX.

Parameters

virtualBlock

Virtual block

pCreateInfo

Parameters for the allocation

out

pAllocation

Returned handle of the new allocation

out

pOffset

Returned offset of the new allocation. Optional, can be null.

valueclearVirtualBlock :: MonadIO io => VirtualBlock -> io ()
#

Frees all virtual allocations inside given VirtualBlock.

You must either call this function or free each virtual allocation individually with virtualFree before destroying a virtual block. Otherwise, an assert is called.

If you keep pointer to some additional metadata associated with your virtual allocation in its pUserData, don't forget to free it as well.

valuebuildVirtualBlockStatsString
  1. :: MonadIO io
  2. => VirtualBlock
  3. -> "detailedMap" ::: Bool
  4. -> io ("statsString" ::: Ptr CChar)
#

Builds and returns a null-terminated string in JSON format with information about given VirtualBlock.

Parameters

virtualBlock

Virtual block.

out

ppStatsString

Returned string.

detailedMap

Pass

VK_FALSE

to only obtain statistics as returned by

calculateVirtualBlockStatistics

. Pass

VK_TRUE

to also obtain full list of allocations and free spaces.

Returned string must be freed using freeVirtualBlockStatsString.

newtypenewtype AllocatorCreateFlagBits
#

Flags for created Allocator.

Instances8Eq, Ord, Read, Show, Bits, FiniteBits, …

Allocator and all objects created from it will not be synchronized internally, so you must guarantee they are used from only one thread at a time or synchronized externally by you.

Using this flag may increase performance because internal mutexes are not used.

Enables usage of VK_KHR_dedicated_allocation extension.

The flag works only if VmaAllocatorCreateInfo::vulkanApiVersion == VK_API_VERSION_1_0. When it is VK_API_VERSION_1_1, the flag is ignored because the extension has been promoted to Vulkan 1.1.

Using this extension will automatically allocate dedicated blocks of memory for some buffers and images instead of suballocating place for them out of bigger memory blocks (as if you explicitly used ALLOCATION_CREATE_DEDICATED_MEMORY_BIT flag) when it is recommended by the driver. It may improve performance on some GPUs.

You may set this flag only if you found out that following device extensions are supported, you enabled them while creating Vulkan device passed as VmaAllocatorCreateInfo::device, and you want them to be used internally by this library:

  • VK_KHR_get_memory_requirements2 (device extension)

  • VK_KHR_dedicated_allocation (device extension)

When this flag is set, you can experience following warnings reported by Vulkan validation layer. You can ignore them.

‍vkBindBufferMemory(): Binding memory to buffer 0x2d but vkGetBufferMemoryRequirements() has not been called on that buffer.

Enables usage of VK_KHR_bind_memory2 extension.

The flag works only if VmaAllocatorCreateInfo::vulkanApiVersion == VK_API_VERSION_1_0. When it is VK_API_VERSION_1_1, the flag is ignored because the extension has been promoted to Vulkan 1.1.

You may set this flag only if you found out that this device extension is supported, you enabled it while creating Vulkan device passed as VmaAllocatorCreateInfo::device, and you want it to be used internally by this library.

The extension provides functions vkBindBufferMemory2KHR and vkBindImageMemory2KHR, which allow to pass a chain of pNext structures while binding. This flag is required if you use pNext parameter in bindBufferMemory2 or bindImageMemory2.

Enables usage of VK_EXT_memory_budget extension.

You may set this flag only if you found out that this device extension is supported, you enabled it while creating Vulkan device passed as VmaAllocatorCreateInfo::device, and you want it to be used internally by this library, along with another instance extension VK_KHR_get_physical_device_properties2, which is required by it (or Vulkan 1.1, where this extension is promoted).

The extension provides query for current memory usage and budget, which will probably be more accurate than an estimation used by the library otherwise.

Enables usage of VK_AMD_device_coherent_memory extension.

You may set this flag only if you:

  • found out that this device extension is supported and enabled it while creating Vulkan device passed as VmaAllocatorCreateInfo::device,

  • checked that VkPhysicalDeviceCoherentMemoryFeaturesAMD::deviceCoherentMemory is true and set it while creating the Vulkan device,

  • want it to be used internally by this library.

The extension and accompanying device feature provide access to memory types with VK_MEMORY_PROPERTY_DEVICE_COHERENT_BIT_AMD and VK_MEMORY_PROPERTY_DEVICE_UNCACHED_BIT_AMD flags. They are useful mostly for writing breadcrumb markers - a common method for debugging GPU crash/hang/TDR.

When the extension is not enabled, such memory types are still enumerated, but their usage is illegal. To protect from this error, if you don't create the allocator with this flag, it will refuse to allocate any memory or create a custom pool in such memory type, returning VK_ERROR_FEATURE_NOT_PRESENT.

Enables usage of "buffer device address" feature, which allows you to use function vkGetBufferDeviceAddress* to get raw GPU pointer to a buffer and pass it for usage inside a shader.

You may set this flag only if you:

  1. (For Vulkan version < 1.2) Found as available and enabled device extension VK_KHR_buffer_device_address. This extension is promoted to core Vulkan 1.2.

  2. Found as available and enabled device feature VkPhysicalDeviceBufferDeviceAddressFeatures::bufferDeviceAddress.

When this flag is set, you can create buffers with VK_BUFFER_USAGE_SHADER_DEVICE_ADDRESS_BIT using VMA. The library automatically adds VK_MEMORY_ALLOCATE_DEVICE_ADDRESS_BIT to allocated memory blocks wherever it might be needed.

For more information, see documentation chapter /Enabling buffer device address/.

Enables usage of VK_EXT_memory_priority extension in the library.

You may set this flag only if you found available and enabled this device extension, along with VkPhysicalDeviceMemoryPriorityFeaturesEXT::memoryPriority == VK_TRUE, while creating Vulkan device passed as VmaAllocatorCreateInfo::device.

When this flag is used, VmaAllocationCreateInfo::priority and VmaPoolCreateInfo::priority are used to set priorities of allocated Vulkan memory. Without it, these variables are ignored.

A priority must be a floating-point value between 0 and 1, indicating the priority of the allocation relative to other memory allocations. Larger values are higher priority. The granularity of the priorities is implementation-dependent. It is automatically passed to every call to vkAllocateMemory done by the library using structure VkMemoryPriorityAllocateInfoEXT. The value to be used for default priority is 0.5. For more details, see the documentation of the VK_EXT_memory_priority extension.

newtypenewtype MemoryUsage
#

Intended usage of the allocated memory.

Constructors

Instances6Eq, Ord, Read, Show, Storable, Zero
  • Eq MemoryUsageDefined in VulkanMemoryAllocator-0.11.1.0 · VulkanMemoryAllocator
  • Ord MemoryUsageDefined in VulkanMemoryAllocator-0.11.1.0 · VulkanMemoryAllocator
  • Read MemoryUsageDefined in VulkanMemoryAllocator-0.11.1.0 · VulkanMemoryAllocator
  • Show MemoryUsageDefined in VulkanMemoryAllocator-0.11.1.0 · VulkanMemoryAllocator
  • Storable MemoryUsageDefined in VulkanMemoryAllocator-0.11.1.0 · VulkanMemoryAllocator
  • Zero MemoryUsageDefined in VulkanMemoryAllocator-0.11.1.0 · VulkanMemoryAllocator
patternpattern MEMORY_USAGE_CPU_ONLY :: MemoryUsage
#

Deprecated

Obsolete, preserved for backward compatibility. Guarantees VK_MEMORY_PROPERTY_HOST_VISIBLE_BIT and VK_MEMORY_PROPERTY_HOST_COHERENT_BIT.

patternpattern MEMORY_USAGE_CPU_TO_GPU :: MemoryUsage
#

Deprecated

Obsolete, preserved for backward compatibility. Guarantees VK_MEMORY_PROPERTY_HOST_VISIBLE_BIT, prefers VK_MEMORY_PROPERTY_DEVICE_LOCAL_BIT.

patternpattern MEMORY_USAGE_GPU_TO_CPU :: MemoryUsage
#

Deprecated

Obsolete, preserved for backward compatibility. Guarantees VK_MEMORY_PROPERTY_HOST_VISIBLE_BIT, prefers VK_MEMORY_PROPERTY_HOST_CACHED_BIT.

Lazily allocated GPU memory having VK_MEMORY_PROPERTY_LAZILY_ALLOCATED_BIT. Exists mostly on mobile platforms. Using it on desktop PC or other GPUs with no such memory type present will fail the allocation.

Usage: Memory for transient attachment images (color attachments, depth attachments etc.), created with VK_IMAGE_USAGE_TRANSIENT_ATTACHMENT_BIT.

Allocations with this usage are always created as dedicated - it implies ALLOCATION_CREATE_DEDICATED_MEMORY_BIT.

patternpattern MEMORY_USAGE_AUTO :: MemoryUsage
#

Selects best memory type automatically. This flag is recommended for most common use cases.

When using this flag, if you want to map the allocation (using mapMemory or ALLOCATION_CREATE_MAPPED_BIT), you must pass one of the flags: ALLOCATION_CREATE_HOST_ACCESS_SEQUENTIAL_WRITE_BIT or ALLOCATION_CREATE_HOST_ACCESS_RANDOM_BIT in VmaAllocationCreateInfo::flags.

It can be used only with functions that let the library know VkBufferCreateInfo or VkImageCreateInfo, e.g. createBuffer, createImage, findMemoryTypeIndexForBufferInfo, findMemoryTypeIndexForImageInfo and not with generic memory allocation functions.

Selects best memory type automatically with preference for GPU (device) memory.

When using this flag, if you want to map the allocation (using mapMemory or ALLOCATION_CREATE_MAPPED_BIT), you must pass one of the flags: ALLOCATION_CREATE_HOST_ACCESS_SEQUENTIAL_WRITE_BIT or ALLOCATION_CREATE_HOST_ACCESS_RANDOM_BIT in VmaAllocationCreateInfo::flags.

It can be used only with functions that let the library know VkBufferCreateInfo or VkImageCreateInfo, e.g. createBuffer, createImage, findMemoryTypeIndexForBufferInfo, findMemoryTypeIndexForImageInfo and not with generic memory allocation functions.

Selects best memory type automatically with preference for CPU (host) memory.

When using this flag, if you want to map the allocation (using mapMemory or ALLOCATION_CREATE_MAPPED_BIT), you must pass one of the flags: ALLOCATION_CREATE_HOST_ACCESS_SEQUENTIAL_WRITE_BIT or ALLOCATION_CREATE_HOST_ACCESS_RANDOM_BIT in VmaAllocationCreateInfo::flags.

It can be used only with functions that let the library know VkBufferCreateInfo or VkImageCreateInfo, e.g. createBuffer, createImage, findMemoryTypeIndexForBufferInfo, findMemoryTypeIndexForImageInfo and not with generic memory allocation functions.

newtypenewtype AllocationCreateFlagBits
#

Flags to be passed as VmaAllocationCreateInfo::flags.

Instances8Eq, Ord, Read, Show, Bits, FiniteBits, …

Set this flag to use a memory that will be persistently mapped and retrieve pointer to it.

Pointer to mapped memory will be returned through VmaAllocationInfo::pMappedData.

It is valid to use this flag for allocation made from memory type that is not HOST_VISIBLE. This flag is then ignored and memory is not mapped. This is useful if you need an allocation that is efficient to use on GPU (DEVICE_LOCAL) and still want to map it directly if possible on platforms that support it (e.g. Intel GPU).

Create both buffer/image and allocation, but don't bind them together. It is useful when you want to bind yourself to do some more advanced binding, e.g. using some extensions. The flag is meaningful only with functions that bind by default: createBuffer, createImage. Otherwise it is ignored.

If you want to make sure the new buffer/image is not tied to the new memory allocation through VkMemoryDedicatedAllocateInfoKHR structure in case the allocation ends up in its own memory block, use also flag ALLOCATION_CREATE_CAN_ALIAS_BIT.

Requests possibility to map the allocation (using mapMemory or ALLOCATION_CREATE_MAPPED_BIT).

  • If you use MEMORY_USAGE_AUTO or other VMA_MEMORY_USAGE_AUTO* value, you must use this flag to be able to map the allocation. Otherwise, mapping is incorrect.

  • If you use other value of MemoryUsage, this flag is ignored and mapping is always possible in memory types that are HOST_VISIBLE. This includes allocations created in Custom memory pools.

Declares that mapped memory will only be written sequentially, e.g. using memcpy() or a loop writing number-by-number, never read or accessed randomly, so a memory type can be selected that is uncached and write-combined.

Warning

Violating this declaration may work correctly, but will likely be very slow. Watch out for implicit reads introduced by doing e.g. pMappedData[i] += x; Better prepare your data in a local variable and memcpy() it to the mapped pointer all at once.

Requests possibility to map the allocation (using mapMemory or ALLOCATION_CREATE_MAPPED_BIT).

  • If you use MEMORY_USAGE_AUTO or other VMA_MEMORY_USAGE_AUTO* value, you must use this flag to be able to map the allocation. Otherwise, mapping is incorrect.

  • If you use other value of MemoryUsage, this flag is ignored and mapping is always possible in memory types that are HOST_VISIBLE. This includes allocations created in Custom memory pools.

Declares that mapped memory can be read, written, and accessed in random order, so a HOST_CACHED memory type is required.

Together with ALLOCATION_CREATE_HOST_ACCESS_SEQUENTIAL_WRITE_BIT or ALLOCATION_CREATE_HOST_ACCESS_RANDOM_BIT, it says that despite request for host access, a not-HOST_VISIBLE memory type can be selected if it may improve performance.

By using this flag, you declare that you will check if the allocation ended up in a HOST_VISIBLE memory type (e.g. using getAllocationMemoryProperties) and if not, you will create some "staging" buffer and issue an explicit transfer to write/read your data. To prepare for this possibility, don't forget to add appropriate flags like VK_BUFFER_USAGE_TRANSFER_DST_BIT, VK_BUFFER_USAGE_TRANSFER_SRC_BIT to the parameters of created buffer or image.

Allocation strategy that chooses first suitable free range for the allocation - not necessarily in terms of the smallest offset but the one that is easiest and fastest to find to minimize allocation time, possibly at the expense of allocation quality.

newtypenewtype PoolCreateFlagBits
#

Flags to be passed as VmaPoolCreateInfo::flags.

Instances8Eq, Ord, Read, Show, Bits, FiniteBits, …

Use this flag if you always allocate only buffers and linear images or only optimal images out of this pool and so Buffer-Image Granularity can be ignored.

This is an optional optimization flag.

If you always allocate using createBuffer, createImage, allocateMemoryForBuffer, then you don't need to use it because allocator knows exact type of your allocations so it can handle Buffer-Image Granularity in the optimal way.

If you also allocate using allocateMemoryForImage or allocateMemory, exact type of such allocations is not known, so allocator must be conservative in handling Buffer-Image Granularity, which can lead to suboptimal allocation (wasted memory). In that case, if you can make sure you always allocate only buffers and linear images or only optimal images out of this pool, use this flag to make allocator disregard Buffer-Image Granularity and so make allocations faster and more optimal.

Enables alternative, linear allocation algorithm in this pool.

Specify this flag to enable linear allocation algorithm, which always creates new allocations after last one and doesn't reuse space from allocations freed in between. It trades memory consumption for simplified algorithm and data structure, which has better performance and uses less memory for metadata.

By using this flag, you can achieve behavior of free-at-once, stack, ring buffer, and double stack. For details, see documentation chapter Linear allocation algorithm.

newtypenewtype DefragmentationFlagBits
#

Flags to be passed as VmaDefragmentationInfo::flags.

Instances8Eq, Ord, Read, Show, Bits, FiniteBits, …
newtypenewtype DefragmentationMoveOperation
#

Operation performed on single defragmentation move. See structure DefragmentationMove.

Instances6Eq, Ord, Read, Show, Storable, Zero
newtypenewtype VirtualBlockCreateFlagBits
#

Flags to be passed as VmaVirtualBlockCreateInfo::flags.

Instances8Eq, Ord, Read, Show, Bits, FiniteBits, …

Enables alternative, linear allocation algorithm in this virtual block.

Specify this flag to enable linear allocation algorithm, which always creates new allocations after last one and doesn't reuse space from allocations freed in between. It trades memory consumption for simplified algorithm and data structure, which has better performance and uses less memory for metadata.

By using this flag, you can achieve behavior of free-at-once, stack, ring buffer, and double stack. For details, see documentation chapter Linear allocation algorithm.

Flags to be passed as VmaVirtualAllocationCreateInfo::flags.

Instances8Eq, Ord, Read, Show, Bits, FiniteBits, …
newtypenewtype Allocator
#

VmaAllocator

Represents main object of this library initialized.

Fill structure AllocatorCreateInfo and call function createAllocator to create it. Call function destroyAllocator to destroy it.

It is recommended to create just one object of this type per VkDevice object, right after Vulkan is initialized and keep it alive until before Vulkan device is destroyed.

Constructors

Instances6Eq, Ord, Show, Storable, IsHandle, Zero
  • Eq AllocatorDefined in VulkanMemoryAllocator-0.11.1.0 · VulkanMemoryAllocator
  • Ord AllocatorDefined in VulkanMemoryAllocator-0.11.1.0 · VulkanMemoryAllocator
  • Show AllocatorDefined in VulkanMemoryAllocator-0.11.1.0 · VulkanMemoryAllocator
  • Storable AllocatorDefined in VulkanMemoryAllocator-0.11.1.0 · VulkanMemoryAllocator
  • IsHandle AllocatorDefined in VulkanMemoryAllocator-0.11.1.0 · VulkanMemoryAllocator
  • Zero AllocatorDefined in VulkanMemoryAllocator-0.11.1.0 · VulkanMemoryAllocator
newtypenewtype Pool
#

VmaPool

Represents custom memory pool.

Fill structure PoolCreateInfo and call function createPool to create it. Call function destroyPool to destroy it.

For more information see Custom memory pools.

Constructors

Instances6Eq, Ord, Show, Storable, IsHandle, Zero
  • Eq PoolDefined in VulkanMemoryAllocator-0.11.1.0 · VulkanMemoryAllocator
  • Ord PoolDefined in VulkanMemoryAllocator-0.11.1.0 · VulkanMemoryAllocator
  • Show PoolDefined in VulkanMemoryAllocator-0.11.1.0 · VulkanMemoryAllocator
  • Storable PoolDefined in VulkanMemoryAllocator-0.11.1.0 · VulkanMemoryAllocator
  • IsHandle PoolDefined in VulkanMemoryAllocator-0.11.1.0 · VulkanMemoryAllocator
  • Zero PoolDefined in VulkanMemoryAllocator-0.11.1.0 · VulkanMemoryAllocator
newtypenewtype Allocation
#

VmaAllocation

Represents single memory allocation.

It may be either dedicated block of VkDeviceMemory or a specific region of a bigger block of this type plus unique offset.

There are multiple ways to create such object. You need to fill structure AllocationCreateInfo. For more information see /Choosing memory type/.

Although the library provides convenience functions that create Vulkan buffer or image, allocate memory for it and bind them together, binding of the allocation to a buffer or an image is out of scope of the allocation itself. Allocation object can exist without buffer/image bound, binding can be done manually by the user, and destruction of it can be done independently of destruction of the allocation.

The object also remembers its size and some other information. To retrieve this information, use function getAllocationInfo and inspect returned structure AllocationInfo.

Constructors

Instances6Eq, Ord, Show, Storable, IsHandle, Zero
  • Eq AllocationDefined in VulkanMemoryAllocator-0.11.1.0 · VulkanMemoryAllocator
  • Ord AllocationDefined in VulkanMemoryAllocator-0.11.1.0 · VulkanMemoryAllocator
  • Show AllocationDefined in VulkanMemoryAllocator-0.11.1.0 · VulkanMemoryAllocator
  • Storable AllocationDefined in VulkanMemoryAllocator-0.11.1.0 · VulkanMemoryAllocator
  • IsHandle AllocationDefined in VulkanMemoryAllocator-0.11.1.0 · VulkanMemoryAllocator
  • Zero AllocationDefined in VulkanMemoryAllocator-0.11.1.0 · VulkanMemoryAllocator
newtypenewtype DefragmentationContext
#

VmaDefragmentationContext

An opaque object that represents started defragmentation process.

Fill structure DefragmentationInfo and call function beginDefragmentation to create it. Call function endDefragmentation to destroy it.

Instances6Eq, Ord, Show, Storable, IsHandle, Zero
newtypenewtype VirtualAllocation
#

VmaVirtualAllocation

Represents single memory allocation done inside VirtualBlock.

Use it as a unique identifier to virtual allocation within the single block.

Use value VK_NULL_HANDLE to represent a null/invalid allocation.

Instances6Eq, Ord, Show, Storable, IsHandle, Zero
newtypenewtype VirtualBlock
#

VmaVirtualBlock

Handle to a virtual block object that allows to use core allocation algorithm without allocating any real GPU memory.

Fill in VirtualBlockCreateInfo structure and use createVirtualBlock to create it. Use destroyVirtualBlock to destroy it. For more information, see documentation chapter Virtual allocator.

This object is not thread-safe - should not be used from multiple threads simultaneously, must be synchronized externally.

Constructors

Instances6Eq, Ord, Show, Storable, IsHandle, Zero

VmaDeviceMemoryCallbacks

Set of callbacks that the library will call for vkAllocateMemory and vkFreeMemory.

Provided for informative purpose, e.g. to gather statistics about number of allocations or total amount of memory allocated in Vulkan.

Used in VmaAllocatorCreateInfo::pDeviceMemoryCallbacks.

Constructors

Instances5Show, Storable, FromCStruct, ToCStruct, Zero
datadata VulkanFunctions
#

VmaVulkanFunctions

Pointers to some Vulkan functions - a subset used by the library.

Used in VmaAllocatorCreateInfo::pVulkanFunctions.

Constructors

Instances6Eq, Show, Storable, FromCStruct, ToCStruct, Zero
datadata AllocatorCreateInfo
#

VmaAllocatorCreateInfo

Description of a Allocator to be created.

Constructors

  • AllocatorCreateInfo
    • flags :: AllocatorCreateFlags

      Flags for created allocator. Use AllocatorCreateFlagBits enum.

    • physicalDevice :: Ptr PhysicalDevice_T

      Vulkan physical device.

      It must be valid throughout whole lifetime of created allocator.

    • device :: Ptr Device_T

      Vulkan device.

      It must be valid throughout whole lifetime of created allocator.

    • preferredLargeHeapBlockSize :: DeviceSize

      Preferred size of a single VkDeviceMemory block to be allocated from large heaps > 1 GiB. Optional.

      Set to 0 to use default, which is currently 256 MiB.

    • allocationCallbacks :: Maybe AllocationCallbacks

      Custom CPU memory allocation callbacks. Optional.

      Optional, can be null. When specified, will also be used for all CPU-side memory allocations.

    • deviceMemoryCallbacks :: Maybe DeviceMemoryCallbacks

      Informative callbacks for vkAllocateMemory, vkFreeMemory. Optional.

      Optional, can be null.

    • heapSizeLimit :: Ptr DeviceSize

      Either null or a pointer to an array of limits on maximum number of bytes that can be allocated out of particular Vulkan memory heap.

      If not NULL, it must be a pointer to an array of VkPhysicalDeviceMemoryProperties::memoryHeapCount elements, defining limit on maximum number of bytes that can be allocated out of particular Vulkan memory heap.

      Any of the elements may be equal to VK_WHOLE_SIZE, which means no limit on that heap. This is also the default in case of pHeapSizeLimit = NULL.

      If there is a limit defined for a heap:

      • If user tries to allocate more memory from that heap using this allocator, the allocation fails with VK_ERROR_OUT_OF_DEVICE_MEMORY.

      • If the limit is smaller than heap size reported in VkMemoryHeap::size, the value of this limit will be reported instead when using getMemoryProperties.

      Warning! Using this feature may not be equivalent to installing a GPU with smaller amount of memory, because graphics driver doesn't necessary fail new allocations with VK_ERROR_OUT_OF_DEVICE_MEMORY result when memory capacity is exceeded. It may return success and just silently migrate some device memory blocks to system RAM. This driver behavior can also be controlled using VK_AMD_memory_overallocation_behavior extension.

    • vulkanFunctions :: Maybe VulkanFunctions

      Pointers to Vulkan functions. Can be null.

      For details see Pointers to Vulkan functions.

    • instance' :: Ptr Instance_T

      Handle to Vulkan instance object.

      Starting from version 3.0.0 this member is no longer optional, it must be set!

    • vulkanApiVersion :: Word32

      Optional. The highest version of Vulkan that the application is designed to use.

      It must be a value in the format as created by macro VK_MAKE_VERSION or a constant like: VK_API_VERSION_1_1, VK_API_VERSION_1_0. The patch version number specified is ignored. Only the major and minor versions are considered. It must be less or equal (preferably equal) to value as passed to vkCreateInstance as VkApplicationInfo::apiVersion. Only versions 1.0, 1.1, 1.2, 1.3 are supported by the current implementation. Leaving it initialized to zero is equivalent to VK_API_VERSION_1_0.

    • typeExternalMemoryHandleTypes :: Ptr ExternalMemoryHandleTypeFlagsKHR

      Either null or a pointer to an array of external memory handle types for each Vulkan memory type.

      If not NULL, it must be a pointer to an array of VkPhysicalDeviceMemoryProperties::memoryTypeCount elements, defining external memory handle types of particular Vulkan memory type, to be passed using VkExportMemoryAllocateInfoKHR.

      Any of the elements may be equal to 0, which means not to use VkExportMemoryAllocateInfoKHR on this memory type. This is also the default in case of pTypeExternalMemoryHandleTypes = NULL.

Instances4Show, FromCStruct, ToCStruct, Zero
datadata AllocatorInfo
#

VmaAllocatorInfo

Information about existing Allocator object.

Constructors

  • AllocatorInfo
    • instance' :: Ptr Instance_T

      Handle to Vulkan instance object.

      This is the same value as has been passed through VmaAllocatorCreateInfo::instance.

    • physicalDevice :: Ptr PhysicalDevice_T

      Handle to Vulkan physical device object.

      This is the same value as has been passed through VmaAllocatorCreateInfo::physicalDevice.

    • device :: Ptr Device_T

      Handle to Vulkan device object.

      This is the same value as has been passed through VmaAllocatorCreateInfo::device.

Instances6Eq, Show, Storable, FromCStruct, ToCStruct, Zero
datadata Statistics
#

VmaStatistics

Calculated statistics of memory usage e.g. in a specific memory type, heap, custom pool, or total.

These are fast to calculate. See functions: getHeapBudgets, getPoolStatistics.

Constructors

  • Statistics
    • blockCount :: Word32

      Number of VkDeviceMemory objects - Vulkan memory blocks allocated.

    • allocationCount :: Word32

      Number of Allocation objects allocated.

      Dedicated allocations have their own blocks, so each one adds 1 to allocationCount as well as blockCount.

    • blockBytes :: DeviceSize

      Number of bytes allocated in VkDeviceMemory blocks.

      Note

      To avoid confusion, please be aware that what Vulkan calls an "allocation" - a whole VkDeviceMemory object (e.g. as in VkPhysicalDeviceLimits::maxMemoryAllocationCount) is called a "block" in VMA, while VMA calls "allocation" a Allocation object that represents a memory region sub-allocated from such block, usually for a single buffer or image.

    • allocationBytes :: DeviceSize

      Total number of bytes occupied by all Allocation objects.

      Always less or equal than blockBytes. Difference (blockBytes - allocationBytes) is the amount of memory allocated from Vulkan but unused by any Allocation.

Instances6Eq, Show, Storable, FromCStruct, ToCStruct, Zero
  • Eq StatisticsDefined in VulkanMemoryAllocator-0.11.1.0 · VulkanMemoryAllocator
  • Show StatisticsDefined in VulkanMemoryAllocator-0.11.1.0 · VulkanMemoryAllocator
  • Storable StatisticsDefined in VulkanMemoryAllocator-0.11.1.0 · VulkanMemoryAllocator
  • FromCStruct StatisticsDefined in VulkanMemoryAllocator-0.11.1.0 · VulkanMemoryAllocator
  • ToCStruct StatisticsDefined in VulkanMemoryAllocator-0.11.1.0 · VulkanMemoryAllocator
  • Zero StatisticsDefined in VulkanMemoryAllocator-0.11.1.0 · VulkanMemoryAllocator
datadata DetailedStatistics
#

VmaDetailedStatistics

More detailed statistics than Statistics.

These are slower to calculate. Use for debugging purposes. See functions: calculateStatistics, calculatePoolStatistics.

Previous version of the statistics API provided averages, but they have been removed because they can be easily calculated as:

VkDeviceSize allocationSizeAvg = detailedStats.statistics.allocationBytes / detailedStats.statistics.allocationCount;
VkDeviceSize unusedBytes = detailedStats.statistics.blockBytes - detailedStats.statistics.allocationBytes;
VkDeviceSize unusedRangeSizeAvg = unusedBytes / detailedStats.unusedRangeCount;

Constructors

Instances5Show, Storable, FromCStruct, ToCStruct, Zero
datadata TotalStatistics
#

VmaTotalStatistics

General statistics from current state of the Allocator - total memory usage across all memory heaps and types.

These are slower to calculate. Use for debugging purposes. See function calculateStatistics.

memoryHeap

memoryHeap VmaTotalStatistics VmaTotalStatistics memoryHeap VmaDetailedStatistics VmaTotalStatistics::memoryHeap[VK_MAX_MEMORY_HEAPS]

memoryType

memoryType VmaTotalStatistics VmaTotalStatistics memoryType VmaDetailedStatistics VmaTotalStatistics::memoryType[VK_MAX_MEMORY_TYPES]

Instances5Show, Storable, FromCStruct, ToCStruct, Zero
datadata Budget
#

VmaBudget

Statistics of current memory usage and available budget for a specific memory heap.

These are fast to calculate. See function getHeapBudgets.

Constructors

  • Budget
    • statistics :: Statistics

      Statistics fetched from the library.

    • usage :: DeviceSize

      Estimated current memory usage of the program, in bytes.

      Fetched from system using VK_EXT_memory_budget extension if enabled.

      It might be different than statistics.blockBytes (usually higher) due to additional implicit objects also occupying the memory, like swapchain, pipelines, descriptor heaps, command buffers, or VkDeviceMemory blocks allocated outside of this library, if any.

    • budget :: DeviceSize

      Estimated amount of memory available to the program, in bytes.

      Fetched from system using VK_EXT_memory_budget extension if enabled.

      It might be different (most probably smaller) than VkMemoryHeap::size[heapIndex] due to factors external to the program, decided by the operating system. Difference budget - usage is the amount of additional memory that can probably be allocated without problems. Exceeding the budget may result in various problems.

Instances5Show, Storable, FromCStruct, ToCStruct, Zero
  • Show BudgetDefined in VulkanMemoryAllocator-0.11.1.0 · VulkanMemoryAllocator
  • Storable BudgetDefined in VulkanMemoryAllocator-0.11.1.0 · VulkanMemoryAllocator
  • FromCStruct BudgetDefined in VulkanMemoryAllocator-0.11.1.0 · VulkanMemoryAllocator
  • ToCStruct BudgetDefined in VulkanMemoryAllocator-0.11.1.0 · VulkanMemoryAllocator
  • Zero BudgetDefined in VulkanMemoryAllocator-0.11.1.0 · VulkanMemoryAllocator
datadata AllocationCreateInfo
#

VmaAllocationCreateInfo

Parameters of new Allocation.

To be used with functions like createBuffer, createImage, and many others.

Constructors

  • AllocationCreateInfo
    • flags :: AllocationCreateFlags
    • usage :: MemoryUsage

      Intended usage of memory.

      You can leave MEMORY_USAGE_UNKNOWN if you specify memory requirements in other way. If pool is not null, this member is ignored.

    • requiredFlags :: MemoryPropertyFlags

      Flags that must be set in a Memory Type chosen for an allocation.

      Leave 0 if you specify memory requirements in other way. If pool is not null, this member is ignored.

    • preferredFlags :: MemoryPropertyFlags

      Flags that preferably should be set in a memory type chosen for an allocation.

      Set to 0 if no additional flags are preferred. If pool is not null, this member is ignored.

    • memoryTypeBits :: Word32

      Bitmask containing one bit set for every memory type acceptable for this allocation.

      Value 0 is equivalent to UINT32_MAX - it means any memory type is accepted if it meets other requirements specified by this structure, with no further restrictions on memory type index. If pool is not null, this member is ignored.

    • pool :: Pool

      Pool that this allocation should be created in.

      Leave VK_NULL_HANDLE to allocate from default pool. If not null, members: usage, requiredFlags, preferredFlags, memoryTypeBits are ignored.

    • userData :: Ptr ()

      Custom general-purpose pointer that will be stored in Allocation, can be read as VmaAllocationInfo::pUserData and changed using setAllocationUserData.

      If ALLOCATION_CREATE_USER_DATA_COPY_STRING_BIT is used, it must be either null or pointer to a null-terminated string. The string will be then copied to internal buffer, so it doesn't need to be valid after allocation call.

    • priority :: Float

      A floating-point value between 0 and 1, indicating the priority of the allocation relative to other memory allocations.

      It is used only when ALLOCATOR_CREATE_EXT_MEMORY_PRIORITY_BIT flag was used during creation of the Allocator object and this allocation ends up as dedicated or is explicitly forced as dedicated using ALLOCATION_CREATE_DEDICATED_MEMORY_BIT. Otherwise, it has the priority of a memory block where it is placed and this variable is ignored.

Instances5Show, Storable, FromCStruct, ToCStruct, Zero
datadata PoolCreateInfo
#

VmaPoolCreateInfo

Describes parameter of created Pool.

Constructors

  • PoolCreateInfo
    • memoryTypeIndex :: Word32

      Vulkan memory type index to allocate this pool from.

    • flags :: PoolCreateFlags

      Use combination of PoolCreateFlagBits.

    • blockSize :: DeviceSize

      Size of a single VkDeviceMemory block to be allocated as part of this pool, in bytes. Optional.

      Specify nonzero to set explicit, constant size of memory blocks used by this pool.

      Leave 0 to use default and let the library manage block sizes automatically. Sizes of particular blocks may vary. In this case, the pool will also support dedicated allocations.

    • minBlockCount :: Word64

      Minimum number of blocks to be always allocated in this pool, even if they stay empty.

      Set to 0 to have no preallocated blocks and allow the pool be completely empty.

    • maxBlockCount :: Word64

      Maximum number of blocks that can be allocated in this pool. Optional.

      Set to 0 to use default, which is SIZE_MAX, which means no limit.

      Set to same value as VmaPoolCreateInfo::minBlockCount to have fixed amount of memory allocated throughout whole lifetime of this pool.

    • priority :: Float

      A floating-point value between 0 and 1, indicating the priority of the allocations in this pool relative to other memory allocations.

      It is used only when ALLOCATOR_CREATE_EXT_MEMORY_PRIORITY_BIT flag was used during creation of the Allocator object. Otherwise, this variable is ignored.

    • minAllocationAlignment :: DeviceSize

      Additional minimum alignment to be used for all allocations created from this pool. Can be 0.

      Leave 0 (default) not to impose any additional alignment. If not 0, it must be a power of two. It can be useful in cases where alignment returned by Vulkan by functions like vkGetBufferMemoryRequirements is not enough, e.g. when doing interop with OpenGL.

    • memoryAllocateNext :: Ptr ()

      Additional pNext chain to be attached to VkMemoryAllocateInfo used for every allocation made by this pool. Optional.

      Optional, can be null. If not null, it must point to a pNext chain of structures that can be attached to VkMemoryAllocateInfo. It can be useful for special needs such as adding VkExportMemoryAllocateInfoKHR. Structures pointed by this member must remain alive and unchanged for the whole lifetime of the custom pool.

      Please note that some structures, e.g. VkMemoryPriorityAllocateInfoEXT, VkMemoryDedicatedAllocateInfoKHR, can be attached automatically by this library when using other, more convenient of its features.

Instances5Show, Storable, FromCStruct, ToCStruct, Zero
datadata AllocationInfo
#

VmaAllocationInfo

Parameters of Allocation objects, that can be retrieved using function getAllocationInfo.

Constructors

  • AllocationInfo
    • memoryType :: Word32

      Memory type index that this allocation was allocated from.

      It never changes.

    • deviceMemory :: DeviceMemory

      Handle to Vulkan memory object.

      Same memory object can be shared by multiple allocations.

      It can change after the allocation is moved during Defragmentation.

    • offset :: DeviceSize

      Offset in VkDeviceMemory object to the beginning of this allocation, in bytes. (deviceMemory, offset) pair is unique to this allocation.

      You usually don't need to use this offset. If you create a buffer or an image together with the allocation using e.g. function createBuffer, createImage, functions that operate on these resources refer to the beginning of the buffer or image, not entire device memory block. Functions like mapMemory, bindBufferMemory also refer to the beginning of the allocation and apply this offset automatically.

      It can change after the allocation is moved during Defragmentation.

    • size :: DeviceSize

      Size of this allocation, in bytes.

      It never changes.

      Note

      Allocation size returned in this variable may be greater than the size requested for the resource e.g. as VkBufferCreateInfo::size. Whole size of the allocation is accessible for operations on memory e.g. using a pointer after mapping with mapMemory, but operations on the resource e.g. using vkCmdCopyBuffer must be limited to the size of the resource.

    • mappedData :: Ptr ()

      Pointer to the beginning of this allocation as mapped data.

      If the allocation hasn't been mapped using mapMemory and hasn't been created with ALLOCATION_CREATE_MAPPED_BIT flag, this value is null.

      It can change after call to mapMemory, unmapMemory. It can also change after the allocation is moved during Defragmentation.

    • userData :: Ptr ()

      Custom general-purpose pointer that was passed as VmaAllocationCreateInfo::pUserData or set using setAllocationUserData.

      It can change after call to setAllocationUserData for this allocation.

    • name :: Maybe ByteString

      Custom allocation name that was set with setAllocationName.

      It can change after call to setAllocationName for this allocation.

      Another way to set custom name is to pass it in VmaAllocationCreateInfo::pUserData with additional flag ALLOCATION_CREATE_USER_DATA_COPY_STRING_BIT set [DEPRECATED].

Instances4Show, FromCStruct, ToCStruct, Zero
datadata DefragmentationInfo
#

VmaDefragmentationInfo

Parameters for defragmentation.

To be used with function beginDefragmentation.

Constructors

Instances5Show, Storable, FromCStruct, ToCStruct, Zero
datadata DefragmentationMove
#

VmaDefragmentationMove

Single move of an allocation to be done for defragmentation.

Constructors

Instances6Eq, Show, Storable, FromCStruct, ToCStruct, Zero

VmaDefragmentationPassMoveInfo

Parameters for incremental defragmentation steps.

To be used with function beginDefragmentationPass.

Constructors

  • DefragmentationPassMoveInfo
    • moveCount :: Word32

      Number of elements in the pMoves array.

    • moves :: Ptr DefragmentationMove

      Array of moves to be performed by the user in the current defragmentation pass.

      Pointer to an array of moveCount elements, owned by VMA, created in beginDefragmentationPass, destroyed in endDefragmentationPass.

      For each element, you should:

      1. Create a new buffer/image in the place pointed by VmaDefragmentationMove::dstMemory + VmaDefragmentationMove::dstOffset.

      2. Copy data from the VmaDefragmentationMove::srcAllocation e.g. using vkCmdCopyBuffer, vkCmdCopyImage.

      3. Make sure these commands finished executing on the GPU.

      4. Destroy the old buffer/image.

      Only then you can finish defragmentation pass by calling endDefragmentationPass. After this call, the allocation will point to the new place in memory.

      Alternatively, if you cannot move specific allocation, you can set VmaDefragmentationMove::operation to DEFRAGMENTATION_MOVE_OPERATION_IGNORE.

      Alternatively, if you decide you want to completely remove the allocation:

      1. Destroy its buffer/image.

      2. Set VmaDefragmentationMove::operation to DEFRAGMENTATION_MOVE_OPERATION_DESTROY.

      Then, after endDefragmentationPass the allocation will be freed.

Instances6Eq, Show, Storable, FromCStruct, ToCStruct, Zero
datadata DefragmentationStats
#

VmaDefragmentationStats

Statistics returned for defragmentation process in function endDefragmentation.

Constructors

Instances6Eq, Show, Storable, FromCStruct, ToCStruct, Zero

VmaVirtualBlockCreateInfo

Parameters of created VirtualBlock object to be passed to createVirtualBlock.

Constructors

Instances4Show, FromCStruct, ToCStruct, Zero

VmaVirtualAllocationCreateInfo

Parameters of created virtual allocation to be passed to virtualAllocate.

Constructors

Instances5Show, Storable, FromCStruct, ToCStruct, Zero

VmaVirtualAllocationInfo

Parameters of an existing virtual allocation, returned by getVirtualAllocationInfo.

Constructors

Instances5Show, Storable, FromCStruct, ToCStruct, Zero