是否realloc保持posix_memalign的內存對齊？

Question

對齊malloc是posix_memalign，沒關係，但對齊的realloc呢？ realloc是否保留對齊方式或如何確保重新分配的內存具有相同的對齊方式？假設Linux和x86_64。

Answer 1

否，從posix_memalign返回的存儲器上的realloc不能由ISO或POSIX保證保持相同的對齊。 A realloc可能只是在同一地址展開當前塊，但它也可能將塊移到一個不同於原始對齊的不同地址。

如果你想要相同的對齊，最好分配另一個塊並複製數據。

不幸的是，在單一UNIX規範中也沒有posix_memalign_realloc函數。

如果你不想去通過複製數據每時間的麻煩，你可以試試realloc^（一），如果不符合預期的，對準，然後，然後才請致電posix_memalign以獲得正確對齊的地址並將數據複製到那裏，完成後釋放舊地址。

這可能導致：

• 零個拷貝（如果當前塊可以就地進行擴展）;
• 一個副本（如果realloc副本，但恰好給你一個正確對齊的塊）;或
• 兩個副本（如果realloc副本，然後你還必須複製，由於錯位）。

它可能根據底層的內存管理實現也會導致比指示更少的複製。例如，「複製」可能只涉及重新映射內存塊，而不是物理地移動數據。

所以你可能想保留一些統計數據，看看這個方案是否值得。

---

^（一）請記住，無論是POSIX也不Linux手冊頁指定與否，你甚至可以傳遞這些指針realloc，只是你可以將它們傳遞給free。

然而，基於當前的GNU庫的源代碼，它似乎工作，雖然這並不能保證它會繼續在今後的工作中:-)

我擔心的是，它通常會分配內存（標準對齊）並且傳遞一個偏移地址（即，不是分配的實際地址，而是一個超出該地址的字節），其中free足夠智能以在編譯它的魔法之前變回實際地址。

這樣做的一種方法是將實際地址存儲在返回地址之前，儘管這當然會導致即使對於正常分配也會造成浪費。

在這種情況下，free可能已經做出智能（因爲規格說，它必須能夠處理由posix_memalign所做的分配），但realloc可能沒有被賦予相同的智能（由於文檔是對此事沉默）。

但是，基於GNU glibc 2.14.1，它實際上分配了比所需內存更多的內存，然後與場地一起擺弄前置空間和後置空間，以便返回的地址是「真實」地址，可由free或realloc使用。

但是，如上所述，文檔不能保證這一點。

Answer 2

realloc與malloc行爲相同，因此realloc返回的內存具有與malloc相同的對齊約束。

Answer 3

如果您查看realloc的glibc源代碼，它會直接調用malloc。所以內存和malloc一樣。