相信很多人知道 shared_buffers 這個引數，它設定共享快取的大小，本篇簡單講一下它是怎樣分配的。

1、引數設定（src/backend/utils/misc/guc.c）

	/*
	 * We sometimes multiply the number of shared buffers by two without
	 * checking for overflow, so we mustn't allow more than INT_MAX / 2.
	 */
	{
		{"shared_buffers", PGC_POSTMASTER, RESOURCES_MEM,
			gettext_noop("Sets the number of shared memory buffers used by the server."),
			NULL,
			GUC_UNIT_BLOCKS
		},
		&NBuffers,
		1024, 16, INT_MAX / 2,
		NULL, NULL, NULL
	},
 

可以看到，這個引數在核心中並不是實際記憶體的大小，而是塊數GUC_UNIT_BLOCKS（這個有興趣可以讀guc程式碼，看起來也有必要單獨寫一篇。）

假設我們設定512M，編譯時選擇塊尺寸8k，那麼應該分配塊數是 51210241024/8192，總共65536個塊。

2、共享記憶體的分配

實際上，共享快取只是共享記憶體的一部分，這不是我們本篇的重點，所以只是簡單一提。資料庫啟動時計算總共享記憶體的大小，然後從OS申請（src/backend/storage/buffer/buf_init.c）：

Size
BufferShmemSize(void)
{
	Size		size = 0;

	/* size of buffer descriptors */
	size = add_size(size, mul_size(NBuffers, sizeof(BufferDescPadded)));
	/* to allow aligning buffer descriptors */
	size = add_size(size, PG_CACHE_LINE_SIZE);

	/* size of data pages */
	size = add_size(size, mul_size(NBuffers, BLCKSZ));
...
	size = add_size(size, mul_size(NBuffers, sizeof(LWLockMinimallyPadded)));
	/* to allow aligning the above */
	size = add_size(size, PG_CACHE_LINE_SIZE);

	/* size of checkpoint sort array in bufmgr.c */
	size = add_size(size, mul_size(NBuffers, sizeof(CkptSortItem)));
...
 

還有塊描述符、鎖、檢查點排序區的分配，這裡有過大的改動，為了更好的利用cache line，早先版本一個單獨的結構體拆成多個。

諸位有興趣可以找以前的程式碼做對比，不寫這篇文章我都不會看到這變化，對社群補丁關注不夠。

3、共享快取初始化

在申請OS共享記憶體（見PGSharedMemoryCreate，有多個平臺版本）之後，再從中分配（ShmemInitStruct）出上邊看到的幾個部分，這些程式碼見src/backend/storage/buffer/buf_init.c：

	BufferBlocks = (char *)
		ShmemInitStruct("Buffer Blocks",
						NBuffers * (Size) BLCKSZ, &foundBufs);
 

這是快取部分的申請，可以看到，它又從共享記憶體中分配出512M（65536*8192）。

然後就是初始化，各種鎖、狀態。

4、更多考慮

從上邊程式碼可以看出為什麼PG不能動態增加共享快取，因為它的塊描述是一次性分配，然後就不能再改變。考慮下Oracle引數SGA_MAX_SIZE，允許動態分配但有這個上限，可以推斷它似乎也有快取塊描述符類似的東西，一次性分配留作以後使用。PG想實現動態管理是不是就有了思路，也不是很難，這取決於共享記憶體的分配方式，可以閱讀 PGSharedMemoryCreate 瞭解更多，也可以對比以前的老版本，看看分配方式實現有什麼不同（記得是 9.1、9.2）。

字數寫得不多，點出主要程式碼在何處，把程式碼搬到這裡也沒什麼意思。

 

歡迎關注我的公眾號，文章同步釋出。

相關推薦