Linux内存异常检测工具—kfence

2021-07-21 本文已影响0人吴丹_89fc

一、功能介绍

Linux 5.13内核新增一种内存异常检测工具——kfence(Kernel Electric-Fence)，它是基于采样的低开销内存检测工具，这里所谓的采样就是提供少量的内存陷阱，来抓取非法内存访问。

对比kasan：

败在属于概率检测，不是所有的异常访问都能抓取。
胜在对系统的开销很小，可以直接在生产环境中使用。

二、使用说明

1. 开启kfence

内核功能宏
- HAVE_ARCH_KFENCE
- KFENCE：kfence总的开关
  - 依赖于HAVE_ARCH_KFENCE
- KFENCE_STATIC_KEYS
- KFENCE_SAMPLE_INTERVAL：默认采样间隔，是指多久之后，guard page可以回收吗?
- KFENCE_NUM_OBJECTS：kfence obj的个数，kfence obj主要用于guard page
- KFENCE_STRESS_TEST_FAULTS
起机内核参数
- kfence.sample_interval：当值为0时，禁用kfence；当值大于0时，启动kfence

2. 检测结果

三、实现分析

kfence导入的patch集：

1. 工作原理

kfence实际是个特殊内存池：
- 每个kfence object由2部分组成，因此，
  - 真正object，当前固定为PAGE_SIZE大小，当释放状态，页设置为不可访问
  - Guard Page，将该页设置为不可访问
- kfence object池是由开机申请连续页表，大小为CONFIG_KFENCE_NUM_OBJECTS
  - 默认大小为255个
  - 实际占用内存大小为：(#kfence object + 1) * 2 * PAGE_SIZE
- 当申请小于page大小的尺寸时，会优先从kfence pool申请，直到kfence pool用完为止
- 最终的效果就是每个真正object两边都有一个不可访问的内存页，来实现对越界的检测
image.png

周期采样：
- 因为kfence object个数有限，当前实现采用定时采样的方式
- 这里所谓的采样就是每间隔kfence.sample_interval，允许进行分配一个kfence object进行检测
redzone：
- 若实际申请大小小于PAGE_SIZE，那意味着内存页实际是有部分是未分配的。通过将内存页未分配部分填充为redzone，来实现单个页表里的改写
- 在申请内存时，根据meta->addr和meta->size，将未分配的部分填充为KFENCE_CANARY_PATTERN
- 在释放内存时，检测未分配部分的内容是否为KFENCE_CANARY_PATTERN，不是则报错
image.png

2. 数据结构

struct kfence_metadata kfence_metadata[CONFIG_KFENCE_NUM_OBJECTS]：kfence object的维护数据结构
- 采用下标的方式实现metadata与kfence内存页表间的映射
- 每个metadata指向2个连续的内存页
static struct list_head kfence_freelist = LIST_HEAD_INIT(kfence_freelist)：空闲的metadata节点链表
static struct delayed_work kfence_timer：

3. 函数实现

起机初始化：

void __init kfence_alloc_pool(void)：初始化，申请kfence obj pool
- __kfence_pool = memblock_alloc(KFENCE_POOL_SIZE, PAGE_SIZE);
void __init kfence_init(void)：初始化，设置sampling timer等，必须在kfence_alloc_pool()调用
- arch_kfence_init_pool()：

申请内存：

kfence_alloc()：
- __kfence_alloc()：
  - 申请的大小超过PAGE_SIZE，直接返回NULL，不保护了?
  - kfence_guarded_alloc()：

内存页属性：

static bool kfence_protect(unsigned long addr)：设置为不可访问
- kfence_protect_page(addr, bool)
static bool kfence_unprotect(unsigned long addr)：设置为可以访问
- kfence_protect_page(addr, bool)

设置redzone：

static inline bool set_canary_byte(u8 *addr)
static inline bool check_canary_byte(u8 *addr)
static __always_inline void for_each_canary(const struct kfence_metadata meta, bool (fn)(u8 *))

定时采样

static void toggle_allocation_gate(struct work_struct *work)
schedule_delayed_work(&kfence_timer, msecs_to_jiffies(kfence_sample_interval));

四、参考资料

上一篇下一篇

猜你喜欢

热点阅读