优雅的slab内存分配器（三）——分配和释放内存(kmalloc/kfree)

最新推荐文章于 2023-11-28 21:45:44 发布

liuhangtiant

最新推荐文章于 2023-11-28 21:45:44 发布

阅读量994

点赞数 2

分类专栏： slab内存管理方案学习记录

本文链接：https://blog.csdn.net/liuhangtiant/article/details/81370065

版权

本文详细介绍了slab内存分配器中的kmalloc和kfree架构，以及关键函数cache_alloc_refill、virt_to_cache、cache_flusharray和free_block的工作原理。在kmalloc中，可能存在空间浪费；而在kfree时，通过一系列操作将对象返回到合适的存储区域。文章还探讨了如何通过object地址获取其所在page，并分析了slab管理流程。

摘要由CSDN通过智能技术生成

代码架构

kmalloc架构

kmalloc
   |----->return __kmalloc(size, flags);
   |   |----->return __do_kmalloc(size, flags, _RET_IP_);
   |   |   |----->return __do_kmalloc(size, flags, _RET_IP_);
   |   |   |   |----->cachep = kmalloc_slab(size, flags);
   |   |   |   |      根据size找到最合适的kmem cache实例
   |   |   |   |----->ret = slab_alloc(cachep, flags, caller);
   |   |   |   |      从slab中分配object
   |   |   |   |   |----->objp = __do_cache_alloc(cachep, flags);
   |   |   |   |   |   |----->return ____cache_alloc(cachep, flags);
   |   |   |   |   |   |   |----->ac = cpu_cache_get(cachep);
   |   |   |   |   |   |   |      获取array cache，ac维护一组object cache
   |   |   |   |   |   |   |----->objp = ac->entry[--ac->avail];
   |   |   |   |   |   |   |      如果array cache有可用的object，则支持返回，否则调用
   |   |   |   |   |   |   |      cache_alloc_refill填充array cache,并分配object
   |   |   |   |   |   |   |----->objp = cache_alloc_refill(cachep, flags);
   |   |   |   |   |   |   |      该函数先查看slab中是否可以分配到object，如果没有则从buddy system
   |   |   |   |   |   |   |      分配slab，并从slab中分配object，详情参考重要函数分析。
   |   |   |   |   |   |   |----->return objp;

我们可以看到kmalloc是分配一个object，object size大于或等于需要分配的空间的size，所以这里会存在挺多的空间浪费。

kfree架构

kfree
  |----->c = virt_to_cache(objp);
  |      根据object地址找到kmem cache实例，详见重要函数分析。
  |----->__cache_free(c, (void *)objp, _RET_IP_);
  |   |----->___cache_free(cachep, objp, caller);
  |   |   |----->cache_flusharray(cachep, ac);
  |   |   |      如果array_cache中的object已经达到上限，则调用该函数将array_cache中的object移入
  |   |   |      shared array cache或者slab中，详见重要函数分析
  |   |   |----->ac->entry[ac->a