1 // SPDX-License-Identifier: GPL-2.0-only 2 /* Copyright (c) 2022 Meta Platforms, Inc. and affiliates. */ 3 #include <linux/mm.h> 4 #include <linux/llist.h> 5 #include <linux/bpf.h> 6 #include <linux/irq_work.h> 7 #include <linux/bpf_mem_alloc.h> 8 #include <linux/memcontrol.h> 9 #include <asm/local.h> 10 11 /* Any context (including NMI) BPF specific memory allocator. 12 * 13 * Tracing BPF programs can attach to kprobe and fentry. Hence they 14 * run in unknown context where calling plain kmalloc() might not be safe. 15 * 16 * Front-end kmalloc() with per-cpu per-bucket cache of free elements. 17 * Refill this cache asynchronously from irq_work. 18 * 19 * CPU_0 buckets 20 * 16 32 64 96 128 196 256 512 1024 2048 4096 21 * ... 22 * CPU_N buckets 23 * 16 32 64 96 128 196 256 512 1024 2048 4096 24 * 25 * The buckets are prefilled at the start. 26 * BPF programs always run with migration disabled. 27 * It's safe to allocate from cache of the current cpu with irqs disabled. 28 * Free-ing is always done into bucket of the current cpu as well. 29 * irq_work trims extra free elements from buckets with kfree 30 * and refills them with kmalloc, so global kmalloc logic takes care 31 * of freeing objects allocated by one cpu and freed on another. 32 * 33 * Every allocated objected is padded with extra 8 bytes that contains 34 * struct llist_node. 35 */ 36 #define LLIST_NODE_SZ sizeof(struct llist_node) 37 38 #define BPF_MEM_ALLOC_SIZE_MAX 4096 39 40 /* similar to kmalloc, but sizeof == 8 bucket is gone */ 41 static u8 size_index[24] __ro_after_init = { 42 3, /* 8 */ 43 3, /* 16 */ 44 4, /* 24 */ 45 4, /* 32 */ 46 5, /* 40 */ 47 5, /* 48 */ 48 5, /* 56 */ 49 5, /* 64 */ 50 1, /* 72 */ 51 1, /* 80 */ 52 1, /* 88 */ 53 1, /* 96 */ 54 6, /* 104 */ 55 6, /* 112 */ 56 6, /* 120 */ 57 6, /* 128 */ 58 2, /* 136 */ 59 2, /* 144 */ 60 2, /* 152 */ 61 2, /* 160 */ 62 2, /* 168 */ 63 2, /* 176 */ 64 2, /* 184 */ 65 2 /* 192 */ 66 }; 67 68 static int bpf_mem_cache_idx(size_t size) 69 { 70 if (!size || size > BPF_MEM_ALLOC_SIZE_MAX) 71 return -1; 72 73 if (size <= 192) 74 return size_index[(size - 1) / 8] - 1; 75 76 return fls(size - 1) - 2; 77 } 78 79 #define NUM_CACHES 11 80 81 struct bpf_mem_cache { 82 /* per-cpu list of free objects of size 'unit_size'. 83 * All accesses are done with interrupts disabled and 'active' counter 84 * protection with __llist_add() and __llist_del_first(). 85 */ 86 struct llist_head free_llist; 87 local_t active; 88 89 /* Operations on the free_list from unit_alloc/unit_free/bpf_mem_refill 90 * are sequenced by per-cpu 'active' counter. But unit_free() cannot 91 * fail. When 'active' is busy the unit_free() will add an object to 92 * free_llist_extra. 93 */ 94 struct llist_head free_llist_extra; 95 96 struct irq_work refill_work; 97 struct obj_cgroup *objcg; 98 int unit_size; 99 /* count of objects in free_llist */ 100 int free_cnt; 101 int low_watermark, high_watermark, batch; 102 int percpu_size; 103 bool draining; 104 struct bpf_mem_cache *tgt; 105 void (*dtor)(void *obj, void *ctx); 106 void *dtor_ctx; 107 108 /* list of objects to be freed after RCU GP */ 109 struct llist_head free_by_rcu; 110 struct llist_node *free_by_rcu_tail; 111 struct llist_head waiting_for_gp; 112 struct llist_node *waiting_for_gp_tail; 113 struct rcu_head rcu; 114 atomic_t call_rcu_in_progress; 115 struct llist_head free_llist_extra_rcu; 116 117 /* list of objects to be freed after RCU tasks trace GP */ 118 struct llist_head free_by_rcu_ttrace; 119 struct llist_head waiting_for_gp_ttrace; 120 struct rcu_head rcu_ttrace; 121 atomic_t call_rcu_ttrace_in_progress; 122 raw_spinlock_t lock; 123 }; 124 125 struct bpf_mem_caches { 126 struct bpf_mem_cache cache[NUM_CACHES]; 127 }; 128 129 static const u16 sizes[NUM_CACHES] = {96, 192, 16, 32, 64, 128, 256, 512, 1024, 2048, 4096}; 130 131 static struct llist_node notrace *__llist_del_first(struct llist_head *head) 132 { 133 struct llist_node *entry, *next; 134 135 entry = head->first; 136 if (!entry) 137 return NULL; 138 next = entry->next; 139 head->first = next; 140 return entry; 141 } 142 143 static void *__alloc(struct bpf_mem_cache *c, int node, gfp_t flags) 144 { 145 if (c->percpu_size) { 146 void __percpu **obj = kmalloc_node(c->percpu_size, flags, node); 147 void __percpu *pptr = __alloc_percpu_gfp(c->unit_size, 8, flags); 148 149 if (!obj || !pptr) { 150 free_percpu(pptr); 151 kfree(obj); 152 return NULL; 153 } 154 obj[1] = pptr; 155 return obj; 156 } 157 158 return kmalloc_node(c->unit_size, flags | __GFP_ZERO, node); 159 } 160 161 static struct mem_cgroup *get_memcg(const struct bpf_mem_cache *c) 162 { 163 #ifdef CONFIG_MEMCG 164 if (c->objcg) 165 return get_mem_cgroup_from_objcg(c->objcg); 166 return root_mem_cgroup; 167 #else 168 return NULL; 169 #endif 170 } 171 172 static void inc_active(struct bpf_mem_cache *c, unsigned long *flags) 173 { 174 if (IS_ENABLED(CONFIG_PREEMPT_RT)) 175 /* In RT irq_work runs in per-cpu kthread, so disable 176 * interrupts to avoid preemption and interrupts and 177 * reduce the chance of bpf prog executing on this cpu 178 * when active counter is busy. 179 */ 180 local_irq_save(*flags); 181 /* alloc_bulk runs from irq_work which will not preempt a bpf 182 * program that does unit_alloc/unit_free since IRQs are 183 * disabled there. There is no race to increment 'active' 184 * counter. It protects free_llist from corruption in case NMI 185 * bpf prog preempted this loop. 186 */ 187 WARN_ON_ONCE(local_inc_return(&c->active) != 1); 188 } 189 190 static void dec_active(struct bpf_mem_cache *c, unsigned long *flags) 191 { 192 local_dec(&c->active); 193 if (IS_ENABLED(CONFIG_PREEMPT_RT)) 194 local_irq_restore(*flags); 195 } 196 197 static void add_obj_to_free_list(struct bpf_mem_cache *c, void *obj) 198 { 199 unsigned long flags; 200 201 inc_active(c, &flags); 202 __llist_add(obj, &c->free_llist); 203 c->free_cnt++; 204 dec_active(c, &flags); 205 } 206 207 /* Mostly runs from irq_work except __init phase. */ 208 static void alloc_bulk(struct bpf_mem_cache *c, int cnt, int node, bool atomic) 209 { 210 struct mem_cgroup *memcg = NULL, *old_memcg; 211 gfp_t gfp; 212 void *obj; 213 int i; 214 215 gfp = __GFP_NOWARN | __GFP_ACCOUNT; 216 gfp |= atomic ? GFP_NOWAIT : GFP_KERNEL; 217 218 /* 219 * c->lock serializes concurrent llist_del_first() against 220 * llist_del_all() in __free_rcu() and do_call_rcu_ttrace(). 221 */ 222 scoped_guard(raw_spinlock_irqsave, &c->lock) { 223 for (i = 0; i < cnt; i++) { 224 obj = llist_del_first(&c->free_by_rcu_ttrace); 225 if (!obj) 226 break; 227 add_obj_to_free_list(c, obj); 228 } 229 230 for (; i < cnt; i++) { 231 obj = llist_del_first(&c->waiting_for_gp_ttrace); 232 if (!obj) 233 break; 234 add_obj_to_free_list(c, obj); 235 } 236 } 237 if (i >= cnt) 238 return; 239 240 memcg = get_memcg(c); 241 old_memcg = set_active_memcg(memcg); 242 for (; i < cnt; i++) { 243 /* Allocate, but don't deplete atomic reserves that typical 244 * GFP_ATOMIC would do. irq_work runs on this cpu and kmalloc 245 * will allocate from the current numa node which is what we 246 * want here. 247 */ 248 obj = __alloc(c, node, gfp); 249 if (!obj) 250 break; 251 add_obj_to_free_list(c, obj); 252 } 253 set_active_memcg(old_memcg); 254 mem_cgroup_put(memcg); 255 } 256 257 static void free_one(void *obj, bool percpu) 258 { 259 if (percpu) 260 free_percpu(((void __percpu **)obj)[1]); 261 262 kfree(obj); 263 } 264 265 static int free_all(struct bpf_mem_cache *c, struct llist_node *llnode, bool percpu) 266 { 267 struct llist_node *pos, *t; 268 int cnt = 0; 269 270 llist_for_each_safe(pos, t, llnode) { 271 if (c->dtor) 272 c->dtor((void *)pos + LLIST_NODE_SZ, c->dtor_ctx); 273 free_one(pos, percpu); 274 cnt++; 275 } 276 return cnt; 277 } 278 279 static void __free_rcu(struct rcu_head *head) 280 { 281 struct bpf_mem_cache *c = container_of(head, struct bpf_mem_cache, rcu_ttrace); 282 struct llist_node *llnode; 283 284 scoped_guard(raw_spinlock_irqsave, &c->lock) 285 llnode = llist_del_all(&c->waiting_for_gp_ttrace); 286 287 free_all(c, llnode, !!c->percpu_size); 288 atomic_set(&c->call_rcu_ttrace_in_progress, 0); 289 } 290 291 static void enque_to_free(struct bpf_mem_cache *c, void *obj) 292 { 293 struct llist_node *llnode = obj; 294 295 /* bpf_mem_cache is a per-cpu object. Freeing happens in irq_work. 296 * Nothing races to add to free_by_rcu_ttrace list. 297 */ 298 llist_add(llnode, &c->free_by_rcu_ttrace); 299 } 300 301 static void do_call_rcu_ttrace(struct bpf_mem_cache *c) 302 { 303 struct llist_node *llnode, *t; 304 305 if (atomic_xchg(&c->call_rcu_ttrace_in_progress, 1)) { 306 if (unlikely(READ_ONCE(c->draining))) { 307 scoped_guard(raw_spinlock_irqsave, &c->lock) 308 llnode = llist_del_all(&c->free_by_rcu_ttrace); 309 free_all(c, llnode, !!c->percpu_size); 310 } 311 return; 312 } 313 314 WARN_ON_ONCE(!llist_empty(&c->waiting_for_gp_ttrace)); 315 llist_for_each_safe(llnode, t, llist_del_all(&c->free_by_rcu_ttrace)) 316 llist_add(llnode, &c->waiting_for_gp_ttrace); 317 318 if (unlikely(READ_ONCE(c->draining))) { 319 __free_rcu(&c->rcu_ttrace); 320 return; 321 } 322 323 /* 324 * Use call_rcu_tasks_trace() to wait for sleepable progs to finish. 325 * RCU Tasks Trace grace period implies RCU grace period, so pass 326 * __free_rcu directly as the callback. 327 */ 328 call_rcu_tasks_trace(&c->rcu_ttrace, __free_rcu); 329 } 330 331 static void free_bulk(struct bpf_mem_cache *c) 332 { 333 struct bpf_mem_cache *tgt = c->tgt; 334 struct llist_node *llnode, *t; 335 unsigned long flags; 336 int cnt; 337 338 WARN_ON_ONCE(tgt->unit_size != c->unit_size); 339 WARN_ON_ONCE(tgt->percpu_size != c->percpu_size); 340 341 do { 342 inc_active(c, &flags); 343 llnode = __llist_del_first(&c->free_llist); 344 if (llnode) 345 cnt = --c->free_cnt; 346 else 347 cnt = 0; 348 dec_active(c, &flags); 349 if (llnode) 350 enque_to_free(tgt, llnode); 351 } while (cnt > (c->high_watermark + c->low_watermark) / 2); 352 353 /* and drain free_llist_extra */ 354 llist_for_each_safe(llnode, t, llist_del_all(&c->free_llist_extra)) 355 enque_to_free(tgt, llnode); 356 do_call_rcu_ttrace(tgt); 357 } 358 359 static void __free_by_rcu(struct rcu_head *head) 360 { 361 struct bpf_mem_cache *c = container_of(head, struct bpf_mem_cache, rcu); 362 struct bpf_mem_cache *tgt = c->tgt; 363 struct llist_node *llnode; 364 365 WARN_ON_ONCE(tgt->unit_size != c->unit_size); 366 WARN_ON_ONCE(tgt->percpu_size != c->percpu_size); 367 368 llnode = llist_del_all(&c->waiting_for_gp); 369 if (!llnode) 370 goto out; 371 372 llist_add_batch(llnode, c->waiting_for_gp_tail, &tgt->free_by_rcu_ttrace); 373 374 /* Objects went through regular RCU GP. Send them to RCU tasks trace */ 375 do_call_rcu_ttrace(tgt); 376 out: 377 atomic_set(&c->call_rcu_in_progress, 0); 378 } 379 380 static void check_free_by_rcu(struct bpf_mem_cache *c) 381 { 382 struct llist_node *llnode, *t; 383 unsigned long flags; 384 385 /* drain free_llist_extra_rcu */ 386 if (unlikely(!llist_empty(&c->free_llist_extra_rcu))) { 387 inc_active(c, &flags); 388 llist_for_each_safe(llnode, t, llist_del_all(&c->free_llist_extra_rcu)) 389 if (__llist_add(llnode, &c->free_by_rcu)) 390 c->free_by_rcu_tail = llnode; 391 dec_active(c, &flags); 392 } 393 394 if (llist_empty(&c->free_by_rcu)) 395 return; 396 397 if (atomic_xchg(&c->call_rcu_in_progress, 1)) { 398 /* 399 * Instead of kmalloc-ing new rcu_head and triggering 10k 400 * call_rcu() to hit rcutree.qhimark and force RCU to notice 401 * the overload just ask RCU to hurry up. There could be many 402 * objects in free_by_rcu list. 403 * This hint reduces memory consumption for an artificial 404 * benchmark from 2 Gbyte to 150 Mbyte. 405 */ 406 rcu_request_urgent_qs_task(current); 407 return; 408 } 409 410 WARN_ON_ONCE(!llist_empty(&c->waiting_for_gp)); 411 412 inc_active(c, &flags); 413 WRITE_ONCE(c->waiting_for_gp.first, __llist_del_all(&c->free_by_rcu)); 414 c->waiting_for_gp_tail = c->free_by_rcu_tail; 415 dec_active(c, &flags); 416 417 if (unlikely(READ_ONCE(c->draining))) { 418 free_all(c, llist_del_all(&c->waiting_for_gp), !!c->percpu_size); 419 atomic_set(&c->call_rcu_in_progress, 0); 420 } else { 421 call_rcu_hurry(&c->rcu, __free_by_rcu); 422 } 423 } 424 425 static void bpf_mem_refill(struct irq_work *work) 426 { 427 struct bpf_mem_cache *c = container_of(work, struct bpf_mem_cache, refill_work); 428 int cnt; 429 430 /* Racy access to free_cnt. It doesn't need to be 100% accurate */ 431 cnt = c->free_cnt; 432 if (cnt < c->low_watermark) 433 /* irq_work runs on this cpu and kmalloc will allocate 434 * from the current numa node which is what we want here. 435 */ 436 alloc_bulk(c, c->batch, NUMA_NO_NODE, true); 437 else if (cnt > c->high_watermark) 438 free_bulk(c); 439 440 check_free_by_rcu(c); 441 } 442 443 static void notrace irq_work_raise(struct bpf_mem_cache *c) 444 { 445 irq_work_queue(&c->refill_work); 446 } 447 448 /* For typical bpf map case that uses bpf_mem_cache_alloc and single bucket 449 * the freelist cache will be elem_size * 64 (or less) on each cpu. 450 * 451 * For bpf programs that don't have statically known allocation sizes and 452 * assuming (low_mark + high_mark) / 2 as an average number of elements per 453 * bucket and all buckets are used the total amount of memory in freelists 454 * on each cpu will be: 455 * 64*16 + 64*32 + 64*64 + 64*96 + 64*128 + 64*196 + 64*256 + 32*512 + 16*1024 + 8*2048 + 4*4096 456 * == ~ 116 Kbyte using below heuristic. 457 * Initialized, but unused bpf allocator (not bpf map specific one) will 458 * consume ~ 11 Kbyte per cpu. 459 * Typical case will be between 11K and 116K closer to 11K. 460 * bpf progs can and should share bpf_mem_cache when possible. 461 * 462 * Percpu allocation is typically rare. To avoid potential unnecessary large 463 * memory consumption, set low_mark = 1 and high_mark = 3, resulting in c->batch = 1. 464 */ 465 static void init_refill_work(struct bpf_mem_cache *c) 466 { 467 init_irq_work(&c->refill_work, bpf_mem_refill); 468 if (c->percpu_size) { 469 c->low_watermark = 1; 470 c->high_watermark = 3; 471 } else if (c->unit_size <= 256) { 472 c->low_watermark = 32; 473 c->high_watermark = 96; 474 } else { 475 /* When page_size == 4k, order-0 cache will have low_mark == 2 476 * and high_mark == 6 with batch alloc of 3 individual pages at 477 * a time. 478 * 8k allocs and above low == 1, high == 3, batch == 1. 479 */ 480 c->low_watermark = max(32 * 256 / c->unit_size, 1); 481 c->high_watermark = max(96 * 256 / c->unit_size, 3); 482 } 483 c->batch = max((c->high_watermark - c->low_watermark) / 4 * 3, 1); 484 } 485 486 static void prefill_mem_cache(struct bpf_mem_cache *c, int cpu) 487 { 488 int cnt = 1; 489 490 /* To avoid consuming memory, for non-percpu allocation, assume that 491 * 1st run of bpf prog won't be doing more than 4 map_update_elem from 492 * irq disabled region if unit size is less than or equal to 256. 493 * For all other cases, let us just do one allocation. 494 */ 495 if (!c->percpu_size && c->unit_size <= 256) 496 cnt = 4; 497 alloc_bulk(c, cnt, cpu_to_node(cpu), false); 498 } 499 500 /* When size != 0 bpf_mem_cache for each cpu. 501 * This is typical bpf hash map use case when all elements have equal size. 502 * 503 * When size == 0 allocate 11 bpf_mem_cache-s for each cpu, then rely on 504 * kmalloc/kfree. Max allocation size is 4096 in this case. 505 * This is bpf_dynptr and bpf_kptr use case. 506 */ 507 int bpf_mem_alloc_init(struct bpf_mem_alloc *ma, int size, bool percpu) 508 { 509 struct bpf_mem_caches *cc; struct bpf_mem_caches __percpu *pcc; 510 struct bpf_mem_cache *c; struct bpf_mem_cache __percpu *pc; 511 struct obj_cgroup *objcg = NULL; 512 int cpu, i, unit_size, percpu_size = 0; 513 514 if (percpu && size == 0) 515 return -EINVAL; 516 517 /* room for llist_node and per-cpu pointer */ 518 if (percpu) 519 percpu_size = LLIST_NODE_SZ + sizeof(void *); 520 ma->percpu = percpu; 521 522 if (size) { 523 pc = __alloc_percpu_gfp(sizeof(*pc), 8, GFP_KERNEL); 524 if (!pc) 525 return -ENOMEM; 526 527 if (!percpu) 528 size += LLIST_NODE_SZ; /* room for llist_node */ 529 unit_size = size; 530 531 #ifdef CONFIG_MEMCG 532 if (memcg_bpf_enabled()) 533 objcg = get_obj_cgroup_from_current(); 534 #endif 535 ma->objcg = objcg; 536 537 for_each_possible_cpu(cpu) { 538 c = per_cpu_ptr(pc, cpu); 539 c->unit_size = unit_size; 540 c->objcg = objcg; 541 c->percpu_size = percpu_size; 542 c->tgt = c; 543 raw_spin_lock_init(&c->lock); 544 init_refill_work(c); 545 prefill_mem_cache(c, cpu); 546 } 547 ma->cache = pc; 548 return 0; 549 } 550 551 pcc = __alloc_percpu_gfp(sizeof(*cc), 8, GFP_KERNEL); 552 if (!pcc) 553 return -ENOMEM; 554 #ifdef CONFIG_MEMCG 555 objcg = get_obj_cgroup_from_current(); 556 #endif 557 ma->objcg = objcg; 558 for_each_possible_cpu(cpu) { 559 cc = per_cpu_ptr(pcc, cpu); 560 for (i = 0; i < NUM_CACHES; i++) { 561 c = &cc->cache[i]; 562 c->unit_size = sizes[i]; 563 c->objcg = objcg; 564 c->percpu_size = percpu_size; 565 c->tgt = c; 566 raw_spin_lock_init(&c->lock); 567 init_refill_work(c); 568 prefill_mem_cache(c, cpu); 569 } 570 } 571 572 ma->caches = pcc; 573 return 0; 574 } 575 576 int bpf_mem_alloc_percpu_init(struct bpf_mem_alloc *ma, struct obj_cgroup *objcg) 577 { 578 struct bpf_mem_caches __percpu *pcc; 579 580 pcc = __alloc_percpu_gfp(sizeof(struct bpf_mem_caches), 8, GFP_KERNEL); 581 if (!pcc) 582 return -ENOMEM; 583 584 ma->caches = pcc; 585 ma->objcg = objcg; 586 ma->percpu = true; 587 return 0; 588 } 589 590 int bpf_mem_alloc_percpu_unit_init(struct bpf_mem_alloc *ma, int size) 591 { 592 struct bpf_mem_caches *cc; struct bpf_mem_caches __percpu *pcc; 593 int cpu, i, unit_size, percpu_size; 594 struct obj_cgroup *objcg; 595 struct bpf_mem_cache *c; 596 597 i = bpf_mem_cache_idx(size); 598 if (i < 0) 599 return -EINVAL; 600 601 /* room for llist_node and per-cpu pointer */ 602 percpu_size = LLIST_NODE_SZ + sizeof(void *); 603 604 unit_size = sizes[i]; 605 objcg = ma->objcg; 606 pcc = ma->caches; 607 608 for_each_possible_cpu(cpu) { 609 cc = per_cpu_ptr(pcc, cpu); 610 c = &cc->cache[i]; 611 if (c->unit_size) 612 break; 613 614 c->unit_size = unit_size; 615 c->objcg = objcg; 616 c->percpu_size = percpu_size; 617 c->tgt = c; 618 raw_spin_lock_init(&c->lock); 619 init_refill_work(c); 620 prefill_mem_cache(c, cpu); 621 } 622 623 return 0; 624 } 625 626 static void drain_mem_cache(struct bpf_mem_cache *c) 627 { 628 bool percpu = !!c->percpu_size; 629 630 /* No progs are using this bpf_mem_cache, but htab_map_free() called 631 * bpf_mem_cache_free() for all remaining elements and they can be in 632 * free_by_rcu_ttrace or in waiting_for_gp_ttrace lists, so drain those lists now. 633 * 634 * Except for waiting_for_gp_ttrace list, there are no concurrent operations 635 * on these lists, so it is safe to use __llist_del_all(). 636 */ 637 free_all(c, llist_del_all(&c->free_by_rcu_ttrace), percpu); 638 free_all(c, llist_del_all(&c->waiting_for_gp_ttrace), percpu); 639 free_all(c, __llist_del_all(&c->free_llist), percpu); 640 free_all(c, __llist_del_all(&c->free_llist_extra), percpu); 641 free_all(c, __llist_del_all(&c->free_by_rcu), percpu); 642 free_all(c, __llist_del_all(&c->free_llist_extra_rcu), percpu); 643 free_all(c, llist_del_all(&c->waiting_for_gp), percpu); 644 } 645 646 static void check_mem_cache(struct bpf_mem_cache *c) 647 { 648 WARN_ON_ONCE(!llist_empty(&c->free_by_rcu_ttrace)); 649 WARN_ON_ONCE(!llist_empty(&c->waiting_for_gp_ttrace)); 650 WARN_ON_ONCE(!llist_empty(&c->free_llist)); 651 WARN_ON_ONCE(!llist_empty(&c->free_llist_extra)); 652 WARN_ON_ONCE(!llist_empty(&c->free_by_rcu)); 653 WARN_ON_ONCE(!llist_empty(&c->free_llist_extra_rcu)); 654 WARN_ON_ONCE(!llist_empty(&c->waiting_for_gp)); 655 } 656 657 static void check_leaked_objs(struct bpf_mem_alloc *ma) 658 { 659 struct bpf_mem_caches *cc; 660 struct bpf_mem_cache *c; 661 int cpu, i; 662 663 if (ma->cache) { 664 for_each_possible_cpu(cpu) { 665 c = per_cpu_ptr(ma->cache, cpu); 666 check_mem_cache(c); 667 } 668 } 669 if (ma->caches) { 670 for_each_possible_cpu(cpu) { 671 cc = per_cpu_ptr(ma->caches, cpu); 672 for (i = 0; i < NUM_CACHES; i++) { 673 c = &cc->cache[i]; 674 check_mem_cache(c); 675 } 676 } 677 } 678 } 679 680 static void free_mem_alloc_no_barrier(struct bpf_mem_alloc *ma) 681 { 682 /* We can free dtor ctx only once all callbacks are done using it. */ 683 if (ma->dtor_ctx_free) 684 ma->dtor_ctx_free(ma->dtor_ctx); 685 check_leaked_objs(ma); 686 free_percpu(ma->cache); 687 free_percpu(ma->caches); 688 ma->cache = NULL; 689 ma->caches = NULL; 690 } 691 692 static void free_mem_alloc(struct bpf_mem_alloc *ma) 693 { 694 /* 695 * waiting_for_gp[_ttrace] lists were drained, but RCU callbacks 696 * might still execute. Wait for them. 697 * 698 * rcu_barrier_tasks_trace() doesn't imply synchronize_rcu_tasks_trace(), 699 * but rcu_barrier_tasks_trace() and rcu_barrier() below are only used 700 * to wait for the pending __free_by_rcu(), and __free_rcu(). RCU Tasks 701 * Trace grace period implies RCU grace period, so all __free_rcu don't 702 * need extra call_rcu() (and thus extra rcu_barrier() here). 703 */ 704 rcu_barrier(); /* wait for __free_by_rcu */ 705 rcu_barrier_tasks_trace(); /* wait for __free_rcu */ 706 free_mem_alloc_no_barrier(ma); 707 } 708 709 static void free_mem_alloc_deferred(struct work_struct *work) 710 { 711 struct bpf_mem_alloc *ma = container_of(work, struct bpf_mem_alloc, work); 712 713 free_mem_alloc(ma); 714 kfree(ma); 715 } 716 717 static void destroy_mem_alloc(struct bpf_mem_alloc *ma, int rcu_in_progress) 718 { 719 struct bpf_mem_alloc *copy; 720 721 if (!rcu_in_progress) { 722 /* Fast path. No callbacks are pending, hence no need to do 723 * rcu_barrier-s. 724 */ 725 free_mem_alloc_no_barrier(ma); 726 return; 727 } 728 729 copy = kmemdup(ma, sizeof(*ma), GFP_KERNEL); 730 if (!copy) { 731 /* Slow path with inline barrier-s */ 732 free_mem_alloc(ma); 733 return; 734 } 735 736 /* Defer barriers into worker to let the rest of map memory to be freed */ 737 memset(ma, 0, sizeof(*ma)); 738 INIT_WORK(©->work, free_mem_alloc_deferred); 739 queue_work(system_dfl_wq, ©->work); 740 } 741 742 void bpf_mem_alloc_destroy(struct bpf_mem_alloc *ma) 743 { 744 struct bpf_mem_caches *cc; 745 struct bpf_mem_cache *c; 746 int cpu, i, rcu_in_progress; 747 748 if (ma->cache) { 749 rcu_in_progress = 0; 750 for_each_possible_cpu(cpu) { 751 c = per_cpu_ptr(ma->cache, cpu); 752 WRITE_ONCE(c->draining, true); 753 irq_work_sync(&c->refill_work); 754 drain_mem_cache(c); 755 rcu_in_progress += atomic_read(&c->call_rcu_ttrace_in_progress); 756 rcu_in_progress += atomic_read(&c->call_rcu_in_progress); 757 } 758 obj_cgroup_put(ma->objcg); 759 destroy_mem_alloc(ma, rcu_in_progress); 760 } 761 if (ma->caches) { 762 rcu_in_progress = 0; 763 for_each_possible_cpu(cpu) { 764 cc = per_cpu_ptr(ma->caches, cpu); 765 for (i = 0; i < NUM_CACHES; i++) { 766 c = &cc->cache[i]; 767 WRITE_ONCE(c->draining, true); 768 irq_work_sync(&c->refill_work); 769 drain_mem_cache(c); 770 rcu_in_progress += atomic_read(&c->call_rcu_ttrace_in_progress); 771 rcu_in_progress += atomic_read(&c->call_rcu_in_progress); 772 } 773 } 774 obj_cgroup_put(ma->objcg); 775 destroy_mem_alloc(ma, rcu_in_progress); 776 } 777 } 778 779 /* notrace is necessary here and in other functions to make sure 780 * bpf programs cannot attach to them and cause llist corruptions. 781 */ 782 static void notrace *unit_alloc(struct bpf_mem_cache *c) 783 { 784 struct llist_node *llnode = NULL; 785 unsigned long flags; 786 int cnt = 0; 787 788 /* Disable irqs to prevent the following race for majority of prog types: 789 * prog_A 790 * bpf_mem_alloc 791 * preemption or irq -> prog_B 792 * bpf_mem_alloc 793 * 794 * but prog_B could be a perf_event NMI prog. 795 * Use per-cpu 'active' counter to order free_list access between 796 * unit_alloc/unit_free/bpf_mem_refill. 797 */ 798 local_irq_save(flags); 799 if (local_inc_return(&c->active) == 1) { 800 llnode = __llist_del_first(&c->free_llist); 801 if (llnode) { 802 cnt = --c->free_cnt; 803 *(struct bpf_mem_cache **)llnode = c; 804 } 805 } 806 local_dec(&c->active); 807 808 WARN_ON(cnt < 0); 809 810 if (cnt < c->low_watermark) 811 irq_work_raise(c); 812 /* Enable IRQ after the enqueue of irq work completes, so irq work 813 * will run after IRQ is enabled and free_llist may be refilled by 814 * irq work before other task preempts current task. 815 */ 816 local_irq_restore(flags); 817 818 return llnode; 819 } 820 821 /* Though 'ptr' object could have been allocated on a different cpu 822 * add it to the free_llist of the current cpu. 823 * Let kfree() logic deal with it when it's later called from irq_work. 824 */ 825 static void notrace unit_free(struct bpf_mem_cache *c, void *ptr) 826 { 827 struct llist_node *llnode = ptr - LLIST_NODE_SZ; 828 unsigned long flags; 829 int cnt = 0; 830 831 BUILD_BUG_ON(LLIST_NODE_SZ > 8); 832 833 /* 834 * Remember bpf_mem_cache that allocated this object. 835 * The hint is not accurate. 836 */ 837 c->tgt = *(struct bpf_mem_cache **)llnode; 838 839 local_irq_save(flags); 840 if (local_inc_return(&c->active) == 1) { 841 __llist_add(llnode, &c->free_llist); 842 cnt = ++c->free_cnt; 843 } else { 844 /* unit_free() cannot fail. Therefore add an object to atomic 845 * llist. free_bulk() will drain it. Though free_llist_extra is 846 * a per-cpu list we have to use atomic llist_add here, since 847 * it also can be interrupted by bpf nmi prog that does another 848 * unit_free() into the same free_llist_extra. 849 */ 850 llist_add(llnode, &c->free_llist_extra); 851 } 852 local_dec(&c->active); 853 854 if (cnt > c->high_watermark) 855 /* free few objects from current cpu into global kmalloc pool */ 856 irq_work_raise(c); 857 /* Enable IRQ after irq_work_raise() completes, otherwise when current 858 * task is preempted by task which does unit_alloc(), unit_alloc() may 859 * return NULL unexpectedly because irq work is already pending but can 860 * not been triggered and free_llist can not be refilled timely. 861 */ 862 local_irq_restore(flags); 863 } 864 865 static void notrace unit_free_rcu(struct bpf_mem_cache *c, void *ptr) 866 { 867 struct llist_node *llnode = ptr - LLIST_NODE_SZ; 868 unsigned long flags; 869 870 c->tgt = *(struct bpf_mem_cache **)llnode; 871 872 local_irq_save(flags); 873 if (local_inc_return(&c->active) == 1) { 874 if (__llist_add(llnode, &c->free_by_rcu)) 875 c->free_by_rcu_tail = llnode; 876 } else { 877 llist_add(llnode, &c->free_llist_extra_rcu); 878 } 879 local_dec(&c->active); 880 881 if (!atomic_read(&c->call_rcu_in_progress)) 882 irq_work_raise(c); 883 local_irq_restore(flags); 884 } 885 886 /* Called from BPF program or from sys_bpf syscall. 887 * In both cases migration is disabled. 888 */ 889 void notrace *bpf_mem_alloc(struct bpf_mem_alloc *ma, size_t size) 890 { 891 int idx; 892 void *ret; 893 894 if (!size) 895 return NULL; 896 897 if (!ma->percpu) 898 size += LLIST_NODE_SZ; 899 idx = bpf_mem_cache_idx(size); 900 if (idx < 0) 901 return NULL; 902 903 ret = unit_alloc(this_cpu_ptr(ma->caches)->cache + idx); 904 return !ret ? NULL : ret + LLIST_NODE_SZ; 905 } 906 907 void notrace bpf_mem_free(struct bpf_mem_alloc *ma, void *ptr) 908 { 909 struct bpf_mem_cache *c; 910 int idx; 911 912 if (!ptr) 913 return; 914 915 c = *(void **)(ptr - LLIST_NODE_SZ); 916 idx = bpf_mem_cache_idx(c->unit_size); 917 if (WARN_ON_ONCE(idx < 0)) 918 return; 919 920 unit_free(this_cpu_ptr(ma->caches)->cache + idx, ptr); 921 } 922 923 void notrace bpf_mem_free_rcu(struct bpf_mem_alloc *ma, void *ptr) 924 { 925 struct bpf_mem_cache *c; 926 int idx; 927 928 if (!ptr) 929 return; 930 931 c = *(void **)(ptr - LLIST_NODE_SZ); 932 idx = bpf_mem_cache_idx(c->unit_size); 933 if (WARN_ON_ONCE(idx < 0)) 934 return; 935 936 unit_free_rcu(this_cpu_ptr(ma->caches)->cache + idx, ptr); 937 } 938 939 void notrace *bpf_mem_cache_alloc(struct bpf_mem_alloc *ma) 940 { 941 void *ret; 942 943 ret = unit_alloc(this_cpu_ptr(ma->cache)); 944 return !ret ? NULL : ret + LLIST_NODE_SZ; 945 } 946 947 void notrace bpf_mem_cache_free(struct bpf_mem_alloc *ma, void *ptr) 948 { 949 if (!ptr) 950 return; 951 952 unit_free(this_cpu_ptr(ma->cache), ptr); 953 } 954 955 void notrace bpf_mem_cache_free_rcu(struct bpf_mem_alloc *ma, void *ptr) 956 { 957 if (!ptr) 958 return; 959 960 unit_free_rcu(this_cpu_ptr(ma->cache), ptr); 961 } 962 963 /* Directly does a kfree() without putting 'ptr' back to the free_llist 964 * for reuse and without waiting for a rcu_tasks_trace gp. 965 * The caller must first go through the rcu_tasks_trace gp for 'ptr' 966 * before calling bpf_mem_cache_raw_free(). 967 * It could be used when the rcu_tasks_trace callback does not have 968 * a hold on the original bpf_mem_alloc object that allocated the 969 * 'ptr'. This should only be used in the uncommon code path. 970 * Otherwise, the bpf_mem_alloc's free_llist cannot be refilled 971 * and may affect performance. 972 */ 973 void bpf_mem_cache_raw_free(void *ptr) 974 { 975 if (!ptr) 976 return; 977 978 kfree(ptr - LLIST_NODE_SZ); 979 } 980 981 /* When flags == GFP_KERNEL, it signals that the caller will not cause 982 * deadlock when using kmalloc. bpf_mem_cache_alloc_flags() will use 983 * kmalloc if the free_llist is empty. 984 */ 985 void notrace *bpf_mem_cache_alloc_flags(struct bpf_mem_alloc *ma, gfp_t flags) 986 { 987 struct bpf_mem_cache *c; 988 void *ret; 989 990 c = this_cpu_ptr(ma->cache); 991 992 ret = unit_alloc(c); 993 if (!ret && flags == GFP_KERNEL) { 994 struct mem_cgroup *memcg, *old_memcg; 995 996 memcg = get_memcg(c); 997 old_memcg = set_active_memcg(memcg); 998 ret = __alloc(c, NUMA_NO_NODE, GFP_KERNEL | __GFP_NOWARN | __GFP_ACCOUNT); 999 if (ret) 1000 *(struct bpf_mem_cache **)ret = c; 1001 set_active_memcg(old_memcg); 1002 mem_cgroup_put(memcg); 1003 } 1004 1005 return !ret ? NULL : ret + LLIST_NODE_SZ; 1006 } 1007 1008 int bpf_mem_alloc_check_size(bool percpu, size_t size) 1009 { 1010 /* The size of percpu allocation doesn't have LLIST_NODE_SZ overhead */ 1011 if ((percpu && size > BPF_MEM_ALLOC_SIZE_MAX) || 1012 (!percpu && size > BPF_MEM_ALLOC_SIZE_MAX - LLIST_NODE_SZ)) 1013 return -E2BIG; 1014 1015 return 0; 1016 } 1017 1018 void bpf_mem_alloc_set_dtor(struct bpf_mem_alloc *ma, void (*dtor)(void *obj, void *ctx), 1019 void (*dtor_ctx_free)(void *ctx), void *ctx) 1020 { 1021 struct bpf_mem_caches *cc; 1022 struct bpf_mem_cache *c; 1023 int cpu, i; 1024 1025 ma->dtor_ctx_free = dtor_ctx_free; 1026 ma->dtor_ctx = ctx; 1027 1028 if (ma->cache) { 1029 for_each_possible_cpu(cpu) { 1030 c = per_cpu_ptr(ma->cache, cpu); 1031 c->dtor = dtor; 1032 c->dtor_ctx = ctx; 1033 } 1034 } 1035 if (ma->caches) { 1036 for_each_possible_cpu(cpu) { 1037 cc = per_cpu_ptr(ma->caches, cpu); 1038 for (i = 0; i < NUM_CACHES; i++) { 1039 c = &cc->cache[i]; 1040 c->dtor = dtor; 1041 c->dtor_ctx = ctx; 1042 } 1043 } 1044 } 1045 } 1046