\u5728\u6bcf\u79d2\u4e24\u767e\u4e07\u6b21\u9ad8\u9891\u5199\u5165\u7684\u538b\u529b\u6d4b\u8bd5\u4e2d，\u5b58\u50a8\u670d\u52a1\u7684 CPU \u7b97\u529b\u5e38\u5728\u672a\u8fbe\u9884\u671f\u541e\u5410\u524d\u5373\u544a\u8017\u5c3d\u3002\u91c7\u96c6 perf \u70ed\u70b9\u4e0e\u706b\u7130\u56fe\u53ef\u4ee5\u89c2\u5bdf\u5230，\u8017\u65f6\u4e3b\u8981\u76d8\u8e1e\u5728 glibc \u7684\u00a0_int_malloc\u3001_int_free\u00a0\u4ee5\u53ca\u591a\u7ebf\u7a0b\u4e92\u65a5\u9501\u81ea\u65cb\u8def\u5f84\u4e0a，\u8df3\u8868\u5bfb\u5740\u4e0e\u952e\u503c\u6563\u5217\u9000\u5c45\u6b21\u8981\u4f4d\u7f6e，\u5355\u7eaf\u7684\u5185\u5b58\u7533\u8bf7\u4e0e\u91ca\u653e\u5f00\u9500\u5360\u636e\u4e86\u6574\u4f53 CPU \u5468\u671f\u7684 38% \u4ee5\u4e0a\u3002<\/p>\n
\u9762\u5bf9\u6b64\u7c7b\u74f6\u9888，\u82e5\u51ed\u501f\u7ecf\u9a8c\u76f4\u63a5\u9488\u5bf9\u8df3\u8868\u8282\u70b9\u5f15\u5165\u5e38\u89c4\u5bf9\u8c61\u6c60，\u5f80\u5f80\u56e0\u952e\u503c\u5c3a\u5bf8\u79bb\u6563\u800c\u5f15\u53d1\u7a7a\u95f2\u94fe\u8868\u9707\u8361\u4e0e\u5143\u6570\u636e\u81a8\u80c0\u3002\u6539\u9020\u4e0a\u7ebf\u540e，\u5e38\u9a7b\u5185\u5b58（RSS）\u4e0d\u4ec5\u6ca1\u6709\u4e0b\u964d，\u53cd\u800c\u6bd4\u539f\u672c\u76f4\u63a5\u8c03\u7528\u901a\u7528\u5206\u914d\u5668\u9ad8\u51fa\u8fd1 20%，\u751a\u81f3\u5728\u957f\u65f6\u95f4\u8fd0\u884c\u540e\u906d\u9047\u5185\u5b58\u5f02\u5e38\u6ede\u7559\u4e0e\u8fdb\u7a0b\u5d29\u6e83\u3002<\/p>\n
\u533a\u57df\u5185\u5b58\u6c60\u7684\u6838\u5fc3\u4ef7\u503c\u4e0d\u5728\u4e8e\u538b\u7f29\u7269\u7406\u5185\u5b58\u7684\u5cf0\u503c\u5360\u7528，\u5176\u672c\u8d28\u662f\u4ee5\u9884\u5206\u914d\u7269\u7406\u5757\u6d88\u9664\u5355\u6b21\u5c0f\u5206\u914d\u7684\u5143\u6570\u636e\u5f00\u9500\u4e0e\u7cfb\u7edf\u8c03\u7528，\u5c06\u5206\u914d\u5f00\u9500\u538b\u4f4e\u81f3\u6307\u9488\u9012\u589e\u6307\u4ee4，\u5e76\u5728\u6279\u6b21\u7ed3\u675f\u65f6\u6574\u4f53\u5f52\u8fd8\u3002\u82e5\u67b6\u6784\u65e0\u6cd5\u63a5\u7eb3\u5757\u5c3e\u5185\u90e8\u788e\u7247\u4e0e\u751f\u547d\u5468\u671f\u5f3a\u7ed1\u5b9a\u7684\u7269\u7406\u7ea6\u675f，\u5f15\u5165\u5185\u5b58\u6c60\u5f80\u5f80\u4f1a\u5bfc\u81f4\u4e25\u91cd\u7684\u5185\u5b58\u653e\u5927\u3002<\/p>\n
\u533a\u57df\u5185\u5b58\u6c60（Arena Allocator）\u7684\u672c\u8d28\u662f\u5c06\u79bb\u6563\u5c0f\u5206\u914d\u8f6c\u5316\u4e3a\u9884\u5206\u914d\u5927\u5757\u4e0a\u7684\u6307\u9488\u78b0\u649e，\u5c06\u5355\u6b21\u5206\u914d\u538b\u81f3\u7eb3\u79d2\u7ea7，\u5e76\u5c06\u91ca\u653e\u6210\u672c\u5f52\u96f6\u4e8e\u751f\u547d\u5468\u671f\u7ec8\u7ed3\u65f6\u523b\u3002\u5b83\u4ee5\u5185\u90e8\u788e\u7247\u6362\u53d6\u541e\u5410，\u7edd\u975e\u4e3a\u4e86\u538b\u7f29\u5cf0\u503c\u5185\u5b58\u3002\u672c\u6587\u5c06\u6df1\u5165\u62c6\u89e3\u5176\u5e95\u5c42\u5e03\u5c40\u4e0e\u5185\u90e8\u788e\u7247\u6d4b\u7b97\u6a21\u578b\u3002<\/p>\n
\u5728\u5206\u6790\u5185\u5b58\u6c60\u5185\u90e8\u6784\u9020\u4e4b\u524d，\u5148\u901a\u8fc7\u53ef\u590d\u73b0\u7684\u57fa\u51c6\u6d4b\u8bd5\u91cf\u5316\u901a\u7528\u5206\u914d\u5668\u7684\u635f\u8017\u8fb9\u754c\u3002\u5728 LSM-Tree \u5b58\u50a8\u67b6\u6784\u4e2d，MemTable \u662f\u63a5\u6536\u5e76\u53d1\u5199\u5165\u7684\u6838\u5fc3\u8f7d\u4f53\u3002\u5199\u5165\u6570\u636e\u5728\u7ec4\u7ec7\u4e3a\u8df3\u8868（SkipList）\u8282\u70b9\u65f6，\u5448\u73b0\u51fa\u5c3a\u5bf8\u4e0d\u56fa\u5b9a（\u901a\u5e38\u5728 32 \u81f3 128 \u5b57\u8282\u4e4b\u95f4）\u3001\u5206\u914d\u9891\u7387\u9ad8\u3001\u4e14\u751f\u547d\u5468\u671f\u4e25\u683c\u91cd\u5408\u7684\u7269\u7406\u7279\u5f81\u3002<\/p>\n
\u5728\u5178\u578b\u952e\u503c\u5b58\u50a8\u8d1f\u8f7d\u4e2d，\u6bcf\u4e2a\u8df3\u8868\u8282\u70b9\u7531\u591a\u4e2a\u8fde\u7eed\u5b57\u6bb5\u6784\u6210：\u524d\u5411\u6307\u9488\u5854\u6570\u7ec4（\u9ad8\u5ea6\u670d\u4ece\u51e0\u4f55\u5206\u5e03）\u300164 \u4f4d\u5e8f\u5217\u53f7\u30018 \u4f4d\u503c\u7c7b\u578b\u6807\u8bb0\u3001\u53d8\u957f\u952e\u957f\u7f16\u7801\u3001\u539f\u59cb\u7528\u6237\u952e\u5b57\u8282\u6d41\u3001\u53d8\u957f\u503c\u957f\u7f16\u7801\u4e0e\u539f\u59cb\u503c\u5b57\u8282\u6d41\u3002\u8fd9\u4e9b\u5b57\u6bb5\u62fc\u63a5\u540e\u7684\u603b\u957f\u5ea6\u5206\u5e03\u5728\u6570\u5341\u81f3\u6570\u767e\u5b57\u8282\u4e4b\u95f4，\u5f62\u6210\u4e86\u9ad8\u5ea6\u79bb\u6563\u7684\u5c3a\u5bf8\u5206\u5e03\u3002<\/p>\n
\u5728 64 \u4f4d\u64cd\u4f5c\u7cfb\u7edf\u73af\u5883\u4e0b\u6a21\u62df\u8fd9\u4e00\u9ad8\u9891\u573a\u666f：\u8fde\u7eed\u751f\u6210\u4e24\u767e\u4e07\u4e2a\u5c3a\u5bf8\u5728 32 \u5230 128 \u5b57\u8282\u4e4b\u95f4\u5747\u5300\u5206\u5e03\u7684\u53d8\u957f\u5bf9\u8c61，\u603b\u8f7d\u8377\u6570\u636e\u91cf\u7ea6\u4e3a 152MB\u3002\u5206\u522b\u4f7f\u7528\u6807\u51c6\u7684\u7cfb\u7edf\u5206\u914d\u5668（\u9ed8\u8ba4\u00a0new\u00a0\u4e0e\u00a0delete）\u4ee5\u53ca\u57fa\u4e8e\u9884\u5206\u914d\u5757\u5207\u5206\u7684\u533a\u57df\u5185\u5b58\u6c60（SimpleArena），\u89c2\u5bdf\u4e8c\u8005\u5728\u5206\u914d\u8017\u65f6\u3001\u91ca\u653e\u8017\u65f6\u4ee5\u53ca\u7cfb\u7edf\u5cf0\u503c\u9a7b\u7559\u5185\u5b58\u4e0a\u7684\u5dee\u5f02\u3002<\/p>\n
\u4ee5\u4e0b\u57fa\u51c6\u6d4b\u8bd5\u4ee3\u7801\u590d\u73b0\u8be5\u573a\u666f：<\/p>\n
C++<\/p>\n
\/\/ \u6a21\u62df\u4e24\u767e\u4e07\u6b21\u53d8\u957f\u5c0f\u5bf9\u8c61\u7684\u5bc6\u96c6\u5206\u914d\u4e0e\u6574\u4f53\u9500\u6bc1
\nconst size_t N = 2000000;
\nstd::mt19937 rng(42);
\nstd::uniform_int_distribution<size_t> dist(32, 128);<\/p>\n
std::vector<size_t> sizes(N);
\nsize_t total_payload = 0;
\nfor (size_t i = 0; i < N; ++i) {
\n sizes[i] = dist(rng);
\n total_payload += sizes[i];
\n}<\/p>\n
\/\/ \u65b9\u6848 A：\u76f4\u63a5\u4f7f\u7528\u7cfb\u7edf\u901a\u7528\u5206\u914d\u5668 new \/ delete
\n{
\n std::vector<char*> ptrs(N);
\n auto t1 = std::chrono::high_resolution_clock::now();
\n for (size_t i = 0; i < N; ++i) {
\n ptrs[i] = new char[sizes[i]];
\n ptrs[i][0] = 1; \/\/ \u771f\u5b9e\u5199\u5165\u9996\u5c3e\u5b57\u8282\u89e6\u53d1\u7269\u7406\u9875\u6620\u5c04
\n ptrs[i][sizes[i] – 1] = 2;
\n }
\n auto t2 = std::chrono::high_resolution_clock::now();
\n for (size_t i = 0; i < N; ++i) {
\n delete[] ptrs[i];
\n }
\n auto t3 = std::chrono::high_resolution_clock::now();
\n \/\/ \u8bb0\u5f55\u5206\u914d\u8017\u65f6\u4e0e\u91ca\u653e\u8017\u65f6
\n}<\/p>\n
\/\/ \u65b9\u6848 B：\u4f7f\u7528\u9884\u5206\u914d 64KB \u5757\u7684 Arena \u5185\u5b58\u6c60
\n{
\n auto t1 = std::chrono::high_resolution_clock::now();
\n auto* arena = new SimpleArena();
\n for (size_t i = 0; i < N; ++i) {
\n char* p = arena->AllocateAligned(sizes[i]);
\n p[0] = 1; \/\/ \u540c\u6837\u771f\u5b9e\u5199\u5165\u89e6\u53d1\u6620\u5c04
\n p[sizes[i] – 1] = 2;
\n }
\n auto t2 = std::chrono::high_resolution_clock::now();
\n delete arena; \/\/ \u6574\u4f53\u5f52\u8fd8\u6240\u6709\u5757
\n auto t3 = std::chrono::high_resolution_clock::now();
\n}<\/p>\n
\u6267\u884c\u57fa\u51c6\u6d4b\u8bd5\u83b7\u5f97\u5982\u4e0b\u8f93\u51fa：<\/p>\n
text<\/p>\n
Allocating 2000000 objects
\nTotal payload: 152 MB (159989384 bytes)
\n[Default new\/delete]
\n Alloc time: 21 ms
\n Free time: 24 ms
\n Total time: 45 ms
\n Peak RSS: 204688 KB
\n[Arena Allocator]
\n Alloc time: 11 ms
\n Bulk free: 0 ms
\n Total time: 11 ms
\n Arena Block Mem: 159 MB (167053312 bytes)
\n Peak RSS: 180944 KB<\/p>\n
\u6d4b\u8bd5\u8f93\u51fa\u53cd\u6620\u51fa\u4e24\u4e2a\u5173\u952e\u5de5\u7a0b\u7279\u5f81：<\/p>\n
\u5728\u8017\u65f6\u7ef4\u5ea6：\u901a\u7528\u5206\u914d\u5668\u5b8c\u6210\u4e24\u767e\u4e07\u6b21\u64cd\u4f5c\u8017\u65f6 45 \u6beb\u79d2，\u5176\u4e2d\u5206\u914d\u5360\u636e 21 \u6beb\u79d2，\u91ca\u653e\u5360\u636e 24 \u6beb\u79d2\u3002\u91ca\u653e\u52a8\u4f5c\u7684\u8017\u65f6\u751a\u81f3\u8d85\u8fc7\u4e86\u5206\u914d\u52a8\u4f5c\u3002\u800c\u5728 Arena \u5185\u5b58\u6c60\u4e0b，\u5206\u914d\u9636\u6bb5\u8017\u65f6\u964d\u81f3 11 \u6beb\u79d2，\u91ca\u653e\u9636\u6bb5\u8017\u65f6\u5728\u6beb\u79d2\u91c7\u6837\u7cbe\u5ea6\u4e0b\u663e\u793a\u4e3a 0 \u6beb\u79d2（\u5b9e\u9645\u8017\u65f6\u5728\u6570\u5341\u5fae\u79d2\u7ea7\u522b），\u7aef\u5230\u7aef\u8017\u65f6\u7531 45 \u6beb\u79d2\u964d\u81f3 11 \u6beb\u79d2，\u7cfb\u7edf\u541e\u5410\u63d0\u5347\u7ea6\u56db\u500d\u3002<\/p>\n
\u5728\u786c\u4ef6\u6027\u80fd\u8ba1\u6570\u5668\u5c42\u9762，\u4f7f\u7528 Linux\u00a0perf stat\u00a0\u89c2\u6d4b\u4e0a\u8ff0\u4e24\u7ec4\u6267\u884c\u8fc7\u7a0b，\u80fd\u66f4\u6df1\u5165\u5730\u770b\u6e05\u5fae\u67b6\u6784\u5c42\u9762\u7684\u635f\u8017\u6839\u6e90\u3002\u5728\u901a\u7528\u5206\u914d\u5668\u8def\u5f84\u4e2d，CPU \u6bcf\u5468\u671f\u6267\u884c\u6307\u4ee4\u6570（IPC, Instructions Per Cycle）\u4ece\u6b63\u5e38\u4e1a\u52a1\u8ba1\u7b97\u65f6\u7684 2.1 \u8dcc\u843d\u81f3 0.65，L1 \u6570\u636e\u7f13\u5b58\u672a\u547d\u4e2d\u7387\u9ad8\u8fbe 18.2%，\u5206\u652f\u9884\u6d4b\u5931\u8d25\u7387\u8fbe\u5230 8.7%\u3002\u8017\u65f6\u88ab\u5927\u91cf\u6d88\u8017\u5728\u00a0malloc_chunk\u00a0\u94fe\u8868\u68c0\u7d22\u8fc7\u7a0b\u4e2d\u7684\u6307\u9488\u89e3\u5f15\u7528\u4e0e\u72b6\u6001\u5224\u65ad\u5206\u652f\u4e0a\u3002\u800c\u5728 Arena \u5185\u5b58\u6c60\u8def\u5f84\u4e2d，IPC \u7a33\u5b9a\u5728 2.4 \u4ee5\u4e0a，L1 \u7f13\u5b58\u672a\u547d\u4e2d\u7387\u538b\u4f4e\u81f3 1.2% \u4ee5\u5185，\u5206\u652f\u9884\u6d4b\u5931\u8d25\u7387\u63a5\u8fd1\u4e8e\u96f6\u3002<\/p>\n
\u8fd9\u4e00\u6027\u80fd\u53cd\u5dee\u5728\u987a\u5e8f\u626b\u63cf（Range Scan）\u4e0e\u8fed\u4ee3\u904d\u5386\u65f6\u8868\u73b0\u5f97\u66f4\u4e3a\u660e\u663e\u3002\u5728 LSM-Tree MemTable \u4e2d，\u8303\u56f4\u67e5\u8be2\u9891\u7e41\u6267\u884c\u00a0Seek\u00a0\u5b9a\u4f4d\u4e0e\u540e\u7eed\u7684\u00a0Next\u00a0\u8fed\u4ee3\u63a8\u8fdb\u3002\u82e5\u8df3\u8868\u8282\u70b9\u7531\u7cfb\u7edf\u901a\u7528\u5206\u914d\u5668\u79bb\u6563\u5206\u914d，\u5148\u540e\u63d2\u5165\u7684\u8282\u70b9\u6563\u843d\u5728\u5b8c\u5168\u968f\u673a\u7684\u865a\u62df\u5185\u5b58\u9875\u4e2d\u3002\u6267\u884c\u4e00\u6b21\u4ece\u5934\u81f3\u5c3e\u7684\u8fed\u4ee3\u904d\u5386，\u6307\u9488\u5728\u4e0d\u540c\u7684\u865a\u62df\u5730\u5740\u7a7a\u95f4\u5185\u8df3\u8f6c，\u5bfc\u81f4 CPU \u6570\u636e\u9884\u53d6\u673a\u5236\u5931\u6548，\u6bcf\u4e2a\u8282\u70b9\u8bbf\u95ee\u5747\u53ef\u80fd\u5f15\u53d1 L1\/L2 \u7f13\u5b58\u7f3a\u5931\u4e0e\u8f6c\u8bd1\u540e\u5907\u7f13\u51b2\u5668（TLB）\u8868\u9879\u9a71\u9010\u3002\u800c\u5728 Arena \u5185\u5b58\u6c60\u4e0b，\u7531\u4e8e\u5bf9\u8c61\u662f\u5728 64KB \u5757\u5185\u7d27\u51d1\u8fde\u7eed\u5207\u5206\u5206\u914d\u7684，\u76f8\u90bb\u65f6\u5e8f\u5199\u5165\u7684\u8282\u70b9\u7269\u7406\u4e0a\u7d27\u90bb\u6392\u5217\u3002\u904d\u5386\u64cd\u4f5c\u5448\u73b0\u51fa\u4f18\u5f02\u7684\u5185\u5b58\u6b65\u957f\u7279\u5f81，CPU \u786c\u4ef6\u6d41\u9884\u53d6\u5668（Stream Prefetcher）\u80fd\u81ea\u52a8\u8bc6\u522b\u7ebf\u6027\u8bbf\u95ee\u6a21\u5f0f，\u9884\u5148\u5c06\u76f8\u90bb\u7f13\u5b58\u884c\u52a0\u8f7d\u81f3 L1 \u6570\u636e\u7f13\u5b58，\u5927\u5e45\u964d\u4f4e\u6d41\u6c34\u7ebf\u505c\u987f\u65f6\u95f4\u3002\u6b64\u5916，\u5728\u5fae\u67b6\u6784\u5185\u90e8，\u5904\u7406\u5668\u7684\u5b58\u50a8\u8f6c\u53d1（Store Forwarding）\u673a\u5236\u5141\u8bb8\u7d27\u968f\u5176\u540e\u7684\u8bfb\u53d6\u6307\u4ee4\u76f4\u63a5\u4ece\u5b58\u50a8\u7f13\u51b2\u533a\u83b7\u53d6\u672a\u63d0\u4ea4\u81f3 L1 \u7f13\u5b58\u7684\u6700\u65b0\u6570\u636e，\u4f7f\u5f97\u8fde\u7eed\u5199\u5165\u9996\u5c3e\u5b57\u8282\u7684\u64cd\u4f5c\u80fd\u5728\u4e0d\u963b\u585e\u6267\u884c\u6d41\u6c34\u7ebf\u7684\u524d\u63d0\u4e0b\u6781\u901f\u5b8c\u6210\u3002<\/p>\n
\u5728\u7a7a\u95f4\u7ef4\u5ea6：\u901a\u7528\u5206\u914d\u5668\u4e0b\u7684\u5e38\u9a7b\u5185\u5b58\u5cf0\u503c（Peak RSS）\u7ea6\u4e3a 200MB，Arena \u5185\u5b58\u6c60\u4e0b\u7684\u5cf0\u503c\u9a7b\u7559\u5185\u5b58\u7ea6\u4e3a 177MB，\u5176\u5e95\u5c42\u7533\u8bf7\u7684\u5757\u5185\u5b58\u603b\u91cf\u4e3a 159MB\u3002Arena \u7533\u8bf7\u7684\u5757\u5185\u5b58\u603b\u91cf\u9ad8\u4e8e 152MB \u7684\u51c0\u8f7d\u8377\u6570\u636e，\u989d\u5916\u7684 7MB \u5c5e\u4e8e\u5757\u5c3e\u672a\u7528\u5c3d\u7684\u5185\u90e8\u788e\u7247\u4e0e\u5185\u5b58\u5bf9\u9f50\u8865\u9f50\u5f00\u9500\u3002<\/p>\n
\u8fd9\u5370\u8bc1\u4e86\u4e00\u4e2a\u6838\u5fc3\u539f\u5219：\u5185\u5b58\u6c60\u7684\u4e3b\u8981\u804c\u80fd\u5728\u4e8e\u5c06\u5206\u914d\u4e0e\u91ca\u653e\u7684 CPU \u65f6\u95f4\u6210\u672c\u964d\u81f3\u7269\u7406\u6781\u9650，\u800c\u975e\u538b\u7f29\u7cfb\u7edf\u7684\u5cf0\u503c\u5185\u5b58\u5360\u7528\u3002<\/p>\n
\u5728\u901a\u7528\u5206\u914d\u5668\u4e2d，\u64cd\u4f5c\u7cfb\u7edf\u4e0e\u6807\u51c6\u5e93\u4e3a\u4e86\u5e94\u5bf9\u591a\u7ebf\u7a0b\u4efb\u610f\u65f6\u5e8f\u7684\u7533\u8bf7\u4e0e\u91ca\u653e，\u5fc5\u987b\u7ef4\u62a4\u590d\u6742\u7684\u7a7a\u95f2\u5757\u72b6\u6001\u673a\u4e0e\u53cc\u5411\u94fe\u8868\u3002\u5f53\u4e1a\u52a1\u573a\u666f\u5177\u5907\u5f3a\u70c8\u7684\u7ed3\u6784\u5316\u7279\u5f81\u2014\u2014\u4f8b\u5982 MemTable \u4e2d\u6240\u6709\u952e\u503c\u5bf9\u7684\u751f\u547d\u5468\u671f\u5b8c\u5168\u7ed1\u5b9a\u5728\u5f53\u524d\u5199\u5165\u6279\u6b21\u65f6\u2014\u2014\u901a\u7528\u5206\u914d\u5668\u6240\u6267\u884c\u7684\u9010\u4e2a\u8ffd\u8e2a\u4e0e\u5408\u5e76\u64cd\u4f5c，\u5c31\u6784\u6210\u4e86\u7eaf\u7cb9\u7684\u7b97\u529b\u5197\u4f59\u3002<\/p>\n
\u4ece LSM-Tree \u5b58\u50a8\u5f15\u64ce\u7684\u5b8c\u6574\u72b6\u6001\u673a\u6d41\u8f6c\u89c6\u89d2\u6765\u770b，MemTable \u7684\u751f\u547d\u5468\u671f\u7ecf\u5386\u4e09\u4e2a\u660e\u786e\u9636\u6bb5：\u6d3b\u8dc3\u6001（Active MemTable）\u3001\u4e0d\u53ef\u53d8\u51bb\u7ed3\u6001（Immutable MemTable）\u4e0e\u5237\u76d8\u7ec8\u7ed3\u6001（Flushed SSTable）\u3002\u5f53\u6d3b\u8dc3 MemTable \u8fbe\u5230\u9884\u8bbe\u5bb9\u91cf\u9608\u503c\u65f6，\u7cfb\u7edf\u5c06\u5176\u7f6e\u4e3a\u4e0d\u53ef\u53d8\u6001\u5e76\u5f00\u542f\u65b0\u7684 MemTable \u63a5\u6536\u540e\u7eed\u5199\u5165；\u540e\u53f0\u5237\u76d8\u7ebf\u7a0b\u987a\u5e8f\u904d\u5386\u4e0d\u53ef\u53d8\u8868\u4e2d\u7684\u8df3\u8868\u8282\u70b9，\u5c06\u5176\u6309\u5e8f\u6301\u4e45\u5316\u5199\u5165\u78c1\u76d8\u751f\u6210 Level-0 \u7684 SSTable \u6587\u4ef6，\u5e76\u5728\u5143\u6570\u636e\u6e05\u5355（MANIFEST）\u63d0\u4ea4\u540e，\u6574\u4f53\u89e6\u53d1\u8be5 MemTable \u53ca\u5176\u5e95\u5c42 Arena \u7684\u6790\u6784\u56de\u6536\u3002\u5728\u6b64\u6d41\u8f6c\u8fc7\u7a0b\u4e2d，\u524d\u7aef\u5199\u5165\u7ebf\u7a0b\u4e0e\u540e\u53f0\u5237\u76d8\u7ebf\u7a0b\u5747\u65e0\u9700\u627f\u62c5\u9488\u5bf9\u5355\u4e2a\u5bf9\u8c61\u7684\u9500\u6bc1\u903b\u8f91，\u5185\u5b58\u7ba1\u7406\u5f00\u9500\u88ab\u5b8c\u5168\u4ece\u5173\u952e\u8def\u5f84\u5265\u79bb\u3002<\/p>\n
\u63a5\u4e0b\u6765，\u9700\u8981\u6df1\u5165\u901a\u7528\u5206\u914d\u5668\u7684\u5e95\u5c42\u5b9e\u73b0，\u5398\u6e05\u5176\u5728\u9762\u5bf9\u751f\u547d\u5468\u671f\u4e00\u81f4\u7684\u5c0f\u5bf9\u8c61\u65f6\u51fa\u73b0\u6027\u80fd\u8fc7\u8f7d\u7684\u5177\u4f53\u6839\u56e0\u3002<\/p>\n
\u4e3a\u4e86\u7406\u89e3\u901a\u7528\u5206\u914d\u5668\u5728\u9ad8\u9891\u5c0f\u5bf9\u8c61\u573a\u666f\u4e0b\u7684\u6027\u80fd\u74f6\u9888，\u9700\u8981\u5206\u6790\u5de5\u4e1a\u7ea7\u5206\u914d\u5668\u7684\u8bbe\u8ba1\u76ee\u6807\u4e0e\u5185\u90e8\u673a\u5236\u3002\u65e0\u8bba\u662f Linux \u7cfb\u7edf\u6807\u914d\u7684 glibc ptmalloc，\u8fd8\u662f\u5728\u9ad8\u6027\u80fd\u540e\u7aef\u670d\u52a1\u4e2d\u5e7f\u6cdb\u5e94\u7528\u7684 jemalloc \u4e0e tcmalloc，\u5176\u8bbe\u8ba1\u521d\u8877\u5747\u662f\u9762\u5411\u4efb\u610f\u4e1a\u52a1\u5f62\u6001\u7684\u901a\u7528\u5185\u5b58\u5206\u914d\u3002<\/p>\n
\u6240\u8c13\u901a\u7528，\u610f\u5473\u7740\u5206\u914d\u5668\u5728\u7f16\u8bd1\u4e0e\u8fd0\u884c\u671f\u95f4\u65e0\u6cd5\u9884\u77e5\u4e0a\u5c42\u5e94\u7528\u7684\u4f7f\u7528\u6a21\u5f0f\u3002\u4e0a\u5c42\u53ef\u80fd\u662f\u5206\u914d\u5355\u4e2a\u5b57\u7b26\u5e76\u7acb\u5373\u91ca\u653e\u7684\u534f\u8bae\u89e3\u6790\u5668，\u4e5f\u53ef\u80fd\u662f\u7533\u8bf7\u6570\u767e\u5146\u7f13\u51b2\u533a\u5e76\u5e38\u9a7b\u5185\u5b58\u7684\u5a92\u4f53\u6d41\u5f15\u64ce；\u53ef\u80fd\u5728\u5355\u7ebf\u7a0b\u5185\u7ebf\u6027\u6267\u884c，\u4e5f\u53ef\u80fd\u5728\u6570\u767e\u4e2a\u7ebf\u7a0b\u4e4b\u95f4\u8de8\u6838\u5fc3\u6d41\u8f6c\u6307\u9488\u3002\u4e3a\u4e86\u5728\u4e0d\u53ef\u9884\u77e5\u7684\u5de5\u51b5\u4e0b\u4fdd\u8bc1\u7cfb\u7edf\u53ef\u7528\u6027，\u901a\u7528\u5206\u914d\u5668\u5fc5\u987b\u540c\u65f6\u517c\u987e\u4e24\u9879\u76ee\u6807：\u7b2c\u4e00，\u5c3d\u53ef\u80fd\u51cf\u5c11\u5411\u64cd\u4f5c\u7cfb\u7edf\u5185\u6838\u7d22\u8981\u9875\u9762\u7684\u7cfb\u7edf\u8c03\u7528（\u5982\u00a0brk\u00a0\u4e0e\u00a0mmap）；\u7b2c\u4e8c，\u63a7\u5236\u5916\u90e8\u788e\u7247\u7387，\u9632\u6b62\u865a\u62df\u5730\u5740\u7a7a\u95f4\u788e\u7247\u5316\u8017\u5c3d\u3002<\/p>\n
\u4e3a\u4e86\u8fbe\u6210\u5168\u5c40\u901a\u7528\u6027，\u5206\u914d\u5668\u5728\u5904\u7406\u201c\u5927\u91cf\u5fae\u5c0f\u5bf9\u8c61\u3001\u751f\u547d\u5468\u671f\u9ad8\u5ea6\u91cd\u5408\u201d\u7684\u5199\u5165\u573a\u666f\u65f6，\u4ea7\u751f\u4e86\u4e09\u91cd\u7ed3\u6784\u6027\u5f00\u9500\u3002<\/p>\n
text<\/p>\n
ptmalloc \u5c0f\u5bf9\u8c61\u5355\u5757\u7269\u7406\u5f00\u9500
\n\u250c\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u252c\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2510
\n\u2502 prev_size(8B) \u2502 size+flags(8B) \u2502
\n\u251c\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2534\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2524
\n\u2502 \u7528\u6237\u6709\u6548\u8f7d\u8377 Payload (24B) \u2502
\n\u2514\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2518
\n\u25b2 \u25b2
\n\u2502\u25c0\u2500\u2500\u2500\u2500\u2500\u2500\u2500 16B \u5934\u90e8\u5143\u6570\u636e \u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u25b6\u2502
\n\u603b\u8ba1 40B（\u5706\u6574\u540e\u8fbe 48B，\u81a8\u80c0\u7387 100%）<\/p>\n
\u591a\u7ebf\u7a0b\u5e76\u53d1\u4e0b\u7684\u540c\u6b65\u7ade\u4e89\u662f\u5f15\u53d1 CPU \u505c\u987f\u7684\u9996\u8981\u539f\u56e0\u3002\u867d\u7136 ptmalloc \u5f15\u5165\u4e86\u591a\u4e2a Arena（\u901a\u5e38\u4e3a\u6838\u5fc3\u6570\u7684\u4e8c\u81f3\u516b\u500d），jemalloc \u4e0e tcmalloc \u5f15\u5165\u4e86\u7ec6\u81f4\u7684\u7ebf\u7a0b\u672c\u5730\u7f13\u5b58（Thread Cache, tcache），\u65e8\u5728\u8ba9\u5927\u90e8\u5206\u5c0f\u5bf9\u8c61\u5206\u914d\u5728\u5f53\u524d\u7ebf\u7a0b\u79c1\u6709\u7a7a\u95f4\u5185\u65e0\u9501\u5b8c\u6210，\u4f46\u8fd9\u5957\u8bbe\u8ba1\u4f9d\u8d56\u4e00\u4e2a\u5047\u8bbe：\u5404\u7ebf\u7a0b\u7684\u5206\u914d\u4e0e\u91ca\u653e\u5904\u4e8e\u76f8\u5bf9\u5747\u8861\u7684\u72b6\u6001\u3002<\/p>\n
\u5f53\u6bcf\u79d2\u6570\u767e\u4e07\u6b21\u5199\u5165\u7a81\u53d1\u6d8c\u5165\u65f6，\u7ebf\u7a0b\u672c\u5730\u7684\u5c0f\u5bf9\u8c61\u9884\u7559\u7f13\u5b58\u4f1a\u5728\u77ed\u65f6\u95f4\u5185\u8017\u5c3d\u3002\u4ee5 glibc ptmalloc \u4e3a\u4f8b，\u5176\u5feb\u901f\u56de\u6536\u94fe\u8868（Fastbin）\u9ed8\u8ba4\u4ec5\u8986\u76d6 16 \u81f3 80 \u5b57\u8282\u4e4b\u95f4\u7684\u6781\u5c0f\u5206\u914d；\u4e00\u65e6\u952e\u503c\u8f7d\u8377\u7565\u5fae\u8d85\u51fa\u8fd9\u4e00\u9608\u503c（\u4f8b\u5982\u8fbe\u5230 96 \u5b57\u8282\u6216 128 \u5b57\u8282），\u5206\u914d\u8bf7\u6c42\u5c06\u76f4\u63a5\u7a7f\u900f Fastbin，\u8dcc\u5165\u65e0\u5e8f\u94fe\u8868（Unsortedbin）\u4e43\u81f3\u5e38\u89c4 Smallbin \u8def\u5f84\u3002\u5728\u6b64\u8def\u5f84\u4e0b，\u5206\u914d\u5668\u5fc5\u987b\u52a0\u9501\u904d\u5386\u4e2d\u592e\u5806\u7ed3\u6784\u5e76\u6267\u884c\u8de8\u5757\u5408\u5e76\u63a2\u6d4b，\u5bfc\u81f4\u672c\u5e94\u5728\u672c\u5730\u5feb\u901f\u5b8c\u6210\u7684\u5185\u5b58\u64cd\u4f5c\u9891\u7e41\u9677\u5165\u5168\u5c40\u540c\u6b65\u3002\u5728 jemalloc \u4e2d，\u5c3d\u7ba1\u5176\u7ebf\u7a0b\u79c1\u6709\u7f13\u5b58（tcache）\u652f\u6301\u66f4\u5927\u8de8\u5ea6\u7684\u5bf9\u8c61\u89c4\u683c（\u9ed8\u8ba4\u4e0a\u9650\u901a\u5e38\u4e3a 32KB），\u4f46\u4e00\u65e6\u7a81\u53d1\u5199\u5165\u6d41\u91cf\u5728\u77ed\u65f6\u95f4\u5185\u8017\u5c3d\u4e86\u7279\u5b9a\u5c3a\u5bf8\u69fd\u4f4d\u7684\u672c\u5730\u5b58\u91cf（\u5982 64 \u5b57\u8282\u69fd\u4f4d\u7684\u6279\u91cf\u989d\u5ea6），\u5206\u914d\u5668\u540c\u6837\u5fc5\u987b\u53d1\u8d77\u6279\u91cf\u8865\u5145（Batch Refill）\u64cd\u4f5c，\u8f6c\u5411\u7ade\u4e89\u4e2d\u592e Arena \u4e92\u65a5\u9501\u3002\u5728\u591a\u6838\u670d\u52a1\u5668\u73af\u5883\u4e0b，\u8fd9\u79cd\u9501\u4e89\u7528\u4f1a\u8fc5\u901f\u8513\u5ef6\u81f3 CPU \u603b\u7ebf\u4e0a\u7684\u7f13\u5b58\u4e00\u81f4\u6027\u534f\u8bae\u5c42\u9762\u3002\u4e0d\u540c CPU \u6838\u5fc3\u7684 L1\/L2 \u7f13\u5b58\u884c\u9891\u7e41\u5931\u6548（Cache Line Invalidation），\u5bfc\u81f4 CPU \u6d41\u6c34\u7ebf\u5927\u91cf\u505c\u987f\u5728\u4e92\u65a5\u9501\u81ea\u65cb\u4e0e\u539f\u5b50 CAS（Compare-And-Swap）\u6307\u4ee4\u4e0a\u3002<\/p>\n
\u5728\u5e95\u5c42\u786c\u4ef6\u4ea4\u4e92\u5c42\u9762，\u73b0\u4ee3 CPU \u4f9d\u8d56 MESI（Modified, Exclusive, Shared, Invalid）\u6216 MOESI \u7f13\u5b58\u4e00\u81f4\u6027\u534f\u8bae\u4fdd\u8bc1\u5171\u4eab\u5185\u5b58\u89c6\u56fe\u3002\u5f53\u6838\u5fc3 0 \u4e0a\u7684\u5de5\u4f5c\u7ebf\u7a0b\u4fee\u6539\u5168\u5c40\u6216\u5206\u533a\u7684\u5185\u5b58\u69fd\u4f4d\u72b6\u6001\u65f6，\u5305\u542b\u8be5\u5143\u6570\u636e\u7684 64 \u5b57\u8282\u7f13\u5b58\u884c\u5728\u6838\u5fc3 1 \u81f3\u6838\u5fc3 N \u7684\u79c1\u6709 L1\/L2 \u7f13\u5b58\u4e2d\u88ab\u6807\u8bb0\u4e3a Invalidated\u3002\u540e\u7eed\u8fd9\u4e9b\u6838\u5fc3\u53d1\u8d77\u5185\u5b58\u5206\u914d\u65f6，\u786c\u4ef6\u65e0\u6cd5\u76f4\u63a5\u547d\u4e2d L1 \u7f13\u5b58，\u5fc5\u987b\u5411\u5168\u5c40 L3 \u7f13\u5b58\u4e43\u81f3\u8de8\u63d2\u69fd（QPI\/UPI \u603b\u7ebf）\u53d1\u8d77\u7aa5\u63a2\u8bf7\u6c42（Snoop Request），\u4ea7\u751f\u9ad8\u8fbe 40 \u81f3 60 \u7eb3\u79d2\u7684\u603b\u7ebf\u5f80\u8fd4\u5ef6\u8fdf\u3002<\/p>\n
\u66f4\u4e3a\u68d8\u624b\u7684\u662f\u8de8\u7ebf\u7a0b\u91ca\u653e\u3002\u5728\u5f02\u6b65\u6d41\u6c34\u7ebf\u67b6\u6784\u4e2d，\u901a\u5e38\u7531\u4e13\u7528 IO \u7ebf\u7a0b\u63a5\u6536\u8bf7\u6c42\u5e76\u5206\u914d\u5bf9\u8c61，\u518d\u4ea4\u7531\u5b58\u50a8\u7ebf\u7a0b\u5904\u7406\u3002\u5f53\u5b58\u50a8\u7ebf\u7a0b\u6267\u884c\u00a0free\u00a0\u91ca\u653e\u8be5\u5185\u5b58\u65f6，\u7531\u4e8e\u8be5\u5185\u5b58\u5c5e\u4e8e\u539f\u59cb\u7ebf\u7a0b\u7684 Arena，\u5206\u914d\u5668\u5fc5\u987b\u501f\u52a9\u8de8\u7ebf\u7a0b\u65e0\u9501\u961f\u5217\u5c06\u91ca\u653e\u8bf7\u6c42\u8f6c\u4ea4\u56de\u53bb，\u6216\u8005\u8de8\u6838\u5fc3\u4e89\u62a2\u5bf9\u7aef Arena \u7684\u9501\u3002\u6570\u767e\u4e07\u6b21\u8de8\u6838\u5fc3\u5185\u5b58\u4ea4\u63a5，\u5bfc\u81f4\u5927\u91cf\u7684 CPU \u5468\u671f\u6d88\u8017\u5728\u5206\u914d\u5668\u5185\u90e8\u7684\u72b6\u6001\u8def\u7531\u4e2d\u3002<\/p>\n
\u901a\u7528\u5206\u914d\u5668\u7684\u7b2c\u4e8c\u91cd\u5f00\u9500\u662f\u5185\u8054\u5143\u6570\u636e\u3002\u4ee5 glibc ptmalloc \u4e3a\u4f8b，\u6bcf\u4e00\u4e2a\u901a\u8fc7\u00a0malloc\u00a0\u5206\u914d\u7684\u5185\u5b58\u5757，\u5e95\u5c42\u5747\u7531\u00a0malloc_chunk\u00a0\u7ed3\u6784\u4f53\u627f\u8f7d\u3002\u4e3a\u4e86\u5728\u672a\u6765\u4e0d\u786e\u5b9a\u7684\u65f6\u523b\u6b63\u786e\u56de\u6536\u5185\u5b58，\u5206\u914d\u5668\u5fc5\u987b\u5728\u8fd4\u56de\u7ed9\u7528\u6237\u7684\u6307\u9488\u524d\u90e8\u586b\u5145\u81f3\u5c11 16 \u5b57\u8282\u7684\u63a7\u5236\u4fe1\u606f\u3002<\/p>\n
\u8fd9 16 \u5b57\u8282\u5934\u90e8\u5305\u542b\u4e24\u4e2a\u5173\u952e\u5b57\u6bb5：<\/p>\n
\u524d 8 \u5b57\u8282\u4e3a\u00a0prev_size，\u8bb0\u5f55\u7269\u7406\u524d\u5411\u7d27\u90bb\u5757\u7684\u8de8\u5ea6，\u7528\u4e8e\u91ca\u653e\u65f6\u5b9a\u4f4d\u524d\u4e00\u4e2a\u7269\u7406\u5757\u4ee5\u5224\u5b9a\u662f\u5426\u53ef\u5b9e\u65bd\u5408\u5e76；<\/p>\n<\/li>\n
\u540e 8 \u5b57\u8282\u4e3a\u00a0size，\u8bb0\u5f55\u672c\u5757\u7684\u7269\u7406\u5c3a\u5bf8，\u5176\u4f4e 3 \u6bd4\u7279\u88ab\u590d\u7528\u4e3a\u6807\u5fd7\u4f4d（A\u3001M\u3001P），\u5206\u522b\u6807\u8bc6\u5f53\u524d\u5757\u662f\u5426\u5c5e\u4e8e\u4e3b Arena\u3001\u662f\u5426\u901a\u8fc7\u00a0mmap\u00a0\u5206\u914d\u3001\u4ee5\u53ca\u524d\u5411\u5757\u662f\u5426\u5904\u4e8e\u4f7f\u7528\u72b6\u6001（PREV_INUSE）\u3002<\/p>\n<\/li>\n<\/ul>\n
\u4ee3\u5165\u5b58\u50a8\u5f15\u64ce\u7684\u5178\u578b\u5199\u5165\u8def\u5f84\u8fdb\u884c\u7a7a\u95f4\u6d4b\u7b97：\u5728 MemTable \u8df3\u8868\u4e2d\u63d2\u5165\u4e00\u4e2a\u5305\u542b\u4e24\u4e2a\u6307\u9488\u548c\u4e00\u4e2a 64 \u4f4d\u5e8f\u5217\u53f7\u7684\u8f7b\u91cf\u8282\u70b9，\u6709\u6548\u8f7d\u8377\u4e3a 24 \u5b57\u8282\u3002\u5206\u914d\u5668\u4e3a\u4e86\u7ba1\u7406\u8fd9 24 \u5b57\u8282，\u5f3a\u5236\u9644\u52a0 16 \u5b57\u8282\u5934\u90e8，\u603b\u5c3a\u5bf8\u8fbe\u5230 40 \u5b57\u8282；\u5728 64 \u4f4d\u67b6\u6784\u4e0b\u6309 16 \u5b57\u8282\u8fb9\u754c\u5411\u4e0a\u5706\u6574，\u6700\u7ec8\u5360\u7528 48 \u5b57\u8282\u3002<\/p>\n
\u8fd9\u610f\u5473\u7740\u5b58\u50a8 24 \u5b57\u8282\u7684\u6709\u6548\u6570\u636e\u9700\u4ed8\u51fa 48 \u5b57\u8282\u7684\u5e95\u5c42\u7269\u7406\u5185\u5b58，\u5143\u6570\u636e\u4e0e\u5bf9\u9f50\u8865\u9f50\u5e26\u6765\u7684\u7a7a\u95f4\u653e\u5927\u7387\u8fbe\u5230 100%\u3002\u5373\u4fbf\u5728\u91c7\u7528\u5916\u90e8\u5143\u6570\u636e\u3001\u6309\u5bf9\u8c61\u5c3a\u5bf8\u5206\u6876\u7ba1\u7406\u7684 jemalloc \u4e2d，\u4e3a\u4e86\u7ef4\u62a4\u57fa\u6570\u6811（Radix Tree）\u6620\u5c04\u8868\u3001\u7a7a\u95f2\u69fd\u4f4d\u4f4d\u56fe（Bitmaps）\u4ee5\u53ca\u5404\u7ea7\u7f13\u5b58\u5217\u8868，\u5176\u5e38\u9a7b\u5143\u6570\u636e\u540c\u6837\u9700\u8981\u5360\u7528\u663e\u8457\u7684\u5185\u5b58\u7a7a\u95f4\u3002\u5f53\u5bf9\u8c61\u5c3a\u5bf8\u5728 32 \u5b57\u8282\u4ee5\u4e0b\u65f6，\u5206\u6876\u5bf9\u9f50\u548c\u5185\u90e8\u7ba1\u7406\u7ed3\u6784\u5e26\u6765\u7684\u5e73\u5747\u7a7a\u95f4\u81a8\u80c0\u7387\u901a\u5e38\u7ef4\u6301\u5728 25% \u81f3 50% \u533a\u95f4\u3002<\/p>\n
\u5728\u66f4\u5fae\u89c2\u7684\u5185\u5b58\u5206\u914d\u5668\u89c4\u683c\u4e2d，glibc ptmalloc \u7684\u5757\u5bf9\u9f50\u89c4\u5219\u8fdb\u4e00\u6b65\u653e\u5927\u4e86\u8fd9\u4e00\u635f\u8017\u3002\u5728 64 \u4f4d x86 \u67b6\u6784\u4e0b，ptmalloc \u5f3a\u5236\u8981\u6c42\u5757\u5927\u5c0f\u6309 16 \u5b57\u8282\u5bf9\u9f50，\u5176\u6700\u5c0f\u5757\u5c3a\u5bf8（MINSIZE）\u8bbe\u5b9a\u4e3a 32 \u5b57\u8282（\u4ee5\u4fbf\u5728\u5757\u7a7a\u95f2\u65f6\u80fd\u591f\u5bb9\u7eb3\u00a0prev_size\u3001size\u3001fd\u00a0\u4e0e\u00a0bk\u00a0\u56db\u4e2a 8 \u5b57\u8282\u6307\u9488）\u3002\u8fd9\u610f\u5473\u7740\u5373\u4f7f\u7528\u6237\u4ec5\u7533\u8bf7 1 \u4e2a\u5b57\u8282\u7684\u5185\u5b58，\u7cfb\u7edf\u5e95\u5c42\u5b9e\u9645\u5212\u62e8\u7684\u7269\u7406\u5c3a\u5bf8\u4e5f\u81f3\u5c11\u4e3a 32 \u5b57\u8282\u3002\u5bf9\u4e8e 24 \u5b57\u8282\u7684\u8df3\u8868\u8282\u70b9，\u52a0\u4e0a 16 \u5b57\u8282\u5934\u90e8\u540e\u8fbe\u5230 40 \u5b57\u8282，\u968f\u540e\u5411\u4e0a\u5706\u6574\u4e3a 48 \u5b57\u8282\u3002<\/p>\n
\u76f8\u6bd4\u4e4b\u4e0b，jemalloc \u91c7\u7528\u4e86\u6309\u5c3a\u5bf8\u5206\u7ea7（Size Classes）\u7684 Slab \u7ba1\u7406\u6a21\u5f0f，\u9884\u5148\u5b9a\u4e49\u4e86 8\u300116\u300132\u300148\u300164\u300180\u300196\u3001112\u3001128 \u7b49\u79bb\u6563\u6863\u4f4d\u3002\u5c3d\u7ba1 jemalloc \u5728\u5c0f\u5bf9\u8c61\u5206\u6876\u4e2d\u5229\u7528\u4f4d\u56fe（Bitmap）\u7d22\u5f15\u53d6\u4ee3\u4e86\u5bf9\u8c61\u5185\u8054\u5934\u90e8，\u4f46\u5176\u5185\u90e8\u7ba1\u7406\u7ed3\u6784\u540c\u6837\u9700\u8981\u5360\u7528\u56fa\u5b9a\u5185\u5b58：\u5305\u62ec\u5b58\u50a8\u57fa\u6570\u6811（Radix Tree）\u8282\u70b9\u3001Slab \u8fd0\u884c\u5934\u4fe1\u606f（Run Header）\u4ee5\u53ca\u8de8\u7ebf\u7a0b\u91ca\u653e\u961f\u5217\u3002\u6b64\u5916，\u5f53\u4e1a\u52a1\u6570\u636e\u5c3a\u5bf8\u5448\u73b0\u8fde\u7eed\u5206\u5e03（\u4f8b\u5982 33 \u5b57\u8282\u300137 \u5b57\u8282\u300141 \u5b57\u8282）\u65f6，jemalloc \u4f1a\u7edf\u4e00\u5411\u4e0a\u5f52\u5165 48 \u5b57\u8282\u7684\u5206\u6863，\u5176\u5355\u69fd\u4f4d\u5185\u90e8\u4ea7\u751f\u7684\u5bf9\u9f50\u95f2\u7f6e\u635f\u8017\u901a\u5e38\u5728 15% \u81f3 30% \u4e4b\u95f4\u3002<\/p>\n
\u57fa\u51c6\u6d4b\u8bd5\u4e2d\u4e24\u767e\u4e07\u4e2a\u5c0f\u5bf9\u8c61\u91ca\u653e\u8017\u65f6\u8fbe 24 \u6beb\u79d2\u7684\u73b0\u8c61，\u63ed\u793a\u4e86\u901a\u7528\u5206\u914d\u5668\u5728\u56de\u6536\u9636\u6bb5\u7684\u6c89\u91cd\u8d1f\u62c5\u3002\u5728\u5206\u914d\u5668\u5185\u90e8，free\u00a0\u64cd\u4f5c\u6d89\u53ca\u590d\u6742\u7684\u5806\u62d3\u6251\u7ed3\u6784\u8c03\u6574，\u5305\u542b\u5982\u4e0b\u6b65\u9aa4：<\/p>\n
\u8fb9\u754c\u63a2\u6d4b\u4e0e\u5c3a\u5bf8\u89e3\u6790：\u6307\u9488\u5411\u4f4e\u5730\u5740\u504f\u79fb 16 \u5b57\u8282，\u8bfb\u53d6\u00a0malloc_chunk\u00a0\u5934\u90e8\u7684\u00a0size\u00a0\u5b57\u6bb5\u5e76\u5c4f\u853d\u6807\u5fd7\u4f4d，\u83b7\u53d6\u5f53\u524d\u7269\u7406\u5757\u5927\u5c0f；<\/p>\n<\/li>\n
\u540e\u5411\u5757\u72b6\u6001\u4e0e\u8fb9\u754c\u63a2\u6d4b：\u4f9d\u636e\u5f53\u524d\u5730\u5740\u4e0e\u89e3\u6790\u51fa\u7684\u5c3a\u5bf8，\u5b9a\u4f4d\u7269\u7406\u4e0a\u76f8\u90bb\u7684\u9ad8\u4f4d\u5185\u5b58\u5757，\u8bfb\u53d6\u5176\u6807\u5fd7\u4f4d\u4ee5\u5224\u65ad\u662f\u5426\u5904\u4e8e\u7a7a\u95f2\u6001；<\/p>\n<\/li>\n
\u524d\u5411\u5757\u5408\u5e76\u4e0e\u89e3\u94fe：\u68c0\u67e5\u5f53\u524d\u5757\u7684\u00a0PREV_INUSE\u00a0\u6807\u5fd7\u3002\u82e5\u524d\u5411\u5757\u7a7a\u95f2，\u4f9d\u636e\u00a0prev_size\u00a0\u504f\u79fb\u627e\u5230\u5176\u5934\u90e8，\u6267\u884c\u53cc\u5411\u5faa\u73af\u94fe\u8868\u00a0unlink\u00a0\u6458\u9664\u64cd\u4f5c，\u5c06\u524d\u5757\u3001\u5f53\u524d\u5757\u5408\u5e76；<\/p>\n<\/li>\n
\u7a7a\u95f2\u4ed3\u4f4d\u5f52\u7c7b\u4e0e\u6807\u7b7e\u66f4\u65b0：\u8ba1\u7b97\u5408\u5e76\u540e\u5927\u5757\u8de8\u5ea6，\u5c06\u5176\u63d2\u5165\u5bf9\u5e94\u7684 Fastbin\u3001Unsortedbin \u6216\u53cc\u5411 Smallbin\/Largebin \u94fe\u8868，\u5e76\u66f4\u65b0\u8fb9\u754c\u6807\u8bb0（Boundary Tag）\u3002<\/p>\n<\/li>\n
\u5f53\u91ca\u653e\u4e24\u767e\u4e07\u4e2a\u79bb\u6563\u5c0f\u5bf9\u8c61\u65f6，\u4e0a\u8ff0\u89e3\u94fe\u3001\u63a2\u6d4b\u4e0e\u63d2\u5165\u64cd\u4f5c\u5fc5\u987b\u5168\u91cf\u6267\u884c\u4e24\u767e\u4e07\u6b21\u3002\u7531\u4e8e\u5c0f\u5bf9\u8c61\u7269\u7406\u5730\u5740\u5206\u6563，\u6307\u9488\u8df3\u8dc3\u7834\u574f\u4e86 CPU \u786c\u4ef6\u9884\u53d6（Hardware Prefetcher）\u7684\u8fde\u7eed\u6027，\u5bfc\u81f4 L1\/L2 \u6570\u636e\u7f13\u5b58\u7f3a\u5931\u7387\u663e\u8457\u5347\u9ad8，\u6d41\u6c34\u7ebf\u505c\u987f\u52a0\u5267\u3002<\/p>\n
\u6b64\u5916，\u79bb\u6563\u7684\u5c0f\u5bf9\u8c61\u5f80\u5f80\u8de8\u8d8a\u6570\u767e\u4e2a\u4e0d\u540c\u7684\u865a\u62df\u5185\u5b58\u7269\u7406\u9875\u3002\u5f53\u5e94\u7528\u5728\u5faa\u73af\u4e2d\u9010\u4e2a\u8c03\u7528\u00a0free\u00a0\u65f6，CPU \u5fc5\u987b\u53cd\u590d\u66f4\u65b0\u4e0d\u540c\u7269\u7406\u9875\u4e0a\u7684\u5143\u6570\u636e\u6807\u8bb0\u3002\u8fd9\u76f4\u63a5\u5bfc\u81f4\u8f6c\u8bd1\u540e\u5907\u7f13\u51b2\u5668（TLB, Translation Lookaside Buffer）\u7684\u8868\u9879\u9891\u7e41\u88ab\u6324\u51fa，\u8feb\u4f7f CPU \u5185\u5b58\u7ba1\u7406\u5355\u5143（MMU）\u591a\u6b21\u53d1\u8d77\u8017\u65f6\u6570\u5341\u4e2a\u7eb3\u79d2\u7684\u56db\u7ea7\u9875\u8868\u904d\u5386（Page Table Walk）\u3002<\/p>\n
\u5728 MemTable \u5199\u5165\u573a\u666f\u4e2d，\u8fd9\u6279\u5c0f\u5bf9\u8c61\u751f\u547d\u5468\u671f\u5b8c\u5168\u540c\u751f\u5171\u6b7b：\u81ea\u6570\u636e\u5199\u5165\u3001\u6784\u5efa\u7d22\u5f15\u76f4\u81f3\u51bb\u7ed3\u5237\u76d8（Flush）\u4e3a\u4e0d\u53ef\u53d8 SSTable，\u6240\u6709\u8282\u70b9\u5728\u540c\u4e00\u65f6\u523b\u5168\u91cf\u5931\u6548\u3002\u6b64\u65f6\u5206\u914d\u5668\u9010\u4e2a\u63a2\u6d4b\u76f8\u90bb\u5757\u5e76\u7ef4\u62a4\u53cc\u5411\u94fe\u8868，\u6784\u6210\u4e86\u7eaf\u7cb9\u7684\u7b97\u529b\u5197\u4f59\u3002<\/p>\n
\u7a81\u7834\u901a\u7528\u5206\u914d\u5668\u6027\u80fd\u74f6\u9888\u7684\u5173\u952e，\u5728\u4e8e\u5c06\u751f\u547d\u5468\u671f\u7ba1\u7406\u7c92\u5ea6\u7531\u5355\u4e2a\u5bf9\u8c61\u63d0\u5347\u81f3\u7269\u7406\u5757（Block）\u3002\u533a\u57df\u5185\u5b58\u6c60（Arena Allocator）\u9075\u5faa\u4e09\u9879\u539f\u5219：\u6309\u5757\u7533\u8bf7（Chunk Allocation）\u3001\u5757\u5185\u5207\u5206（Slicing）\u3001\u4ee5\u53ca\u6574\u4f53\u5f52\u8fd8（Bulk Deallocation）\u3002\u901a\u8fc7\u5728\u751f\u547d\u5468\u671f\u7ef4\u5ea6\u4e0e\u4e1a\u52a1\u6279\u6b21\u5bf9\u9f50，\u6d88\u89e3\u9488\u5bf9\u79bb\u6563\u5c0f\u5bf9\u8c61\u7684\u9010\u4e2a\u8ffd\u8e2a\u4e0e\u7ef4\u62a4\u6210\u672c\u3002<\/p>\n
\u8981\u7406\u89e3\u8fd9\u79cd\u8bbe\u8ba1\u54f2\u5b66\u5728\u5de5\u4e1a\u7ea7\u4ee3\u7801\u5e93\u4e2d\u7684\u5f62\u6001，\u53ef\u5148\u89c2\u5bdf\u5176\u62bd\u8c61\u63a5\u53e3\u3002RocksDB \u7684\u6838\u5fc3\u5206\u914d\u5668\u62bd\u8c61\u57fa\u7c7b\u5b9a\u4e49\u4f4d\u4e8e\u00a0memory\/allocator.h（\u7b2c 23 \u884c\u8d77）：<\/p>\n
C++<\/p>\n
\/\/ \u6e90\u7801\u4f4d\u7f6e：rocksdb\/memory\/allocator.h#L23
\nnamespace ROCKSDB_NAMESPACE {<\/p>\n
class Logger;<\/p>\n
class Allocator {
\n public:
\n virtual ~Allocator() {}<\/p>\n
virtual char* Allocate(size_t bytes) = 0;
\n virtual char* AllocateAligned(size_t bytes, size_t huge_page_size = 0,
\n Logger* logger = nullptr) = 0;<\/p>\n
virtual size_t BlockSize() const = 0;
\n};<\/p>\n
} \/\/ namespace ROCKSDB_NAMESPACE<\/p>\n
\u67e5\u770b\u8be5\u62bd\u8c61\u57fa\u7c7b\u5b9a\u4e49：\u9664\u6790\u6784\u51fd\u6570\u5916，\u63a5\u53e3\u4ec5\u58f0\u660e\u4e86\u7528\u4e8e\u5206\u914d\u7684\u6838\u5fc3\u7eaf\u865a\u51fd\u6570\u00a0Allocate\u3001AllocateAligned，\u4ee5\u53ca\u67e5\u8be2\u5f53\u524d\u5757\u5927\u5c0f\u7684\u00a0BlockSize\u3002<\/p>\n
\u5728\u8fd9\u4efd\u5206\u914d\u5668\u62bd\u8c61\u63a5\u53e3\u4e2d，\u4e0d\u5b58\u5728\u4efb\u4f55\u5f62\u5982\u00a0Free(char* ptr)\u00a0\u7684\u6210\u5458\u51fd\u6570\u3002<\/p>\n
\u5728\u67b6\u6784\u8bbe\u8ba1\u4e2d，\u663e\u5f0f\u5265\u79bb\u5355\u4e2a\u5bf9\u8c61\u7684\u91ca\u653e\u5951\u7ea6\u662f\u7b80\u5316\u5185\u5b58\u7ba1\u7406\u590d\u6742\u5ea6\u7684\u6838\u5fc3\u624b\u6bb5\u3002\u4e00\u65e6\u5206\u914d\u5668\u5411\u5916\u66b4\u9732\u5355\u5bf9\u8c61\u00a0Free(ptr)\u00a0\u63a5\u53e3，\u5c31\u5fc5\u987b\u5728\u5e95\u5c42\u8bb0\u5f55\u8be5\u6307\u9488\u5bf9\u5e94\u7684\u7269\u7406\u5757\u5f52\u5c5e\u4e0e\u5c3a\u5bf8，\u8fdb\u800c\u88ab\u8feb\u5f15\u5165\u5bf9\u8c61\u7ea7\u5143\u6570\u636e\u4e0e\u7a7a\u95f2\u94fe\u8868\u3002\u5f53\u00a0Allocator\u00a0\u786e\u7acb\u4e86\u201c\u5355\u5411\u5207\u5206\u3001\u62d2\u7edd\u5355\u91ca\u201d\u7684\u5951\u7ea6\u540e，\u6240\u6709\u7c3f\u8bb0\u8d1f\u62c5\u5f97\u4ee5\u5378\u9664：<\/p>\n
\u65e0\u9700\u5728\u6bcf\u4e2a\u5bf9\u8c61\u5934\u90e8\u9644\u52a0 16 \u5b57\u8282\u5143\u6570\u636e；<\/p>\n<\/li>\n
\u65e0\u9700\u7ef4\u62a4\u590d\u6742\u7684\u7a7a\u95f2\u94fe\u8868\u4e0e\u591a\u7ea7 Bin；<\/p>\n<\/li>\n
\u5e95\u5c42\u7269\u7406\u5185\u5b58\u5757\u9000\u5316\u4e3a\u8fde\u7eed\u7ebf\u6027\u7684\u539f\u59cb\u5b57\u8282\u6d41\u3002<\/p>\n<\/li>\n<\/ul>\n
\u5265\u79bb\u5143\u6570\u636e\u540e，\u5757\u5185\u5206\u914d\u903b\u8f91\u5f97\u4ee5\u7cbe\u7b80\u4e3a\u6307\u9488\u78b0\u649e（Bump-pointer Allocation）\u3002<\/p>\n
\u4ee5\u4e0b\u4e3a\u6307\u9488\u78b0\u649e\u6838\u5fc3\u903b\u8f91\u7684\u6700\u5c0f\u5316\u5b9e\u73b0：<\/p>\n
C++<\/p>\n
class MinimalBumpArena {
\npublic:
\n explicit MinimalBumpArena(size_t block_size = 65536)
\n : block_size_(block_size), current_block_(nullptr),
\n alloc_ptr_(nullptr), remaining_bytes_(0) {}<\/p>\n
~MinimalBumpArena() {
\n for (char* block : blocks_) {
\n delete[] block; \/\/ \u6279\u91cf\u6790\u6784\u6240\u6709\u5927\u5757
\n }
\n }<\/p>\n
char* Allocate(size_t bytes) {
\n \/\/ \u5feb\u901f\u8def\u5f84：\u5f53\u524d\u5757\u5269\u4f59\u7a7a\u95f4\u5145\u8db3
\n if (bytes <= remaining_bytes_) {
\n char* result = alloc_ptr_;
\n alloc_ptr_ += bytes;
\n remaining_bytes_ -= bytes;
\n return result;
\n }
\n \/\/ \u6162\u901f\u8def\u5f84：\u7533\u8bf7\u65b0\u5757
\n return AllocateFallback(bytes);
\n }<\/p>\n
private:
\n char* AllocateFallback(size_t bytes) {
\n \/\/ \u5411\u7cfb\u7edf\u6279\u53d1\u4e00\u4e2a\u5b8c\u6574\u7684\u5927\u5757
\n size_t size_to_allocate = std::max(block_size_, bytes);
\n char* new_block = new char[size_to_allocate];
\n blocks_.push_back(new_block);<\/p>\n
current_block_ = new_block;
\n alloc_ptr_ = new_block + bytes;
\n remaining_bytes_ = size_to_allocate – bytes;
\n return new_block;
\n }<\/p>\n
size_t block_size_;
\n char* current_block_;
\n char* alloc_ptr_;
\n size_t remaining_bytes_;
\n std::vector<char*> blocks_;
\n};<\/p>\n
\u8be5\u5b9e\u73b0\u7684\u5173\u952e\u5728\u4e8e\u00a0Allocate\u00a0\u51fd\u6570\u7684\u5feb\u901f\u8def\u5f84（Fast Path）\u3002\u5f53\u7533\u8bf7\u5185\u5b58\u65f6，\u5e95\u5c42\u6267\u884c\u7684\u6c47\u7f16\u6307\u4ee4\u5e8f\u5217\u9ad8\u5ea6\u7d27\u51d1：<\/p>\n
text<\/p>\n
\u6307\u9488\u78b0\u649e\u7684\u6781\u7b80\u6c47\u7f16\u6d41\u6c34\u7ebf
\n\u250c\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2510
\n\u2502 cmp qword ptr [rdi+24], rsi \u2502
\n\u2502 jb .L_fallback \u2502
\n\u2502 mov rax, qword ptr [rdi+16] \u2502
\n\u2502 add qword ptr [rdi+16], rsi \u2502
\n\u2502 sub qword ptr [rdi+24], rsi \u2502
\n\u2502 ret \u2502
\n\u2514\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2518<\/p>\n
\u8be5\u6267\u884c\u8def\u5f84\u65e0\u7cfb\u7edf\u8c03\u7528\u3001\u65e0\u9501\u540c\u6b65\u3001\u65e0\u94fe\u8868\u904d\u5386，\u51fd\u6570\u8c03\u7528\u5f00\u9500\u53ef\u88ab\u7f16\u8bd1\u5668\u5b8c\u5168\u5185\u8054\u4f18\u5316\u3002\u5728\u7f16\u8bd1\u5668\u4f18\u5316\u5c42\u9762，\u7531\u4e8e\u5feb\u901f\u8def\u5f84\u903b\u8f91\u6781\u4e3a\u7cbe\u70bc，\u73b0\u4ee3 GCC \u4e0e Clang \u5728\u4f18\u5316\u7ea7\u522b\u4e0b\u4f1a\u81ea\u52a8\u89e6\u53d1\u65e0\u6761\u4ef6\u5185\u8054，\u5f7b\u5e95\u514d\u9664\u4e86\u5e38\u89c4\u51fd\u6570\u8c03\u7528\u6240\u9700\u7684\u4fdd\u5b58\u57fa\u5740\u6307\u9488\u4e0e\u6784\u9020\u6808\u5e27\u5f00\u9500\u3002\u5728 x86_64 \u6c47\u7f16\u4f53\u7cfb\u4e2d，\u8fd9\u76f8\u5f53\u4e8e\u76f4\u63a5\u524a\u51cf\u4e86\u9488\u5bf9\u8fd4\u56de\u5730\u5740\u538b\u6808\u4e0e\u8df3\u8f6c\u7684 CPU \u6267\u884c\u5468\u671f\u3002\u6307\u4ee4\u6d41\u6c34\u7ebf\u5728 CPU \u5bc4\u5b58\u5668\u4e0e L1 \u7f13\u5b58\u4e2d\u6267\u884c，\u5206\u652f\u9884\u6d4b\u5668\u5bf9\u4e8e\u5c0f\u5bf9\u8c61\u5206\u914d\u7684\u547d\u4e2d\u7387\u63a5\u8fd1 100%\u3002\u8fd9\u89e3\u91ca\u4e86\u57fa\u51c6\u6d4b\u8bd5\u4e2d\u4e24\u767e\u4e07\u6b21\u5206\u914d\u7684 CPU \u8017\u65f6\u7531 21 \u6beb\u79d2\u7f29\u51cf\u81f3 11 \u6beb\u79d2\u7684\u7269\u7406\u539f\u56e0\u3002<\/p>\n
\u4ece\u6307\u4ee4\u7f13\u5b58（I-Cache）\u4e0e\u6307\u4ee4\u8f6c\u8bd1\u540e\u5907\u7f13\u51b2\u5668（iTLB）\u7684\u5fae\u89c2\u89c6\u89d2\u89c2\u5bdf，\u6307\u9488\u78b0\u649e\u540c\u6837\u5177\u6709\u538b\u5012\u6027\u4f18\u52bf\u3002Allocate\u00a0\u7684\u5feb\u901f\u8def\u5f84\u4ec5\u5305\u542b 5 \u6761\u6c47\u7f16\u6307\u4ee4，\u5728\u7f16\u8bd1\u4f18\u5316\u540e\u80fd\u591f\u7d27\u51d1\u5730\u5bb9\u7eb3\u5728\u5355\u4e2a 64 \u5b57\u8282\u7684\u6307\u4ee4\u7f13\u5b58\u884c\u5185\u3002\u5728\u9ad8\u9891\u8c03\u7528\u94fe\u8def\u4e2d，\u8fd9\u6bb5\u7d27\u51d1\u7684\u4ee3\u7801\u6bb5\u51e0\u4e4e\u6c38\u4e45\u5e38\u9a7b\u4e8e CPU \u7684 L1 \u6307\u4ee4\u7f13\u5b58\u4e2d\u3002\u76f8\u6bd4\u4e4b\u4e0b，\u901a\u7528\u5206\u914d\u5668\u7684\u00a0malloc\u00a0\u5b9e\u73b0\u8de8\u8d8a\u6570\u5343\u884c\u590d\u6742\u7684 C \u4ee3\u7801，\u5305\u542b\u5927\u91cf\u7684\u6761\u4ef6\u8df3\u8f6c\u3001\u5f02\u5e38\u5904\u7406\u5206\u652f\u4e0e\u51fd\u6570\u8c03\u7528\u8df3\u8f6c，\u4e0d\u4ec5\u5360\u636e\u6570\u5341\u6761\u6307\u4ee4\u7f13\u5b58\u884c，\u8fd8\u4f1a\u9891\u7e41\u89e6\u53d1\u6307\u4ee4\u7f13\u5b58\u7f3a\u5931（I-Cache Miss）\u4e0e\u6307\u4ee4\u6d41\u6c34\u7ebf\u6c14\u6ce1（Pipeline Bubble）\u3002\u6307\u9488\u78b0\u649e\u5c06\u6307\u4ee4\u8db3\u8ff9\u538b\u7f29\u81f3\u6781\u81f4，\u4f7f\u5f97\u6307\u4ee4\u89e3\u7801\u4e0e\u6267\u884c\u5355\u5143\u80fd\u4ee5\u6700\u9ad8\u7684\u80fd\u6548\u6bd4\u8fde\u7eed\u8fd0\u8f6c\u3002<\/p>\n
\u4ece\u73b0\u4ee3\u5904\u7406\u5668\u7684\u8d85\u6807\u91cf\u6d41\u6c34\u7ebf（Superscalar Pipeline）\u89d2\u5ea6\u5ba1\u89c6，\u6307\u9488\u78b0\u649e\u5177\u5907\u5929\u7136\u7684\u6307\u4ee4\u7ea7\u5e76\u884c\u6027（Instruction-Level Parallelism, ILP）\u3002\u5728\u4e0a\u8ff0\u6c47\u7f16\u4e2d，\u6bd4\u8f83\u6307\u4ee4\u00a0cmp\u00a0\u4e0e\u8df3\u8f6c\u6307\u4ee4\u00a0jb\u00a0\u88ab\u5206\u652f\u9884\u6d4b\u5355\u5143（BPU）\u4ee5\u6781\u9ad8\u51c6\u786e\u7387\u9884\u6d4b\u4e3a\u4e0d\u8df3\u8f6c，\u6267\u884c\u5355\u5143\u53ef\u4e71\u5e8f\u9884\u53d6\u540e\u7eed\u7684\u52a0\u6cd5\u4e0e\u51cf\u6cd5\u8fd0\u7b97\u3002\u5bc4\u5b58\u5668\u91cd\u547d\u540d\u5f15\u64ce\u76f4\u63a5\u5728\u4fdd\u7559\u7ad9\u4e2d\u5e76\u884c\u63d0\u4ea4\u5bf9\u00a0alloc_ptr_\u00a0\u548c\u00a0remaining_bytes_\u00a0\u7684\u5bc4\u5b58\u5668\u5199\u5165，\u5206\u914d\u5ef6\u8fdf\u88ab\u5b9e\u8d28\u538b\u7f29\u81f3\u65f6\u949f\u5468\u671f\u7684\u7269\u7406\u6781\u9650\u3002<\/p>\n
\u4e3a\u4e86\u66f4\u6df1\u5165\u5730\u7406\u89e3\u6307\u9488\u78b0\u649e\u7684\u5fae\u4f53\u7cfb\u7ed3\u6784\u4f18\u52bf，\u6211\u4eec\u53ef\u5c06\u5176\u4e0e\u64cd\u4f5c\u7cfb\u7edf\u5185\u6838\u4e2d\u7ecf\u5178\u7684\u4f19\u4f34\u7cfb\u7edf（Buddy System）\u53ca\u7a7a\u95f2\u94fe\u8868\u5206\u914d\u5668\u8fdb\u884c\u5bf9\u6bd4\u3002\u5728\u4f19\u4f34\u7cfb\u7edf\u4e2d，\u5185\u5b58\u7ba1\u7406\u4ee5\u9875（4KB）\u4e3a\u57fa\u51c6\u5355\u5143，\u6309 2 \u7684\u6574\u6570\u6b21\u5e42\u5206\u7ea7（2^k * 4KB）\u3002\u5f53\u9762\u4e34\u5fae\u5c0f\u5bf9\u8c61\u7684\u5206\u914d\u8bf7\u6c42\u65f6，\u4f19\u4f34\u7cfb\u7edf\u5fc5\u987b\u6cbf\u4e8c\u53c9\u6811\u7ed3\u6784\u9010\u7ea7\u5411\u4e0b\u5206\u88c2\u5927\u9875，\u5e76\u5728\u91ca\u653e\u65f6\u901a\u8fc7\u5f02\u6216\u4f4d\u8fd0\u7b97\u00a0p ^ (1 << k)\u00a0\u8ba1\u7b97\u4f19\u4f34\u5757\u5730\u5740\u4ee5\u6267\u884c\u9012\u5f52\u5408\u5e76\u3002\u8fd9\u7c7b\u8fd0\u7b97\u4e0d\u4ec5\u6d89\u53ca\u5bc6\u96c6\u7684\u4f4d\u8fd0\u7b97\u4e0e\u94fe\u8868\u6458\u6302，\u8fd8\u4f1a\u56e0\u5185\u5b58\u6309\u9875\u6574\u500d\u6570\u5bf9\u9f50\u9020\u6210\u6781\u5927\u7684\u5185\u90e8\u788e\u7247\u3002\u800c\u5728\u7a7a\u95f2\u94fe\u8868（Free-List）\u6a21\u578b\u4e2d，\u5206\u914d\u5668\u5fc5\u987b\u5728\u7ebf\u6027\u94fe\u8868\u6216\u7ea2\u9ed1\u6811\u4e2d\u641c\u7d22\u6ee1\u8db3\u5c3a\u5bf8\u7684\u6700\u4f73\u5339\u914d\u69fd\u4f4d（Best-Fit）\u6216\u9996\u6b21\u5339\u914d\u69fd\u4f4d（First-Fit），\u7b97\u6cd5\u65f6\u95f4\u590d\u6742\u5ea6\u901a\u5e38\u5728 O(log N) \u81f3 O(N) \u4e4b\u95f4\u6ce2\u52a8\u3002<\/p>\n
\u76f8\u6bd4\u4e4b\u4e0b，\u6307\u9488\u78b0\u649e\u5c06\u641c\u7d22\u590d\u6742\u5ea6\u76f4\u63a5\u964d\u81f3 O(1)\u3002\u5728 CPU \u5199\u5165\u6d41\u6c34\u7ebf\u4e2d，\u7531\u4e8e\u8fde\u7eed\u5206\u914d\u7684\u5730\u5740\u5448\u5355\u8c03\u9012\u589e，\u5904\u7406\u5668\u5185\u90e8\u7684\u5199\u5408\u5e76\u7f13\u51b2\u533a（Write-Combining Buffer, WC Buffer）\u80fd\u591f\u5c06\u5148\u540e\u5230\u6765\u7684\u591a\u6b21\u5c0f\u5c3a\u5bf8\u5199\u5165\u8bf7\u6c42\u805a\u5408\u4e3a\u9488\u5bf9\u540c\u4e00\u7f13\u5b58\u884c\u7684\u5355\u6b21\u66f4\u65b0，\u907f\u514d\u4e86\u56e0\u9891\u7e41\u4fee\u6539\u79bb\u6563\u5185\u5b58\u5730\u5740\u800c\u89e6\u53d1\u7684\u603b\u7ebf\u5199\u56de\u60e9\u7f5a（Writeback Penalty）\u3002<\/p>\n
\u6b64\u5916，\u8fde\u7eed\u5207\u5206\u663e\u8457\u63d0\u5347\u4e86\u7a7a\u95f4\u5c40\u90e8\u6027（Spatial Locality）\u3002\u5148\u540e\u5206\u914d\u7684\u6570\u5341\u4e2a\u5bf9\u8c61\u7269\u7406\u7d27\u90bb\u6392\u5217\u5728\u540c\u4e00\u4e2a 64KB \u5757\u5185，\u4e0a\u5c42\u987a\u5e8f\u904d\u5386\u65f6，\u786c\u4ef6\u9884\u53d6\u5668\u80fd\u591f\u7a33\u5b9a\u52a0\u8f7d\u8fde\u7eed\u7684\u7f13\u5b58\u884c（Cache Line），\u964d\u4f4e\u7f13\u5b58\u7f3a\u5931\u7387\u3002<\/p>\n
\u91ca\u653e\u9636\u6bb5\u7684\u65f6\u95f4\u590d\u6742\u5ea6\u6536\u655b\u540c\u6837\u6e90\u4e8e\u5757\u7ea7\u6279\u91cf\u7ba1\u7406\u3002<\/p>\n
\u901a\u7528\u5206\u914d\u5668\u5728\u91ca\u653e\u4e24\u767e\u4e07\u4e2a\u5bf9\u8c61\u65f6\u5fc5\u987b\u8c03\u7528\u4e24\u767e\u4e07\u6b21\u00a0free，\u6267\u884c\u4e24\u767e\u4e07\u6b21\u76f8\u90bb\u5757\u72b6\u6001\u63a2\u6d4b\u4e0e\u94fe\u8868\u64cd\u4f5c\u3002<\/p>\n
\u800c\u5728\u533a\u57df\u5185\u5b58\u6c60\u4e2d，\u5c0f\u5bf9\u8c61\u4e0d\u7ecf\u5386\u72ec\u7acb\u91ca\u653e\u6d41\u7a0b\u3002\u5f53 MemTable \u5237\u76d8\u5b8c\u6210\u5e76\u8f6c\u6362\u4e3a\u4e0d\u53ef\u53d8 SSTable \u65f6，\u6574\u6279\u8282\u70b9\u6574\u4f53\u5931\u6548\u3002\u4e0a\u5c42\u4ec5\u9700\u9500\u6bc1 Arena \u5b9e\u4f8b：<\/p>\n
C++<\/p>\n
MinimalBumpArena::~MinimalBumpArena() {
\n for (char* block : blocks_) {
\n delete[] block; \/\/ \u6279\u91cf\u91ca\u653e\u6574\u4e2a\u5757
\n }
\n}<\/p>\n
\u82e5\u8bbe\u5b9a\u5e38\u89c4\u5757\u5c3a\u5bf8\u4e3a 64KB（65536 \u5b57\u8282），\u57fa\u51c6\u6d4b\u8bd5\u4e2d\u4e24\u767e\u4e07\u4e2a\u5c0f\u5bf9\u8c61（\u7ea6 159MB）\u5728\u5e95\u5c42\u88ab\u7ec4\u7ec7\u4e3a\u7ea6 2400 \u4e2a 64KB \u7269\u7406\u5757\u3002\u4e24\u767e\u4e07\u6b21\u5bf9\u8c61\u6790\u6784\u8f6c\u5316\u4e3a\u5411\u7cfb\u7edf\u5806\u6267\u884c 2400 \u6b21\u9488\u5bf9\u5927\u5757\u5185\u5b58\u7684\u96c6\u4e2d\u5f52\u8fd8\u3002<\/p>\n
\u5728\u7b97\u6cd5\u590d\u6742\u5ea6\u7ef4\u5ea6，\u91ca\u653e\u6210\u672c\u7531\u539f\u672c\u7684 O(N) \u6536\u655b\u81f3 O(N \/ K)（\u5176\u4e2d K \u4e3a\u6bcf\u4e2a\u5927\u5757\u5185\u5bb9\u7eb3\u7684\u5c0f\u5bf9\u8c61\u6570）\u3002\u5f53 K \u8fbe\u5230\u6570\u767e\u4e43\u81f3\u6570\u5343\u65f6，\u5355\u5bf9\u8c61\u5206\u644a\u7684\u91ca\u653e\u5f00\u9500\u8d8b\u8fd1\u4e8e\u96f6，\u8fd9\u89e3\u91ca\u4e86\u57fa\u51c6\u6d4b\u8bd5\u4e2d\u00a0Bulk free: 0 ms\u00a0\u7684\u5de5\u7a0b\u539f\u56e0\u3002<\/p>\n
\u5728\u64cd\u4f5c\u7cfb\u7edf\u4e0e\u865a\u62df\u5185\u5b58\u7ba1\u7406\u5c42\u9762，\u5411\u7cfb\u7edf\u91ca\u653e\u4e00\u4e2a 64KB \u5757\u901a\u5e38\u4ec5\u89e6\u53d1\u4e00\u6b21 glibc \u7684\u5185\u5b58\u5408\u5e76，\u6216\u8005\u5728\u72ec\u7acb\u5927\u5757\u573a\u666f\u4e0b\u89e6\u53d1\u5355\u6b21\u00a0munmap\u00a0\u7cfb\u7edf\u8c03\u7528\u3002\u8fd9\u4f7f\u5f97\u64cd\u4f5c\u7cfb\u7edf\u5728\u9875\u8868\u7ea7\u522b\u89e3\u9664\u4e86\u6574\u6279\u8fde\u7eed\u7269\u7406\u9875\u7684\u6620\u5c04\u5173\u7cfb，TLB \u8868\u9879\u7684\u65e0\u6548\u5316（TLB Invalidation）\u4ee5\u8303\u56f4（Range-based Flush）\u5f62\u5f0f\u6279\u91cf\u4e0b\u53d1，\u6d88\u9664\u4e86\u6570\u767e\u4e07\u6b21\u96f6\u6563\u5c0f\u4fee\u6539\u5bf9\u5185\u6838\u865a\u62df\u5185\u5b58\u5b50\u7cfb\u7edf\u7684\u51b2\u51fb\u3002<\/p>\n
MinimalBumpArena\u00a0\u5c55\u793a\u4e86\u6307\u9488\u78b0\u649e\u7684\u57fa\u7840\u539f\u7406，\u4f46\u5728\u5de5\u4e1a\u7ea7\u5b58\u50a8\u5f15\u64ce\u4e2d，\u5355\u7eaf\u7684\u5355\u5411\u63a8\u8fdb\u4f1a\u9762\u4e34\u5185\u5b58\u5bf9\u9f50（Memory Alignment）\u7684\u5236\u7ea6\u3002<\/p>\n
\u5728\u56fa\u5b9a\u5c3a\u5bf8\u5bf9\u8c61\u6c60\u4e2d，\u5bf9\u9f50\u89c4\u5219\u76f8\u5bf9\u53ef\u63a7\u3002\u7136\u800c\u5728 RocksDB \u7b49\u5b58\u50a8\u5f15\u64ce\u4e2d，MemTable \u5185\u90e8\u6d41\u8f6c\u7684\u6570\u636e\u5c3a\u5bf8\u9ad8\u5ea6\u6df7\u6742，\u4e3b\u8981\u5305\u542b\u4e24\u7c7b\u7269\u7406\u8bc9\u6c42\u622a\u7136\u4e0d\u540c\u7684\u6570\u636e：<\/p>\n
\u7b2c\u4e00\u7c7b\u4e3a\u7ed3\u6784\u5316\u6307\u9488\u4e0e\u7d22\u5f15\u8282\u70b9\u3002\u4f8b\u5982\u8df3\u8868\u8282\u70b9\u7684\u524d\u5411\u6307\u9488\u6570\u7ec4\u3001\u539f\u5b50\u7248\u672c\u53f7（Sequence Number）\u7b49\u3002\u5728 64 \u4f4d\u67b6\u6784（x86_64 \u4e0e ARMv8\/v9）\u4e0b，\u6307\u9488\u8981\u6c42 8 \u5b57\u8282\u8fb9\u754c\u5bf9\u9f50，\u90e8\u5206 SIMD \u6307\u4ee4\u751a\u81f3\u8981\u6c42 16 \u5b57\u8282\u5bf9\u9f50\u3002\u82e5\u8fdd\u53cd\u786c\u4ef6\u5bf9\u9f50\u5951\u7ea6，\u5728\u4e25\u683c\u7684\u67b6\u6784（\u5982\u90e8\u5206 ARM \u6838\u5fc3）\u4e0a\u4f1a\u76f4\u63a5\u89e6\u53d1\u786c\u4ef6\u5bf9\u9f50\u5f02\u5e38\u4e2d\u65ad；\u5373\u4fbf\u5728\u5bb9\u5fcd\u975e\u5bf9\u9f50\u8bbf\u95ee\u7684\u73b0\u4ee3 x86 \u5904\u7406\u5668\u4e0a，\u5f53\u4e00\u4e2a 8 \u5b57\u8282\u6307\u9488\u6070\u597d\u8de8\u8d8a\u4e24\u6761 64 \u5b57\u8282\u7f13\u5b58\u884c\u8fb9\u754c（Split Line Access）\u65f6，CPU \u5fc5\u987b\u53d1\u8d77\u4e24\u6b21\u603b\u7ebf\u8bfb\u53d6\u5e76\u5728\u5185\u90e8\u6267\u884c\u590d\u6742\u7684\u79fb\u4f4d\u62fc\u63a5，\u539f\u5b50\u64cd\u4f5c\u751a\u81f3\u4f1a\u9000\u5316\u4e3a\u9501\u5b9a\u603b\u7ebf\u7684\u5168\u5c40\u4e92\u65a5\u64cd\u4f5c，\u4e25\u91cd\u62d6\u6162\u5185\u5b58\u6d41\u6c34\u7ebf\u3002<\/p>\n
\u7b2c\u4e8c\u7c7b\u4e3a\u53d8\u957f\u975e\u7ed3\u6784\u5316\u5b57\u7b26\u6570\u7ec4\u3002\u4f8b\u5982\u539f\u59cb\u7528\u6237 Key\u3001Value \u4ee5\u53ca Varint \u7f16\u7801\u524d\u7f00\u3002\u8fd9\u4e9b\u5b57\u8282\u5207\u7247\u5c3a\u5bf8\u7531\u4e1a\u52a1\u6570\u636e\u51b3\u5b9a，\u65e0\u9700\u9075\u5faa 8 \u5b57\u8282\u5bf9\u9f50\u8981\u6c42，\u6bcf\u4e2a\u5b57\u8282\u5747\u53ef\u5728\u4efb\u610f\u5730\u5740\u5b58\u653e\u3002<\/p>\n
\u5728\u73b0\u4ee3\u5904\u7406\u5668\u67b6\u6784\u4e2d，\u975e\u5bf9\u9f50\u5185\u5b58\u8bbf\u95ee\u7684\u60e9\u7f5a\u4e3b\u8981\u6e90\u4e8e\u603b\u7ebf\u4e0e\u7f13\u5b58\u884c\u7684\u7269\u7406\u4ea4\u4e92\u8fb9\u754c\u3002\u5728 64 \u4f4d x86_64 \u4e0e ARMv8 \u67b6\u6784\u4e0b，\u4e00\u7ea7\u6570\u636e\u7f13\u5b58\u901a\u5e38\u5212\u5206\u4e3a 64 \u5b57\u8282\u5927\u5c0f\u7684\u7f13\u5b58\u884c（Cache Line）\u3002\u82e5\u4e00\u4e2a 8 \u5b57\u8282\u7684\u6307\u9488\u6216 64 \u4f4d\u6574\u6570\u5b57\u6bb5\u8de8\u8d8a\u4e86\u7f13\u5b58\u884c\u8fb9\u754c（\u4f8b\u5982\u8d77\u59cb\u5730\u5740\u4f4d\u4e8e\u67d0\u7f13\u5b58\u884c\u7684\u7b2c 60 \u5b57\u8282，\u8de8\u8d8a\u81f3\u4e0b\u4e00\u884c\u7684\u7b2c 4 \u5b57\u8282），CPU \u5185\u5b58\u6267\u884c\u5355\u5143\u65e0\u6cd5\u5728\u5355\u4e2a\u65f6\u949f\u5468\u671f\u5185\u5b8c\u6210\u6570\u636e\u52a0\u8f7d，\u5fc5\u987b\u5411\u7f13\u5b58\u63a7\u5236\u5668\u53d1\u51fa\u4e24\u6b21\u72ec\u7acb\u7684\u8bfb\u53d6\u8bf7\u6c42，\u5e76\u5728\u5185\u90e8\u52a0\u8f7d\u961f\u5217（Load Queue）\u4e2d\u6267\u884c\u79fb\u4f4d\u4e0e\u62fc\u63a5\u3002\u5728\u5e76\u53d1\u573a\u666f\u4e0b，\u82e5\u8be5\u8de8\u884c\u6570\u636e\u6d89\u53ca\u539f\u5b50\u64cd\u4f5c（\u5982\u00a0std::atomic<uint64_t>），\u786c\u4ef6\u5c06\u65e0\u6cd5\u901a\u8fc7\u5e38\u89c4\u7684\u4e00\u7ea7\u7f13\u5b58\u884c\u9501\u5b9a（Cache Locking）\u4fdd\u8bc1\u539f\u5b50\u6027，\u8f6c\u800c\u88ab\u8feb\u89e6\u53d1\u603b\u7ebf\u9501\u5b9a（Split Lock），\u6302\u8d77\u540c\u4e00\u5904\u7406\u5668\u63d2\u69fd\u4e0a\u6240\u6709\u5176\u4ed6\u6838\u5fc3\u7684\u5185\u5b58\u8bbf\u95ee\u6d41\u6c34\u7ebf\u6570\u5341\u4e2a\u5468\u671f，\u4e25\u91cd\u7834\u574f\u591a\u6838\u5e76\u884c\u541e\u5410\u3002<\/p>\n
\u82e5\u5728\u5355\u4e00\u5185\u5b58\u5757\u5185\u91c7\u7528\u5355\u4e00\u6307\u9488\u5355\u5411\u7ebf\u6027\u63a8\u8fdb，\u6df7\u5408\u5206\u914d\u6a21\u5f0f\u4f1a\u5f15\u53d1\u4e25\u91cd\u7684\u5bf9\u9f50\u7a7a\u6d1e\u95ee\u9898\u3002<\/p>\n
\u5047\u8bbe\u5f53\u524d\u5757\u7684\u521d\u59cb\u5730\u5740\u4f4d\u4e8e 16 \u5b57\u8282\u5bf9\u9f50\u8fb9\u754c\u00a00x1000：<\/p>\n
\u7cfb\u7edf\u5206\u914d 24 \u5b57\u8282\u7684\u8df3\u8868\u8282\u70b9，\u6e38\u6807\u4ece\u00a00x1000\u00a0\u63a8\u8fdb\u81f3\u00a00x1018（\u6ee1\u8db3 8 \u5b57\u8282\u5bf9\u9f50）；<\/p>\n<\/li>\n
\u7d27\u63a5\u7740\u5206\u914d 11 \u5b57\u8282\u7684\u7528\u6237\u952e（\u975e\u5bf9\u9f50\u5b57\u7b26\u4e32），\u6e38\u6807\u63a8\u8fdb\u81f3\u00a00x1023；<\/p>\n<\/li>\n
\u4e0b\u4e00\u6b21\u5199\u5165\u9700\u518d\u6b21\u5206\u914d 8 \u5b57\u8282\u5bf9\u9f50\u7684\u8df3\u8868\u8282\u70b9\u3002\u5f53\u524d\u6e38\u6807\u00a00x1023\u00a0\u5bf9 8 \u53d6\u6a21\u4f59 3，\u65e0\u6cd5\u76f4\u63a5\u627f\u8f7d\u5bf9\u9f50\u7ed3\u6784，\u5fc5\u987b\u586b\u5145 5 \u5b57\u8282\u7684\u7a7a\u6d1e\u8865\u9f50（Padding），\u5c06\u8d77\u59cb\u5730\u5740\u57ab\u9ad8\u81f3\u00a00x1028\u3002<\/p>\n<\/li>\n
\u5728\u9ad8\u9891\u6df7\u5408\u5206\u914d\u4e2d，\u5bf9\u9f50\u7ed3\u6784\u4e0e\u975e\u5bf9\u9f50\u5b57\u7b26\u4e32\u4ea4\u66ff\u51fa\u73b0，\u975e\u5bf9\u9f50\u6570\u636e\u7684\u63d2\u5165\u53cd\u590d\u6253\u4e71\u57fa\u51c6\u5bf9\u9f50\u8fb9\u754c，\u5bfc\u81f4\u540e\u7eed\u5bf9\u9f50\u8bf7\u6c42\u88ab\u8feb\u586b\u5145 1 \u81f3 7 \u5b57\u8282\u7684\u8865\u9f50\u7a7a\u6d1e，\u9020\u6210\u5185\u90e8\u7a7a\u95f4\u6d6a\u8d39\u3002<\/p>\n
RocksDB \u5728\u00a0memory\/arena.h（\u7b2c 25 \u884c\u8d77）\u7ed9\u51fa\u4e86\u53cc\u5411\u78b0\u649e\u5207\u5206（Two-ended Allocation）\u7684\u89e3\u6cd5：<\/p>\n
C++<\/p>\n
\/\/ \u6e90\u7801\u4f4d\u7f6e：rocksdb\/memory\/arena.h#L25
\nnamespace ROCKSDB_NAMESPACE {<\/p>\n
class Arena : public Allocator {
\n \/\/ …
\n private:
\n alignas(std::max_align_t) char inline_block_[kInlineSize];
\n const size_t kBlockSize;
\n std::deque<std::unique_ptr<char[]>> blocks_;
\n \/\/ …
\n \/\/ Stats for current active block.
\n \/\/ For each block, we allocate aligned memory chucks from one end and
\n \/\/ allocate unaligned memory chucks from the other end. Otherwise the
\n \/\/ memory waste for alignment will be higher if we allocate both types of
\n \/\/ memory from one direction.
\n char* unaligned_alloc_ptr_ = nullptr;
\n char* aligned_alloc_ptr_ = nullptr;
\n size_t alloc_bytes_remaining_ = 0;
\n \/\/ …
\n};<\/p>\n
} \/\/ namespace ROCKSDB_NAMESPACE<\/p>\n
\u6e90\u7801\u6ce8\u91ca\u6307\u660e：\u5728\u6bcf\u4e2a\u6d3b\u52a8\u5757\u4e2d，\u5bf9\u9f50\u5185\u5b58\u4ece\u4e00\u7aef\u5206\u914d，\u975e\u5bf9\u9f50\u5185\u5b58\u4ece\u53e6\u4e00\u7aef\u5206\u914d，\u4ee5\u6d88\u9664\u5355\u5411\u6df7\u5408\u5206\u914d\u5e26\u6765\u7684\u5bf9\u9f50\u7a7a\u95f4\u6d6a\u8d39\u3002<\/p>\n
RocksDB \u5728\u5f53\u524d\u6d3b\u52a8\u5757\u4e2d\u540c\u65f6\u7ef4\u62a4\u4e24\u4e2a\u76f8\u5411\u800c\u884c\u7684\u6e38\u6807：<\/p>\n
aligned_alloc_ptr_：\u670d\u52a1\u4e8e\u5bf9\u9f50\u5206\u914d，\u81ea\u5185\u5b58\u5757\u5934\u90e8（\u4f4e\u5730\u5740）\u5411\u9ad8\u5730\u5740\u65b9\u5411\u5355\u8c03\u9012\u589e；<\/p>\n<\/li>\n
unaligned_alloc_ptr_：\u670d\u52a1\u4e8e\u975e\u5bf9\u9f50\u5206\u914d，\u81ea\u5185\u5b58\u5757\u5c3e\u90e8（\u9ad8\u5730\u5740）\u5411\u4f4e\u5730\u5740\u65b9\u5411\u5355\u8c03\u9012\u51cf；<\/p>\n<\/li>\n
alloc_bytes_remaining_：\u8bb0\u5f55\u4e24\u6e38\u6807\u4e4b\u95f4\u7684\u53ef\u7528\u51c0\u7a7a\u5b57\u8282\u6570\u3002<\/p>\n<\/li>\n<\/ul>\n
text<\/p>\n
RocksDB Arena \u5757\u5185\u53cc\u5411\u5207\u5206\u5e03\u5c40
\n\u250c\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2510
\n\u2502 [Obj 1][Obj 2] \u2500\u2500\u25ba \u25c4\u2500\u2500 [Str 1]\u2502
\n\u2502 (\u5bf9\u9f50\u7ed3\u6784\u4f53\u5411\u53f3) (\u672a\u7528\u7a7a\u95f2) (\u5b57\u7b26\u4e32\u5411\u5de6)\u2502
\n\u2514\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2518
\n\u25b2 \u25b2 \u25b2 \u25b2
\n\u2502 \u2502 \u2502 \u2502
\nblock_head \u2502 \u2502 block+size
\n \u2502 \u2502
\n aligned_ptr unaligned_ptr<\/p>\n
\u8be5\u5e03\u5c40\u5728\u7269\u7406\u7a7a\u95f4\u4e0a\u5b9e\u73b0\u4e86\u5bf9\u9f50\u9694\u79bb：\u975e\u5bf9\u9f50\u5b57\u7b26\u4e32\u96c6\u4e2d\u5728\u5757\u5c3e\u5411\u5de6\u751f\u957f，\u901a\u8fc7\u5355\u8c03\u51cf\u6cd5\u00a0unaligned_alloc_ptr_ -= bytes\u00a0\u7d27\u5bc6\u6392\u5217，\u5f7c\u6b64\u4e4b\u95f4\u65e0\u9700\u586b\u5145\u5bf9\u9f50\u7a7a\u6d1e；\u800c\u5c3e\u90e8\u975e\u5bf9\u9f50\u6570\u636e\u7684\u751f\u957f，\u4e0d\u4f1a\u5bf9\u5934\u90e8\u00a0aligned_alloc_ptr_\u00a0\u7684\u5bf9\u9f50\u57fa\u7ebf\u4ea7\u751f\u7834\u574f\u3002\u5934\u90e8\u5bf9\u9f50\u6307\u9488\u9762\u5bf9\u7684\u59cb\u7ec8\u662f\u4e0a\u4e00\u8f6e\u7559\u4e0b\u7684\u5bf9\u9f50\u8fb9\u754c，\u4ec5\u5728\u5bf9\u8c61\u5c3a\u5bf8\u975e\u5bf9\u9f50\u5355\u4f4d\u6574\u6570\u500d\u65f6\u4ea7\u751f\u5fae\u5c0f\u7684\u5185\u90e8\u8865\u9f50\u3002<\/p>\n
RocksDB \u5728\u00a0memory\/arena.cc\u00a0\u4e2d\u5b9e\u73b0\u4e86\u9ad8\u6548\u7387\u7684\u5bf9\u9f50\u8ba1\u7b97\u903b\u8f91：<\/p>\n
C++<\/p>\n
\/\/ \u6e90\u7801\u4f4d\u7f6e：rocksdb\/memory\/arena.cc
\nchar* Arena::AllocateAligned(size_t bytes, size_t huge_page_size,
\n Logger* logger) {
\n \/\/ …
\n size_t current_mod =
\n reinterpret_cast<uintptr_t>(aligned_alloc_ptr_) & (kAlignUnit – 1);
\n size_t slop = (current_mod == 0 ? 0 : kAlignUnit – current_mod);
\n size_t needed = bytes + slop;
\n char* result;
\n if (needed <= alloc_bytes_remaining_) {
\n result = aligned_alloc_ptr_ + slop;
\n aligned_alloc_ptr_ += needed;
\n alloc_bytes_remaining_ -= needed;
\n } else {
\n result = AllocateFallback(bytes, true \/* aligned *\/);
\n }
\n assert((reinterpret_cast<uintptr_t>(result) & (kAlignUnit – 1)) == 0);
\n return result;
\n}<\/p>\n
\u5728\u5bf9\u9f50\u5355\u4f4d\u7684\u5b9a\u4e49\u4e0a，arena.h\u00a0\u5305\u542b\u5982\u4e0b\u58f0\u660e：<\/p>\n
C++<\/p>\n
static constexpr unsigned kAlignUnit = alignof(std::max_align_t);
\nstatic_assert((kAlignUnit & (kAlignUnit – 1)) == 0,
\n "Pointer size should be power of 2");<\/p>\n
std::max_align_t\u00a0\u4e3a\u6807\u91cf\u7c7b\u578b\u6700\u5927\u5bf9\u9f50\u8981\u6c42，64 \u4f4d\u5e73\u53f0\u4e0b\u901a\u5e38\u4e3a 16 \u5b57\u8282（\u6216 8 \u5b57\u8282）\u3002\u9759\u6001\u65ad\u8a00\u4fdd\u8bc1\u5bf9\u9f50\u5355\u4f4d\u5fc5\u987b\u4e3a 2 \u7684\u6574\u6570\u6b21\u5e42\u3002<\/p>\n
\u8fd9\u4e00\u7ea6\u675f\u5141\u8bb8\u4f7f\u7528\u4f4d\u8fd0\u7b97\u66ff\u4ee3\u6574\u6570\u53d6\u6a21：<\/p>\n
C++<\/p>\n
size_t current_mod = reinterpret_cast<uintptr_t>(aligned_alloc_ptr_) & (kAlignUnit – 1);<\/p>\n
\u5bf9\u4e8e\u57fa\u6570 16（\u4e8c\u8fdb\u5236 0001 0000），\u63a9\u7801\u4e3a 15（\u4e8c\u8fdb\u5236 0000 1111）\u3002\u6307\u9488\u5730\u5740\u4e0e\u63a9\u7801\u6267\u884c\u6309\u4f4d\u4e0e（Bitwise AND），\u5373\u53ef\u5728\u5355\u4e2a\u6307\u4ee4\u5468\u671f\u5185\u63d0\u53d6\u51fa\u4f4e\u4f4d\u4f59\u6570，\u89c4\u907f\u4e86\u9664\u6cd5\u6307\u4ee4\u7684\u591a\u5468\u671f\u5f00\u9500\u3002<\/p>\n
\u4ece\u7cfb\u7edf\u7ea7\u4f53\u7cfb\u7ed3\u6784\u8003\u91cf，\u5728 64 \u4f4d x86_64 \u5e73\u53f0\u4e0a，\u7528\u6237\u6001\u865a\u62df\u5730\u5740\u7a7a\u95f4\u901a\u5e38\u4f7f\u7528\u4f4e 48 \u4f4d（\u5728\u652f\u6301\u4e94\u7ea7\u9875\u8868\u7684\u9ad8\u7aef\u673a\u5668\u4e0a\u6269\u5c55\u81f3 57 \u4f4d），\u6307\u9488\u9ad8\u4f4d\u6267\u884c\u7b26\u53f7\u6269\u5c55\u3002\u5c06\u88f8\u6307\u9488\u8f6c\u6362\u4e3a\u65e0\u7b26\u53f7\u6574\u6570\u7c7b\u578b\u00a0uintptr_t\u00a0\u6267\u884c\u4f4d\u8fd0\u7b97，\u80fd\u591f\u786e\u4fdd\u4f4d\u79fb\u4e0e\u63a9\u7801\u8fd0\u7b97\u59cb\u7ec8\u5de5\u4f5c\u5728\u826f\u5b9a\u4e49\u7684\u6574\u578b\u8bed\u4e49\u5185，\u5b8c\u5168\u514d\u75ab\u6709\u7b26\u53f7\u6574\u6570\u6ea2\u51fa\u7684\u672a\u5b9a\u4e49\u884c\u4e3a\u3002\u540c\u65f6，alignof(std::max_align_t)\u00a0\u5728 GCC \u4e0e Clang \u5de5\u5177\u94fe\u4e0b\u9ed8\u8ba4\u5bf9\u5e94 16 \u5b57\u8282，\u8fd9\u4e00\u8de8\u5ea6\u6070\u597d\u5951\u5408 SSE\/AVX \u67b6\u6784\u4e2d 128 \u4f4d\u5411\u91cf\u5bc4\u5b58\u5668（__m128）\u7684\u81ea\u7136\u5bf9\u9f50\u8fb9\u754c，\u4f7f\u5f97\u540e\u7eed\u4e0a\u5c42\u4ee3\u7801\u82e5\u5f15\u5165 SIMD \u6279\u91cf\u952e\u503c\u6bd4\u5bf9\u6307\u4ee4，\u65e0\u9700\u62c5\u5fc3\u89e6\u53d1\u975e\u5bf9\u9f50\u8bbf\u95ee\u964d\u7ea7\u3002<\/p>\n
\u8865\u9f50\u91cf\u00a0slop\u00a0\u8ba1\u7b97\u903b\u8f91：<\/p>\n
\u82e5\u00a0current_mod\u00a0\u4e3a 0，\u8868\u660e\u5730\u5740\u5df2\u5bf9\u9f50，\u8865\u9f50\u91cf\u4e3a 0；<\/p>\n<\/li>\n
\u82e5\u00a0current_mod\u00a0\u4e0d\u4e3a 0，\u6240\u9700\u8865\u9f50\u91cf\u4e3a\u00a0kAlignUnit – current_mod\u3002<\/p>\n<\/li>\n<\/ul>\n
\u5b9e\u9645\u6d88\u8017\u7a7a\u95f4\u4e3a\u00a0needed = bytes + slop\u3002\u8fd4\u56de\u5730\u5740\u5411\u540e\u504f\u79fb\u00a0slop，\u5269\u4f59\u7a7a\u95f4\u76f8\u5e94\u6263\u9664\u00a0needed\u3002<\/p>\n
\u975e\u5bf9\u9f50\u5206\u914d\u51fd\u6570\u00a0Allocate\u00a0\u5219\u5728\u5934\u6587\u4ef6\u4e2d\u76f4\u63a5\u5185\u8054：<\/p>\n
C++<\/p>\n
\/\/ \u6e90\u7801\u4f4d\u7f6e：rocksdb\/memory\/arena.h
\ninline char* Arena::Allocate(size_t bytes) {
\n assert(bytes > 0);
\n if (bytes <= alloc_bytes_remaining_) {
\n unaligned_alloc_ptr_ -= bytes;
\n alloc_bytes_remaining_ -= bytes;
\n return unaligned_alloc_ptr_;
\n }
\n return AllocateFallback(bytes, false \/* unaligned *\/);
\n}<\/p>\n
\u5bf9\u9f50\u5206\u914d\u4ece\u5934\u90e8\u8de8\u6b65，\u975e\u5bf9\u9f50\u5206\u914d\u4ece\u5c3e\u90e8\u9006\u5411\u9012\u51cf\u3002\u4e24\u6e38\u6807\u76f8\u5411\u63a8\u8fdb，\u5728\u00a0bytes <= alloc_bytes_remaining_\u00a0\u6761\u4ef6\u4e0b\u7ef4\u6301\u9ad8\u6548\u7684\u6307\u9488\u8fd0\u7b97\u3002\u4e24\u6e38\u6807\u5728\u672a\u53d1\u751f\u91cd\u5408\u524d，\u4e2d\u95f4\u7684\u5269\u4f59\u7a7a\u95f4\u59cb\u7ec8\u662f\u5b8c\u5168\u8fde\u7eed\u7684，\u65e0\u987b\u5728\u5757\u5185\u90e8\u7ef4\u62a4\u4efb\u4f55\u5206\u6bb5\u8fb9\u754c\u3002<\/p>\n
\u5728\u66f4\u5927\u5c3a\u5ea6\u7684\u5185\u5b58\u5206\u914d\u4f18\u5316\u4e2d，AllocateAligned\u00a0\u63a5\u53e3\u8fd8\u9884\u7559\u4e86\u900f\u660e\u5927\u9875（Transparent Huge Pages, THP）\u4e0e\u5de8\u9875（Huge Page）\u7684\u652f\u6301\u53c2\u6570\u00a0huge_page_size\u3002\u5728 Linux \u73af\u5883\u4e0b，\u6807\u51c6\u865a\u62df\u5185\u5b58\u9875\u9762\u5927\u5c0f\u4e3a 4KB\u3002\u5f53 MemTable \u5bb9\u91cf\u8fbe\u5230 512MB \u4e43\u81f3 1GB \u65f6，4KB \u5206\u9875\u673a\u5236\u9700\u8981\u7ef4\u62a4\u6570\u5341\u4e07\u4e2a\u9875\u8868\u9879（Page Table Entries, PTE），\u8fd9\u4f1a\u8fc5\u901f\u6ea2\u51fa CPU \u7684\u4e8c\u7ea7\u8f6c\u8bd1\u540e\u5907\u7f13\u51b2\u5668（L2 TLB，\u73b0\u4ee3 x86 \u5904\u7406\u5668\u901a\u5e38\u4ec5\u5305\u542b 1024 \u81f3 1536 \u4e2a\u8868\u9879）\u3002\u901a\u8fc7\u5411\u7cfb\u7edf\u6307\u5b9a 2MB \u5de8\u9875（\u4f8b\u5982\u4f20\u5165\u00a0huge_page_size = 2097152\u00a0\u5e76\u8c03\u7528\u00a0madvise(addr, len, MADV_HUGEPAGE)），1GB \u7684\u865a\u62df\u7a7a\u95f4\u4ec5\u9700 512 \u4e2a\u9875\u8868\u9879\u5373\u53ef\u5b8c\u6574\u6620\u5c04，\u4ece\u800c\u5728\u6839\u672c\u4e0a\u6d88\u9664\u4e86\u8303\u56f4\u626b\u63cf\u65f6\u7684 TLB \u7f3a\u5931\u74f6\u9888\u3002<\/p>\n
\u5728\u5de5\u4e1a\u7ea7\u5206\u5e03\u5f0f\u5b58\u50a8\u7cfb\u7edf（\u5982\u5206\u5e03\u5f0f\u65f6\u5e8f\u6570\u636e\u5e93\u3001\u952e\u503c\u68c0\u7d22\u670d\u52a1\u4e0e\u63a8\u8350\u7279\u5f81\u5f15\u64ce）\u7684\u771f\u5b9e\u751f\u4ea7\u5de5\u51b5\u4e2d，\u5199\u5165\u8bf7\u6c42\u7684\u952e\u503c\u5c3a\u5bf8\u901a\u5e38\u5448\u73b0\u9ad8\u5ea6\u7684\u957f\u5c3e\u504f\u6001\u5206\u5e03（Heavy-tailed \/ Zipfian Distribution）\u3002\u7edf\u8ba1\u7279\u5f81\u8868\u660e：\u8d85\u8fc7 95% \u4ee5\u4e0a\u7684\u5199\u5165\u6d41\u91cf\u96c6\u4e2d\u5728 24 \u81f3 64 \u5b57\u8282\u533a\u95f4\u7684\u7cbe\u7b80\u6807\u91cf\u6570\u636e（\u5982\u65f6\u95f4\u6233\u3001\u8bbe\u5907\u72b6\u6001\u7801\u3001\u7528\u6237\u552f\u4e00\u5b9a\u4f4d\u7b26），\u8fd9\u7c7b\u8bf7\u6c42\u9891\u7387\u6781\u9ad8\u4e14\u5c3a\u5bf8\u89c4\u5f8b；\u7136\u800c，\u7cfb\u7edf\u4ecd\u6709 1% \u81f3 5% \u7684\u5076\u53d1\u957f\u5c3e\u8bf7\u6c42\u4f1a\u643a\u5e26\u6570\u5343\u5b57\u8282\u81f3\u6570\u5341\u5343\u5b57\u8282\u7684\u590d\u5408\u8d1f\u8f7d（\u4f8b\u5982\u5e8f\u5217\u5316\u540e\u7684 JSON \u63cf\u8ff0\u4f53\u3001\u5411\u91cf\u5d4c\u5165\u7279\u5f81\u3001\u6216\u5df2\u538b\u7f29\u7684\u5143\u6570\u636e\u5c5e\u6027\u5207\u7247）\u3002<\/p>\n
\u82e5\u5206\u914d\u5668\u7f3a\u4e4f\u5bf9\u8bf7\u6c42\u5c3a\u5bf8\u7684\u5206\u7ea7\u8fa8\u8bc6\u80fd\u529b，\u65e0\u8bba\u6570\u636e\u5927\u5c0f\u4e00\u5f8b\u585e\u5165\u5f53\u524d\u7684\u5e38\u89c4\u6d3b\u52a8\u5757\u4e2d\u8fdb\u884c\u65e0\u5dee\u522b\u5207\u5206，\u6781\u5c11\u6570\u7a81\u53d1\u7684\u5927\u5c3a\u5bf8\u8bf7\u6c42\u5c06\u9891\u7e41\u6253\u4e71\u5e38\u89c4\u5757\u7684\u751f\u547d\u5468\u671f\u8282\u594f，\u8bf1\u53d1\u5927\u91cf\u4e0d\u53ef\u590d\u7528\u7684\u5c3e\u90e8\u5e9f\u5f03\u7a7a\u6d1e\u3002<\/p>\n
\u8bbe\u5b9a\u5e38\u89c4\u5757\u5c3a\u5bf8\u4e3a\u6807\u51c6\u7684 64KB（65536 \u5b57\u8282）\u3002\u82e5\u5f53\u524d\u6d3b\u52a8\u5757\u5df2\u5206\u914d 20KB，\u5269\u4f59\u51c0\u7a7a\u00a0alloc_bytes_remaining_\u00a0\u4e3a 44KB：<\/p>\n
\u6b64\u65f6\u5230\u8fbe\u4e00\u4e2a 35KB \u7684\u5927\u5bf9\u8c61\u8bf7\u6c42，\u5728\u5f53\u524d\u5757\u5206\u914d\u540e，\u5269\u4f59\u7a7a\u95f4\u4ec5\u5269 9KB；<\/p>\n<\/li>\n
\u7d27\u968f\u5176\u540e\u5230\u8fbe\u4e00\u4e2a 12KB \u7684\u8bf7\u6c42，\u7531\u4e8e\u5f53\u524d\u5757\u4ec5\u5269 9KB，\u65e0\u6cd5\u5bb9\u7eb3\u8be5\u5bf9\u8c61，\u5206\u914d\u5668\u88ab\u8feb\u5c01\u5b58\u5f53\u524d\u5757，\u5411\u7cfb\u7edf\u7533\u8bf7\u65b0\u5757\u3002<\/p>\n<\/li>\n
\u7531\u4e8e Arena \u4e0d\u652f\u6301\u79bb\u6563\u7a7a\u95f2\u94fe\u8868\u56de\u586b，\u8be5 9KB \u7a7a\u95f4\u5728\u5f53\u524d\u5757\u5c01\u5b58\u540e\u65e0\u6cd5\u88ab\u540e\u7eed\u5fae\u5c0f\u5bf9\u8c61\u590d\u7528\u3002\u5355\u5757\u5185\u90e8\u788e\u7247\u7387\u8fbe 14.1%（9 \/ 64）\u3002\u6781\u7aef\u60c5\u51b5\u4e0b，\u82e5\u8fde\u7eed\u5199\u5165\u7565\u5927\u4e8e\u534a\u5757\u5c3a\u5bf8\u7684\u5bf9\u8c61（\u5982 33KB \u540e\u63a5 32KB），\u540e\u7eed\u8bf7\u6c42\u65e0\u6cd5\u5bb9\u7eb3，\u5bfc\u81f4\u6bcf\u6b21\u5207\u6362\u5747\u9057\u5f03\u8fd1 31KB \u7a7a\u95f4，\u5355\u5757\u788e\u7247\u7387\u53ef\u8fbe 48.4%\u3002<\/p>\n
\u4e3a\u4e86\u9632\u6b62\u5927\u5bf9\u8c61\u7834\u574f\u5e38\u89c4\u6d3b\u52a8\u5757，RocksDB \u5728\u00a0memory\/arena.cc\u00a0\u7684\u00a0AllocateFallback\u00a0\u4e2d\u8bbe\u7f6e\u4e86\u5206\u6d41\u9608\u503c：<\/p>\n
C++<\/p>\n
\/\/ \u6e90\u7801\u4f4d\u7f6e：rocksdb\/memory\/arena.cc
\nchar* Arena::AllocateFallback(size_t bytes, bool aligned) {
\n if (bytes > kBlockSize \/ 4) {
\n ++irregular_block_num;
\n \/\/ Object is more than a quarter of our block size. Allocate it separately
\n \/\/ to avoid wasting too much space in leftover bytes.
\n return AllocateNewBlock(bytes);
\n }<\/p>\n
\/\/ We waste the remaining space in the current block.
\n size_t size = 0;
\n char* block_head = nullptr;
\n \/\/ … \u7533\u8bf7\u5e38\u89c4 kBlockSize \u5757\u5e76\u5728\u65b0\u5757\u4e0a\u5206\u914d
\n}<\/p>\n
\u5224\u5b9a\u6761\u4ef6\u00a0if (bytes > kBlockSize \/ 4)\u00a0\u89c4\u5b9a：\u5f53\u5355\u6b21\u8bf7\u6c42\u5c3a\u5bf8\u8d85\u8fc7\u5757\u5927\u5c0f\u7684\u56db\u5206\u4e4b\u4e00\u65f6，Arena \u62d2\u7edd\u5728\u5e38\u89c4\u6d3b\u52a8\u5757\u4e2d\u5207\u5206，\u800c\u662f\u5224\u5b9a\u4e3a\u4e0d\u89c4\u5219\u5757（Irregular Block），\u901a\u8fc7\u00a0AllocateNewBlock(bytes)\u00a0\u5355\u72ec\u5411\u7cfb\u7edf\u5806\u53d1\u8d77\u5206\u914d\u3002<\/p>\n
\u5c06\u9608\u503c\u8bbe\u5b9a\u4e3a\u56db\u5206\u4e4b\u4e00（kBlockSize \/ 4）\u57fa\u4e8e\u5982\u4e0b\u5de5\u7a0b\u6743\u8861：<\/p>\n
\u5176\u4e00，\u4e3a\u4ec0\u4e48\u4e0d\u653e\u5bbd\u81f3\u4e8c\u5206\u4e4b\u4e00（1\/2）：\u82e5\u5c06\u9608\u503c\u8bbe\u5b9a\u4e3a 32KB，\u5219 33KB \u7684\u5bf9\u8c61\u4ecd\u4f1a\u8fdb\u5165\u5e38\u89c4\u5757，\u5bfc\u81f4\u5269\u4f59\u7a7a\u95f4\u4e0d\u8db3 31KB\u3002\u540e\u7eed\u5230\u8fbe\u7684\u4e2d\u7b49\u5c3a\u5bf8\u5bf9\u8c61（\u5982 20KB）\u6613\u8fc7\u65e9\u89e6\u53d1\u6362\u5757，\u88ab\u4e22\u5f03\u7684\u5c3e\u90e8\u788e\u7247\u53ef\u8fbe\u8fd1 50%\u3002<\/p>\n
\u5176\u4e8c，\u4e3a\u4ec0\u4e48\u4e0d\u6536\u7d27\u81f3\u5341\u516d\u5206\u4e4b\u4e00（1\/16）：\u82e5\u8fc7\u5ea6\u6536\u7d27\u9608\u503c（64KB \u5757\u5bf9\u5e94 4KB），\u5219\u5927\u4e8e 4KB \u7684\u5bf9\u8c61\u5747\u88ab\u5265\u79bb\u51fa\u5e38\u89c4\u8def\u5f84\u3002\u8131\u79bb\u5185\u5b58\u6c60\u76f4\u63a5\u5411\u7cfb\u7edf\u5206\u914d\u5668\u7533\u8bf7\u9700\u627f\u53d7\u9501\u7ade\u4e89\u4e0e\u5143\u6570\u636e\u5f00\u9500，\u8fc7\u7d27\u7684\u9608\u503c\u4f1a\u5bfc\u81f4\u5927\u91cf\u4e2d\u7b49\u5bf9\u8c61\u6ea2\u51fa\u81f3\u7cfb\u7edf\u5806，\u524a\u5f31\u6307\u9488\u78b0\u649e\u7684\u541e\u5410\u4f18\u52bf\u3002<\/p>\n
\u5176\u4e09，\u56db\u5206\u4e4b\u4e00\u6cd5\u5219\u7684\u6570\u5b66\u7ea6\u675f：\u5c06\u5206\u754c\u7ebf\u8bbe\u5b9a\u5728\u56db\u5206\u4e4b\u4e00，\u786e\u7acb\u4e86\u5982\u4e0b\u786c\u6027\u7ea6\u675f：\u5e38\u89c4\u6d3b\u52a8\u5757\u5728\u89e6\u53d1\u6362\u5757\u65f6，\u88ab\u4e22\u5f03\u7684\u5c3e\u90e8\u5269\u4f59\u7a7a\u95f4\u4e25\u683c\u5c0f\u4e8e\u6216\u7b49\u4e8e\u00a0kBlockSize \/ 4\u3002<\/p>\n
\u7531\u4e8e\u5927\u4e8e\u00a0kBlockSize \/ 4\u00a0\u7684\u5bf9\u8c61\u5df2\u88ab\u524d\u7f6e\u62e6\u622a\u5206\u6d41，\u8fdb\u5165\u5e38\u89c4\u6362\u5757\u903b\u8f91\u7684\u8bf7\u6c42\u5c3a\u5bf8\u4e0a\u9650\u5fc5\u7136\u4e3a\u00a0kBlockSize \/ 4\u3002\u5f53\u4e14\u4ec5\u5f53\u5e38\u89c4\u5757\u51c0\u7a7a\u4e0d\u8db3\u4ee5\u5bb9\u7eb3\u8be5\u5c3a\u5bf8\u65f6\u624d\u89e6\u53d1\u6362\u5757\u3002\u56e0\u6b64\u65e7\u5757\u5c3e\u90e8\u9057\u5f03\u7a7a\u95f4\u4e0a\u9650\u88ab\u9650\u5236\u5728 16KB \u4ee5\u5185，\u5e73\u5747\u671f\u671b\u635f\u5931\u901a\u5e38\u6536\u655b\u4e8e 8KB \u5de6\u53f3\u3002\u540c\u65f6\u4fdd\u8bc1\u6bcf\u4e2a\u5e38\u89c4\u5757\u81f3\u5c11\u5bb9\u7eb3 4 \u4e2a\u6700\u5927\u5e38\u89c4\u5bf9\u8c61\u6216\u6d77\u91cf\u5fae\u578b\u5bf9\u8c61，\u7ef4\u7cfb\u4e86\u6279\u91cf\u7cfb\u7edf\u8c03\u7528\u7684\u5206\u644a\u7ecf\u6d4e\u6027\u3002<\/p>\n
\u4ece\u6982\u7387\u671f\u671b\u7684\u89d2\u5ea6\u5206\u6790：\u5047\u8bbe\u8bf7\u6c42\u5bf9\u8c61\u5c3a\u5bf8 X \u6ee1\u8db3\u00a0X <= B\/4\u00a0\u4e14\u5206\u5e03\u76f8\u5bf9\u5747\u5300\u3002\u5f53\u5269\u4f59\u7a7a\u95f4\u00a0R < X\u00a0\u65f6\u89e6\u53d1\u6362\u5757，\u5f03\u7528\u7a7a\u6d1e R \u7684\u5747\u503c\u6536\u655b\u4e8e\u00a0E[R] = (B\/4) \/ 2 = B\/8\u3002\u4ece\u5b9a\u91cf\u7684\u6982\u7387\u8bba\u89d2\u5ea6\u63a8\u5bfc：\u8bbe\u5e38\u89c4\u5757\u7269\u7406\u5c3a\u5bf8\u4e3a B，\u4e0a\u6e38\u8bf7\u6c42\u7684\u5bf9\u8c61\u5c3a\u5bf8 X \u89c6\u4e3a\u5728\u533a\u95f4\u00a0[x_min, x_max]\u00a0\u5185\u670d\u4ece\u8fde\u7eed\u578b\u5747\u5300\u5206\u5e03\u7684\u968f\u673a\u53d8\u91cf\u3002\u6839\u636e\u56db\u5206\u4e4b\u4e00\u6cd5\u5219，\u8fdb\u5165\u5e38\u89c4\u6d3b\u52a8\u5757\u5207\u5206\u7684\u5bf9\u8c61\u4e25\u683c\u6ee1\u8db3\u00a0x_max = B \/ 4\u3002\u5f53\u6d3b\u52a8\u5757\u51c0\u7a7a R \u65e0\u6cd5\u5bb9\u7eb3\u65b0\u8bf7\u6c42\u7684\u5c3a\u5bf8 x（\u5373\u00a0x > R）\u65f6，\u5f53\u524d\u5757\u88ab\u8feb\u5c01\u5b58\u3002\u6b64\u65f6\u5f03\u7528\u7684\u5c3e\u90e8\u7a7a\u6d1e R \u7684\u53d6\u503c\u533a\u95f4\u4e25\u683c\u6536\u655b\u5728\u00a0[0, x_max)\u00a0\u4e4b\u5185\u3002<\/p>\n
\u5728\u5747\u5300\u5206\u5e03\u5047\u8bbe\u4e0b，\u5c3e\u90e8\u5e9f\u5f03\u7a7a\u95f4\u7684\u6570\u5b66\u671f\u671b\u503c\u6536\u655b\u4e8e：\u00a0E[Tail] = Integral(r * f(r) dr) = x_max \/ 2 = (B \/ 4) \/ 2 = B \/ 8\u00a0\u5bf9\u4e8e\u6807\u51c6\u7684 64KB \u5757，B \/ 8\u00a0\u7cbe\u786e\u5bf9\u5e94 8KB，\u5373\u5757\u603b\u5bb9\u91cf\u7684 12.5%\u3002\u8fd9\u8868\u660e\u65e0\u8bba\u4e1a\u52a1\u8bf7\u6c42\u65f6\u5e8f\u5982\u4f55\u6ce2\u52a8，\u5e38\u89c4\u5757\u56e0\u6362\u5757\u4ea7\u751f\u7684\u5e73\u5747\u5c3e\u90e8\u7a7a\u95f4\u635f\u8017\u5747\u88ab\u6570\u5b66\u6a21\u578b\u4e25\u683c\u7ea6\u675f\u5728 12.5% \u4ee5\u5185\u3002<\/p>\n
\u82e5\u5c06\u9608\u503c\u653e\u5bbd\u81f3\u4e8c\u5206\u4e4b\u4e00（x_max = B \/ 2），\u5219\u5c3e\u90e8\u7a7a\u6d1e\u7684\u671f\u671b\u503c\u6025\u5267\u4e0a\u5347\u81f3\u00a0E[Tail] = B \/ 4 = 25%，\u6700\u5dee\u5de5\u51b5\u4e0b\u7684\u5355\u5757\u5e9f\u6599\u7387\u63a5\u8fd1 50%\u3002\u53cd\u4e4b，\u82e5\u8fc7\u5ea6\u6536\u7d27\u81f3\u5341\u516d\u5206\u4e4b\u4e00（x_max = B \/ 16），\u5c3d\u7ba1\u5c3e\u90e8\u671f\u671b\u635f\u5931\u964d\u81f3 3.125%，\u4f46\u6240\u6709\u4ecb\u4e8e 4KB \u81f3 16KB \u4e4b\u95f4\u7684\u4e2d\u7b49\u5c3a\u5bf8\u5bf9\u8c61\u5c06\u88ab\u5168\u6570\u65c1\u8def，\u5bfc\u81f4\u5e95\u5c42\u5806\u5206\u914d\u5668\u9891\u7e41\u627f\u53d7\u4e2d\u5fc3\u9501\u4e89\u7528\u4e0e\u5185\u8054\u5143\u6570\u636e\u81a8\u80c0，\u5f97\u4e0d\u507f\u5931\u3002\u56db\u5206\u4e4b\u4e00\u5206\u6863\u70b9\u6b63\u662f\u7a7a\u95f4\u5229\u7528\u7387\u4e0e\u5206\u914d\u541e\u5410\u4e4b\u95f4\u7684\u6700\u4f18\u5e73\u8861\u70b9\u3002<\/p>\n
\u88ab\u56db\u5206\u4e4b\u4e00\u6cd5\u5219\u62e6\u622a\u7684\u5927\u5bf9\u8c61，\u5728\u00a0AllocateNewBlock(bytes)\u00a0\u4e2d\u7684\u5b9e\u73b0\u5982\u4e0b：<\/p>\n
C++<\/p>\n
\/\/ \u6e90\u7801\u4f4d\u7f6e：rocksdb\/memory\/arena.cc
\nchar* Arena::AllocateNewBlock(size_t block_bytes) {
\n char* block = new char[block_bytes];
\n blocks_.push_back(std::unique_ptr<char[]>(block));
\n \/\/ … \u7edf\u8ba1\u5185\u5b58\u5e76\u901a\u77e5 AllocTracker
\n return block;
\n}<\/p>\n
\u8be5\u5b9e\u73b0\u5177\u5907\u4e09\u9879\u7279\u5f81：<\/p>\n
\u5176\u4e00，\u5185\u90e8\u788e\u7247\u5f52\u96f6\u3002\u5bf9\u4e8e\u8d85\u51fa\u9608\u503c\u7684\u5927\u5bf9\u8c61，\u7cfb\u7edf\u6309\u5176\u5b9e\u9645\u8bf7\u6c42\u5c3a\u5bf8\u00a0block_bytes\u00a0\u5b9a\u5236\u7533\u8bf7\u8fde\u7eed\u5185\u5b58，\u5206\u914d\u91cf\u4e0e\u4f7f\u7528\u91cf\u5b8c\u5168\u4e00\u81f4，\u4e0d\u89c4\u5219\u5757\u81ea\u8eab\u7684\u5185\u90e8\u788e\u7247\u7387\u4e3a 0%\u3002<\/p>\n
\u5176\u4e8c，\u5143\u6570\u636e\u5f00\u9500\u88ab\u76f8\u5bf9\u7a00\u91ca\u3002\u901a\u7528\u5206\u914d\u5668\u7684 16 \u5b57\u8282\u5934\u90e8\u5143\u6570\u636e\u5728\u9762\u5bf9 32KB \u4e43\u81f3 64KB \u5927\u5bf9\u8c61\u65f6，\u5360\u6bd4\u4f4e\u4e8e 0.05%，\u5143\u6570\u636e\u7a7a\u95f4\u635f\u8017\u88ab\u5145\u5206\u7a00\u91ca\u3002<\/p>\n
\u5176\u4e09，\u751f\u547d\u5468\u671f\u7684\u7edf\u4e00\u6258\u7ba1\u3002\u4e0d\u89c4\u5219\u5757\u7533\u8bf7\u540e\u88ab\u5305\u88c5\u4e3a\u00a0std::unique_ptr<char[]>\u00a0\u5b58\u5165\u00a0blocks_\u00a0\u53cc\u7aef\u961f\u5217，\u4e0a\u5c42\u4e1a\u52a1\u65e0\u9700\u7ef4\u62a4\u8be5\u6307\u9488\u7684\u91ca\u653e\u3002\u5f53 Arena \u6790\u6784\u65f6，\u53cc\u7aef\u961f\u5217\u7edf\u4e00\u56de\u6536\u6240\u6709\u5e38\u89c4\u5757\u4e0e\u4e0d\u89c4\u5219\u5757\u3002\u5728\u5bb9\u5668\u9009\u578b\u4e0a，RocksDB \u4f7f\u7528\u00a0std::deque\u00a0\u800c\u975e\u00a0std::vector，\u907f\u514d\u4e86\u5e95\u5c42\u6570\u7ec4\u52a8\u6001\u6269\u5bb9\u91cd\u5206\u914d\u9020\u6210\u7684\u6307\u9488\u5931\u6548\u4e0e\u62f7\u8d1d\u5f00\u9500\u3002<\/p>\n
\u66f4\u4e3a\u91cd\u8981\u7684\u662f，\u5927\u5bf9\u8c61\u7684\u65c1\u8def\u5206\u914d\u5b8c\u5168\u9694\u79bb\u4e8e\u5e38\u89c4\u6d3b\u52a8\u5757，\u672a\u5bf9\u00a0aligned_alloc_ptr_\u00a0\u4e0e\u00a0unaligned_alloc_ptr_\u00a0\u9020\u6210\u4efb\u4f55\u504f\u79fb\u6253\u4e71，\u4fdd\u969c\u4e86\u4e3b\u6d41\u5c0f\u5bf9\u8c61\u5206\u914d\u8def\u5f84\u7684\u541e\u5410\u7a33\u5b9a\u6027\u3002<\/p>\n
\u5728 RocksDB \u7684\u00a0memory\/arena.h（\u7b2c 25 \u884c\u8d77）\u4e2d，Arena\u00a0\u7c7b\u5305\u542b\u5982\u4e0b\u5185\u8054\u6210\u5458\u58f0\u660e：<\/p>\n
C++<\/p>\n
\/\/ \u6e90\u7801\u4f4d\u7f6e：rocksdb\/memory\/arena.h#L25
\nclass Arena : public Allocator {
\n \/\/ …
\n public:
\n static constexpr size_t kInlineSize = 2048;
\n \/\/ …
\n private:
\n alignas(std::max_align_t) char inline_block_[kInlineSize];
\n \/\/ …
\n};<\/p>\n
\u8be5\u5185\u5d4c\u5b57\u7b26\u6570\u7ec4\u5c3a\u5bf8\u56fa\u5b9a\u4e3a 2048 \u5b57\u8282（2KB），\u5e76\u901a\u8fc7\u00a0alignas(std::max_align_t)\u00a0\u5b9e\u65bd\u4e25\u683c\u5bf9\u9f50\u3002<\/p>\n
\u5728\u5b58\u50a8\u5f15\u64ce\u4e2d，\u5185\u5b58\u6c60\u4e0d\u4ec5\u670d\u52a1\u4e8e\u5e38\u9a7b\u7684 MemTable，\u8fd8\u627f\u8f7d\u5927\u91cf\u751f\u547d\u5468\u671f\u6781\u77ed\u7684\u4e34\u65f6\u8ba1\u7b97\u4efb\u52a1：<\/p>\n
\u591a\u7248\u672c\u5408\u5e76\u8bfb\u53d6（MergingIterator）\u4e2d\u5b50\u8fed\u4ee3\u5668\u7684\u4e34\u65f6\u5f52\u5e76\u5806\u4e0e\u4f4d\u56fe\u4e0a\u4e0b\u6587；<\/p>\n<\/li>\n
\u5e03\u9686\u8fc7\u6ee4\u5668（Bloom Filter）\u89e3\u6790\u6216\u53d8\u957f\u7d22\u5f15\u89e3\u5305\u65f6\u7684\u4e34\u65f6\u7f13\u51b2\u533a；<\/p>\n<\/li>\n
\u4e8b\u52a1\u6027\u5199\u6279\u6b21（WriteBatch）\u6821\u9a8c\u4e0e\u91cd\u653e\u65f6\u7684\u4e34\u65f6\u952e\u503c\u5207\u7247\u3002\u4ee5 RocksDB \u7684\u5199\u6279\u6b21\u5185\u90e8\u5b9e\u73b0\u4e3a\u4f8b，\u5ba2\u6237\u7aef\u63d0\u4ea4\u7684\u6bcf\u4e00\u6b21\u539f\u5b50\u4e8b\u52a1\u5199\u5165，\u5747\u5728\u00a0WriteBatch\u00a0\u4e2d\u7f16\u7801\u4e3a\u4e00\u4e2a\u8fde\u7eed\u7684\u4e8c\u8fdb\u5236\u64cd\u4f5c\u65e5\u5fd7\u3002\u5f53\u5de5\u4f5c\u7ebf\u7a0b\u6267\u884c\u6279\u6b21\u6821\u9a8c\u3001\u5e8f\u5217\u53f7\u5206\u914d\u53ca\u63d0\u53d6\u5177\u4f53\u7684 Put\u3001Delete\u3001Merge \u64cd\u4f5c\u8bb0\u5f55\u65f6，\u89e3\u6790\u5f15\u64ce\u9700\u8981\u4e3a\u6bcf\u4e2a\u64cd\u4f5c\u5207\u5206\u51fa\u4e34\u65f6\u7684\u952e\u503c\u5207\u7247\u7ed3\u6784\u4f53（Slice）\u3002\u82e5\u4e00\u4e2a\u5199\u6279\u6b21\u5305\u542b\u6570\u767e\u6761\u8bb0\u5f55，\u5728\u6ca1\u6709\u5185\u8054\u7f13\u51b2\u4fdd\u62a4\u7684\u573a\u666f\u4e0b，\u4ec5\u89e3\u6790\u903b\u8f91\u672c\u8eab\u5c31\u4f1a\u5411\u7cfb\u7edf\u5806\u53d1\u8d77\u6570\u767e\u6b21\u5fae\u578b\u5206\u914d；\u800c\u5728\u00a0inline_block_\u00a0\u7684\u652f\u6301\u4e0b，\u6574\u6761\u4e8b\u52a1\u89e3\u6790\u94fe\u8def\u5168\u90e8\u5728 CPU L1 \u7f13\u5b58\u6240\u8986\u76d6\u7684\u6808\u7a7a\u95f4\u5185\u5b8c\u6210，\u5f7b\u5e95\u89c4\u907f\u4e86\u5806\u9501\u7ade\u4e89\u4e0e\u5185\u5b58\u5206\u914d\u5f00\u9500\u3002<\/p>\n<\/li>\n<\/ul>\n
\u8fd9\u4e9b\u4efb\u52a1\u7684\u7279\u5f81\u5728\u4e8e：\u5355\u6b21\u6240\u9700\u5185\u5b58\u8f83\u5c0f（\u901a\u5e38\u5728\u6570\u767e\u5b57\u8282\u81f3 1KB \u4e4b\u95f4），\u4f46\u8c03\u7528\u9891\u6b21\u6781\u9ad8，\u4e14\u751f\u547d\u5468\u671f\u968f\u51fd\u6570\u8fd4\u56de\u5373\u523b\u7ec8\u6b62\u3002<\/p>\n
\u82e5\u7f3a\u4e4f\u5185\u8054\u7f13\u51b2，\u8f7b\u91cf\u4efb\u52a1\u5728\u6808\u4e0a\u521b\u5efa\u00a0Arena\u00a0\u65f6，\u9996\u6b21\u5206\u914d\u5373\u88ab\u8feb\u5411\u7cfb\u7edf\u5e95\u5c42\u53d1\u8d77\u00a0new char[kBlockSize]\u00a0\u8c03\u7528\u3002\u5373\u4fbf\u8bbe\u5b9a\u8f83\u5c0f\u7684 4KB \u5757\u5c3a\u5bf8，\u5728\u9ad8\u5e76\u53d1\u77ed\u67e5\u8be2\u573a\u666f\u4e0b，\u5927\u91cf\u5fae\u5c0f\u4efb\u52a1\u540c\u65f6\u6301\u6709\u672a\u7528\u6ee1\u7684\u7269\u7406\u5757，\u6613\u5f15\u53d1\u865a\u62df\u4e0e\u7269\u7406\u5185\u5b58\u7684\u663e\u8457\u81a8\u80c0\u3002<\/p>\n
RocksDB \u91c7\u7528\u5c0f\u7f13\u51b2\u4f18\u5316（Small Buffer Optimization, SBO）\u89e3\u51b3\u8be5\u95ee\u9898\u3002\u5176\u6784\u9020\u51fd\u6570\u5b9e\u73b0\u5982\u4e0b：<\/p>\n
C++<\/p>\n
\/\/ \u6e90\u7801\u4f4d\u7f6e：rocksdb\/memory\/arena.cc
\nArena::Arena(size_t block_size, AllocTracker* tracker, size_t huge_page_size)
\n : kBlockSize(OptimizeBlockSize(block_size)), tracker_(tracker) {
\n \/\/ …
\n alloc_bytes_remaining_ = sizeof(inline_block_);
\n blocks_memory_ += alloc_bytes_remaining_;
\n aligned_alloc_ptr_ = inline_block_;
\n unaligned_alloc_ptr_ = inline_block_ + alloc_bytes_remaining_;
\n \/\/ …
\n if (tracker_ != nullptr) {
\n tracker_->Allocate(kInlineSize);
\n }
\n}<\/p>\n
Arena\u00a0\u521d\u59cb\u5316\u65f6，\u53cc\u5411\u5207\u5206\u6307\u9488\u76f4\u63a5\u7ed1\u5b9a\u81f3\u5bf9\u8c61\u5185\u90e8\u7684\u00a0inline_block_：<\/p>\n
aligned_alloc_ptr_\u00a0\u6307\u5411\u5185\u5d4c\u6570\u7ec4\u9996\u5730\u5740；<\/p>\n<\/li>\n
unaligned_alloc_ptr_\u00a0\u6307\u5411\u5185\u5d4c\u6570\u7ec4\u5c3e\u90e8\u8fb9\u754c；<\/p>\n<\/li>\n
alloc_bytes_remaining_\u00a0\u521d\u59cb\u5316\u4e3a 2048 \u5b57\u8282\u3002<\/p>\n<\/li>\n<\/ul>\n
\u82e5\u4efb\u52a1\u603b\u6d88\u8017\u5728 2KB \u4ee5\u5185，\u6240\u6709\u5206\u914d\u8bf7\u6c42\u5747\u5728\u5bf9\u8c61\u5185\u90e8\u5b8c\u6210\u6307\u9488\u78b0\u649e\u3002\u5728\u4efb\u52a1\u542f\u52a8\u3001\u5185\u5b58\u5207\u5206\u3001\u6570\u636e\u8bfb\u53d6\u81f3\u79bb\u5f00\u4f5c\u7528\u57df\u6790\u6784\u7684\u5168\u6d41\u7a0b\u4e2d，\u64cd\u4f5c\u7cfb\u7edf\u5806\u5206\u914d\u6b21\u6570\u4fdd\u6301\u4e3a\u96f6（0 Heap Allocation）\u3002<\/p>\n
\u5728\u8ba1\u7b97\u673a\u5fae\u4f53\u7cfb\u7ed3\u6784\u5c42\u9762，\u5f53\u00a0Arena\u00a0\u4f5c\u4e3a\u5c40\u90e8\u53d8\u91cf\u58f0\u660e\u5728\u5f53\u524d\u51fd\u6570\u6808\u5e27\u4e0a\u65f6，inline_block_\u00a0\u7684\u7269\u7406\u5185\u5b58\u5373\u4f4d\u4e8e\u5f53\u524d\u7ebf\u7a0b\u6267\u884c\u6808\u9876\u9644\u8fd1\u3002\u73b0\u4ee3\u64cd\u4f5c\u7cfb\u7edf\u7ebf\u7a0b\u6808\u7a7a\u95f4（\u901a\u5e38\u4e3a 8MB）\u5728\u9891\u7e41\u8c03\u7528\u671f\u95f4\u5e38\u9a7b\u5728 CPU L1 \u6570\u636e\u7f13\u5b58\u4e2d，\u5176\u8bfb\u53d6\u5ef6\u8fdf\u901a\u5e38\u4ec5\u4e3a 1 \u7eb3\u79d2\u5de6\u53f3（\u7ea6 4 \u4e2a\u65f6\u949f\u5468\u671f）\u3002\u4e0e\u901a\u8fc7\u00a0malloc\u00a0\u904d\u5386\u5806\u72b6\u6001\u673a\u5e76\u53ef\u80fd\u5f15\u53d1\u7f3a\u9875\u5f02\u5e38（Page Fault）\u76f8\u6bd4，\u5229\u7528\u5185\u8054\u6808\u7f13\u51b2\u6d88\u9664\u4e86\u5185\u6838\u6001\u9677\u5165\u4e0e\u786c\u4ef6\u9875\u8868\u904d\u5386\u3002<\/p>\n
\u5f53\u51fd\u6570\u6267\u884c\u5b8c\u6bd5\u9000\u51fa\u4f5c\u7528\u57df\u65f6，\u4f34\u968f\u6808\u5e27\u6307\u9488（Stack Pointer, RSP）\u7684\u5bc4\u5b58\u5668\u56de\u9000，\u8be5 2KB \u7a7a\u95f4\u8fde\u540c\u00a0Arena\u00a0\u6808\u5bf9\u8c61\u540c\u6b65\u5931\u6548，\u65e0\u9700\u89e6\u53d1\u4efb\u4f55\u9488\u5bf9\u5806\u5185\u5b58\u7684\u56de\u6536\u64cd\u4f5c\u3002\u4ec5\u5f53\u7a81\u53d1\u4efb\u52a1\u5185\u5b58\u9700\u6c42\u8d85\u51fa 2048 \u5b57\u8282\u65f6，Arena\u00a0\u624d\u4f1a\u89e6\u53d1\u00a0AllocateFallback\u00a0\u5411\u7cfb\u7edf\u5806\u7533\u8bf7\u5916\u90e8\u5757\u3002\u8fd9\u79cd\u4f18\u5148\u4f7f\u7528\u6808\u4e0a\u5185\u8054\u7f13\u51b2\u3001\u6309\u9700\u6ea2\u51fa\u81f3\u5806\u5185\u5b58\u7684\u6a21\u5f0f，\u662f\u73b0\u4ee3 C++ \u538b\u69a8\u7eb3\u79d2\u7ea7\u5206\u914d\u5ef6\u8fdf\u7684\u5178\u578b\u8bbe\u8ba1\u3002<\/p>\n
\u5728\u7f3a\u4e4f\u914d\u989d\u8ffd\u8e2a\u7684\u5b9e\u73b0\u4e2d，\u5185\u5b58\u6c60\u6781\u6613\u8131\u79bb\u5168\u5c40\u8d44\u6e90\u7ba1\u63a7：\u4e1a\u52a1\u9ad8\u9891\u5199\u5165\u4fc3\u4f7f\u5185\u5b58\u6c60\u6301\u7eed\u7d22\u53d6\u7269\u7406\u5185\u5b58，\u82e5\u7cfb\u7edf\u8d44\u6e90\u7ba1\u7406\u5c42\u672a\u611f\u77e5\u8be5\u589e\u91cf，\u6781\u6613\u7a81\u7834\u5bb9\u5668（cgroup）\u9650\u989d\u800c\u89e6\u53d1\u8fdb\u7a0b\u5f02\u5e38\u7ec8\u6b62\u3002<\/p>\n
RocksDB \u901a\u8fc7\u00a0AllocTracker\u00a0\u4fdd\u6301\u5185\u5b58\u6c60\u4e0e\u5168\u5c40\u914d\u989d\u7684\u540c\u6b65，\u5176\u63a5\u53e3\u5b9a\u4e49\u4f4d\u4e8e\u00a0memory\/allocator.h（\u7b2c 32 \u884c\u8d77）：<\/p>\n
C++<\/p>\n
\/\/ \u6e90\u7801\u4f4d\u7f6e：rocksdb\/memory\/allocator.h#L32
\nclass AllocTracker {
\n public:
\n explicit AllocTracker(WriteBufferManager* write_buffer_manager);
\n ~AllocTracker();
\n void Allocate(size_t bytes);
\n void DoneAllocating();
\n void FreeMem();
\n \/\/ …
\n private:
\n WriteBufferManager* write_buffer_manager_;
\n std::atomic<size_t> bytes_allocated_;
\n bool done_allocating_;
\n bool freed_;
\n};<\/p>\n
\u5f53\u00a0Arena\u00a0\u6784\u9020\u5e76\u542f\u7528 2KB \u5185\u8054\u7f13\u51b2\u65f6，\u8c03\u7528\u00a0tracker_->Allocate(kInlineSize)\u00a0\u4e0a\u62a5\u57fa\u7840\u5f00\u9500；\u540e\u7eed\u6bcf\u6b21\u7533\u8bf7\u5e38\u89c4\u5757\u6216\u4e0d\u89c4\u5219\u5757\u65f6，\u5c06\u5b9e\u9645\u5206\u914d\u5c3a\u5bf8\u4e0a\u62a5\u7ed9\u00a0tracker_\u3002<\/p>\n
AllocTracker\u00a0\u5728\u5e95\u5c42\u5c06\u589e\u91cf\u539f\u5b50\u7d2f\u52a0，\u5e76\u4e0e RocksDB \u9876\u5c42\u7684\u00a0WriteBufferManager\u00a0\u534f\u540c\u3002\u4e00\u65e6\u6d3b\u8dc3 MemTable \u548c\u4e34\u65f6 Arena \u7d2f\u79ef\u6d88\u8017\u7684\u7269\u7406\u5185\u5b58\u903c\u8fd1\u9884\u8bbe\u9608\u503c（\u4f8b\u5982\u5199\u7f13\u51b2\u533a\u9650\u989d 4GB），\u5168\u5c40\u7ba1\u7406\u5668\u4fbf\u4ecb\u5165\u9650\u6d41\u5e76\u89e6\u53d1 MemTable \u51bb\u7ed3\u5237\u76d8，\u6784\u5efa\u4e86\u517c\u987e\u5c40\u90e8\u541e\u5410\u4e0e\u5168\u5c40\u914d\u989d\u9632\u7ebf\u7684\u7ba1\u63a7\u673a\u5236\u3002\u5728 Linux cgroup v2 \u73af\u5883\u4e0b，\u8fd9\u5c42\u663e\u5f0f\u914d\u989d\u63a7\u5236\u6709\u6548\u907f\u514d\u4e86\u7cfb\u7edf\u56e0\u77ac\u65f6\u5185\u5b58\u5cf0\u503c\u7a81\u7834\u00a0memory.max\u00a0\u9650\u5236\u800c\u76f4\u63a5\u5411\u5e94\u7528\u53d1\u9001 SIGKILL \u4fe1\u53f7\u3002<\/p>\n
\u7cfb\u7edf\u9009\u578b\u4f9d\u8d56\u6e05\u6670\u7684\u6743\u8861\u5206\u6790\u3002\u5185\u5b58\u6c60\u4ee5\u4e25\u683c\u7684\u5355\u5411\u5206\u914d\u5951\u7ea6\u6362\u53d6\u6781\u81f4\u541e\u5410\u4e0e\u6279\u91cf\u91ca\u653e，\u5176\u4ee3\u4ef7\u96c6\u4e2d\u4e8e\u4e24\u70b9：\u65e0\u6cd5\u5c31\u5730\u56de\u6536\u5f15\u53d1\u7684\u5185\u90e8\u788e\u7247，\u4ee5\u53ca\u751f\u547d\u5468\u671f\u4e0d\u4e00\u81f4\u5bfc\u81f4\u7684\u5185\u5b58\u7a7a\u95f4\u653e\u5927\u3002\u672c\u8282\u5efa\u7acb\u5b9a\u91cf\u6570\u5b66\u6a21\u578b\u5e76\u7ed3\u5408\u5178\u578b\u6545\u969c\u6848\u4f8b\u5c55\u5f00\u5206\u6790\u3002<\/p>\n
\u9700\u8981\u660e\u786e\u4e00\u4e2a\u6838\u5fc3\u4e8b\u5b9e：\u533a\u57df\u5185\u5b58\u6c60\u901a\u5e38\u65e0\u6cd5\u538b\u7f29\u7269\u7406\u5185\u5b58\u5cf0\u503c\u5360\u7528\u3002<\/p>\n
\u901a\u7528\u5206\u914d\u5668\u5177\u5907\u5373\u65f6\u7a7a\u95f4\u590d\u7528\u80fd\u529b：\u5bf9\u8c61\u88ab\u91ca\u653e\u540e，\u5176\u69fd\u4f4d\u53ef\u7acb\u523b\u88ab\u540e\u7eed\u5206\u914d\u590d\u7528\u3002\u800c Arena \u7684\u5206\u914d\u662f\u5355\u5411\u63a8\u8fdb\u7684，\u5df2\u5207\u5206\u7a7a\u95f4\u5728\u6574\u4e2a Arena \u6790\u6784\u524d\u65e0\u6cd5\u4e8c\u6b21\u5206\u914d\u3002<\/p>\n
Arena \u5185\u90e8\u788e\u7247\u4e3b\u8981\u7531\u4e24\u90e8\u5206\u6784\u6210：<\/p>\n
\u5bf9\u9f50\u8865\u9f50\u788e\u7247（Alignment Padding Slop）；<\/p>\n<\/li>\n
\u5757\u5c3e\u622a\u65ad\u788e\u7247（Tail Slop Waste）\u3002<\/p>\n<\/li>\n
text<\/p>\n
Arena \u5355\u5757\u5185\u90e8\u7a7a\u95f4\u6784\u6210
\n\u250c\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2510
\n\u2502 [\u6709\u6548\u8f7d\u8377] \u2502 [\u5bf9\u9f50\u8865\u9f50] \u2502 [\u5757\u5c3e\u5f03\u7528] \u2502
\n\u2514\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2518
\n\u25b2 \u25b2 \u25b2
\n\u2502\u25c0\u2500\u2500\u2500\u2500\u2500\u2500 \u5b9e\u9645\u5360\u7528 \u2500\u2500\u2500\u2500\u2500\u2500\u2500\u25b6\u2502\u25c0 \u5e9f\u6599 \u25b6\u2502
\n\u2502\u25c0\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500 \u5757\u603b\u5c3a\u5bf8 BlockSize \u2500\u2500\u2500\u25b6\u2502
\n\u5185\u90e8\u788e\u7247\u7387 = (\u5bf9\u9f50\u8865\u9f50 + \u5757\u5c3e\u5e9f\u6599) \/ \u5757\u603b\u5c3a\u5bf8<\/p>\n
\u5efa\u7acb\u6570\u5b66\u63a8\u5bfc\u6a21\u578b：<\/p>\n
\u8bbe\u5757\u5927\u5c0f\u4e3a B，\u7528\u6237\u8bf7\u6c42\u5c3a\u5bf8\u4e3a\u968f\u673a\u53d8\u91cf X，\u53d6\u503c\u533a\u95f4\u4e3a [x_min, x_max]\u3002\u6839\u636e\u56db\u5206\u4e4b\u4e00\u6cd5\u5219，\u8fdb\u5165\u5e38\u89c4\u5757\u5206\u914d\u7684\u5bf9\u8c61\u6ee1\u8db3 X <= B \/ 4\u3002<\/p>\n
\u7b2c\u4e00\u9879\u63a8\u5bfc\u5757\u5c3e\u622a\u65ad\u788e\u7247： \u6d3b\u52a8\u5757\u51c0\u7a7a\u4e3a R\u3002\u82e5\u540e\u7eed\u8bf7\u6c42\u5c3a\u5bf8 x \u6ee1\u8db3 x > R，\u5219\u5f53\u524d\u5757\u88ab\u8feb\u5c01\u5b58\u5e76\u7533\u8bf7\u65b0\u5757\u3002\u88ab\u8feb\u5f03\u7528\u7684\u5c3e\u90e8\u7a7a\u6d1e R \u53d6\u503c\u8303\u56f4\u5728 [0, x_max) \u4e4b\u5185\u3002 \u5047\u8bbe\u8bf7\u6c42\u5c3a\u5bf8\u5728\u533a\u95f4\u5185\u5206\u5e03\u76f8\u5bf9\u5747\u5300，\u5757\u5c3e\u5e9f\u5f03\u7a7a\u95f4\u7684\u671f\u671b\u503c\u8fd1\u4f3c\u4e3a：\u00a0E[Tail] \u2248 x_max \/ 2\u00a0\u5355\u5757\u5c3e\u90e8\u622a\u65ad\u788e\u7247\u7387\u671f\u671b\u503c\u4e3a：\u00a0Tail_Ratio = E[Tail] \/ B \u2248 x_max \/ (2 * B)<\/p>\n
\u7b2c\u4e8c\u9879\u63a8\u5bfc\u5bf9\u9f50\u8865\u9f50\u788e\u7247： \u8bbe\u7cfb\u7edf\u786c\u4ef6\u5bf9\u9f50\u5355\u4f4d\u4e3a A（64 \u4f4d\u5e73\u53f0\u901a\u5e38 A = 16）\u3002\u5728\u672a\u5b9e\u65bd\u53cc\u5411\u5207\u5206\u7684\u5355\u5411\u6c60\u4e2d，\u975e\u5bf9\u9f50\u6570\u636e\u4e0e\u5bf9\u9f50\u6570\u636e\u4ea4\u9519，\u6bcf\u6b21\u5bf9\u9f50\u8865\u9f50\u5b57\u8282\u6570\u5728 0 \u5230 A – 1 \u4e4b\u95f4\u5747\u5300\u5206\u5e03，\u671f\u671b\u503c\u4e3a：\u00a0E[Slop] = (A – 1) \/ 2 = 7.5 \u5b57\u8282\u00a0\u800c\u5728 RocksDB \u53cc\u5411\u5207\u5206\u6a21\u578b\u4e0b，\u975e\u5bf9\u9f50\u5b57\u7b26\u4e32\u96c6\u4e2d\u5728\u5c3e\u90e8\u9006\u5411\u751f\u957f，\u4ec5\u5728\u5bf9\u8c61\u5c3a\u5bf8\u975e A \u7684\u500d\u6570\u65f6\u4ea7\u751f\u5185\u90e8\u8865\u507f，\u5bf9\u9f50\u635f\u8017\u88ab\u538b\u7f29\u81f3\u6781\u4f4e\u6c34\u5e73\u3002<\/p>\n
\u5c06\u5e38\u89c1\u5757\u914d\u7f6e\u4e0e\u5bf9\u8c61\u5206\u5e03\u4ee3\u5165\u516c\u5f0f\u6d4b\u7b97，\u5f97\u5230\u91cf\u5316\u5185\u90e8\u788e\u7247\u5bf9\u7167\u8868：<\/p>\n
| \n 4KB \u5fae\u578b\u5757<\/p>\n<\/td>\n | \n \u5747\u5300\u5206\u5e03 24~1024B<\/p>\n<\/td>\n | \n 1024 \u5b57\u8282<\/p>\n<\/td>\n | \n 18% ~ 24%<\/p>\n<\/td>\n<\/tr>\n | ||||||||||||||||||||||||||||
| \n 4KB \u5fae\u578b\u5757<\/p>\n<\/td>\n | \n \u8282\u70b9 32~128B<\/p>\n<\/td>\n | \n 128 \u5b57\u8282<\/p>\n<\/td>\n | \n 2% ~ 4%<\/p>\n<\/td>\n<\/tr>\n | ||||||||||||||||||||||||||||
| \n 64KB \u6807\u51c6\u5757<\/p>\n<\/td>\n | \n \u7a81\u53d1\u952e\u503c \u4e0a\u9650 16KB<\/p>\n<\/td>\n | \n 16384 \u5b57\u8282<\/p>\n<\/td>\n | \n 14% ~ 19%<\/p>\n<\/td>\n<\/tr>\n | ||||||||||||||||||||||||||||
| \n 64KB \u6807\u51c6\u5757<\/p>\n<\/td>\n | \n \u8282\u70b9 32~128B<\/p>\n<\/td>\n | \n 128 \u5b57\u8282<\/p>\n<\/td>\n | \n 0.3% ~ 0.8%<\/p>\n<\/td>\n<\/tr>\n | ||||||||||||||||||||||||||||
| \n 2MB \u5de8\u9875\u5757<\/p>\n<\/td>\n | \n \u6df7\u5408\u8d1f\u8f7d \u4e0a\u9650 512KB<\/p>\n<\/td>\n | \n 524288 \u5b57\u8282<\/p>\n<\/td>\n | \n 1% ~ 3%<\/p>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n \u8be5\u8868\u63ed\u793a\u4e86\u4e09\u4e2a\u6838\u5fc3\u5de5\u7a0b\u7279\u5f81： \u5176\u4e00，\u5757\u5c3a\u5bf8\u8d8a\u5c0f，\u5185\u90e8\u788e\u7247\u5bf9\u5927\u5bf9\u8c61\u8d8a\u654f\u611f\u3002\u82e5\u4e1a\u52a1\u5e38\u51fa\u73b0 1KB \u5bf9\u8c61\u800c\u5757\u5c3a\u5bf8\u8bbe\u4e3a 4KB，\u7cfb\u7edf\u5c06\u6709\u4e24\u6210\u4ee5\u4e0a\u7684\u7269\u7406\u5185\u5b58\u8f6c\u5316\u4e3a\u4e0d\u53ef\u5229\u7528\u7684\u5c3e\u90e8\u7a7a\u6d1e\u3002 \u5176\u4e8c，\u56db\u5206\u4e4b\u4e00\u6cd5\u5219\u5c06\u5757\u5c3e\u5e73\u5747\u788e\u7247\u7406\u8bba\u4e0a\u9650\u9650\u5236\u5728 12.5% \u4ee5\u5185，\u63a7\u5236\u4e86\u6700\u5dee\u5de5\u51b5\u4e0b\u7684\u5757\u5c3e\u671f\u671b\u635f\u8017\u3002 \u5176\u4e09，\u53cc\u5411\u5207\u5206\u673a\u5236\u5728\u5c0f\u5bf9\u8c61\u9ad8\u9891\u573a\u666f\u4e0b，\u5c06\u5bf9\u9f50\u635f\u8017\u81ea\u6570\u4e2a\u767e\u5206\u70b9\u538b\u7f29\u81f3\u5343\u5206\u4e4b\u51e0\u3002<\/p>\n \u5728\u5185\u5b58\u5bb9\u91cf\u5ba1\u8ba1\u4e2d，\u9762\u5bf9\u201c\u7269\u7406\u5185\u5b58\u4e3a\u4f55\u9ad8\u4e8e\u952e\u503c\u51c0\u8f7d\u8377\u201d\u7684\u8d28\u8be2，\u8be5\u6a21\u578b\u53ef\u660e\u786e\u89e3\u91ca：\u7ea6 12.5% \u7684\u7a7a\u95f4\u5197\u4f59\u662f\u4e3a\u89c4\u907f\u5927\u5bf9\u8c61\u9501\u7ade\u4e89\u9884\u652f\u7684\u5757\u5c3e\u5bb9\u5dee，\u5176\u4f59\u4e3a\u5bf9\u9f50\u5f00\u9500\u3002<\/p>\n 2. \u957f\u751f\u547d\u5468\u671f\u5bf9\u8c61\u5bfc\u81f4\u7684\u5185\u5b58\u653e\u5927\u95ee\u9898<\/h4>\n\u76f8\u6bd4\u4e8e\u53ef\u901a\u8fc7\u6570\u5b66\u6a21\u578b\u9884\u4f30\u7684\u5185\u90e8\u788e\u7247，\u751f\u547d\u5468\u671f\u4e0d\u4e00\u81f4\u5f15\u53d1\u7684\u5185\u5b58\u9489\u4f4f（Memory Pinning \/ Retaining Trap）\u5177\u5907\u66f4\u5927\u7684\u9690\u853d\u6027\u4e0e\u7834\u574f\u529b\u3002<\/p>\n \u533a\u57df\u5185\u5b58\u6c60\u7684\u7269\u7406\u751f\u547d\u5468\u671f，\u7531\u6c60\u5185\u5206\u914d\u7684\u6240\u6709\u5bf9\u8c61\u4e2d\u5b58\u6d3b\u65f6\u95f4\u6700\u957f\u7684\u5bf9\u8c61\u51b3\u5b9a\u3002<\/p>\n \u4ee5\u4e0b\u5206\u6790\u5206\u5e03\u5f0f\u7cfb\u7edf\u4e2d\u7684\u4e00\u4e2a\u5178\u578b\u751f\u4ea7\u6545\u969c\u6848\u4f8b：<\/p>\n \u5728\u6d41\u5f0f\u8ba1\u7b97\u4e0e\u63a8\u8350\u6392\u5e8f\u5f15\u64ce\u4e2d，\u7cfb\u7edf\u4e3a\u6bcf\u4e2a\u7528\u6237 HTTP \u8bf7\u6c42\u521b\u5efa\u72ec\u7acb\u7684\u00a0Arena，\u7528\u4e8e\u6784\u5efa\u7279\u5f81\u5b57\u5178\u3001\u8bc4\u5206\u4e0a\u4e0b\u6587\u7b49\u4e34\u65f6\u72b6\u6001\u3002\u6bcf\u4e2a\u4f1a\u8bdd\u7ea6\u5206\u914d 2000 \u4e2a\u5c0f\u578b\u5bf9\u8c61，\u6574\u4f53\u6d88\u8017\u4e00\u4e2a 64KB \u7269\u7406\u5757\u3002\u8bbe\u8ba1\u9884\u671f\u4e3a：\u8bf7\u6c42\u5728 5 \u6beb\u79d2\u5185\u8ba1\u7b97\u5b8c\u6bd5\u5e76\u8f93\u51fa\u7ed3\u679c，\u968f\u540e\u00a0Arena\u00a0\u6790\u6784，\u6574\u5757\u5185\u5b58\u5f52\u8fd8\u7cfb\u7edf\u3002<\/p>\n \u540e\u7eed\u8fed\u4ee3\u4e2d，\u5f00\u53d1\u4eba\u5458\u5728\u6df1\u5c42\u8ba1\u7b97\u8def\u5f84\u4e2d\u589e\u52a0\u4e86\u4e00\u9879\u5076\u53d1\u5f02\u5e38\u6392\u67e5\u903b\u8f91：\u82e5\u63a8\u8350\u6253\u5206\u4f4e\u4e8e\u8bbe\u5b9a\u9608\u503c，\u5219\u6293\u53d6\u7279\u5f81\u8282\u70b9\u4e2d\u7684\u8f7b\u91cf\u4f1a\u8bdd\u51ed\u8bc1（SessionToken，\u5305\u542b 32 \u5b57\u8282\u54c8\u5e0c\u503c），\u5e76\u5c06\u6307\u9488\u5b58\u5165\u5168\u5c40\u5e76\u53d1\u54c8\u5e0c\u8868（GlobalAnomalyCache）\u7528\u4e8e\u5f02\u6b65\u79bb\u7ebf\u5206\u6790，\u7f13\u5b58\u751f\u547d\u5468\u671f\u8bbe\u5b9a\u4e3a 24 \u5c0f\u65f6\u3002<\/p>\n \u8be5\u6539\u52a8\u5bfc\u81f4\u7269\u7406\u5185\u5b58\u7a7a\u95f4\u51fa\u73b0\u663e\u8457\u653e\u5927：<\/p>\n text<\/p>\n \u751f\u547d\u5468\u671f\u4e0d\u4e00\u81f4\u5f15\u53d1\u7684\u5185\u5b58\u9489\u4f4f \u5728\u8be5\u8bf7\u6c42\u4e2d，1999 \u4e2a\u4e34\u65f6\u5bf9\u8c61\u5728 5 \u6beb\u79d2\u65f6\u5df2\u7ed3\u675f\u4f7f\u547d，\u4f46\u56e0\u90a3 1 \u4e2a 32 \u5b57\u8282\u7684\u00a0SessionToken\u00a0\u6307\u9488\u88ab\u5168\u5c40\u7f13\u5b58\u6301\u6709 24 \u5c0f\u65f6： \u82e5\u5728\u901a\u7528\u5206\u914d\u5668（new\/delete）\u4e0b，1999 \u4e2a\u5bf9\u8c61\u8c03\u7528\u00a0delete\u00a0\u5f52\u8fd8\u7269\u7406\u7a7a\u95f4，\u957f\u671f\u6301\u6709\u7684\u7269\u7406\u5185\u5b58\u4ec5\u4e3a 32 \u5b57\u8282\u53ca\u5176\u5934\u90e8\u5143\u6570\u636e（\u7ea6 48 \u5b57\u8282）\u3002<\/p>\n \u4f46\u5728 Arena \u5185\u5b58\u6c60\u4e0b：\u7531\u4e8e Arena \u4ec5\u652f\u6301\u6574\u5757\u91ca\u653e，\u53ea\u8981\u5916\u90e8\u4ecd\u6709\u6709\u6548\u6307\u9488\u6307\u5411\u5757\u5185\u4efb\u610f\u5730\u5740，\u627f\u8f7d\u8be5\u5730\u5740\u7684 64KB \u7269\u7406\u5757\u4ee5\u53ca\u7ba1\u7406\u5b83\u7684 Arena \u4fbf\u65e0\u6cd5\u6267\u884c\u6790\u6784\u56de\u6536\u3002<\/p>\n \u8be5 32 \u5b57\u8282\u5bf9\u8c61\u5b58\u6d3b 24 \u5c0f\u65f6，\u5bfc\u81f4\u627f\u8f7d\u5b83\u7684\u6574\u5757 64KB（65536 \u5b57\u8282）\u7269\u7406\u5185\u5b58\u5fc5\u987b\u5b8c\u6574\u6ede\u7559\u5728\u865a\u62df\u5730\u5740\u7a7a\u95f4\u4e2d\u3002 \u6b64\u65f6\u7a7a\u95f4\u653e\u5927\u500d\u6570\u8fbe：\u00a0\u7a7a\u95f4\u653e\u5927\u7cfb\u6570 = \u5757\u603b\u5c3a\u5bf8 \/ \u5b58\u6d3b\u8f7d\u8377\u5c3a\u5bf8 = 65536 \/ 32 = 2048 \u500d<\/p>\n \u5728\u9ad8\u5e76\u53d1\u5199\u5165\u4e0b，\u82e5\u6bcf\u79d2\u4e24\u4e07\u6b21\u8bf7\u6c42\u4e2d\u6709 1% \u547d\u4e2d\u4f4e\u5206\u5f02\u5e38\u903b\u8f91，\u6bcf\u79d2\u5c06\u6709 200 \u4e2a\u7269\u7406\u5757\u88ab\u6ede\u7559\u5728\u5185\u5b58\u4e2d\u3002\u4e00\u5206\u949f\u7d2f\u79ef\u6ede\u7559\u5185\u5b58\u8fbe 200 * 60 * 64KB \u2248 750MB；\u8fd0\u884c\u5341\u4f59\u5206\u949f\u5373\u53ef\u5bfc\u81f4\u6570\u5341\u5409\u5b57\u8282\u7269\u7406\u5185\u5b58\u88ab\u5fae\u578b\u5b58\u6d3b\u5bf9\u8c61\u9501\u5b9a\u3002<\/p>\n \u76d1\u63a7\u663e\u793a\u7cfb\u7edf\u7269\u7406\u9a7b\u7559\u5185\u5b58\u5355\u8c03\u6301\u7eed\u722c\u5347，CPU \u5904\u4e8e\u7a7a\u95f2\u7b49\u5f85\u72b6\u6001，\u6700\u7ec8 Linux \u5185\u6838 OOM Killer \u4f9d\u636e badness \u5206\u503c\u5224\u5b9a\u8fdb\u7a0b\u5185\u5b58\u8d85\u9650，\u4e0b\u53d1 SIGKILL（exit code 137）\u7ec8\u6b62\u670d\u52a1\u3002<\/p>\n 3. \u5185\u5b58\u5ba1\u8ba1\u9632\u7ebf\u4e0e\u89c2\u6d4b\u6307\u6807<\/h4>\n\u8be5\u4e8b\u6545\u786e\u7acb\u4e86\u6838\u5fc3\u67b6\u6784\u9632\u7ebf：\u533a\u57df\u5185\u5b58\u6c60\u4e25\u7981\u6df7\u6742\u4e0d\u540c\u751f\u547d\u5468\u671f\u7684\u5bf9\u8c61\u3002<\/p>\n \u5728\u751f\u4ea7\u73af\u5883\u7684\u5185\u5b58\u5bb9\u91cf\u5ba1\u8ba1\u4e0e\u6545\u969c\u6392\u67e5\u4e2d，\u5de5\u7a0b\u5e08\u53ef\u501f\u52a9\u6807\u51c6\u7684 Linux \u7ef4\u6d4b\u5de5\u5177\u5bf9\u5185\u5b58\u6ede\u7559\u73b0\u8c61\u5efa\u7acb\u91cf\u5316\u76d1\u63a7：<\/p>\n \u89c2\u5bdf\u865a\u62df\u5185\u5b58\u6620\u5c04：\u901a\u8fc7\u68c0\u67e5\u00a0\/proc\/<pid>\/smaps\u00a0\u6216\u6267\u884c\u00a0pmap -x <pid>，\u91cd\u70b9\u6bd4\u5bf9\u5404\u865a\u62df\u5185\u5b58\u6bb5\u7684\u865a\u62df\u5185\u5b58\u5c3a\u5bf8（Size）\u3001\u5e38\u9a7b\u5185\u5b58（Rss）\u4e0e\u79c1\u6709\u810f\u9875（Private_Dirty）\u3002\u82e5\u53d1\u73b0\u5b58\u5728\u5927\u91cf\u5c3a\u5bf8\u4e3a 64KB \u7684\u72ec\u7acb\u533f\u540d\u6620\u5c04\u6bb5，\u4e14\u5404\u6bb5\u4e2d\u4ec5\u6709\u6781\u5c11\u91cf\u7269\u7406\u9875\u5904\u4e8e\u5e38\u9a7b\u72b6\u6001，\u901a\u5e38\u610f\u5473\u7740\u5e95\u5c42\u5b58\u5728\u79bb\u6563\u7269\u7406\u5757\u88ab\u5fae\u5c0f\u5b58\u6d3b\u5bf9\u8c61\u9501\u5b9a\u7684\u73b0\u8c61；<\/p>\n<\/li>\n \u5efa\u7acb\u7a7a\u95f4\u653e\u5927\u7387\u6307\u6807：\u5b9a\u4e49\u7a7a\u95f4\u653e\u5927\u7cfb\u6570\u00a0Amplification Ratio = Arena_Allocated_Memory \/ Valid_User_Payload\u3002\u5728\u5b58\u50a8\u5f15\u64ce MemTable \u7684\u5e73\u7a33\u8fd0\u884c\u671f，\u8be5\u7cfb\u6570\u901a\u5e38\u7a33\u5b9a\u5728 1.05 \u81f3 1.15 \u533a\u95f4；\u82e5\u76d1\u63a7\u5927\u76d8\u663e\u793a\u8be5\u7cfb\u6570\u5f02\u5e38\u6500\u5347\u81f3 1.5 \u4e43\u81f3\u66f4\u9ad8，\u5219\u5e94\u89e6\u53d1\u62a5\u8b66，\u6392\u67e5\u662f\u5426\u5b58\u5728\u8de8\u4f5c\u7528\u57df\u7684\u5916\u90e8\u6307\u9488\u6cc4\u6f0f\u3002<\/p>\n<\/li>\n \u5728\u7cfb\u7edf\u5b9e\u73b0\u4e2d\u9700\u8bbe\u7acb\u4e24\u9053\u7ea6\u675f：<\/p>\n \u7b2c\u4e00，\u751f\u547d\u5468\u671f\u7684\u7269\u7406\u9694\u79bb\u3002\u8fdb\u5165 Arena \u7684\u5bf9\u8c61\u751f\u5b58\u671f\u5fc5\u987b\u4e25\u683c\u53d7\u9650\u4e8e\u8be5 Arena \u4f5c\u7528\u57df\u3002\u82e5\u9700\u5c06\u6c60\u5185\u8ba1\u7b97\u7ed3\u679c\u4f20\u9012\u81f3\u957f\u751f\u547d\u5468\u671f\u6a21\u5757，\u5fc5\u987b\u5728\u79bb\u5f00\u4f5c\u7528\u57df\u524d\u6267\u884c\u6df1\u62f7\u8d1d（Deep Copy），\u5c06\u6570\u636e\u514b\u9686\u81f3\u7531\u5168\u5c40\u957f\u5468\u671f\u7ba1\u7406\u5668\u6301\u6709\u7684\u5185\u5b58\u4e2d，\u5207\u65ad\u5916\u90e8\u6307\u9488\u4e0e\u6c60\u5185\u7269\u7406\u5757\u7684\u5173\u8054\u3002<\/p>\n \u5728\u5177\u4f53\u4ee3\u7801\u91cd\u6784\u4e2d，\u63a8\u8350\u91c7\u7528\u663e\u5f0f\u7684\u79fb\u52a8\u8bed\u4e49\u4e0e\u514b\u9686\u6784\u9020\u51fd\u6570，\u4e25\u7981\u5728\u8fd4\u56de\u5bf9\u8c61\u4e2d\u5305\u542b\u4efb\u4f55\u6307\u5411 Arena \u7f13\u51b2\u533a\u7684\u539f\u59cb\u6307\u9488（Raw Pointer）\u6216\u5207\u7247（std::string_view）\u3002<\/p>\n \u5728\u5de5\u4e1a\u7ea7\u5de5\u7a0b\u5b9e\u8df5\u4e2d，\u63a8\u8350\u91c7\u7528\u5982\u4e0b\u6df1\u62f7\u8d1d\u9694\u79bb\u6a21\u5f0f：<\/p>\n C++<\/p>\n \/\/ \u9632\u5fa1\u6a21\u5f0f：\u751f\u547d\u5468\u671f\u8de8\u8d8a\u4f5c\u7528\u57df\u65f6\u7684\u663e\u5f0f\u514b\u9686 \/\/ \u663e\u5f0f\u6df1\u62f7\u8d1d：\u4ece Arena \u5206\u914d\u7684\u539f\u59cb\u6570\u636e\u514b\u9686\u5230\u72ec\u7acb\u5806\u5185\u5b58\u4e2d \u6b64\u5916，\u5728\u7f16\u8bd1\u671f\u4e0e\u5355\u6d4b\u9636\u6bb5，\u5efa\u8bae\u96c6\u6210 AddressSanitizer（ASan）\u7684\u5185\u5b58\u67d3\u8272\u673a\u5236（Memory Poisoning）\u3002\u81ea\u5b9a\u4e49\u5185\u5b58\u6c60\u53ef\u5728\u91ca\u653e\u5e95\u5c42\u7269\u7406\u5757\u65f6，\u663e\u5f0f\u8c03\u7528\u00a0__asan_poison_memory_region(block, size)\u00a0\u5c06\u8be5\u5185\u5b58\u533a\u57df\u7f6e\u4e3a\u6709\u6bd2\u72b6\u6001；\u4e00\u65e6\u5916\u90e8\u4ee3\u7801\u5b58\u5728\u957f\u751f\u547d\u5468\u671f\u60ac\u5782\u6307\u9488\u5e76\u5728\u5757\u5f52\u8fd8\u540e\u53d1\u8d77\u975e\u6cd5\u8bfb\u53d6，ASan \u80fd\u591f\u7cbe\u51c6\u6355\u83b7\u5e76\u8f93\u51fa\u975e\u6cd5\u7684\u5185\u5b58\u8bbf\u95ee\u5806\u6808，\u5c06\u9690\u853d\u7684\u5185\u5b58\u9489\u4f4f\u4e0e\u91ce\u6307\u9488\u95ee\u9898\u62e6\u622a\u5728\u7ebf\u4e0b\u6d4b\u8bd5\u73af\u5883\u4e2d\u3002<\/p>\n \u7b2c\u4e8c，\u53ef\u89c2\u6d4b\u6027\u6307\u6807\u7684\u663e\u5f0f\u57cb\u70b9\u3002RocksDB \u5728\u00a0memory\/arena.h\u00a0\u4e2d\u63d0\u4f9b\u4e86\u4e24\u4e2a\u5173\u952e\u89c2\u6d4b\u63a5\u53e3：<\/p>\n C++<\/p>\n \/\/ \u6e90\u7801\u4f4d\u7f6e：rocksdb\/memory\/arena.h \/\/ \u8fd4\u56de\u5f53\u524d arena \u6240\u6d88\u8017\u7684\u4f30\u8ba1\u7269\u7406\u5185\u5b58\u603b\u91cf \u5f53\u89c2\u6d4b\u5230\u00a0AllocatedAndUnused()\u00a0\u968f\u5199\u5165\u541e\u5410\u6025\u5267\u5347\u9ad8，\u6216\u00a0ApproximateMemoryUsage()\u00a0\u8fbe\u5230\u5b9e\u9645\u4e1a\u52a1\u8f7d\u8377\u7684\u6570\u500d\u65f6，\u901a\u5e38\u8868\u660e\u5757\u5c3a\u5bf8\u914d\u7f6e\u8fc7\u5927，\u6216\u7cfb\u7edf\u5185\u90e8\u5b58\u5728\u957f\u751f\u547d\u5468\u671f\u5bf9\u8c61\u5bf9\u7269\u7406\u5757\u7684\u5f02\u5e38\u9501\u5b9a\u3002\u901a\u8fc7\u5c06\u6b64\u7c7b\u6307\u6807\u91c7\u96c6\u5e76\u66b4\u9732\u7ed9 Prometheus \u76d1\u63a7\u7cfb\u7edf，\u8fd0\u7ef4\u5de5\u7a0b\u5e08\u53ef\u4ee5\u5728\u5e38\u9a7b\u5185\u5b58\u7a81\u7834 cgroup \u9650\u989d\u524d\u53ca\u65f6\u53d1\u73b0\u5185\u5b58\u6ede\u7559\u73b0\u8c61\u3002<\/p>\n \u5e76\u53d1\u5206\u7247\u6f14\u8fdb\u4e0e\u67b6\u6784\u51b3\u7b56\u5bf9\u7167<\/h3>\n\u5728\u5b8c\u6210\u5355\u7ebf\u7a0b Arena \u7684\u5185\u5b58\u5e03\u5c40\u4e0e\u788e\u7247\u63a8\u6f14\u540e，\u8fdb\u5165\u591a\u6838\u5e76\u53d1\u4e0e\u901a\u7528 C++ \u5bf9\u8c61\u6258\u7ba1\u573a\u666f\u65f6，\u4ecd\u9700\u89e3\u51b3\u4e24\u4e2a\u6838\u5fc3\u5de5\u7a0b\u95ee\u9898：\u9ad8\u5e76\u53d1\u5199\u5165\u4e0b\u7684\u65e0\u9501\u6216\u4f4e\u4e89\u7528\u6269\u5c55，\u4ee5\u53ca\u975e\u5e73\u51e1\u6790\u6784\u51fd\u6570（Non-trivial Destructors）\u5bf9\u8c61\u7684\u8d44\u6e90\u56de\u6536\u5951\u7ea6\u3002<\/p>\n 1. \u591a\u6838\u5e76\u53d1\u7ade\u4e89：\u4ece\u5168\u5c40\u4e92\u65a5\u5230 Core-Local \u5206\u7247<\/h4>\n\u5728\u751f\u4ea7\u7ea7 LSM-Tree \u5b58\u50a8\u5f15\u64ce\u4e2d，MemTable \u9700\u652f\u6301\u591a\u5de5\u4f5c\u7ebf\u7a0b\u5e76\u53d1\u63d2\u5165\u8df3\u8868\u8282\u70b9\u3002\u82e5\u591a\u7ebf\u7a0b\u5e76\u53d1\u8c03\u7528\u00a0arena.AllocateAligned(bytes)，\u76f4\u63a5\u8bfb\u5199\u5171\u4eab\u7684\u00a0aligned_alloc_ptr_\u00a0\u4e0e\u00a0alloc_bytes_remaining_\u00a0\u4f1a\u5f15\u53d1\u6570\u636e\u7ade\u4e89\u3002<\/p>\n \u5728\u00a0Arena\u00a0\u5916\u90e8\u76f4\u63a5\u5c01\u88c5\u4e92\u65a5\u9501（\u5982\u00a0std::mutex）\u4f1a\u5bfc\u81f4\u9ad8\u9891\u9501\u7ade\u4e89，\u5c06\u6570\u7eb3\u79d2\u7684\u6307\u9488\u9012\u589e\u62d6\u6162\u6570\u4e2a\u6570\u91cf\u7ea7\u3002<\/p>\n \u82e5\u5c1d\u8bd5\u91c7\u7528\u57fa\u4e8e\u539f\u5b50\u6307\u9488\u7684 CAS（Compare-And-Swap）\u5faa\u73af\u63a8\u8fdb\u6307\u9488，\u5b58\u5728\u5982\u4e0b\u7f3a\u9677：<\/p>\n \u5bf9\u9f50\u8865\u9f50\u8ba1\u7b97\u4f9d\u8d56\u5f53\u524d\u6307\u9488\u7684\u5177\u4f53\u6570\u503c\u3002\u82e5\u591a\u7ebf\u7a0b\u5e76\u53d1\u7ade\u4e89，\u5148\u5b8c\u6210 CAS \u7684\u7ebf\u7a0b\u63a8\u8fdb\u6307\u9488\u540e，\u540e\u7eed\u7ebf\u7a0b\u5148\u524d\u8ba1\u7b97\u7684\u00a0slop\u00a0\u5373\u544a\u5931\u6548，\u5fc5\u987b\u56de\u6eda\u91cd\u7b97；<\/p>\n<\/li>\n \u9ad8\u5e76\u53d1\u4e89\u7528\u4e0b CAS \u5931\u8d25\u91cd\u8bd5\u7387\u4e0a\u5347，\u6613\u5f15\u53d1\u603b\u7ebf\u4e00\u81f4\u6027\u6d41\u91cf\u6fc0\u589e；<\/p>\n<\/li>\n \u7a7a\u95f4\u8017\u5c3d\u89e6\u53d1\u7533\u8bf7\u65b0\u5757\u65f6，\u5355\u7eaf\u7684\u539f\u5b50\u6307\u9488\u65e0\u6cd5\u4ee5\u539f\u5b50\u65b9\u5f0f\u5b8c\u6210\u5c01\u5b58\u65e7\u5757\u3001\u7533\u8bf7\u65b0\u5757\u4e0e\u91cd\u7f6e\u6e38\u6807\u7684\u591a\u6b65\u72b6\u6001\u8f6c\u79fb\u3002<\/p>\n<\/li>\n RocksDB \u5728\u00a0memory\/concurrent_arena.h\u00a0\u4e2d\u5b9e\u73b0\u4e86\u00a0ConcurrentArena，\u91c7\u7528\u00a0Core-Local（\u6838\u5fc3\u672c\u5730\u5206\u7247）\u00a0\u4e24\u7ea7\u5206\u914d\u67b6\u6784：<\/p>\n
|