zbud.c (18855B)
1// SPDX-License-Identifier: GPL-2.0-only 2/* 3 * zbud.c 4 * 5 * Copyright (C) 2013, Seth Jennings, IBM 6 * 7 * Concepts based on zcache internal zbud allocator by Dan Magenheimer. 8 * 9 * zbud is an special purpose allocator for storing compressed pages. Contrary 10 * to what its name may suggest, zbud is not a buddy allocator, but rather an 11 * allocator that "buddies" two compressed pages together in a single memory 12 * page. 13 * 14 * While this design limits storage density, it has simple and deterministic 15 * reclaim properties that make it preferable to a higher density approach when 16 * reclaim will be used. 17 * 18 * zbud works by storing compressed pages, or "zpages", together in pairs in a 19 * single memory page called a "zbud page". The first buddy is "left 20 * justified" at the beginning of the zbud page, and the last buddy is "right 21 * justified" at the end of the zbud page. The benefit is that if either 22 * buddy is freed, the freed buddy space, coalesced with whatever slack space 23 * that existed between the buddies, results in the largest possible free region 24 * within the zbud page. 25 * 26 * zbud also provides an attractive lower bound on density. The ratio of zpages 27 * to zbud pages can not be less than 1. This ensures that zbud can never "do 28 * harm" by using more pages to store zpages than the uncompressed zpages would 29 * have used on their own. 30 * 31 * zbud pages are divided into "chunks". The size of the chunks is fixed at 32 * compile time and determined by NCHUNKS_ORDER below. Dividing zbud pages 33 * into chunks allows organizing unbuddied zbud pages into a manageable number 34 * of unbuddied lists according to the number of free chunks available in the 35 * zbud page. 36 * 37 * The zbud API differs from that of conventional allocators in that the 38 * allocation function, zbud_alloc(), returns an opaque handle to the user, 39 * not a dereferenceable pointer. The user must map the handle using 40 * zbud_map() in order to get a usable pointer by which to access the 41 * allocation data and unmap the handle with zbud_unmap() when operations 42 * on the allocation data are complete. 43 */ 44 45#define pr_fmt(fmt) KBUILD_MODNAME ": " fmt 46 47#include <linux/atomic.h> 48#include <linux/list.h> 49#include <linux/mm.h> 50#include <linux/module.h> 51#include <linux/preempt.h> 52#include <linux/slab.h> 53#include <linux/spinlock.h> 54#include <linux/zpool.h> 55 56/***************** 57 * Structures 58*****************/ 59/* 60 * NCHUNKS_ORDER determines the internal allocation granularity, effectively 61 * adjusting internal fragmentation. It also determines the number of 62 * freelists maintained in each pool. NCHUNKS_ORDER of 6 means that the 63 * allocation granularity will be in chunks of size PAGE_SIZE/64. As one chunk 64 * in allocated page is occupied by zbud header, NCHUNKS will be calculated to 65 * 63 which shows the max number of free chunks in zbud page, also there will be 66 * 63 freelists per pool. 67 */ 68#define NCHUNKS_ORDER 6 69 70#define CHUNK_SHIFT (PAGE_SHIFT - NCHUNKS_ORDER) 71#define CHUNK_SIZE (1 << CHUNK_SHIFT) 72#define ZHDR_SIZE_ALIGNED CHUNK_SIZE 73#define NCHUNKS ((PAGE_SIZE - ZHDR_SIZE_ALIGNED) >> CHUNK_SHIFT) 74 75struct zbud_pool; 76 77struct zbud_ops { 78 int (*evict)(struct zbud_pool *pool, unsigned long handle); 79}; 80 81/** 82 * struct zbud_pool - stores metadata for each zbud pool 83 * @lock: protects all pool fields and first|last_chunk fields of any 84 * zbud page in the pool 85 * @unbuddied: array of lists tracking zbud pages that only contain one buddy; 86 * the lists each zbud page is added to depends on the size of 87 * its free region. 88 * @buddied: list tracking the zbud pages that contain two buddies; 89 * these zbud pages are full 90 * @lru: list tracking the zbud pages in LRU order by most recently 91 * added buddy. 92 * @pages_nr: number of zbud pages in the pool. 93 * @ops: pointer to a structure of user defined operations specified at 94 * pool creation time. 95 * @zpool: zpool driver 96 * @zpool_ops: zpool operations structure with an evict callback 97 * 98 * This structure is allocated at pool creation time and maintains metadata 99 * pertaining to a particular zbud pool. 100 */ 101struct zbud_pool { 102 spinlock_t lock; 103 union { 104 /* 105 * Reuse unbuddied[0] as buddied on the ground that 106 * unbuddied[0] is unused. 107 */ 108 struct list_head buddied; 109 struct list_head unbuddied[NCHUNKS]; 110 }; 111 struct list_head lru; 112 u64 pages_nr; 113 const struct zbud_ops *ops; 114 struct zpool *zpool; 115 const struct zpool_ops *zpool_ops; 116}; 117 118/* 119 * struct zbud_header - zbud page metadata occupying the first chunk of each 120 * zbud page. 121 * @buddy: links the zbud page into the unbuddied/buddied lists in the pool 122 * @lru: links the zbud page into the lru list in the pool 123 * @first_chunks: the size of the first buddy in chunks, 0 if free 124 * @last_chunks: the size of the last buddy in chunks, 0 if free 125 */ 126struct zbud_header { 127 struct list_head buddy; 128 struct list_head lru; 129 unsigned int first_chunks; 130 unsigned int last_chunks; 131 bool under_reclaim; 132}; 133 134/***************** 135 * Helpers 136*****************/ 137/* Just to make the code easier to read */ 138enum buddy { 139 FIRST, 140 LAST 141}; 142 143/* Converts an allocation size in bytes to size in zbud chunks */ 144static int size_to_chunks(size_t size) 145{ 146 return (size + CHUNK_SIZE - 1) >> CHUNK_SHIFT; 147} 148 149#define for_each_unbuddied_list(_iter, _begin) \ 150 for ((_iter) = (_begin); (_iter) < NCHUNKS; (_iter)++) 151 152/* Initializes the zbud header of a newly allocated zbud page */ 153static struct zbud_header *init_zbud_page(struct page *page) 154{ 155 struct zbud_header *zhdr = page_address(page); 156 zhdr->first_chunks = 0; 157 zhdr->last_chunks = 0; 158 INIT_LIST_HEAD(&zhdr->buddy); 159 INIT_LIST_HEAD(&zhdr->lru); 160 zhdr->under_reclaim = false; 161 return zhdr; 162} 163 164/* Resets the struct page fields and frees the page */ 165static void free_zbud_page(struct zbud_header *zhdr) 166{ 167 __free_page(virt_to_page(zhdr)); 168} 169 170/* 171 * Encodes the handle of a particular buddy within a zbud page 172 * Pool lock should be held as this function accesses first|last_chunks 173 */ 174static unsigned long encode_handle(struct zbud_header *zhdr, enum buddy bud) 175{ 176 unsigned long handle; 177 178 /* 179 * For now, the encoded handle is actually just the pointer to the data 180 * but this might not always be the case. A little information hiding. 181 * Add CHUNK_SIZE to the handle if it is the first allocation to jump 182 * over the zbud header in the first chunk. 183 */ 184 handle = (unsigned long)zhdr; 185 if (bud == FIRST) 186 /* skip over zbud header */ 187 handle += ZHDR_SIZE_ALIGNED; 188 else /* bud == LAST */ 189 handle += PAGE_SIZE - (zhdr->last_chunks << CHUNK_SHIFT); 190 return handle; 191} 192 193/* Returns the zbud page where a given handle is stored */ 194static struct zbud_header *handle_to_zbud_header(unsigned long handle) 195{ 196 return (struct zbud_header *)(handle & PAGE_MASK); 197} 198 199/* Returns the number of free chunks in a zbud page */ 200static int num_free_chunks(struct zbud_header *zhdr) 201{ 202 /* 203 * Rather than branch for different situations, just use the fact that 204 * free buddies have a length of zero to simplify everything. 205 */ 206 return NCHUNKS - zhdr->first_chunks - zhdr->last_chunks; 207} 208 209/***************** 210 * API Functions 211*****************/ 212/** 213 * zbud_create_pool() - create a new zbud pool 214 * @gfp: gfp flags when allocating the zbud pool structure 215 * @ops: user-defined operations for the zbud pool 216 * 217 * Return: pointer to the new zbud pool or NULL if the metadata allocation 218 * failed. 219 */ 220static struct zbud_pool *zbud_create_pool(gfp_t gfp, const struct zbud_ops *ops) 221{ 222 struct zbud_pool *pool; 223 int i; 224 225 pool = kzalloc(sizeof(struct zbud_pool), gfp); 226 if (!pool) 227 return NULL; 228 spin_lock_init(&pool->lock); 229 for_each_unbuddied_list(i, 0) 230 INIT_LIST_HEAD(&pool->unbuddied[i]); 231 INIT_LIST_HEAD(&pool->buddied); 232 INIT_LIST_HEAD(&pool->lru); 233 pool->pages_nr = 0; 234 pool->ops = ops; 235 return pool; 236} 237 238/** 239 * zbud_destroy_pool() - destroys an existing zbud pool 240 * @pool: the zbud pool to be destroyed 241 * 242 * The pool should be emptied before this function is called. 243 */ 244static void zbud_destroy_pool(struct zbud_pool *pool) 245{ 246 kfree(pool); 247} 248 249/** 250 * zbud_alloc() - allocates a region of a given size 251 * @pool: zbud pool from which to allocate 252 * @size: size in bytes of the desired allocation 253 * @gfp: gfp flags used if the pool needs to grow 254 * @handle: handle of the new allocation 255 * 256 * This function will attempt to find a free region in the pool large enough to 257 * satisfy the allocation request. A search of the unbuddied lists is 258 * performed first. If no suitable free region is found, then a new page is 259 * allocated and added to the pool to satisfy the request. 260 * 261 * gfp should not set __GFP_HIGHMEM as highmem pages cannot be used 262 * as zbud pool pages. 263 * 264 * Return: 0 if success and handle is set, otherwise -EINVAL if the size or 265 * gfp arguments are invalid or -ENOMEM if the pool was unable to allocate 266 * a new page. 267 */ 268static int zbud_alloc(struct zbud_pool *pool, size_t size, gfp_t gfp, 269 unsigned long *handle) 270{ 271 int chunks, i, freechunks; 272 struct zbud_header *zhdr = NULL; 273 enum buddy bud; 274 struct page *page; 275 276 if (!size || (gfp & __GFP_HIGHMEM)) 277 return -EINVAL; 278 if (size > PAGE_SIZE - ZHDR_SIZE_ALIGNED - CHUNK_SIZE) 279 return -ENOSPC; 280 chunks = size_to_chunks(size); 281 spin_lock(&pool->lock); 282 283 /* First, try to find an unbuddied zbud page. */ 284 for_each_unbuddied_list(i, chunks) { 285 if (!list_empty(&pool->unbuddied[i])) { 286 zhdr = list_first_entry(&pool->unbuddied[i], 287 struct zbud_header, buddy); 288 list_del(&zhdr->buddy); 289 if (zhdr->first_chunks == 0) 290 bud = FIRST; 291 else 292 bud = LAST; 293 goto found; 294 } 295 } 296 297 /* Couldn't find unbuddied zbud page, create new one */ 298 spin_unlock(&pool->lock); 299 page = alloc_page(gfp); 300 if (!page) 301 return -ENOMEM; 302 spin_lock(&pool->lock); 303 pool->pages_nr++; 304 zhdr = init_zbud_page(page); 305 bud = FIRST; 306 307found: 308 if (bud == FIRST) 309 zhdr->first_chunks = chunks; 310 else 311 zhdr->last_chunks = chunks; 312 313 if (zhdr->first_chunks == 0 || zhdr->last_chunks == 0) { 314 /* Add to unbuddied list */ 315 freechunks = num_free_chunks(zhdr); 316 list_add(&zhdr->buddy, &pool->unbuddied[freechunks]); 317 } else { 318 /* Add to buddied list */ 319 list_add(&zhdr->buddy, &pool->buddied); 320 } 321 322 /* Add/move zbud page to beginning of LRU */ 323 if (!list_empty(&zhdr->lru)) 324 list_del(&zhdr->lru); 325 list_add(&zhdr->lru, &pool->lru); 326 327 *handle = encode_handle(zhdr, bud); 328 spin_unlock(&pool->lock); 329 330 return 0; 331} 332 333/** 334 * zbud_free() - frees the allocation associated with the given handle 335 * @pool: pool in which the allocation resided 336 * @handle: handle associated with the allocation returned by zbud_alloc() 337 * 338 * In the case that the zbud page in which the allocation resides is under 339 * reclaim, as indicated by the PG_reclaim flag being set, this function 340 * only sets the first|last_chunks to 0. The page is actually freed 341 * once both buddies are evicted (see zbud_reclaim_page() below). 342 */ 343static void zbud_free(struct zbud_pool *pool, unsigned long handle) 344{ 345 struct zbud_header *zhdr; 346 int freechunks; 347 348 spin_lock(&pool->lock); 349 zhdr = handle_to_zbud_header(handle); 350 351 /* If first buddy, handle will be page aligned */ 352 if ((handle - ZHDR_SIZE_ALIGNED) & ~PAGE_MASK) 353 zhdr->last_chunks = 0; 354 else 355 zhdr->first_chunks = 0; 356 357 if (zhdr->under_reclaim) { 358 /* zbud page is under reclaim, reclaim will free */ 359 spin_unlock(&pool->lock); 360 return; 361 } 362 363 /* Remove from existing buddy list */ 364 list_del(&zhdr->buddy); 365 366 if (zhdr->first_chunks == 0 && zhdr->last_chunks == 0) { 367 /* zbud page is empty, free */ 368 list_del(&zhdr->lru); 369 free_zbud_page(zhdr); 370 pool->pages_nr--; 371 } else { 372 /* Add to unbuddied list */ 373 freechunks = num_free_chunks(zhdr); 374 list_add(&zhdr->buddy, &pool->unbuddied[freechunks]); 375 } 376 377 spin_unlock(&pool->lock); 378} 379 380/** 381 * zbud_reclaim_page() - evicts allocations from a pool page and frees it 382 * @pool: pool from which a page will attempt to be evicted 383 * @retries: number of pages on the LRU list for which eviction will 384 * be attempted before failing 385 * 386 * zbud reclaim is different from normal system reclaim in that the reclaim is 387 * done from the bottom, up. This is because only the bottom layer, zbud, has 388 * information on how the allocations are organized within each zbud page. This 389 * has the potential to create interesting locking situations between zbud and 390 * the user, however. 391 * 392 * To avoid these, this is how zbud_reclaim_page() should be called: 393 * 394 * The user detects a page should be reclaimed and calls zbud_reclaim_page(). 395 * zbud_reclaim_page() will remove a zbud page from the pool LRU list and call 396 * the user-defined eviction handler with the pool and handle as arguments. 397 * 398 * If the handle can not be evicted, the eviction handler should return 399 * non-zero. zbud_reclaim_page() will add the zbud page back to the 400 * appropriate list and try the next zbud page on the LRU up to 401 * a user defined number of retries. 402 * 403 * If the handle is successfully evicted, the eviction handler should 404 * return 0 _and_ should have called zbud_free() on the handle. zbud_free() 405 * contains logic to delay freeing the page if the page is under reclaim, 406 * as indicated by the setting of the PG_reclaim flag on the underlying page. 407 * 408 * If all buddies in the zbud page are successfully evicted, then the 409 * zbud page can be freed. 410 * 411 * Returns: 0 if page is successfully freed, otherwise -EINVAL if there are 412 * no pages to evict or an eviction handler is not registered, -EAGAIN if 413 * the retry limit was hit. 414 */ 415static int zbud_reclaim_page(struct zbud_pool *pool, unsigned int retries) 416{ 417 int i, ret, freechunks; 418 struct zbud_header *zhdr; 419 unsigned long first_handle = 0, last_handle = 0; 420 421 spin_lock(&pool->lock); 422 if (!pool->ops || !pool->ops->evict || list_empty(&pool->lru) || 423 retries == 0) { 424 spin_unlock(&pool->lock); 425 return -EINVAL; 426 } 427 for (i = 0; i < retries; i++) { 428 zhdr = list_last_entry(&pool->lru, struct zbud_header, lru); 429 list_del(&zhdr->lru); 430 list_del(&zhdr->buddy); 431 /* Protect zbud page against free */ 432 zhdr->under_reclaim = true; 433 /* 434 * We need encode the handles before unlocking, since we can 435 * race with free that will set (first|last)_chunks to 0 436 */ 437 first_handle = 0; 438 last_handle = 0; 439 if (zhdr->first_chunks) 440 first_handle = encode_handle(zhdr, FIRST); 441 if (zhdr->last_chunks) 442 last_handle = encode_handle(zhdr, LAST); 443 spin_unlock(&pool->lock); 444 445 /* Issue the eviction callback(s) */ 446 if (first_handle) { 447 ret = pool->ops->evict(pool, first_handle); 448 if (ret) 449 goto next; 450 } 451 if (last_handle) { 452 ret = pool->ops->evict(pool, last_handle); 453 if (ret) 454 goto next; 455 } 456next: 457 spin_lock(&pool->lock); 458 zhdr->under_reclaim = false; 459 if (zhdr->first_chunks == 0 && zhdr->last_chunks == 0) { 460 /* 461 * Both buddies are now free, free the zbud page and 462 * return success. 463 */ 464 free_zbud_page(zhdr); 465 pool->pages_nr--; 466 spin_unlock(&pool->lock); 467 return 0; 468 } else if (zhdr->first_chunks == 0 || 469 zhdr->last_chunks == 0) { 470 /* add to unbuddied list */ 471 freechunks = num_free_chunks(zhdr); 472 list_add(&zhdr->buddy, &pool->unbuddied[freechunks]); 473 } else { 474 /* add to buddied list */ 475 list_add(&zhdr->buddy, &pool->buddied); 476 } 477 478 /* add to beginning of LRU */ 479 list_add(&zhdr->lru, &pool->lru); 480 } 481 spin_unlock(&pool->lock); 482 return -EAGAIN; 483} 484 485/** 486 * zbud_map() - maps the allocation associated with the given handle 487 * @pool: pool in which the allocation resides 488 * @handle: handle associated with the allocation to be mapped 489 * 490 * While trivial for zbud, the mapping functions for others allocators 491 * implementing this allocation API could have more complex information encoded 492 * in the handle and could create temporary mappings to make the data 493 * accessible to the user. 494 * 495 * Returns: a pointer to the mapped allocation 496 */ 497static void *zbud_map(struct zbud_pool *pool, unsigned long handle) 498{ 499 return (void *)(handle); 500} 501 502/** 503 * zbud_unmap() - maps the allocation associated with the given handle 504 * @pool: pool in which the allocation resides 505 * @handle: handle associated with the allocation to be unmapped 506 */ 507static void zbud_unmap(struct zbud_pool *pool, unsigned long handle) 508{ 509} 510 511/** 512 * zbud_get_pool_size() - gets the zbud pool size in pages 513 * @pool: pool whose size is being queried 514 * 515 * Returns: size in pages of the given pool. The pool lock need not be 516 * taken to access pages_nr. 517 */ 518static u64 zbud_get_pool_size(struct zbud_pool *pool) 519{ 520 return pool->pages_nr; 521} 522 523/***************** 524 * zpool 525 ****************/ 526 527static int zbud_zpool_evict(struct zbud_pool *pool, unsigned long handle) 528{ 529 if (pool->zpool && pool->zpool_ops && pool->zpool_ops->evict) 530 return pool->zpool_ops->evict(pool->zpool, handle); 531 else 532 return -ENOENT; 533} 534 535static const struct zbud_ops zbud_zpool_ops = { 536 .evict = zbud_zpool_evict 537}; 538 539static void *zbud_zpool_create(const char *name, gfp_t gfp, 540 const struct zpool_ops *zpool_ops, 541 struct zpool *zpool) 542{ 543 struct zbud_pool *pool; 544 545 pool = zbud_create_pool(gfp, zpool_ops ? &zbud_zpool_ops : NULL); 546 if (pool) { 547 pool->zpool = zpool; 548 pool->zpool_ops = zpool_ops; 549 } 550 return pool; 551} 552 553static void zbud_zpool_destroy(void *pool) 554{ 555 zbud_destroy_pool(pool); 556} 557 558static int zbud_zpool_malloc(void *pool, size_t size, gfp_t gfp, 559 unsigned long *handle) 560{ 561 return zbud_alloc(pool, size, gfp, handle); 562} 563static void zbud_zpool_free(void *pool, unsigned long handle) 564{ 565 zbud_free(pool, handle); 566} 567 568static int zbud_zpool_shrink(void *pool, unsigned int pages, 569 unsigned int *reclaimed) 570{ 571 unsigned int total = 0; 572 int ret = -EINVAL; 573 574 while (total < pages) { 575 ret = zbud_reclaim_page(pool, 8); 576 if (ret < 0) 577 break; 578 total++; 579 } 580 581 if (reclaimed) 582 *reclaimed = total; 583 584 return ret; 585} 586 587static void *zbud_zpool_map(void *pool, unsigned long handle, 588 enum zpool_mapmode mm) 589{ 590 return zbud_map(pool, handle); 591} 592static void zbud_zpool_unmap(void *pool, unsigned long handle) 593{ 594 zbud_unmap(pool, handle); 595} 596 597static u64 zbud_zpool_total_size(void *pool) 598{ 599 return zbud_get_pool_size(pool) * PAGE_SIZE; 600} 601 602static struct zpool_driver zbud_zpool_driver = { 603 .type = "zbud", 604 .sleep_mapped = true, 605 .owner = THIS_MODULE, 606 .create = zbud_zpool_create, 607 .destroy = zbud_zpool_destroy, 608 .malloc = zbud_zpool_malloc, 609 .free = zbud_zpool_free, 610 .shrink = zbud_zpool_shrink, 611 .map = zbud_zpool_map, 612 .unmap = zbud_zpool_unmap, 613 .total_size = zbud_zpool_total_size, 614}; 615 616MODULE_ALIAS("zpool-zbud"); 617 618static int __init init_zbud(void) 619{ 620 /* Make sure the zbud header will fit in one chunk */ 621 BUILD_BUG_ON(sizeof(struct zbud_header) > ZHDR_SIZE_ALIGNED); 622 pr_info("loaded\n"); 623 624 zpool_register_driver(&zbud_zpool_driver); 625 626 return 0; 627} 628 629static void __exit exit_zbud(void) 630{ 631 zpool_unregister_driver(&zbud_zpool_driver); 632 pr_info("unloaded\n"); 633} 634 635module_init(init_zbud); 636module_exit(exit_zbud); 637 638MODULE_LICENSE("GPL"); 639MODULE_AUTHOR("Seth Jennings <sjennings@variantweb.net>"); 640MODULE_DESCRIPTION("Buddy Allocator for Compressed Pages");