Vulkan：使用緩衝區別名實現碎片整理方案

Question

假設我有一個VkBuffer綁定到每個設備分配，並使用vkCmdCopyBuffer的適當組合來逐塊執行碎片整理。

說一個競技場可能包含任何適當排列的線性和非線性數據。由於綁定後VkImage的不變性，碎片整理將涉及在已移動的圖像數據的新位置構建和綁定新的VkImage。

在舞臺上進行碎片整理的任何資源都不受任何約束，或者可能被視爲「正在使用」。

這並不難實現，但我有一個擔憂：

是否UB使用vkCmdCopyBuffer使圖像移動的數據（以避免多餘的佈局轉換），然後在新構造一個新的VkImage位置？

我的想法是，也許一個實現會做一些奇怪的事情，比如依靠某些內部簿記結構中的絕對設備地址，使UB將圖像數據視爲POD，直到綁定到新對象。

Answer 1

那麼，我們來看看這個系統。

因此，您可以爲圖像找到合適的目的地區域。你做一個vkCmdCopyBuffer從源區域複製到目標區域。現在您爲該目標區域創建一個新的VkImage，並且您指定的初始佈局是...什麼？

請參閱VkCreateImageInfo中只有兩個有效的initialLayout值：未定義或預初始化。預初始化僅適用於使用線性平鋪的圖像，因爲沒有爲最佳平鋪圖像定義明確的佈局。

所以你不能使用預初始化的佈局。使用未定義的佈局意味着您使用的下一個圖像轉換可能會破壞所有數據。現在，在一些實現中，未定義的佈局可能會工作。在不關心佈局的實現上，它可能工作。如果源圖像位於總體佈局中，它也可能適用於實現。

但是沒有一個是保證工作的標準。就標準而言，如果您將佈局設置爲未定義，那麼數據將不會被保留。因此，不管緩衝區/圖像別名的問題如何，這都無法工作。

您必須在目的地創建VkImage，然後使用vkCmdCopyImage將源圖像複製到目標。

還應該注意的是，即使佈局問題奏效，aliasing rules也告訴我們，從非主機可訪問的內存（即：以最佳平鋪或非一般/預初始化佈局的圖像）複製到主機可訪問內存產生未定義的值。所以即使佈局問題不是問題，副本本身也不起作用。理論上，至少。