slab函数分析之free_block

下面分析一下slab对象回收的实现
参数：
1. slab对象所属的kmem_cache缓存
2. slab对象数组
3. 需要释放的对象数量
4. 在NUMA环境下节点编号

static void free_block(struct kmem_cache *cachep, void **objpp, int nr_objects,
         int node)
{
 int i;
 struct kmem_list3 *l3;

 for (i = 0; i < nr_objects; i++) {
  void *objp = objpp[i];
  struct slab *slabp;
    将对象的虚拟地址转化成指向slab结构的指针，转化过程为：通过
    虚拟地址得到指向page的指针，struct page有个成员为lru.prev指向的
    就是slab结构的指针
  slabp = virt_to_slab(objp);
  取得指定节点的kmem_list3指针
  l3 = cachep->nodelists[node];
  将该slab从原来的链表中游离出来
  list_del(&slabp->list);
  check_spinlock_acquired_node(cachep, node);
  对slab进行一系列的检查
  check_slabp(cachep, slabp);
  修正slab缓存的bufferctl数组
  slab_put_obj(cachep, slabp, objp, node);
  STATS_DEC_ACTIVE(cachep);
  l3->free_objects++;
  check_slabp(cachep, slabp);

    如果当前slab缓存中的对象都没有被引用，则可能需要释放slab
  if (slabp->inuse == 0) {
    并且kmem_list3缓存中的所有空闲对象的数量大于一个上限值的时候
    将该slab缓存回收，包括释放kmem_cache。否则将slab缓存链入空闲链表
   if (l3->free_objects > l3->free_limit) {
    l3->free_objects -= cachep->num;
    slab_destroy(cachep, slabp);
   } else {
    list_add(&slabp->list, &l3->slabs_free);
   }
  }
  else
  {
    如果该slab缓存中被引用的对象数量不为0，则把该slab链入半满的
    链表中去。
   list_add_tail(&slabp->list, &l3->slabs_partial);
  }
 }
}