/* Copyright (c) 2015-2024 The Khronos Group Inc. * Copyright (c) 2015-2024 Valve Corporation * Copyright (c) 2015-2024 LunarG, Inc. * Copyright (C) 2015-2024 Google Inc. * Modifications Copyright (C) 2020-2022 Advanced Micro Devices, Inc. All rights reserved. * * Licensed under the Apache License, Version 2.0 (the "License"); * you may not use this file except in compliance with the License. * You may obtain a copy of the License at * * http://www.apache.org/licenses/LICENSE-2.0 * * Unless required by applicable law or agreed to in writing, software * distributed under the License is distributed on an "AS IS" BASIS, * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. * See the License for the specific language governing permissions and * limitations under the License. */ #include <algorithm> #include <assert.h> #include <string> #include <vulkan/vk_enum_string_helper.h> #include "generated/chassis.h" #include "core_checks/core_validation.h" #include "sync/sync_utils.h" #include "sync/sync_vuid_maps.h" #include "generated/enum_flag_bits.h" #include "state_tracker/queue_state.h" #include "state_tracker/fence_state.h" #include "state_tracker/semaphore_state.h" #include "state_tracker/image_state.h" #include "state_tracker/buffer_state.h" #include "state_tracker/device_state.h" #include "state_tracker/sampler_state.h" #include "state_tracker/render_pass_state.h" BufferBarrier; ImageBarrier; MemoryBarrier; QueueFamilyBarrier; ReadLockGuard CoreChecks::ReadLock() const { … } WriteLockGuard CoreChecks::WriteLock() { … } struct TimelineMaxDiffCheck { … }; bool CoreChecks::ValidateStageMaskHost(const LogObjectList &objlist, const Location &stage_mask_loc, VkPipelineStageFlags2KHR stageMask) const { … } bool CoreChecks::ValidateFenceForSubmit(const vvl::Fence &fence_state, const char *inflight_vuid, const char *retired_vuid, const LogObjectList &objlist, const Location &loc) const { … } bool SemaphoreSubmitState::ValidateBinaryWait(const Location &loc, VkQueue queue, const vvl::Semaphore &semaphore_state) { … } bool SemaphoreSubmitState::ValidateWaitSemaphore(const Location &wait_semaphore_loc, const vvl::Semaphore &semaphore_state, uint64_t value) { … } bool SemaphoreSubmitState::ValidateSignalSemaphore(const Location &signal_semaphore_loc, const vvl::Semaphore &semaphore_state, uint64_t value) { … } bool CoreChecks::ValidateSemaphoresForSubmit(SemaphoreSubmitState &state, const VkSubmitInfo &submit, const Location &submit_loc) const { … } bool CoreChecks::ValidateSemaphoresForSubmit(SemaphoreSubmitState &state, const VkSubmitInfo2KHR &submit, const Location &submit_loc) const { … } bool CoreChecks::ValidateSemaphoresForSubmit(SemaphoreSubmitState &state, const VkBindSparseInfo &submit, const Location &submit_loc) const { … } bool CoreChecks::PreCallValidateCreateFence(VkDevice device, const VkFenceCreateInfo *pCreateInfo, const VkAllocationCallbacks *pAllocator, VkFence *pFence, const ErrorObject &error_obj) const { … } bool CoreChecks::PreCallValidateCreateSemaphore(VkDevice device, const VkSemaphoreCreateInfo *pCreateInfo, const VkAllocationCallbacks *pAllocator, VkSemaphore *pSemaphore, const ErrorObject &error_obj) const { … } bool CoreChecks::PreCallValidateWaitSemaphoresKHR(VkDevice device, const VkSemaphoreWaitInfo *pWaitInfo, uint64_t timeout, const ErrorObject &error_obj) const { … } bool CoreChecks::PreCallValidateWaitSemaphores(VkDevice device, const VkSemaphoreWaitInfo *pWaitInfo, uint64_t timeout, const ErrorObject &error_obj) const { … } bool CoreChecks::PreCallValidateDestroyFence(VkDevice device, VkFence fence, const VkAllocationCallbacks *pAllocator, const ErrorObject &error_obj) const { … } bool CoreChecks::PreCallValidateResetFences(VkDevice device, uint32_t fenceCount, const VkFence *pFences, const ErrorObject &error_obj) const { … } bool CoreChecks::PreCallValidateDestroySemaphore(VkDevice device, VkSemaphore semaphore, const VkAllocationCallbacks *pAllocator, const ErrorObject &error_obj) const { … } bool CoreChecks::PreCallValidateDestroyEvent(VkDevice device, VkEvent event, const VkAllocationCallbacks *pAllocator, const ErrorObject &error_obj) const { … } bool CoreChecks::PreCallValidateDestroySampler(VkDevice device, VkSampler sampler, const VkAllocationCallbacks *pAllocator, const ErrorObject &error_obj) const { … } bool CoreChecks::PreCallValidateCmdSetEvent(VkCommandBuffer commandBuffer, VkEvent event, VkPipelineStageFlags stageMask, const ErrorObject &error_obj) const { … } bool CoreChecks::PreCallValidateCmdSetEvent2(VkCommandBuffer commandBuffer, VkEvent event, const VkDependencyInfoKHR *pDependencyInfo, const ErrorObject &error_obj) const { … } bool CoreChecks::PreCallValidateCmdSetEvent2KHR(VkCommandBuffer commandBuffer, VkEvent event, const VkDependencyInfoKHR *pDependencyInfo, const ErrorObject &error_obj) const { … } bool CoreChecks::PreCallValidateCmdResetEvent(VkCommandBuffer commandBuffer, VkEvent event, VkPipelineStageFlags stageMask, const ErrorObject &error_obj) const { … } bool CoreChecks::PreCallValidateCmdResetEvent2(VkCommandBuffer commandBuffer, VkEvent event, VkPipelineStageFlags2 stageMask, const ErrorObject &error_obj) const { … } bool CoreChecks::PreCallValidateCmdResetEvent2KHR(VkCommandBuffer commandBuffer, VkEvent event, VkPipelineStageFlags2KHR stageMask, const ErrorObject &error_obj) const { … } struct RenderPassDepState { … }; // If inside a renderpass, validate bool CoreChecks::ValidateRenderPassPipelineStage(VkRenderPass render_pass, const Location &loc, VkPipelineStageFlags2 src_stage_mask, VkPipelineStageFlags2 dst_stage_mask) const { … } // Validate VUs for Pipeline Barriers that are within a renderPass // Pre: cb_state->activeRenderPass must be a pointer to valid renderPass state bool CoreChecks::ValidateRenderPassPipelineBarriers(const Location &outer_loc, const vvl::CommandBuffer &cb_state, VkPipelineStageFlags src_stage_mask, VkPipelineStageFlags dst_stage_mask, VkDependencyFlags dependency_flags, uint32_t mem_barrier_count, const VkMemoryBarrier *mem_barriers, uint32_t buffer_mem_barrier_count, const VkBufferMemoryBarrier *buffer_mem_barriers, uint32_t image_mem_barrier_count, const VkImageMemoryBarrier *image_barriers) const { … } bool CoreChecks::ValidateRenderPassPipelineBarriers(const Location &outer_loc, const vvl::CommandBuffer &cb_state, const VkDependencyInfoKHR &dep_info) const { … } bool CoreChecks::ValidateStageMasksAgainstQueueCapabilities(const LogObjectList &objlist, const Location &stage_mask_loc, VkQueueFlags queue_flags, VkPipelineStageFlags2KHR stage_mask) const { … } bool CoreChecks::ValidatePipelineStageFeatureEnables(const LogObjectList &objlist, const Location &stage_mask_loc, VkPipelineStageFlags2KHR stage_mask) const { … } bool CoreChecks::ValidatePipelineStage(const LogObjectList &objlist, const Location &stage_mask_loc, VkQueueFlags queue_flags, VkPipelineStageFlags2KHR stage_mask) const { … } bool CoreChecks::ValidateAccessMask(const LogObjectList &objlist, const Location &access_mask_loc, const Location &stage_mask_loc, VkQueueFlags queue_flags, VkAccessFlags2KHR access_mask, VkPipelineStageFlags2KHR stage_mask) const { … } bool CoreChecks::ValidateWaitEventsAtSubmit(vvl::Func command, const vvl::CommandBuffer &cb_state, size_t eventCount, size_t firstEventIndex, VkPipelineStageFlags2 sourceStageMask, const EventMap &local_event_signal_info, VkQueue waiting_queue, const Location &loc) { … } bool CoreChecks::PreCallValidateCmdWaitEvents(VkCommandBuffer commandBuffer, uint32_t eventCount, const VkEvent *pEvents, VkPipelineStageFlags srcStageMask, VkPipelineStageFlags dstStageMask, uint32_t memoryBarrierCount, const VkMemoryBarrier *pMemoryBarriers, uint32_t bufferMemoryBarrierCount, const VkBufferMemoryBarrier *pBufferMemoryBarriers, uint32_t imageMemoryBarrierCount, const VkImageMemoryBarrier *pImageMemoryBarriers, const ErrorObject &error_obj) const { … } bool CoreChecks::PreCallValidateCmdWaitEvents2(VkCommandBuffer commandBuffer, uint32_t eventCount, const VkEvent *pEvents, const VkDependencyInfo *pDependencyInfos, const ErrorObject &error_obj) const { … } bool CoreChecks::PreCallValidateCmdWaitEvents2KHR(VkCommandBuffer commandBuffer, uint32_t eventCount, const VkEvent *pEvents, const VkDependencyInfoKHR *pDependencyInfos, const ErrorObject &error_obj) const { … } void CoreChecks::PreCallRecordCmdWaitEvents(VkCommandBuffer commandBuffer, uint32_t eventCount, const VkEvent *pEvents, VkPipelineStageFlags sourceStageMask, VkPipelineStageFlags dstStageMask, uint32_t memoryBarrierCount, const VkMemoryBarrier *pMemoryBarriers, uint32_t bufferMemoryBarrierCount, const VkBufferMemoryBarrier *pBufferMemoryBarriers, uint32_t imageMemoryBarrierCount, const VkImageMemoryBarrier *pImageMemoryBarriers, const RecordObject &record_obj) { … } void CoreChecks::RecordCmdWaitEvents2(VkCommandBuffer commandBuffer, uint32_t eventCount, const VkEvent *pEvents, const VkDependencyInfo *pDependencyInfos, Func command) { … } void CoreChecks::PreCallRecordCmdWaitEvents2KHR(VkCommandBuffer commandBuffer, uint32_t eventCount, const VkEvent *pEvents, const VkDependencyInfoKHR *pDependencyInfos, const RecordObject &record_obj) { … } void CoreChecks::PreCallRecordCmdWaitEvents2(VkCommandBuffer commandBuffer, uint32_t eventCount, const VkEvent *pEvents, const VkDependencyInfo *pDependencyInfos, const RecordObject &record_obj) { … } void CoreChecks::PostCallRecordCmdWaitEvents(VkCommandBuffer commandBuffer, uint32_t eventCount, const VkEvent *pEvents, VkPipelineStageFlags sourceStageMask, VkPipelineStageFlags dstStageMask, uint32_t memoryBarrierCount, const VkMemoryBarrier *pMemoryBarriers, uint32_t bufferMemoryBarrierCount, const VkBufferMemoryBarrier *pBufferMemoryBarriers, uint32_t imageMemoryBarrierCount, const VkImageMemoryBarrier *pImageMemoryBarriers, const RecordObject &record_obj) { … } void CoreChecks::PostCallRecordCmdWaitEvents2KHR(VkCommandBuffer commandBuffer, uint32_t eventCount, const VkEvent *pEvents, const VkDependencyInfoKHR *pDependencyInfos, const RecordObject &record_obj) { … } void CoreChecks::PostCallRecordCmdWaitEvents2(VkCommandBuffer commandBuffer, uint32_t eventCount, const VkEvent *pEvents, const VkDependencyInfo *pDependencyInfos, const RecordObject &record_obj) { … } bool CoreChecks::PreCallValidateCmdPipelineBarrier( VkCommandBuffer commandBuffer, VkPipelineStageFlags srcStageMask, VkPipelineStageFlags dstStageMask, VkDependencyFlags dependencyFlags, uint32_t memoryBarrierCount, const VkMemoryBarrier *pMemoryBarriers, uint32_t bufferMemoryBarrierCount, const VkBufferMemoryBarrier *pBufferMemoryBarriers, uint32_t imageMemoryBarrierCount, const VkImageMemoryBarrier *pImageMemoryBarriers, const ErrorObject &error_obj) const { … } bool CoreChecks::PreCallValidateCmdPipelineBarrier2(VkCommandBuffer commandBuffer, const VkDependencyInfo *pDependencyInfo, const ErrorObject &error_obj) const { … } bool CoreChecks::PreCallValidateCmdPipelineBarrier2KHR(VkCommandBuffer commandBuffer, const VkDependencyInfoKHR *pDependencyInfo, const ErrorObject &error_obj) const { … } void CoreChecks::PreCallRecordCmdPipelineBarrier(VkCommandBuffer commandBuffer, VkPipelineStageFlags srcStageMask, VkPipelineStageFlags dstStageMask, VkDependencyFlags dependencyFlags, uint32_t memoryBarrierCount, const VkMemoryBarrier *pMemoryBarriers, uint32_t bufferMemoryBarrierCount, const VkBufferMemoryBarrier *pBufferMemoryBarriers, uint32_t imageMemoryBarrierCount, const VkImageMemoryBarrier *pImageMemoryBarriers, const RecordObject &record_obj) { … } void CoreChecks::PreCallRecordCmdPipelineBarrier2KHR(VkCommandBuffer commandBuffer, const VkDependencyInfoKHR *pDependencyInfo, const RecordObject &record_obj) { … } void CoreChecks::PreCallRecordCmdPipelineBarrier2(VkCommandBuffer commandBuffer, const VkDependencyInfo *pDependencyInfo, const RecordObject &record_obj) { … } bool CoreChecks::PreCallValidateSetEvent(VkDevice device, VkEvent event, const ErrorObject &error_obj) const { … } bool CoreChecks::PreCallValidateResetEvent(VkDevice device, VkEvent event, const ErrorObject &error_obj) const { … } bool CoreChecks::PreCallValidateGetEventStatus(VkDevice device, VkEvent event, const ErrorObject &error_obj) const { … } bool CoreChecks::PreCallValidateSignalSemaphore(VkDevice device, const VkSemaphoreSignalInfo *pSignalInfo, const ErrorObject &error_obj) const { … } bool CoreChecks::PreCallValidateSignalSemaphoreKHR(VkDevice device, const VkSemaphoreSignalInfo *pSignalInfo, const ErrorObject &error_obj) const { … } bool CoreChecks::PreCallValidateGetSemaphoreCounterValue(VkDevice device, VkSemaphore semaphore, uint64_t *pValue, const ErrorObject &error_obj) const { … } bool CoreChecks::PreCallValidateGetSemaphoreCounterValueKHR(VkDevice device, VkSemaphore semaphore, uint64_t *pValue, const ErrorObject &error_obj) const { … } // VkSubpassDependency validation happens when vkCreateRenderPass() is called. // Dependencies between subpasses can only use pipeline stages compatible with VK_QUEUE_GRAPHICS_BIT, // for external subpasses we don't have a yet command buffer so we have to assume all of them are valid. static inline VkQueueFlags SubpassToQueueFlags(uint32_t subpass) { … } bool CoreChecks::ValidateSubpassDependency(const ErrorObject &error_obj, const Location &in_loc, const VkSubpassDependency2 &dependency) const { … } // Verify an ImageMemoryBarrier's old/new ImageLayouts are compatible with the Image's ImageUsageFlags. bool CoreChecks::ValidateBarrierLayoutToImageUsage(const Location &layout_loc, VkImage image, VkImageLayout layout, VkImageUsageFlags usage_flags) const { … } std::vector<uint32_t> GetUsedAttachments(const vvl::CommandBuffer &cb_state) { … } // Verify image barriers are compatible with the images they reference. bool CoreChecks::ValidateBarriersToImages(const Location &barrier_loc, const vvl::CommandBuffer &cb_state, const ImageBarrier &img_barrier, vvl::CommandBuffer::ImageLayoutMap &layout_updates_state) const { … } // Verify image barrier image state and that the image is consistent with FB image bool CoreChecks::ValidateImageBarrierAttachment(const Location &barrier_loc, const vvl::CommandBuffer &cb_state, const vvl::Framebuffer &fb_state, uint32_t active_subpass, const vku::safe_VkSubpassDescription2 &sub_desc, const VkRenderPass rp_handle, const ImageBarrier &img_barrier, const vvl::CommandBuffer *primary_cb_state) const { … } void CoreChecks::EnqueueSubmitTimeValidateImageBarrierAttachment(const Location &loc, vvl::CommandBuffer &cb_state, const ImageBarrier &barrier) { … } template <typename Barrier, typename TransferBarrier> void CoreChecks::RecordBarrierValidationInfo(const Location &loc, vvl::CommandBuffer &cb_state, const Barrier &barrier, QFOTransferBarrierSets<TransferBarrier> &barrier_sets) { … } void CoreChecks::RecordBarriers(Func func_name, vvl::CommandBuffer &cb_state, VkPipelineStageFlags src_stage_mask, VkPipelineStageFlags dst_stage_mask, uint32_t bufferBarrierCount, const VkBufferMemoryBarrier *pBufferMemBarriers, uint32_t imageMemBarrierCount, const VkImageMemoryBarrier *pImageMemBarriers) { … } void CoreChecks::RecordBarriers(Func func_name, vvl::CommandBuffer &cb_state, const VkDependencyInfoKHR &dep_info) { … } template <typename TransferBarrier, typename Scoreboard> bool CoreChecks::ValidateAndUpdateQFOScoreboard(const vvl::CommandBuffer &cb_state, const char *operation, const TransferBarrier &barrier, Scoreboard *scoreboard, const Location &loc) const { … } template <typename TransferBarrier> bool CoreChecks::ValidateQueuedQFOTransferBarriers(const vvl::CommandBuffer &cb_state, QFOTransferCBScoreboards<TransferBarrier> *scoreboards, const GlobalQFOTransferBarrierMap<TransferBarrier> &global_release_barriers, const Location &loc) const { … } bool CoreChecks::ValidateQueuedQFOTransfers(const vvl::CommandBuffer &cb_state, QFOTransferCBScoreboards<QFOImageTransferBarrier> *qfo_image_scoreboards, QFOTransferCBScoreboards<QFOBufferTransferBarrier> *qfo_buffer_scoreboards, const Location &loc) const { … } template <typename TransferBarrier> void RecordQueuedQFOTransferBarriers(QFOTransferBarrierSets<TransferBarrier> &cb_barriers, GlobalQFOTransferBarrierMap<TransferBarrier> &global_release_barriers) { … } void CoreChecks::RecordQueuedQFOTransfers(vvl::CommandBuffer &cb_state) { … } template <typename Barrier, typename TransferBarrier> bool CoreChecks::ValidateQFOTransferBarrierUniqueness(const Location &barrier_loc, const vvl::CommandBuffer &cb_state, const Barrier &barrier, const QFOTransferBarrierSets<TransferBarrier> &barrier_sets) const { … } namespace barrier_queue_families { GetBarrierQueueVUID; GetQueueErrorSummaryMap; QueueError; class ValidatorState { … }; static bool Validate(const CoreChecks *device_data, const ValidatorState &val, const uint32_t src_queue_family, const uint32_t dst_queue_family) { … } static bool ValidateHostStage(const ValidationObject *validation_obj, const LogObjectList &objects, const Location &barrier_loc, const QueueFamilyBarrier &barrier) { … } } // namespace barrier_queue_families bool CoreChecks::ValidateConcurrentBarrierAtSubmit(const Location &loc, const ValidationStateTracker &state_data, const vvl::Queue &queue_state, const vvl::CommandBuffer &cb_state, const VulkanTypedHandle &typed_handle, uint32_t src_queue_family, uint32_t dst_queue_family) { … } bool CoreChecks::ValidateBarrierQueueFamilies(const LogObjectList &objects, const Location &barrier_loc, const Location &field_loc, const QueueFamilyBarrier &barrier, const VulkanTypedHandle &handle, VkSharingMode sharing_mode) const { … } bool CoreChecks::ValidateBufferBarrier(const LogObjectList &objects, const Location &barrier_loc, const vvl::CommandBuffer &cb_state, const BufferBarrier &mem_barrier) const { … } bool CoreChecks::ValidateImageBarrier(const LogObjectList &objects, const Location &barrier_loc, const vvl::CommandBuffer &cb_state, const ImageBarrier &mem_barrier) const { … } bool CoreChecks::ValidateBarriers(const Location &outer_loc, const vvl::CommandBuffer &cb_state, VkPipelineStageFlags src_stage_mask, VkPipelineStageFlags dst_stage_mask, uint32_t memBarrierCount, const VkMemoryBarrier *pMemBarriers, uint32_t bufferBarrierCount, const VkBufferMemoryBarrier *pBufferMemBarriers, uint32_t imageMemBarrierCount, const VkImageMemoryBarrier *pImageMemBarriers) const { … } bool CoreChecks::ValidateDependencyInfo(const LogObjectList &objects, const Location &dep_info_loc, const vvl::CommandBuffer &cb_state, const VkDependencyInfoKHR &dep_info) const { … } bool CoreChecks::ValidatePipelineStageForShaderTileImage(const LogObjectList &objlist, const Location &loc, VkPipelineStageFlags2KHR stage_mask, VkDependencyFlags dependency_flags) const { … } bool CoreChecks::IsShaderTileImageUsageValid(VkImageUsageFlags image_usage) const { … } bool CoreChecks::ValidateShaderTileImageBarriers(const LogObjectList &objlist, const Location &outer_loc, const VkDependencyInfo &dep_info) const { … } bool CoreChecks::ValidateShaderTileImageBarriers(const LogObjectList &objlist, const Location &outer_loc, VkDependencyFlags dependency_flags, uint32_t memory_barrier_count, const VkMemoryBarrier *memory_barriers, uint32_t buffer_barrier_count, uint32_t image_barrier_count, const VkImageMemoryBarrier *image_barriers, VkPipelineStageFlags src_stage_mask, VkPipelineStageFlags dst_stage_mask) const { … } bool CoreChecks::ValidateShaderTileImageCommon(const LogObjectList &objlist, const Location &outer_loc, VkDependencyFlags dependency_flags, uint32_t buffer_barrier_count, uint32_t image_barrier_count) const { … } bool CoreChecks::ValidateMemoryBarrier(const LogObjectList &objects, const Location &barrier_loc, const vvl::CommandBuffer &cb_state, const MemoryBarrier &barrier, OwnershipTransferOp ownership_transfer_op) const { … }
Codebase Browser
chromium