故障注入功能基础架构¶
另请参阅 scsi_debug 的 “every_nth” 模块选项。
可用的故障注入功能¶
failslab
注入 slab 分配失败。(
kmalloc(),kmem_cache_alloc(), ...)fail_page_alloc
注入页面分配失败。(
alloc_pages(),get_free_pages(), ...)fail_usercopy
在用户内存访问函数中注入失败。(
copy_from_user(),get_user(), ...)fail_futex
注入 futex 死锁和 uaddr 故障错误。
fail_sunrpc
注入内核 RPC 客户端和服务器失败。
fail_make_request
在通过设置 /sys/block/<device>/make-it-fail 或 /sys/block/<device>/<partition>/make-it-fail 允许的设备上注入磁盘 IO 错误。(
submit_bio_noacct())fail_mmc_request
在通过设置 /sys/kernel/debug/mmc0/fail_mmc_request 下的 debugfs 条目所允许的设备上注入 MMC 数据错误
fail_function
通过设置 /sys/kernel/debug/fail_function 下的 debugfs 条目,在由
ALLOW_ERROR_INJECTION()宏标记的特定函数上注入错误返回值。不支持引导选项。fail_skb_realloc
向网络路径中注入 skb(套接字缓冲区)重新分配事件。主要目标是识别和防止网络子系统中与指针管理不当相关的问题。通过在关键点强制进行 skb 重新分配,此功能创建了指向 skb 标头的现有指针失效的场景。
当注入故障并触发重新分配时,缓存的 skb 标头和数据指针不再引用有效的内存位置。这种刻意的失效有助于暴露在重新分配事件后忽略正确更新指针的代码路径。
通过创建这些受控的故障场景,系统可以捕获使用陈旧指针的实例,这些指针可能会导致内存损坏或系统不稳定。
要选择要操作的接口,请将网络名称写入 /sys/kernel/debug/fail_skb_realloc/devname。如果该字段留空(这是默认值),则将在所有网络接口上强制进行 skb 重新分配。
启用 KASAN 时,此故障检测的有效性会得到增强,因为它有助于识别无效内存引用和释放后使用 (UAF) 问题。
NVMe 故障注入
在通过设置 /sys/kernel/debug/nvme*/fault_inject 下的 debugfs 条目所允许的设备上注入 NVMe 状态码和重试标志。默认状态码为 NVME_SC_INVALID_OPCODE,无重试。状态码和重试标志可以通过 debugfs 进行设置。
Null 测试块驱动程序故障注入
通过在 /sys/kernel/config/nullb/<disk>/timeout_inject 下设置配置项来注入 IO 超时,通过在 /sys/kernel/config/nullb/<disk>/requeue_inject 下设置配置项来注入重新排队请求,以及通过在 /sys/kernel/config/nullb/<disk>/init_hctx_fault_inject 下设置配置项来注入
init_hctx()错误。
Configure fault-injection capabilities behavior¶
debugfs entries¶
fault-inject-debugfs 内核模块提供了一些 debugfs 条目,用于运行时配置故障注入功能。
/sys/kernel/debug/fail*/probability
故障注入的可能性,以百分比表示。
格式:<percent>
请注意,对于某些测试用例来说,百分之一的失败率是非常高的错误率。对于此类测试用例,请考虑设置 probability=100 并配置 /sys/kernel/debug/fail*/interval。
/sys/kernel/debug/fail*/interval
指定故障之间的间隔,适用于通过了所有其他测试的对
should_fail()的调用。请注意,如果您通过设置 interval>1 来启用此功能,您可能需要将 probability 设置为 100。
/sys/kernel/debug/fail*/times
指定故障最多可发生多少次。值为 -1 意味着“无限制”。
/sys/kernel/debug/fail*/space
指定初始资源“预算”,在每次调用 should_fail(,size) 时按 “size” 递减。在 “space” 达到零之前,故障注入将被抑制。
/sys/kernel/debug/fail*/verbose
格式:{ 0 | 1 | 2 }
指定注入故障时消息的详细程度。“0”表示无消息;“1”表示每次故障仅打印单行日志;“2”还将打印调用栈 —— 这对调试故障注入暴露出的问题非常有用。
/sys/kernel/debug/fail*/task-filter
格式:{ ‘Y’ | ‘N’ }
值为 ‘N’ 时禁用按进程过滤(默认)。任何正值都会将故障限制为仅由 /proc/<pid>/make-it-fail==1 指定的进程。
/sys/kernel/debug/fail*/require-start, /sys/kernel/debug/fail*/require-end, /sys/kernel/debug/fail*/reject-start, /sys/kernel/debug/fail*/reject-end
指定在栈回溯遍历期间测试的虚拟地址范围。仅当遍历的栈回溯中的某个调用者位于所需范围内,且没有任何调用者位于拒绝范围内时,才会注入故障。默认的所需范围是 [0,ULONG_MAX)(整个虚拟地址空间)。默认的拒绝范围是 [0,0)。
/sys/kernel/debug/fail*/stacktrace-depth
指定在 [require-start,require-end) 或 [reject-start,reject-end) 范围内搜索调用者时遍历的最大栈回溯深度。
/sys/kernel/debug/fail_page_alloc/ignore-gfp-highmem
格式:{ ‘Y’ | ‘N’ }
默认为 ‘Y’,将其设置为 ‘N’ 还将向高端内存/用户分配(__GFP_HIGHMEM 分配)中注入故障。
- /sys/kernel/debug/failslab/cache-filter
格式:{ ‘Y’ | ‘N’ }
默认为 ‘N’,将其设置为 ‘Y’ 将仅在从特定缓存请求对象时注入故障。
通过向 /sys/kernel/slab/<cache>/failslab 写入 ‘1’ 来选择缓存。
/sys/kernel/debug/failslab/ignore-gfp-wait
/sys/kernel/debug/fail_page_alloc/ignore-gfp-wait
格式:{ ‘Y’ | ‘N’ }
默认为 ‘Y’,将其设置为 ‘N’ 还将向可以睡眠的分配(__GFP_DIRECT_RECLAIM 分配)中注入故障。
/sys/kernel/debug/fail_page_alloc/min-order
指定要注入故障的最小页面分配阶(order)。
/sys/kernel/debug/fail_futex/ignore-private
格式:{ ‘Y’ | ‘N’ }
默认为 ‘N’,将其设置为 ‘Y’ 将在处理私有(地址空间)futex 时禁用故障注入。
/sys/kernel/debug/fail_sunrpc/ignore-client-disconnect
格式:{ ‘Y’ | ‘N’ }
默认为 ‘N’,将其设置为 ‘Y’ 将禁用 RPC 客户端上的断开连接注入。
/sys/kernel/debug/fail_sunrpc/ignore-server-disconnect
格式:{ ‘Y’ | ‘N’ }
默认为 ‘N’,将其设置为 ‘Y’ 将禁用 RPC 服务器上的断开连接注入。
/sys/kernel/debug/fail_sunrpc/ignore-cache-wait
格式:{ ‘Y’ | ‘N’ }
默认为 ‘N’,将其设置为 ‘Y’ 将禁用 RPC 服务器上的缓存等待注入。
/sys/kernel/debug/fail_function/inject
格式:{ ‘function-name’ | ‘!function-name’ | ‘’ }
按名称指定错误注入的目标函数。如果函数名带有 ‘!’ 前缀,则从注入列表中移除给定的函数。如果未指定任何内容(‘’),则清除注入列表。
/sys/kernel/debug/fail_function/injectable
(只读)显示可注入错误的功能以及可以指定什么类型的错误值。错误类型将是以下之一; - NULL:返回值必须为 0。 - ERRNO:返回值必须为 -1 到 -MAX_ERRNO (-4096)。 - ERR_NULL:返回值必须为 0 或 -1 到 -MAX_ERRNO (-4096)。
/sys/kernel/debug/fail_function/<function-name>/retval
指定要注入到给定函数的“错误”返回值。当用户指定新的注入条目时将创建此文件。请注意,该文件仅接受无符号值。因此,如果您想使用负的 errno,最好使用 ‘printf’ 而不是 ‘echo’,例如:$ printf %#x -12 > retval
/sys/kernel/debug/fail_skb_realloc/devname
指定要强制进行 SKB 重新分配的网络接口。如果留空,SKB 重新分配将应用于所有网络接口。
用法示例
# Force skb reallocation on eth0 echo "eth0" > /sys/kernel/debug/fail_skb_realloc/devname # Clear the selection and force skb reallocation on all interfaces echo "" > /sys/kernel/debug/fail_skb_realloc/devname
Boot option¶
为了在 debugfs 不可用时(引导早期)注入故障,请使用引导选项
failslab=
fail_page_alloc=
fail_usercopy=
fail_make_request=
fail_futex=
fail_skb_realloc=
mmc_core.fail_request=<interval>,<probability>,<space>,<times>
proc entries¶
/proc/<pid>/fail-nth, /proc/self/task/<tid>/fail-nth
向该文件写入整数 N 会使任务中的第 N 次调用失败。从该文件读取会返回一个整数值。值 ‘0’ 表示通过先前写入该文件设置的故障已被注入。正整数 N 表示尚未注入故障。请注意,此文件会启用所有类型的故障(slab、futex 等)。此设置优先于所有其他通用的 debugfs 设置,如 probability、interval、times 等。但每个功能专属的设置(例如 fail_futex/ignore-private)优先于它。
此功能旨在对单个系统调用中的故障进行系统性测试。请参阅下面的示例。
Error Injectable Functions¶
本部分适用于考虑将函数添加到 ALLOW_ERROR_INJECTION() 宏的内核开发人员。
Requirements for the Error Injectable Functions¶
由于函数级错误注入会强制改变代码路径,即使输入和条件正常也会返回错误,如果您允许在不可注入错误的功能上进行错误注入,这可能会导致意外的内核崩溃。因此,您(和审阅者)必须确保:
如果失败,该函数会返回错误码,并且调用者必须正确检查它(需要从中恢复)。
在首次返回错误之前,该函数不会执行任何可以改变任何状态的代码。状态包括全局或局部变量,或输入变量。例如,清除输出地址存储(例如 *ret = NULL)、增加/减少计数器、设置标志、禁用抢占/中断或获取锁(如果在返回错误之前恢复了这些,那将是可以的)。
第一个要求非常重要,这将导致释放(释放对象)函数通常比分配函数更难以注入错误。如果此类释放函数的错误未得到正确处理,将很容易导致内存泄漏(调用者会误认为对象已被释放或损坏)。
第二个要求适用于期望该函数始终执行某些操作的调用者。因此,如果函数错误注入跳过了整个函数,则这种期望就会被打破并导致意外错误。
Type of the Error Injectable Functions¶
每个可注入错误的功能都将具有由 ALLOW_ERROR_INJECTION() 宏指定的错误类型。如果您添加新的可注入错误的功能,则必须仔细选择它。如果选择了错误的错误类型,内核可能会崩溃,因为它可能无法处理该错误。include/asm-generic/error-injection.h 中定义了 4 种类型的错误:
- EI_ETYPE_NULL
如果失败,此函数将返回 NULL。例如,返回分配的对象地址。
- EI_ETYPE_ERRNO
如果失败,此函数将返回 -errno 错误码。例如,如果输入错误则返回 -EINVAL。这将包括通过
ERR_PTR()宏编码了 -errno 的地址的函数。- EI_ETYPE_ERRNO_NULL
如果失败,此函数将返回 -errno 或 NULL。如果此函数的调用者使用
IS_ERR_OR_NULL()宏检查返回值,则此类型将是合适的。- EI_ETYPE_TRUE
如果失败,此函数将返回 true(非零正值)。
如果您指定了错误的类型,例如,为返回分配对象的函数指定 EI_TYPE_ERRNO,这可能会引起问题,因为返回值不是对象地址,并且调用者无法访问该地址。
How to add new fault injection capability¶
#include <linux/fault-inject.h>
定义故障属性
DECLARE_FAULT_ATTR(name);
有关详细信息,请参阅 fault-inject.h 中的
struct fault_attr定义。提供配置故障属性的方法
引导选项
如果您需要从引导时启用故障注入功能,您可以提供引导选项来对其进行配置。为此有一个辅助函数
setup_fault_attr(attr, str);
debugfs 条目
failslab、fail_page_alloc、fail_usercopy 和 fail_make_request 使用此方法。辅助函数
fault_create_debugfs_attr(name, parent, attr);
模块参数
如果故障注入功能的范围仅限于单个内核模块,则最好提供模块参数来配置故障属性。
添加钩子以插入故障
当
should_fail()返回 true 时,客户端代码应注入故障should_fail(attr, size);
Application Examples¶
将 slab 分配失败注入到模块 init/exit 代码中
#!/bin/bash FAILTYPE=failslab echo Y > /sys/kernel/debug/$FAILTYPE/task-filter echo 10 > /sys/kernel/debug/$FAILTYPE/probability echo 100 > /sys/kernel/debug/$FAILTYPE/interval echo -1 > /sys/kernel/debug/$FAILTYPE/times echo 0 > /sys/kernel/debug/$FAILTYPE/space echo 2 > /sys/kernel/debug/$FAILTYPE/verbose echo Y > /sys/kernel/debug/$FAILTYPE/ignore-gfp-wait faulty_system() { bash -c "echo 1 > /proc/self/make-it-fail && exec $*" } if [ $# -eq 0 ] then echo "Usage: $0 modulename [ modulename ... ]" exit 1 fi for m in $* do echo inserting $m... faulty_system modprobe $m echo removing $m... faulty_system modprobe -r $m done
仅为特定模块注入页面分配失败
#!/bin/bash FAILTYPE=fail_page_alloc module=$1 if [ -z $module ] then echo "Usage: $0 <modulename>" exit 1 fi modprobe $module if [ ! -d /sys/module/$module/sections ] then echo Module $module is not loaded exit 1 fi cat /sys/module/$module/sections/.text > /sys/kernel/debug/$FAILTYPE/require-start cat /sys/module/$module/sections/.data > /sys/kernel/debug/$FAILTYPE/require-end echo N > /sys/kernel/debug/$FAILTYPE/task-filter echo 10 > /sys/kernel/debug/$FAILTYPE/probability echo 100 > /sys/kernel/debug/$FAILTYPE/interval echo -1 > /sys/kernel/debug/$FAILTYPE/times echo 0 > /sys/kernel/debug/$FAILTYPE/space echo 2 > /sys/kernel/debug/$FAILTYPE/verbose echo Y > /sys/kernel/debug/$FAILTYPE/ignore-gfp-wait echo Y > /sys/kernel/debug/$FAILTYPE/ignore-gfp-highmem echo 10 > /sys/kernel/debug/$FAILTYPE/stacktrace-depth trap "echo 0 > /sys/kernel/debug/$FAILTYPE/probability" SIGINT SIGTERM EXIT echo "Injecting errors into the module $module... (interrupt to stop)" sleep 1000000
在 btrfs 挂载时注入 open_ctree 错误
#!/bin/bash rm -f testfile.img dd if=/dev/zero of=testfile.img bs=1M seek=1000 count=1 DEVICE=$(losetup --show -f testfile.img) mkfs.btrfs -f $DEVICE mkdir -p tmpmnt FAILTYPE=fail_function FAILFUNC=open_ctree echo $FAILFUNC > /sys/kernel/debug/$FAILTYPE/inject printf %#x -12 > /sys/kernel/debug/$FAILTYPE/$FAILFUNC/retval echo N > /sys/kernel/debug/$FAILTYPE/task-filter echo 100 > /sys/kernel/debug/$FAILTYPE/probability echo 0 > /sys/kernel/debug/$FAILTYPE/interval echo -1 > /sys/kernel/debug/$FAILTYPE/times echo 0 > /sys/kernel/debug/$FAILTYPE/space echo 1 > /sys/kernel/debug/$FAILTYPE/verbose mount -t btrfs $DEVICE tmpmnt if [ $? -ne 0 ] then echo "SUCCESS!" else echo "FAILED!" umount tmpmnt fi echo > /sys/kernel/debug/$FAILTYPE/inject rmdir tmpmnt losetup -d $DEVICE rm testfile.img
仅注入 skbuff 分配失败
# mark skbuff_head_cache as faulty echo 1 > /sys/kernel/slab/skbuff_head_cache/failslab # Turn on cache filter (off by default) echo 1 > /sys/kernel/debug/failslab/cache-filter # Turn on fault injection echo 1 > /sys/kernel/debug/failslab/times echo 1 > /sys/kernel/debug/failslab/probability
Tool to run command with failslab or fail_page_alloc¶
为了更容易地完成上述任务,我们可以使用 tools/testing/fault-injection/failcmd.sh。请运行命令 “./tools/testing/fault-injection/failcmd.sh --help” 了解更多信息并查看以下示例。
示例
在注入 slab 分配失败的情况下运行命令 “make -C tools/testing/selftests/ run_tests”
# ./tools/testing/fault-injection/failcmd.sh \
-- make -C tools/testing/selftests/ run_tests
与上面相同,只是最多指定 100 次失败,而不是默认的最多 1 次
# ./tools/testing/fault-injection/failcmd.sh --times=100 \
-- make -C tools/testing/selftests/ run_tests
与上面相同,只是注入页面分配失败而不是 slab 分配失败
# env FAILCMD_TYPE=fail_page_alloc \
./tools/testing/fault-injection/failcmd.sh --times=100 \
-- make -C tools/testing/selftests/ run_tests
Systematic faults using fail-nth¶
以下代码在 socketpair() 系统调用中系统性地对第 0 个、第 1 个、第 2 个等功能进行故障注入
#include <sys/types.h>
#include <sys/stat.h>
#include <sys/socket.h>
#include <sys/syscall.h>
#include <fcntl.h>
#include <unistd.h>
#include <string.h>
#include <stdlib.h>
#include <stdio.h>
#include <errno.h>
int main()
{
int i, err, res, fail_nth, fds[2];
char buf[128];
system("echo N > /sys/kernel/debug/failslab/ignore-gfp-wait");
sprintf(buf, "/proc/self/task/%ld/fail-nth", syscall(SYS_gettid));
fail_nth = open(buf, O_RDWR);
for (i = 1;; i++) {
sprintf(buf, "%d", i);
write(fail_nth, buf, strlen(buf));
res = socketpair(AF_LOCAL, SOCK_STREAM, 0, fds);
err = errno;
pread(fail_nth, buf, sizeof(buf), 0);
if (res == 0) {
close(fds[0]);
close(fds[1]);
}
printf("%d-th fault %c: res=%d/%d\n", i, atoi(buf) ? 'N' : 'Y',
res, err);
if (atoi(buf))
break;
}
return 0;
}
示例输出
1-th fault Y: res=-1/23
2-th fault Y: res=-1/23
3-th fault Y: res=-1/12
4-th fault Y: res=-1/12
5-th fault Y: res=-1/23
6-th fault Y: res=-1/23
7-th fault Y: res=-1/23
8-th fault Y: res=-1/12
9-th fault Y: res=-1/12
10-th fault Y: res=-1/12
11-th fault Y: res=-1/12
12-th fault Y: res=-1/12
13-th fault Y: res=-1/12
14-th fault Y: res=-1/12
15-th fault Y: res=-1/12
16-th fault N: res=0/12