Vulkan.Core10.Memory

Documentation

allocateMemory

Arguments

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

=> Device

device is the logical device that owns the memory.

-> MemoryAllocateInfo a

pAllocateInfo is a pointer to a MemoryAllocateInfo structure describing parameters of the allocation. A successfully returned allocation must use the requested parameters — no substitution is permitted by the implementation.

-> ("allocator" ::: Maybe AllocationCallbacks)

pAllocator controls host memory allocation as described in the Memory Allocation chapter.

-> io DeviceMemory

vkAllocateMemory - Allocate device memory

Description

Allocations returned by allocateMemory are guaranteed to meet any alignment requirement of the implementation. For example, if an implementation requires 128 byte alignment for images and 64 byte alignment for buffers, the device memory returned through this mechanism would be 128-byte aligned. This ensures that applications can correctly suballocate objects of different types (with potentially different alignment requirements) in the same memory object.

When memory is allocated, its contents are undefined with the following constraint:

• The contents of unprotected memory must not be a function of the contents of data protected memory objects, even if those memory objects were previously freed.

Note

The contents of memory allocated by one application should not be a function of data from protected memory objects of another application, even if those memory objects were previously freed.

The maximum number of valid memory allocations that can exist simultaneously within a Device may be restricted by implementation- or platform-dependent limits. The maxMemoryAllocationCount feature describes the number of allocations that can exist simultaneously before encountering these internal limits.

Note

For historical reasons, if maxMemoryAllocationCount is exceeded, some implementations may return ERROR_TOO_MANY_OBJECTS. Exceeding this limit will result in undefined behavior, and an application should not rely on the use of the returned error code in order to identify when the limit is reached.

Note

Many protected memory implementations involve complex hardware and system software support, and often have additional and much lower limits on the number of simultaneous protected memory allocations (from memory types with the MEMORY_PROPERTY_PROTECTED_BIT property) than for non-protected memory allocations. These limits can be system-wide, and depend on a variety of factors outside of the Vulkan implementation, so they cannot be queried in Vulkan. Applications should use as few allocations as possible from such memory types by suballocating aggressively, and be prepared for allocation failure even when there is apparently plenty of capacity remaining in the memory heap. As a guideline, the Vulkan conformance test suite requires that at least 80 minimum-size allocations can exist concurrently when no other uses of protected memory are active in the system.

Some platforms may have a limit on the maximum size of a single allocation. For example, certain systems may fail to create allocations with a size greater than or equal to 4GB. Such a limit is implementation-dependent, and if such a failure occurs then the error ERROR_OUT_OF_DEVICE_MEMORY must be returned. This limit is advertised in PhysicalDeviceMaintenance3Properties::maxMemoryAllocationSize.

The cumulative memory size allocated to a heap can be limited by the size of the specified heap. In such cases, allocated memory is tracked on a per-device and per-heap basis. Some platforms allow overallocation into other heaps. The overallocation behavior can be specified through the VK_AMD_memory_overallocation_behavior extension.

If the PhysicalDevicePageableDeviceLocalMemoryFeaturesEXT::pageableDeviceLocalMemory feature is enabled, memory allocations made from a heap that includes MEMORY_HEAP_DEVICE_LOCAL_BIT in MemoryHeap::flags may be transparently moved to host-local memory allowing multiple applications to share device-local memory. If there is no space left in device-local memory when this new allocation is made, other allocations may be moved out transparently to make room. The operating system will determine which allocations to move to device-local memory or host-local memory based on platform-specific criteria. To help the operating system make good choices, the application should set the appropriate memory priority with MemoryPriorityAllocateInfoEXT and adjust it as necessary with setDeviceMemoryPriorityEXT. Higher priority allocations will moved to device-local memory first.

Memory allocations made on heaps without the MEMORY_HEAP_DEVICE_LOCAL_BIT property will not be transparently promoted to device-local memory by the operating system.

Valid Usage

• pAllocateInfo->allocationSize must be less than or equal to PhysicalDeviceMemoryProperties::memoryHeaps[memindex].size where memindex = PhysicalDeviceMemoryProperties::memoryTypes[pAllocateInfo->memoryTypeIndex].heapIndex as returned by getPhysicalDeviceMemoryProperties for the PhysicalDevice that device was created from

• pAllocateInfo->memoryTypeIndex must be less than PhysicalDeviceMemoryProperties::memoryTypeCount as returned by getPhysicalDeviceMemoryProperties for the PhysicalDevice that device was created from
• If the deviceCoherentMemory feature is not enabled, pAllocateInfo->memoryTypeIndex must not identify a memory type supporting MEMORY_PROPERTY_DEVICE_COHERENT_BIT_AMD
• There must be less than PhysicalDeviceLimits::maxMemoryAllocationCount device memory allocations currently allocated on the device

Valid Usage (Implicit)

• device must be a valid Device handle

• pAllocateInfo must be a valid pointer to a valid MemoryAllocateInfo structure
• If pAllocator is not NULL, pAllocator must be a valid pointer to a valid AllocationCallbacks structure
• pMemory must be a valid pointer to a DeviceMemory handle

Return Codes

Success

• SUCCESS

Failure

• ERROR_OUT_OF_HOST_MEMORY
• ERROR_OUT_OF_DEVICE_MEMORY
• ERROR_INVALID_EXTERNAL_HANDLE
• ERROR_INVALID_OPAQUE_CAPTURE_ADDRESS_KHR

See Also

VK_VERSION_1_0, AllocationCallbacks, Device, DeviceMemory, MemoryAllocateInfo

withMemory :: forall a io r. (Extendss MemoryAllocateInfo a, PokeChain a, MonadIO io) => Device -> MemoryAllocateInfo a -> Maybe AllocationCallbacks -> (io DeviceMemory -> (DeviceMemory -> io ()) -> r) -> r

A convenience wrapper to make a compatible pair of calls to allocateMemory and freeMemory

To ensure that freeMemory 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.

freeMemory

Arguments

:: forall io. MonadIO io

=> Device

device is the logical device that owns the memory.

-> DeviceMemory

memory is the DeviceMemory object to be freed.

-> ("allocator" ::: Maybe AllocationCallbacks)

pAllocator controls host memory allocation as described in the Memory Allocation chapter.

-> io ()

vkFreeMemory - Free device memory

Description

Before freeing a memory object, an application must ensure the memory object is no longer in use by the device — for example by command buffers in the pending state. Memory can be freed whilst still bound to resources, but those resources must not be used afterwards. Freeing a memory object releases the reference it held, if any, to its payload. If there are still any bound images or buffers, the memory object’s payload may not be immediately released by the implementation, but must be released by the time all bound images and buffers have been destroyed. Once all references to a payload are released, it is returned to the heap from which it was allocated.

How memory objects are bound to Images and Buffers is described in detail in the Resource Memory Association section.

If a memory object is mapped at the time it is freed, it is implicitly unmapped.

Note

As described below, host writes are not implicitly flushed when the memory object is unmapped, but the implementation must guarantee that writes that have not been flushed do not affect any other memory.

Valid Usage

• All submitted commands that refer to memory (via images or buffers) must have completed execution

Valid Usage (Implicit)

• device must be a valid Device handle

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

Host Synchronization

• Host access to memory must be externally synchronized

See Also

VK_VERSION_1_0, AllocationCallbacks, Device, DeviceMemory

mapMemory

Arguments

:: forall io. MonadIO io

=> Device

device is the logical device that owns the memory.

-> DeviceMemory

memory is the DeviceMemory object to be mapped.

-> ("offset" ::: DeviceSize)

offset is a zero-based byte offset from the beginning of the memory object.

-> DeviceSize

size is the size of the memory range to map, or WHOLE_SIZE to map from offset to the end of the allocation.

-> MemoryMapFlags

flags is reserved for future use.

-> io ("data" ::: Ptr ())

vkMapMemory - Map a memory object into application address space

Description

After a successful call to mapMemory the memory object memory is considered to be currently host mapped.

Note

It is an application error to call mapMemory on a memory object that is already host mapped.

Note

mapMemory will fail if the implementation is unable to allocate an appropriately sized contiguous virtual address range, e.g. due to virtual address space fragmentation or platform limits. In such cases, mapMemory must return ERROR_MEMORY_MAP_FAILED. The application can improve the likelihood of success by reducing the size of the mapped range and/or removing unneeded mappings using unmapMemory.

mapMemory does not check whether the device memory is currently in use before returning the host-accessible pointer. The application must guarantee that any previously submitted command that writes to this range has completed before the host reads from or writes to that range, and that any previously submitted command that reads from that range has completed before the host writes to that region (see here for details on fulfilling such a guarantee). If the device memory was allocated without the MEMORY_PROPERTY_HOST_COHERENT_BIT set, these guarantees must be made for an extended range: the application must round down the start of the range to the nearest multiple of PhysicalDeviceLimits::nonCoherentAtomSize, and round the end of the range up to the nearest multiple of PhysicalDeviceLimits::nonCoherentAtomSize.

While a range of device memory is host mapped, the application is responsible for synchronizing both device and host access to that memory range.

Note

It is important for the application developer to become meticulously familiar with all of the mechanisms described in the chapter on Synchronization and Cache Control as they are crucial to maintaining memory access ordering.

Valid Usage

• memory must not be currently host mapped

• offset must be less than the size of memory
• If size is not equal to WHOLE_SIZE, size must be greater than 0
• If size is not equal to WHOLE_SIZE, size must be less than or equal to the size of the memory minus offset
• memory must have been created with a memory type that reports MEMORY_PROPERTY_HOST_VISIBLE_BIT
• memory must not have been allocated with multiple instances

Valid Usage (Implicit)

• device must be a valid Device handle

• memory must be a valid DeviceMemory handle
• flags must be 0
• ppData must be a valid pointer to a pointer value
• memory must have been created, allocated, or retrieved from device

Host Synchronization

• Host access to memory must be externally synchronized

Return Codes

Success

• SUCCESS

Failure

• ERROR_OUT_OF_HOST_MEMORY
• ERROR_OUT_OF_DEVICE_MEMORY
• ERROR_MEMORY_MAP_FAILED

See Also

VK_VERSION_1_0, Device, DeviceMemory, DeviceSize, MemoryMapFlags

withMappedMemory :: forall io r. MonadIO io => Device -> DeviceMemory -> DeviceSize -> DeviceSize -> MemoryMapFlags -> (io (Ptr ()) -> (Ptr () -> io ()) -> r) -> r

A convenience wrapper to make a compatible pair of calls to mapMemory and unmapMemory

To ensure that unmapMemory 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.

unmapMemory

Arguments

:: forall io. MonadIO io

=> Device

device is the logical device that owns the memory.

-> DeviceMemory

memory is the memory object to be unmapped.

-> io ()

vkUnmapMemory - Unmap a previously mapped memory object

Valid Usage

• memory must be currently host mapped

Valid Usage (Implicit)

• device must be a valid Device handle

• memory must be a valid DeviceMemory handle
• memory must have been created, allocated, or retrieved from device

Host Synchronization

• Host access to memory must be externally synchronized

See Also

VK_VERSION_1_0, Device, DeviceMemory

flushMappedMemoryRanges

Arguments

:: forall io. MonadIO io

=> Device

device is the logical device that owns the memory ranges.

device must be a valid Device handle

-> ("memoryRanges" ::: Vector MappedMemoryRange)

pMemoryRanges is a pointer to an array of MappedMemoryRange structures describing the memory ranges to flush.

pMemoryRanges must be a valid pointer to an array of memoryRangeCount valid MappedMemoryRange structures

-> io ()

vkFlushMappedMemoryRanges - Flush mapped memory ranges

Description

flushMappedMemoryRanges guarantees that host writes to the memory ranges described by pMemoryRanges are made available to the host memory domain, such that they can be made available to the device memory domain via memory domain operations using the ACCESS_HOST_WRITE_BIT access type.

Within each range described by pMemoryRanges, each set of nonCoherentAtomSize bytes in that range is flushed if any byte in that set has been written by the host since it was first host mapped, or the last time it was flushed. If pMemoryRanges includes sets of nonCoherentAtomSize bytes where no bytes have been written by the host, those bytes must not be flushed.

Unmapping non-coherent memory does not implicitly flush the host mapped memory, and host writes that have not been flushed may not ever be visible to the device. However, implementations must ensure that writes that have not been flushed do not become visible to any other memory.

Note

The above guarantee avoids a potential memory corruption in scenarios where host writes to a mapped memory object have not been flushed before the memory is unmapped (or freed), and the virtual address range is subsequently reused for a different mapping (or memory allocation).

Return Codes

Success

• SUCCESS

Failure

• ERROR_OUT_OF_HOST_MEMORY
• ERROR_OUT_OF_DEVICE_MEMORY

See Also

VK_VERSION_1_0, Device, MappedMemoryRange

invalidateMappedMemoryRanges

Arguments

:: forall io. MonadIO io

=> Device

device is the logical device that owns the memory ranges.

device must be a valid Device handle

-> ("memoryRanges" ::: Vector MappedMemoryRange)

pMemoryRanges is a pointer to an array of MappedMemoryRange structures describing the memory ranges to invalidate.

pMemoryRanges must be a valid pointer to an array of memoryRangeCount valid MappedMemoryRange structures

-> io ()

vkInvalidateMappedMemoryRanges - Invalidate ranges of mapped memory objects

Description

invalidateMappedMemoryRanges guarantees that device writes to the memory ranges described by pMemoryRanges, which have been made available to the host memory domain using the ACCESS_HOST_WRITE_BIT and ACCESS_HOST_READ_BIT access types, are made visible to the host. If a range of non-coherent memory is written by the host and then invalidated without first being flushed, its contents are undefined.

Within each range described by pMemoryRanges, each set of nonCoherentAtomSize bytes in that range is invalidated if any byte in that set has been written by the device since it was first host mapped, or the last time it was invalidated.

Note

Mapping non-coherent memory does not implicitly invalidate that memory.

Return Codes

Success

• SUCCESS

Failure

• ERROR_OUT_OF_HOST_MEMORY
• ERROR_OUT_OF_DEVICE_MEMORY

See Also

VK_VERSION_1_0, Device, MappedMemoryRange

getDeviceMemoryCommitment

Arguments

:: forall io. MonadIO io

=> Device

device is the logical device that owns the memory.

device must be a valid Device handle

-> DeviceMemory

memory is the memory object being queried.

memory must have been created with a memory type that reports MEMORY_PROPERTY_LAZILY_ALLOCATED_BIT

memory must be a valid DeviceMemory handle

memory must have been created, allocated, or retrieved from device

-> io ("committedMemoryInBytes" ::: DeviceSize)

vkGetDeviceMemoryCommitment - Query the current commitment for a VkDeviceMemory

Description

The implementation may update the commitment at any time, and the value returned by this query may be out of date.

The implementation guarantees to allocate any committed memory from the heapIndex indicated by the memory type that the memory object was created with.

Valid Usage (Implicit)

See Also

VK_VERSION_1_0, Device, DeviceMemory, DeviceSize

data MemoryAllocateInfo (es :: [Type])

VkMemoryAllocateInfo - Structure containing parameters of a memory allocation

Description

The internal data of an allocated device memory object must include a reference to implementation-specific resources, referred to as the memory object’s payload. Applications can also import and export that internal data to and from device memory objects to share data between Vulkan instances and other compatible APIs. A MemoryAllocateInfo structure defines a memory import operation if its pNext chain includes one of the following structures:

• ImportMemoryWin32HandleInfoKHR with a non-zero handleType value
• ImportMemoryFdInfoKHR with a non-zero handleType value
• ImportMemoryHostPointerInfoEXT with a non-zero handleType value
• ImportAndroidHardwareBufferInfoANDROID with a non-NULL buffer value
• ImportMemoryZirconHandleInfoFUCHSIA with a non-zero handleType value
• ImportMemoryBufferCollectionFUCHSIA

If the parameters define an import operation and the external handle type is EXTERNAL_MEMORY_HANDLE_TYPE_D3D11_TEXTURE_BIT, EXTERNAL_MEMORY_HANDLE_TYPE_D3D11_TEXTURE_KMT_BIT, or EXTERNAL_MEMORY_HANDLE_TYPE_D3D12_RESOURCE_BIT, allocationSize is ignored. The implementation must query the size of these allocations from the OS.

Whether device memory objects constructed via a memory import operation hold a reference to their payload depends on the properties of the handle type used to perform the import, as defined below for each valid handle type. Importing memory must not modify the content of the memory. Implementations must ensure that importing memory does not enable the importing Vulkan instance to access any memory or resources in other Vulkan instances other than that corresponding to the memory object imported. Implementations must also ensure accessing imported memory which has not been initialized does not allow the importing Vulkan instance to obtain data from the exporting Vulkan instance or vice-versa.

Note

How exported and imported memory is isolated is left to the implementation, but applications should be aware that such isolation may prevent implementations from placing multiple exportable memory objects in the same physical or virtual page. Hence, applications should avoid creating many small external memory objects whenever possible.

Importing memory must not increase overall heap usage within a system. However, it must affect the following per-process values:

• PhysicalDeviceMaintenance3Properties::maxMemoryAllocationCount
• PhysicalDeviceMemoryBudgetPropertiesEXT::heapUsage

When performing a memory import operation, it is the responsibility of the application to ensure the external handles and their associated payloads meet all valid usage requirements. However, implementations must perform sufficient validation of external handles and payloads to ensure that the operation results in a valid memory object which will not cause program termination, device loss, queue stalls, or corruption of other resources when used as allowed according to its allocation parameters. If the external handle provided does not meet these requirements, the implementation must fail the memory import operation with the error code ERROR_INVALID_EXTERNAL_HANDLE.

Valid Usage

• The parameters must not define more than one import operation

• If the parameters define an import operation from an BufferCollectionFUCHSIA, and MemoryDedicatedAllocateInfo::buffer is present and non-NULL, ImportMemoryBufferCollectionFUCHSIA::collection and ImportMemoryBufferCollectionFUCHSIA::index must match BufferCollectionBufferCreateInfoFUCHSIA::collection and BufferCollectionBufferCreateInfoFUCHSIA::index, respectively, of the BufferCollectionBufferCreateInfoFUCHSIA structure used to create the MemoryDedicatedAllocateInfo::buffer
• If the parameters define an import operation from an BufferCollectionFUCHSIA, and MemoryDedicatedAllocateInfo::image is present and non-NULL, ImportMemoryBufferCollectionFUCHSIA::collection and ImportMemoryBufferCollectionFUCHSIA::index must match BufferCollectionImageCreateInfoFUCHSIA::collection and BufferCollectionImageCreateInfoFUCHSIA::index, respectively, of the BufferCollectionImageCreateInfoFUCHSIA structure used to create the MemoryDedicatedAllocateInfo::image
• If the parameters define an import operation from an BufferCollectionFUCHSIA, allocationSize must match MemoryRequirements::size value retrieved by getImageMemoryRequirements or getBufferMemoryRequirements for image-based or buffer-based collections respectively
• If the parameters define an import operation from an BufferCollectionFUCHSIA, the pNext chain must include a MemoryDedicatedAllocateInfo structure with either its image or buffer field set to a value other than NULL_HANDLE.
• If the parameters define an import operation from an BufferCollectionFUCHSIA and MemoryDedicatedAllocateInfo::image is not NULL_HANDLE, the image must be created with a BufferCollectionImageCreateInfoFUCHSIA structure chained to its ImageCreateInfo::pNext pointer
• If the parameters define an import operation from an BufferCollectionFUCHSIA and MemoryDedicatedAllocateInfo::buffer is not NULL_HANDLE, the buffer must be created with a BufferCollectionBufferCreateInfoFUCHSIA structure chained to its BufferCreateInfo::pNext pointer
• If the parameters define an import operation from an BufferCollectionFUCHSIA, memoryTypeIndex must be from BufferCollectionPropertiesFUCHSIA as retrieved by getBufferCollectionPropertiesFUCHSIA.
• If the pNext chain includes a ExportMemoryAllocateInfo structure, and any of the handle types specified in ExportMemoryAllocateInfo::handleTypes require a dedicated allocation, as reported by getPhysicalDeviceImageFormatProperties2 in ExternalImageFormatProperties::externalMemoryProperties.externalMemoryFeatures or ExternalBufferProperties::externalMemoryProperties.externalMemoryFeatures, the pNext chain must include a MemoryDedicatedAllocateInfo or DedicatedAllocationMemoryAllocateInfoNV structure with either its image or buffer member set to a value other than NULL_HANDLE
• If the pNext chain includes a ExportMemoryAllocateInfo structure, it must not include a ExportMemoryAllocateInfoNV or ExportMemoryWin32HandleInfoNV structure
• If the pNext chain includes a ImportMemoryWin32HandleInfoKHR structure, it must not include a ImportMemoryWin32HandleInfoNV structure
• If the parameters define an import operation, the external handle specified was created by the Vulkan API, and the external handle type is EXTERNAL_MEMORY_HANDLE_TYPE_OPAQUE_FD_BIT, then the values of allocationSize and memoryTypeIndex must match those specified when the payload being imported was created
• If the parameters define an import operation and the external handle specified was created by the Vulkan API, the device mask specified by MemoryAllocateFlagsInfo must match the mask specified when the payload being imported was allocated
• If the parameters define an import operation and the external handle specified was created by the Vulkan API, the list of physical devices that comprise the logical device passed to allocateMemory must match the list of physical devices that comprise the logical device on which the payload was originally allocated
• If the parameters define an import operation and the external handle is an NT handle or a global share handle created outside of the Vulkan API, the value of memoryTypeIndex must be one of those returned by getMemoryWin32HandlePropertiesKHR
• If the parameters define an import operation, the external handle was created by the Vulkan API, and the external handle type is EXTERNAL_MEMORY_HANDLE_TYPE_OPAQUE_WIN32_BIT or EXTERNAL_MEMORY_HANDLE_TYPE_OPAQUE_WIN32_KMT_BIT, then the values of allocationSize and memoryTypeIndex must match those specified when the payload being imported was created
• If the parameters define an import operation and the external handle type is EXTERNAL_MEMORY_HANDLE_TYPE_D3D12_HEAP_BIT, allocationSize must match the size specified when creating the Direct3D 12 heap from which the payload was extracted
• If the parameters define an import operation and the external handle is a POSIX file descriptor created outside of the Vulkan API, the value of memoryTypeIndex must be one of those returned by getMemoryFdPropertiesKHR
• If the protected memory feature is not enabled, the MemoryAllocateInfo::memoryTypeIndex must not indicate a memory type that reports MEMORY_PROPERTY_PROTECTED_BIT
• If the parameters define an import operation and the external handle is a host pointer, the value of memoryTypeIndex must be one of those returned by getMemoryHostPointerPropertiesEXT
• If the parameters define an import operation and the external handle is a host pointer, allocationSize must be an integer multiple of PhysicalDeviceExternalMemoryHostPropertiesEXT::minImportedHostPointerAlignment
• If the parameters define an import operation and the external handle is a host pointer, the pNext chain must not include a DedicatedAllocationMemoryAllocateInfoNV structure with either its image or buffer field set to a value other than NULL_HANDLE
• If the parameters define an import operation and the external handle is a host pointer, the pNext chain must not include a MemoryDedicatedAllocateInfo structure with either its image or buffer field set to a value other than NULL_HANDLE
• If the parameters define an import operation and the external handle type is EXTERNAL_MEMORY_HANDLE_TYPE_ANDROID_HARDWARE_BUFFER_BIT_ANDROID, allocationSize must be the size returned by getAndroidHardwareBufferPropertiesANDROID for the Android hardware buffer
• If the parameters define an import operation and the external handle type is EXTERNAL_MEMORY_HANDLE_TYPE_ANDROID_HARDWARE_BUFFER_BIT_ANDROID, and the pNext chain does not include a MemoryDedicatedAllocateInfo structure or MemoryDedicatedAllocateInfo::image is NULL_HANDLE, the Android hardware buffer must have a AHardwareBuffer_Desc::format of AHARDWAREBUFFER_FORMAT_BLOB and a AHardwareBuffer_Desc::usage that includes AHARDWAREBUFFER_USAGE_GPU_DATA_BUFFER
• If the parameters define an import operation and the external handle type is EXTERNAL_MEMORY_HANDLE_TYPE_ANDROID_HARDWARE_BUFFER_BIT_ANDROID, memoryTypeIndex must be one of those returned by getAndroidHardwareBufferPropertiesANDROID for the Android hardware buffer
• If the parameters do not define an import operation, and the pNext chain includes a ExportMemoryAllocateInfo structure with EXTERNAL_MEMORY_HANDLE_TYPE_ANDROID_HARDWARE_BUFFER_BIT_ANDROID included in its handleTypes member, and the pNext chain includes a MemoryDedicatedAllocateInfo structure with image not equal to NULL_HANDLE, then allocationSize must be 0, otherwise allocationSize must be greater than 0
• If the parameters define an import operation, the external handle is an Android hardware buffer, and the pNext chain includes a MemoryDedicatedAllocateInfo with image that is not NULL_HANDLE, the Android hardware buffer’s AHardwareBuffer::usage must include at least one of AHARDWAREBUFFER_USAGE_GPU_FRAMEBUFFER, AHARDWAREBUFFER_USAGE_GPU_SAMPLED_IMAGE or AHARDWAREBUFFER_USAGE_GPU_DATA_BUFFER
• If the parameters define an import operation, the external handle is an Android hardware buffer, and the pNext chain includes a MemoryDedicatedAllocateInfo with image that is not NULL_HANDLE, the format of image must be FORMAT_UNDEFINED or the format returned by getAndroidHardwareBufferPropertiesANDROID in AndroidHardwareBufferFormatPropertiesANDROID::format for the Android hardware buffer
• If the parameters define an import operation, the external handle is an Android hardware buffer, and the pNext chain includes a MemoryDedicatedAllocateInfo structure with image that is not NULL_HANDLE, the width, height, and array layer dimensions of image and the Android hardware buffer’s AHardwareBuffer_Desc must be identical
• If the parameters define an import operation, the external handle is an Android hardware buffer, and the pNext chain includes a MemoryDedicatedAllocateInfo structure with image that is not NULL_HANDLE, and the Android hardware buffer’s AHardwareBuffer::usage includes AHARDWAREBUFFER_USAGE_GPU_MIPMAP_COMPLETE, the image must have a complete mipmap chain
• If the parameters define an import operation, the external handle is an Android hardware buffer, and the pNext chain includes a MemoryDedicatedAllocateInfo structure with image that is not NULL_HANDLE, and the Android hardware buffer’s AHardwareBuffer::usage does not include AHARDWAREBUFFER_USAGE_GPU_MIPMAP_COMPLETE, the image must have exactly one mipmap level
• If the parameters define an import operation, the external handle is an Android hardware buffer, and the pNext chain includes a MemoryDedicatedAllocateInfo structure with image that is not NULL_HANDLE, each bit set in the usage of image must be listed in AHardwareBuffer Usage Equivalence, and if there is a corresponding AHARDWAREBUFFER_USAGE bit listed that bit must be included in the Android hardware buffer’s AHardwareBuffer_Desc::usage
• If MemoryOpaqueCaptureAddressAllocateInfo::opaqueCaptureAddress is not zero, MemoryAllocateFlagsInfo::flags must include MEMORY_ALLOCATE_DEVICE_ADDRESS_CAPTURE_REPLAY_BIT
• If MemoryAllocateFlagsInfo::flags includes MEMORY_ALLOCATE_DEVICE_ADDRESS_CAPTURE_REPLAY_BIT, the bufferDeviceAddressCaptureReplay feature must be enabled
• If MemoryAllocateFlagsInfo::flags includes MEMORY_ALLOCATE_DEVICE_ADDRESS_BIT, the bufferDeviceAddress feature must be enabled
• If the pNext chain includes a ImportMemoryHostPointerInfoEXT structure, MemoryOpaqueCaptureAddressAllocateInfo::opaqueCaptureAddress must be zero
• If the parameters define an import operation, MemoryOpaqueCaptureAddressAllocateInfo::opaqueCaptureAddress must be zero
• If the parameters define an import operation and the external handle type is EXTERNAL_MEMORY_HANDLE_TYPE_ZIRCON_VMO_BIT_FUCHSIA, the value of memoryTypeIndex must be an index identifying a memory type from the memoryTypeBits field of the MemoryZirconHandlePropertiesFUCHSIA structure populated by a call to getMemoryZirconHandlePropertiesFUCHSIA
• If the parameters define an import operation and the external handle type is EXTERNAL_MEMORY_HANDLE_TYPE_ZIRCON_VMO_BIT_FUCHSIA, the value of allocationSize must be greater than 0 and must be less than or equal to the size of the VMO as determined by zx_vmo_get_size(handle) where handle is the VMO handle to the imported external memory

Valid Usage (Implicit)

• sType must be STRUCTURE_TYPE_MEMORY_ALLOCATE_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 DedicatedAllocationMemoryAllocateInfoNV, ExportMemoryAllocateInfo, ExportMemoryAllocateInfoNV, ExportMemoryWin32HandleInfoKHR, ExportMemoryWin32HandleInfoNV, ImportAndroidHardwareBufferInfoANDROID, ImportMemoryBufferCollectionFUCHSIA, ImportMemoryFdInfoKHR, ImportMemoryHostPointerInfoEXT, ImportMemoryWin32HandleInfoKHR, ImportMemoryWin32HandleInfoNV, ImportMemoryZirconHandleInfoFUCHSIA, MemoryAllocateFlagsInfo, MemoryDedicatedAllocateInfo, MemoryOpaqueCaptureAddressAllocateInfo, or MemoryPriorityAllocateInfoEXT
• The sType value of each struct in the pNext chain must be unique

See Also

VK_VERSION_1_0, DeviceSize, StructureType, allocateMemory

Constructors

MemoryAllocateInfo

Fields

• next :: Chain es

  pNext is NULL or a pointer to a structure extending this structure.

• allocationSize :: DeviceSize

  allocationSize is the size of the allocation in bytes.

• memoryTypeIndex :: Word32

  memoryTypeIndex is an index identifying a memory type from the memoryTypes array of the PhysicalDeviceMemoryProperties structure.

Instances

Extensible MemoryAllocateInfo

Defined in Vulkan.Core10.Memory

Methods

extensibleTypeName :: String

getNext :: forall (es :: [Type]). MemoryAllocateInfo es -> Chain es

setNext :: forall (ds :: [Type]) (es :: [Type]). MemoryAllocateInfo ds -> Chain es -> MemoryAllocateInfo es

extends :: forall e b proxy. Typeable e => proxy e -> (Extends MemoryAllocateInfo e => b) -> Maybe b

Show (Chain es) => Show (MemoryAllocateInfo es)

Defined in Vulkan.Core10.Memory

Methods

showsPrec :: Int -> MemoryAllocateInfo es -> ShowS

show :: MemoryAllocateInfo es -> String

showList :: [MemoryAllocateInfo es] -> ShowS

(Extendss MemoryAllocateInfo es, PeekChain es) => FromCStruct (MemoryAllocateInfo es)

Defined in Vulkan.Core10.Memory

Methods

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

(Extendss MemoryAllocateInfo es, PokeChain es) => ToCStruct (MemoryAllocateInfo es)

Defined in Vulkan.Core10.Memory

Methods

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

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

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

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

cStructSize :: Int

cStructAlignment :: Int

es ~ ('[] :: [Type]) => Zero (MemoryAllocateInfo es)

Defined in Vulkan.Core10.Memory

Methods

zero :: MemoryAllocateInfo es

data MappedMemoryRange

VkMappedMemoryRange - Structure specifying a mapped memory range

Valid Usage

• memory must be currently host mapped

• If size is not equal to WHOLE_SIZE, offset and size must specify a range contained within the currently mapped range of memory
• If size is equal to WHOLE_SIZE, offset must be within the currently mapped range of memory
• offset must be a multiple of PhysicalDeviceLimits::nonCoherentAtomSize
• If size is equal to WHOLE_SIZE, the end of the current mapping of memory must either be a multiple of PhysicalDeviceLimits::nonCoherentAtomSize bytes from the beginning of the memory object, or be equal to the end of the memory object
• If size is not equal to WHOLE_SIZE, size must either be a multiple of PhysicalDeviceLimits::nonCoherentAtomSize, or offset plus size must equal the size of memory

Valid Usage (Implicit)

• sType must be STRUCTURE_TYPE_MAPPED_MEMORY_RANGE

• pNext must be NULL
• memory must be a valid DeviceMemory handle

See Also

VK_VERSION_1_0, DeviceMemory, DeviceSize, StructureType, flushMappedMemoryRanges, invalidateMappedMemoryRanges

Constructors

MappedMemoryRange

Fields

• memory :: DeviceMemory

  memory is the memory object to which this range belongs.

• offset :: DeviceSize

  offset is the zero-based byte offset from the beginning of the memory object.

• size :: DeviceSize

  size is either the size of range, or WHOLE_SIZE to affect the range from offset to the end of the current mapping of the allocation.

Instances

Eq MappedMemoryRange

Defined in Vulkan.Core10.Memory

Methods

(==) :: MappedMemoryRange -> MappedMemoryRange -> Bool

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

Show MappedMemoryRange

Defined in Vulkan.Core10.Memory

Methods

showsPrec :: Int -> MappedMemoryRange -> ShowS

show :: MappedMemoryRange -> String

showList :: [MappedMemoryRange] -> ShowS

Storable MappedMemoryRange

Defined in Vulkan.Core10.Memory

Methods

sizeOf :: MappedMemoryRange -> Int

alignment :: MappedMemoryRange -> Int

peekElemOff :: Ptr MappedMemoryRange -> Int -> IO MappedMemoryRange

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

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

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

peek :: Ptr MappedMemoryRange -> IO MappedMemoryRange

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

FromCStruct MappedMemoryRange

Defined in Vulkan.Core10.Memory

Methods

peekCStruct :: Ptr MappedMemoryRange -> IO MappedMemoryRange

ToCStruct MappedMemoryRange

Defined in Vulkan.Core10.Memory

Methods

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

pokeCStruct :: Ptr MappedMemoryRange -> MappedMemoryRange -> IO b -> IO b

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

pokeZeroCStruct :: Ptr MappedMemoryRange -> IO b -> IO b

cStructSize :: Int

cStructAlignment :: Int

Zero MappedMemoryRange

Defined in Vulkan.Core10.Memory

Methods

zero :: MappedMemoryRange

newtype MemoryMapFlags

VkMemoryMapFlags - Reserved for future use

Description

MemoryMapFlags is a bitmask type for setting a mask, but is currently reserved for future use.

See Also

VK_VERSION_1_0, mapMemory

Constructors

MemoryMapFlags Flags

Instances

Eq MemoryMapFlags

Defined in Vulkan.Core10.Enums.MemoryMapFlags

Methods

(==) :: MemoryMapFlags -> MemoryMapFlags -> Bool

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

Ord MemoryMapFlags

Defined in Vulkan.Core10.Enums.MemoryMapFlags

Methods

compare :: MemoryMapFlags -> MemoryMapFlags -> Ordering

(<) :: MemoryMapFlags -> MemoryMapFlags -> Bool

(<=) :: MemoryMapFlags -> MemoryMapFlags -> Bool

(>) :: MemoryMapFlags -> MemoryMapFlags -> Bool

(>=) :: MemoryMapFlags -> MemoryMapFlags -> Bool

max :: MemoryMapFlags -> MemoryMapFlags -> MemoryMapFlags

min :: MemoryMapFlags -> MemoryMapFlags -> MemoryMapFlags

Read MemoryMapFlags

Defined in Vulkan.Core10.Enums.MemoryMapFlags

Methods

readsPrec :: Int -> ReadS MemoryMapFlags

readList :: ReadS [MemoryMapFlags]

readPrec :: ReadPrec MemoryMapFlags

readListPrec :: ReadPrec [MemoryMapFlags]

Show MemoryMapFlags

Defined in Vulkan.Core10.Enums.MemoryMapFlags

Methods

showsPrec :: Int -> MemoryMapFlags -> ShowS

show :: MemoryMapFlags -> String

showList :: [MemoryMapFlags] -> ShowS

Storable MemoryMapFlags

Defined in Vulkan.Core10.Enums.MemoryMapFlags

Methods

sizeOf :: MemoryMapFlags -> Int

alignment :: MemoryMapFlags -> Int

peekElemOff :: Ptr MemoryMapFlags -> Int -> IO MemoryMapFlags

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

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

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

peek :: Ptr MemoryMapFlags -> IO MemoryMapFlags

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

Bits MemoryMapFlags

Defined in Vulkan.Core10.Enums.MemoryMapFlags

Methods

(.&.) :: MemoryMapFlags -> MemoryMapFlags -> MemoryMapFlags

(.|.) :: MemoryMapFlags -> MemoryMapFlags -> MemoryMapFlags

xor :: MemoryMapFlags -> MemoryMapFlags -> MemoryMapFlags

complement :: MemoryMapFlags -> MemoryMapFlags

shift :: MemoryMapFlags -> Int -> MemoryMapFlags

rotate :: MemoryMapFlags -> Int -> MemoryMapFlags

zeroBits :: MemoryMapFlags

bit :: Int -> MemoryMapFlags

setBit :: MemoryMapFlags -> Int -> MemoryMapFlags

clearBit :: MemoryMapFlags -> Int -> MemoryMapFlags

complementBit :: MemoryMapFlags -> Int -> MemoryMapFlags

testBit :: MemoryMapFlags -> Int -> Bool

bitSizeMaybe :: MemoryMapFlags -> Maybe Int

bitSize :: MemoryMapFlags -> Int

isSigned :: MemoryMapFlags -> Bool

shiftL :: MemoryMapFlags -> Int -> MemoryMapFlags

unsafeShiftL :: MemoryMapFlags -> Int -> MemoryMapFlags

shiftR :: MemoryMapFlags -> Int -> MemoryMapFlags

unsafeShiftR :: MemoryMapFlags -> Int -> MemoryMapFlags

rotateL :: MemoryMapFlags -> Int -> MemoryMapFlags

rotateR :: MemoryMapFlags -> Int -> MemoryMapFlags

popCount :: MemoryMapFlags -> Int

FiniteBits MemoryMapFlags

Defined in Vulkan.Core10.Enums.MemoryMapFlags

Methods

finiteBitSize :: MemoryMapFlags -> Int

countLeadingZeros :: MemoryMapFlags -> Int

countTrailingZeros :: MemoryMapFlags -> Int

Zero MemoryMapFlags

Defined in Vulkan.Core10.Enums.MemoryMapFlags

Methods

zero :: MemoryMapFlags