Skip to content

Commit d47049f

Browse files
committed
Merge branch 'bpf-next/master' into for-next
Signed-off-by: Daniel Borkmann <[email protected]>
2 parents f227e9e + e9f545d commit d47049f

File tree

16 files changed

+253
-247
lines changed

16 files changed

+253
-247
lines changed

arch/arm64/net/bpf_jit_comp.c

Lines changed: 122 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -30,6 +30,7 @@
3030
#define TMP_REG_2 (MAX_BPF_JIT_REG + 1)
3131
#define TCCNT_PTR (MAX_BPF_JIT_REG + 2)
3232
#define TMP_REG_3 (MAX_BPF_JIT_REG + 3)
33+
#define PRIVATE_SP (MAX_BPF_JIT_REG + 4)
3334
#define ARENA_VM_START (MAX_BPF_JIT_REG + 5)
3435

3536
#define check_imm(bits, imm) do { \
@@ -68,6 +69,8 @@ static const int bpf2a64[] = {
6869
[TCCNT_PTR] = A64_R(26),
6970
/* temporary register for blinding constants */
7071
[BPF_REG_AX] = A64_R(9),
72+
/* callee saved register for private stack pointer */
73+
[PRIVATE_SP] = A64_R(27),
7174
/* callee saved register for kern_vm_start address */
7275
[ARENA_VM_START] = A64_R(28),
7376
};
@@ -86,6 +89,7 @@ struct jit_ctx {
8689
u64 user_vm_start;
8790
u64 arena_vm_start;
8891
bool fp_used;
92+
bool priv_sp_used;
8993
bool write;
9094
};
9195

@@ -98,6 +102,10 @@ struct bpf_plt {
98102
#define PLT_TARGET_SIZE sizeof_field(struct bpf_plt, target)
99103
#define PLT_TARGET_OFFSET offsetof(struct bpf_plt, target)
100104

105+
/* Memory size/value to protect private stack overflow/underflow */
106+
#define PRIV_STACK_GUARD_SZ 16
107+
#define PRIV_STACK_GUARD_VAL 0xEB9F12345678eb9fULL
108+
101109
static inline void emit(const u32 insn, struct jit_ctx *ctx)
102110
{
103111
if (ctx->image != NULL && ctx->write)
@@ -387,8 +395,11 @@ static void find_used_callee_regs(struct jit_ctx *ctx)
387395
if (reg_used & 8)
388396
ctx->used_callee_reg[i++] = bpf2a64[BPF_REG_9];
389397

390-
if (reg_used & 16)
398+
if (reg_used & 16) {
391399
ctx->used_callee_reg[i++] = bpf2a64[BPF_REG_FP];
400+
if (ctx->priv_sp_used)
401+
ctx->used_callee_reg[i++] = bpf2a64[PRIVATE_SP];
402+
}
392403

393404
if (ctx->arena_vm_start)
394405
ctx->used_callee_reg[i++] = bpf2a64[ARENA_VM_START];
@@ -412,6 +423,7 @@ static void push_callee_regs(struct jit_ctx *ctx)
412423
emit(A64_PUSH(A64_R(23), A64_R(24), A64_SP), ctx);
413424
emit(A64_PUSH(A64_R(25), A64_R(26), A64_SP), ctx);
414425
emit(A64_PUSH(A64_R(27), A64_R(28), A64_SP), ctx);
426+
ctx->fp_used = true;
415427
} else {
416428
find_used_callee_regs(ctx);
417429
for (i = 0; i + 1 < ctx->nr_used_callee_reg; i += 2) {
@@ -461,6 +473,19 @@ static void pop_callee_regs(struct jit_ctx *ctx)
461473
}
462474
}
463475

476+
static void emit_percpu_ptr(const u8 dst_reg, void __percpu *ptr,
477+
struct jit_ctx *ctx)
478+
{
479+
const u8 tmp = bpf2a64[TMP_REG_1];
480+
481+
emit_a64_mov_i64(dst_reg, (__force const u64)ptr, ctx);
482+
if (cpus_have_cap(ARM64_HAS_VIRT_HOST_EXTN))
483+
emit(A64_MRS_TPIDR_EL2(tmp), ctx);
484+
else
485+
emit(A64_MRS_TPIDR_EL1(tmp), ctx);
486+
emit(A64_ADD(1, dst_reg, dst_reg, tmp), ctx);
487+
}
488+
464489
#define BTI_INSNS (IS_ENABLED(CONFIG_ARM64_BTI_KERNEL) ? 1 : 0)
465490
#define PAC_INSNS (IS_ENABLED(CONFIG_ARM64_PTR_AUTH_KERNEL) ? 1 : 0)
466491

@@ -476,6 +501,8 @@ static int build_prologue(struct jit_ctx *ctx, bool ebpf_from_cbpf)
476501
const bool is_main_prog = !bpf_is_subprog(prog);
477502
const u8 fp = bpf2a64[BPF_REG_FP];
478503
const u8 arena_vm_base = bpf2a64[ARENA_VM_START];
504+
const u8 priv_sp = bpf2a64[PRIVATE_SP];
505+
void __percpu *priv_stack_ptr;
479506
const int idx0 = ctx->idx;
480507
int cur_offset;
481508

@@ -551,15 +578,23 @@ static int build_prologue(struct jit_ctx *ctx, bool ebpf_from_cbpf)
551578
emit(A64_SUB_I(1, A64_SP, A64_FP, 96), ctx);
552579
}
553580

554-
if (ctx->fp_used)
555-
/* Set up BPF prog stack base register */
556-
emit(A64_MOV(1, fp, A64_SP), ctx);
557-
558581
/* Stack must be multiples of 16B */
559582
ctx->stack_size = round_up(prog->aux->stack_depth, 16);
560583

584+
if (ctx->fp_used) {
585+
if (ctx->priv_sp_used) {
586+
/* Set up private stack pointer */
587+
priv_stack_ptr = prog->aux->priv_stack_ptr + PRIV_STACK_GUARD_SZ;
588+
emit_percpu_ptr(priv_sp, priv_stack_ptr, ctx);
589+
emit(A64_ADD_I(1, fp, priv_sp, ctx->stack_size), ctx);
590+
} else {
591+
/* Set up BPF prog stack base register */
592+
emit(A64_MOV(1, fp, A64_SP), ctx);
593+
}
594+
}
595+
561596
/* Set up function call stack */
562-
if (ctx->stack_size)
597+
if (ctx->stack_size && !ctx->priv_sp_used)
563598
emit(A64_SUB_I(1, A64_SP, A64_SP, ctx->stack_size), ctx);
564599

565600
if (ctx->arena_vm_start)
@@ -623,7 +658,7 @@ static int emit_bpf_tail_call(struct jit_ctx *ctx)
623658
emit(A64_STR64I(tcc, ptr, 0), ctx);
624659

625660
/* restore SP */
626-
if (ctx->stack_size)
661+
if (ctx->stack_size && !ctx->priv_sp_used)
627662
emit(A64_ADD_I(1, A64_SP, A64_SP, ctx->stack_size), ctx);
628663

629664
pop_callee_regs(ctx);
@@ -991,7 +1026,7 @@ static void build_epilogue(struct jit_ctx *ctx, bool was_classic)
9911026
const u8 ptr = bpf2a64[TCCNT_PTR];
9921027

9931028
/* We're done with BPF stack */
994-
if (ctx->stack_size)
1029+
if (ctx->stack_size && !ctx->priv_sp_used)
9951030
emit(A64_ADD_I(1, A64_SP, A64_SP, ctx->stack_size), ctx);
9961031

9971032
pop_callee_regs(ctx);
@@ -1120,6 +1155,7 @@ static int build_insn(const struct bpf_insn *insn, struct jit_ctx *ctx,
11201155
const u8 tmp2 = bpf2a64[TMP_REG_2];
11211156
const u8 fp = bpf2a64[BPF_REG_FP];
11221157
const u8 arena_vm_base = bpf2a64[ARENA_VM_START];
1158+
const u8 priv_sp = bpf2a64[PRIVATE_SP];
11231159
const s16 off = insn->off;
11241160
const s32 imm = insn->imm;
11251161
const int i = insn - ctx->prog->insnsi;
@@ -1564,7 +1600,7 @@ static int build_insn(const struct bpf_insn *insn, struct jit_ctx *ctx,
15641600
src = tmp2;
15651601
}
15661602
if (src == fp) {
1567-
src_adj = A64_SP;
1603+
src_adj = ctx->priv_sp_used ? priv_sp : A64_SP;
15681604
off_adj = off + ctx->stack_size;
15691605
} else {
15701606
src_adj = src;
@@ -1654,7 +1690,7 @@ static int build_insn(const struct bpf_insn *insn, struct jit_ctx *ctx,
16541690
dst = tmp2;
16551691
}
16561692
if (dst == fp) {
1657-
dst_adj = A64_SP;
1693+
dst_adj = ctx->priv_sp_used ? priv_sp : A64_SP;
16581694
off_adj = off + ctx->stack_size;
16591695
} else {
16601696
dst_adj = dst;
@@ -1716,7 +1752,7 @@ static int build_insn(const struct bpf_insn *insn, struct jit_ctx *ctx,
17161752
dst = tmp2;
17171753
}
17181754
if (dst == fp) {
1719-
dst_adj = A64_SP;
1755+
dst_adj = ctx->priv_sp_used ? priv_sp : A64_SP;
17201756
off_adj = off + ctx->stack_size;
17211757
} else {
17221758
dst_adj = dst;
@@ -1859,6 +1895,39 @@ static inline void bpf_flush_icache(void *start, void *end)
18591895
flush_icache_range((unsigned long)start, (unsigned long)end);
18601896
}
18611897

1898+
static void priv_stack_init_guard(void __percpu *priv_stack_ptr, int alloc_size)
1899+
{
1900+
int cpu, underflow_idx = (alloc_size - PRIV_STACK_GUARD_SZ) >> 3;
1901+
u64 *stack_ptr;
1902+
1903+
for_each_possible_cpu(cpu) {
1904+
stack_ptr = per_cpu_ptr(priv_stack_ptr, cpu);
1905+
stack_ptr[0] = PRIV_STACK_GUARD_VAL;
1906+
stack_ptr[1] = PRIV_STACK_GUARD_VAL;
1907+
stack_ptr[underflow_idx] = PRIV_STACK_GUARD_VAL;
1908+
stack_ptr[underflow_idx + 1] = PRIV_STACK_GUARD_VAL;
1909+
}
1910+
}
1911+
1912+
static void priv_stack_check_guard(void __percpu *priv_stack_ptr, int alloc_size,
1913+
struct bpf_prog *prog)
1914+
{
1915+
int cpu, underflow_idx = (alloc_size - PRIV_STACK_GUARD_SZ) >> 3;
1916+
u64 *stack_ptr;
1917+
1918+
for_each_possible_cpu(cpu) {
1919+
stack_ptr = per_cpu_ptr(priv_stack_ptr, cpu);
1920+
if (stack_ptr[0] != PRIV_STACK_GUARD_VAL ||
1921+
stack_ptr[1] != PRIV_STACK_GUARD_VAL ||
1922+
stack_ptr[underflow_idx] != PRIV_STACK_GUARD_VAL ||
1923+
stack_ptr[underflow_idx + 1] != PRIV_STACK_GUARD_VAL) {
1924+
pr_err("BPF private stack overflow/underflow detected for prog %sx\n",
1925+
bpf_jit_get_prog_name(prog));
1926+
break;
1927+
}
1928+
}
1929+
}
1930+
18621931
struct arm64_jit_data {
18631932
struct bpf_binary_header *header;
18641933
u8 *ro_image;
@@ -1871,9 +1940,11 @@ struct bpf_prog *bpf_int_jit_compile(struct bpf_prog *prog)
18711940
int image_size, prog_size, extable_size, extable_align, extable_offset;
18721941
struct bpf_prog *tmp, *orig_prog = prog;
18731942
struct bpf_binary_header *header;
1874-
struct bpf_binary_header *ro_header;
1943+
struct bpf_binary_header *ro_header = NULL;
18751944
struct arm64_jit_data *jit_data;
1945+
void __percpu *priv_stack_ptr = NULL;
18761946
bool was_classic = bpf_prog_was_classic(prog);
1947+
int priv_stack_alloc_sz;
18771948
bool tmp_blinded = false;
18781949
bool extra_pass = false;
18791950
struct jit_ctx ctx;
@@ -1905,6 +1976,23 @@ struct bpf_prog *bpf_int_jit_compile(struct bpf_prog *prog)
19051976
}
19061977
prog->aux->jit_data = jit_data;
19071978
}
1979+
priv_stack_ptr = prog->aux->priv_stack_ptr;
1980+
if (!priv_stack_ptr && prog->aux->jits_use_priv_stack) {
1981+
/* Allocate actual private stack size with verifier-calculated
1982+
* stack size plus two memory guards to protect overflow and
1983+
* underflow.
1984+
*/
1985+
priv_stack_alloc_sz = round_up(prog->aux->stack_depth, 16) +
1986+
2 * PRIV_STACK_GUARD_SZ;
1987+
priv_stack_ptr = __alloc_percpu_gfp(priv_stack_alloc_sz, 16, GFP_KERNEL);
1988+
if (!priv_stack_ptr) {
1989+
prog = orig_prog;
1990+
goto out_priv_stack;
1991+
}
1992+
1993+
priv_stack_init_guard(priv_stack_ptr, priv_stack_alloc_sz);
1994+
prog->aux->priv_stack_ptr = priv_stack_ptr;
1995+
}
19081996
if (jit_data->ctx.offset) {
19091997
ctx = jit_data->ctx;
19101998
ro_image_ptr = jit_data->ro_image;
@@ -1928,6 +2016,9 @@ struct bpf_prog *bpf_int_jit_compile(struct bpf_prog *prog)
19282016
ctx.user_vm_start = bpf_arena_get_user_vm_start(prog->aux->arena);
19292017
ctx.arena_vm_start = bpf_arena_get_kern_vm_start(prog->aux->arena);
19302018

2019+
if (priv_stack_ptr)
2020+
ctx.priv_sp_used = true;
2021+
19312022
/* Pass 1: Estimate the maximum image size.
19322023
*
19332024
* BPF line info needs ctx->offset[i] to be the offset of
@@ -2067,7 +2158,12 @@ struct bpf_prog *bpf_int_jit_compile(struct bpf_prog *prog)
20672158
ctx.offset[i] *= AARCH64_INSN_SIZE;
20682159
bpf_prog_fill_jited_linfo(prog, ctx.offset + 1);
20692160
out_off:
2161+
if (!ro_header && priv_stack_ptr) {
2162+
free_percpu(priv_stack_ptr);
2163+
prog->aux->priv_stack_ptr = NULL;
2164+
}
20702165
kvfree(ctx.offset);
2166+
out_priv_stack:
20712167
kfree(jit_data);
20722168
prog->aux->jit_data = NULL;
20732169
}
@@ -2086,6 +2182,11 @@ struct bpf_prog *bpf_int_jit_compile(struct bpf_prog *prog)
20862182
goto out_off;
20872183
}
20882184

2185+
bool bpf_jit_supports_private_stack(void)
2186+
{
2187+
return true;
2188+
}
2189+
20892190
bool bpf_jit_supports_kfunc_call(void)
20902191
{
20912192
return true;
@@ -2931,6 +3032,8 @@ void bpf_jit_free(struct bpf_prog *prog)
29313032
if (prog->jited) {
29323033
struct arm64_jit_data *jit_data = prog->aux->jit_data;
29333034
struct bpf_binary_header *hdr;
3035+
void __percpu *priv_stack_ptr;
3036+
int priv_stack_alloc_sz;
29343037

29353038
/*
29363039
* If we fail the final pass of JIT (from jit_subprogs),
@@ -2944,6 +3047,13 @@ void bpf_jit_free(struct bpf_prog *prog)
29443047
}
29453048
hdr = bpf_jit_binary_pack_hdr(prog);
29463049
bpf_jit_binary_pack_free(hdr, NULL);
3050+
priv_stack_ptr = prog->aux->priv_stack_ptr;
3051+
if (priv_stack_ptr) {
3052+
priv_stack_alloc_sz = round_up(prog->aux->stack_depth, 16) +
3053+
2 * PRIV_STACK_GUARD_SZ;
3054+
priv_stack_check_guard(priv_stack_ptr, priv_stack_alloc_sz, prog);
3055+
free_percpu(prog->aux->priv_stack_ptr);
3056+
}
29473057
WARN_ON_ONCE(!bpf_prog_kallsyms_verify_off(prog));
29483058
}
29493059

arch/x86/net/bpf_jit_comp.c

Lines changed: 1 addition & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -3501,13 +3501,6 @@ int arch_prepare_bpf_dispatcher(void *image, void *buf, s64 *funcs, int num_func
35013501
return emit_bpf_dispatcher(&prog, 0, num_funcs - 1, funcs, image, buf);
35023502
}
35033503

3504-
static const char *bpf_get_prog_name(struct bpf_prog *prog)
3505-
{
3506-
if (prog->aux->ksym.prog)
3507-
return prog->aux->ksym.name;
3508-
return prog->aux->name;
3509-
}
3510-
35113504
static void priv_stack_init_guard(void __percpu *priv_stack_ptr, int alloc_size)
35123505
{
35133506
int cpu, underflow_idx = (alloc_size - PRIV_STACK_GUARD_SZ) >> 3;
@@ -3531,7 +3524,7 @@ static void priv_stack_check_guard(void __percpu *priv_stack_ptr, int alloc_size
35313524
if (stack_ptr[0] != PRIV_STACK_GUARD_VAL ||
35323525
stack_ptr[underflow_idx] != PRIV_STACK_GUARD_VAL) {
35333526
pr_err("BPF private stack overflow/underflow detected for prog %sx\n",
3534-
bpf_get_prog_name(prog));
3527+
bpf_jit_get_prog_name(prog));
35353528
break;
35363529
}
35373530
}

include/linux/filter.h

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1278,6 +1278,8 @@ int bpf_jit_get_func_addr(const struct bpf_prog *prog,
12781278
const struct bpf_insn *insn, bool extra_pass,
12791279
u64 *func_addr, bool *func_addr_fixed);
12801280

1281+
const char *bpf_jit_get_prog_name(struct bpf_prog *prog);
1282+
12811283
struct bpf_prog *bpf_jit_blind_constants(struct bpf_prog *fp);
12821284
void bpf_jit_prog_release_other(struct bpf_prog *fp, struct bpf_prog *fp_other);
12831285

include/linux/usermode_driver.h

Lines changed: 0 additions & 19 deletions
This file was deleted.

kernel/Makefile

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -12,7 +12,6 @@ obj-y = fork.o exec_domain.o panic.o \
1212
notifier.o ksysfs.o cred.o reboot.o \
1313
async.o range.o smpboot.o ucount.o regset.o ksyms_common.o
1414

15-
obj-$(CONFIG_USERMODE_DRIVER) += usermode_driver.o
1615
obj-$(CONFIG_MULTIUSER) += groups.o
1716
obj-$(CONFIG_VHOST_TASK) += vhost_task.o
1817

kernel/bpf/cgroup.c

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -707,11 +707,11 @@ static struct bpf_prog_list *get_prog_list(struct hlist_head *progs, struct bpf_
707707
if (is_link) {
708708
anchor_link = bpf_get_anchor_link(flags, id_or_fd);
709709
if (IS_ERR(anchor_link))
710-
return ERR_PTR(PTR_ERR(anchor_link));
710+
return ERR_CAST(anchor_link);
711711
} else if (is_id || id_or_fd) {
712712
anchor_prog = bpf_get_anchor_prog(flags, id_or_fd);
713713
if (IS_ERR(anchor_prog))
714-
return ERR_PTR(PTR_ERR(anchor_prog));
714+
return ERR_CAST(anchor_prog);
715715
}
716716

717717
if (!anchor_prog && !anchor_link) {

kernel/bpf/core.c

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1297,6 +1297,13 @@ int bpf_jit_get_func_addr(const struct bpf_prog *prog,
12971297
return 0;
12981298
}
12991299

1300+
const char *bpf_jit_get_prog_name(struct bpf_prog *prog)
1301+
{
1302+
if (prog->aux->ksym.prog)
1303+
return prog->aux->ksym.name;
1304+
return prog->aux->name;
1305+
}
1306+
13001307
static int bpf_jit_blind_insn(const struct bpf_insn *from,
13011308
const struct bpf_insn *aux,
13021309
struct bpf_insn *to_buff,

0 commit comments

Comments
 (0)