偽共享

在電腦科學中，偽共享（英語：False sharing）是一種會導致效能下降的使用模式，它可能出現在具有分散式快取且維持快取一致性的系統中。當系統參與者嘗試定期訪問未被另一方更改的資料，但欲訪問的資料與正被更改的另一資料共享同一快取塊時，快取協定可能會強制第一個參與者重新載入整個快取塊，儘管在邏輯上這麼做是不必要的。 快取系統不知道此塊內的活動，所以強制第一個參與者承擔資源的真共享訪問（true shared access）所需的快取系統開銷。

多處理器CPU快取

目前為止，該術語最常見的用法是在現代多處理器CPU快取中，其中主記憶體以 2的較小的冪個字（例如，64個對齊、連續的位元組）為單位的快取行的形式進行高速緩衝記憶體。如果兩個處理器對同一主記憶體位址區域中可儲存在單行的獨立資料進行操作，系統中的高速緩衝記憶體一致性機制可能每次資料寫入時都要將整行資料通過匯流排或互連傳輸，除了浪費系統頻寬外，還引發主記憶體停頓。在某些情況下，消除偽共享可以帶來若干數量級的效能改進。 偽共享是自動同步快取協定的原生產物，儘管也可能存在於分散式檔案系統或資料庫等環境中，但目前僅在RAM快取中比較常見。

例子

#include <thread>
#include <new>
#include <atomic>

using namespace std;

constexpr bool FALSE_SHARING = true;
constexpr size_t
#if defined(__cpp_lib_hardware_interference_size)
	CACHE_LINE_SIZE = hardware_destructive_interference_size,
#else
	CACHE_LINE_SIZE = 64,
#endif
	SECOND_ALIGN = FALSE_SHARING ? sizeof(int) : CACHE_LINE_SIZE;

using atomic_type = atomic<int>;

struct shared_or_not
{
	atomic_type a alignas(CACHE_LINE_SIZE);
	atomic_type b alignas(SECOND_ALIGN);
};

int main()
{
	shared_or_not sharedOrNot;
	auto theThread = []( atomic_type &atomicValue )
	{
		for( size_t r = 100'000'000; r--; )
			++atomicValue;
	};
	jthread
		threadA( theThread, sharedOrNot.a ),
		threadB( theThread, sharedOrNot.b );
}

此 C++20 代碼顯示了偽共享的影響。shared_or_not 的第一個成員 a 始終對齊到快取行的開頭，以防止資料結構跨越快取行，從而造成 a 和 b 被意外拆分，而無法演示偽共享的效果。第二個成員 b 直接放置在同一個快取行中的 a 之後，或者在下一個快取行上對齊，具體取決於 FALSE_SHARING 設定為 true 還是 false。如果 FALSE_SHARING 設定為 false，代碼執行速度通常會快好幾倍。

緩解措施

有一些方法可以緩解偽共享的影響。例如，可以通過重新排序變數或在變數之間添加填充（未使用的位元組）來防止CPU快取中的偽共享。但是，其中一些更改可能會增加對象的大小，從而導致主記憶體使用量增加。 編譯時資料轉換也可以緩解偽共享。 然而，其中一些轉換可能並不總是被允許的。例如，C++ 23 的 C++ 程式語言標準草案要求對資料成員進行布局時必須使後面的成員具有更高的位址。

市面上已有檢測偽共享的工具。 還有一些系統可以檢測和修復執行程式中的偽共享。然而，這些系統會產生一些執行開銷。

外部連結

• Easy Understanding on False Sharing （頁面存檔備份，存於網際網路檔案館）
• C++ today blog, False Sharing hits again! （頁面存檔備份，存於網際網路檔案館）
• Dr Dobbs article: Eliminate False Sharing （頁面存檔備份，存於網際網路檔案館）
• Be careful when trying to eliminate false sharing in Java （頁面存檔備份，存於網際網路檔案館）