| Message ID | 20220722183438.3319790-10-davemarchevsky@fb.com (mailing list archive) |
|---|---|
| State | RFC |
| Delegated to: | BPF |
| Headers | show |
| Series | bpf: Introduce rbtree map | expand |
| Context | Check | Description |
|---|---|---|
| bpf/vmtest-bpf-next-PR | fail | merge-conflict |
| netdev/tree_selection | success | Clearly marked for bpf-next, async |
| netdev/apply | fail | Patch does not apply to bpf-next |
On 7/22/22 11:34 AM, Dave Marchevsky wrote: > Currently if a helper proto has an arg with OBJ_RELEASE flag, the verifier > assumes the 'release' logic in the helper will always succeed, and > therefore always clears the arg reg, other regs w/ same > ref_obj_id, and releases the reference. This poses a problem for > 'release' helpers which may not always succeed. > > For example, bpf_rbtree_add will fail to add the passed-in node to a > bpf_rbtree if the rbtree's lock is not held when the helper is called. > In this case the helper returns NULL and the calling bpf program must > release the node in another way before terminating to avoid leaking > memory. An example of such logic: > > 1 struct node_data *node = bpf_rbtree_alloc_node(&rbtree, ...); > 2 struct node_data *ret = bpf_rbtree_add(&rbtree, node); > 3 if (!ret) { > 4 bpf_rbtree_free_node(node); > 5 return 0; > 6 } > 7 bpf_trace_printk("%d\n", ret->id); > > However, current verifier logic does not allow this: after line 2, > ref_obj_id of reg holding 'node' (BPF_REG_2) will be released via > release_reference function, which will mark BPF_REG_2 and any other reg > with same ref_obj_id as unknown. As a result neither ret nor node will > point to anything useful if line 3's check passes. Additionally, since the > reference is unconditionally released, the program would pass the > verifier without the null check. > > This patch adds 'conditional release' semantics so that the verifier can > handle the above example correctly. The CONDITIONAL_RELEASE type flag > works in concert with the existing OBJ_RELEASE flag - the latter is used > to tag an argument, while the new type flag is used to tag return type. > > If a helper has an OBJ_RELEASE arg type and CONDITIONAL_RELEASE return > type, the helper is considered to use its return value to indicate > success or failure of the release operation. NULL is returned if release > fails, non-null otherwise. > > For my concrete usecase - bpf_rbtree_add - CONDITIONAL_RELEASE works in > concert with OBJ_NON_OWNING_REF: successful release results in a non-owning > reference being returned, allowing line 7 in above example. > > Instead of unconditionally releasing the OBJ_RELEASE reference when > doing check_helper_call, for CONDITIONAL_RELEASE helpers the verifier > will wait until the return value is checked for null. > If not null: the reference is released > > If null: no reference is released. Since other regs w/ same ref_obj_id > were not marked unknown by check_helper_call, they can be > used to release the reference via other means (line 4 above), > > It's necessary to prevent conditionally-released ref_obj_id regs from > being used between the release helper and null check. For example: > > 1 struct node_data *node = bpf_rbtree_alloc_node(&rbtree, ...); > 2 struct node_data *ret = bpf_rbtree_add(&rbtree, node); > 3 do_something_with_a_node(node); > 4 if (!ret) { > 5 bpf_rbtree_free_node(node); > 6 return 0; > 7 } > > Line 3 shouldn't be allowed since node may have been released. The > verifier tags all regs with ref_obj_id of the conditionally-released arg > in the period between the helper call and null check for this reason. > > Why no matching CONDITIONAL_ACQUIRE type flag? Existing verifier logic > already treats acquire of an _OR_NULL type as a conditional acquire. > Consider this code: > > 1 struct thing *i = acquire_helper_that_returns_thing_or_null(); > 2 if (!i) > 3 return 0; > 4 manipulate_thing(i); > 5 release_thing(i); > > After line 1, BPF_REG_0 will have an _OR_NULL type and a ref_obj_id set. > When the verifier sees line 2's conditional jump, existing logic in > mark_ptr_or_null_regs, specifically the if: > > if (ref_obj_id && ref_obj_id == id && is_null) > /* regs[regno] is in the " == NULL" branch. > * No one could have freed the reference state before > * doing the NULL check. > */ > WARN_ON_ONCE(release_reference_state(state, id)); > > will release the reference in the is_null state. > > [ TODO: Either need to remove WARN_ON_ONCE there without adding > CONDITIONAL_ACQUIRE flag or add the flag and don't WARN_ON_ONCE if it's > set. Left out of first pass for simplicity's sake. ] > > Signed-off-by: Dave Marchevsky <davemarchevsky@fb.com> > --- > include/linux/bpf.h | 3 + > include/linux/bpf_verifier.h | 1 + > kernel/bpf/rbtree.c | 2 +- > kernel/bpf/verifier.c | 122 +++++++++++++++++++++++++++++++---- > 4 files changed, 113 insertions(+), 15 deletions(-) > > diff --git a/include/linux/bpf.h b/include/linux/bpf.h > index c9c4b4fb019c..a601ab30a2b1 100644 > --- a/include/linux/bpf.h > +++ b/include/linux/bpf.h > @@ -413,6 +413,9 @@ enum bpf_type_flag { > MEM_FIXED_SIZE = BIT(10 + BPF_BASE_TYPE_BITS), > > OBJ_NON_OWNING_REF = BIT(11 + BPF_BASE_TYPE_BITS), > + > + CONDITIONAL_RELEASE = BIT(12 + BPF_BASE_TYPE_BITS), > + > __BPF_TYPE_FLAG_MAX, > __BPF_TYPE_LAST_FLAG = __BPF_TYPE_FLAG_MAX - 1, > }; > diff --git a/include/linux/bpf_verifier.h b/include/linux/bpf_verifier.h > index 9c017575c034..bdc8c48c2343 100644 > --- a/include/linux/bpf_verifier.h > +++ b/include/linux/bpf_verifier.h > @@ -313,6 +313,7 @@ struct bpf_verifier_state { > u32 insn_idx; > u32 curframe; > u32 active_spin_lock; > + u32 active_cond_ref_obj_id; > bool speculative; > > /* first and last insn idx of this verifier state */ > diff --git a/kernel/bpf/rbtree.c b/kernel/bpf/rbtree.c > index 34864fc83209..dcf8f69d4ada 100644 > --- a/kernel/bpf/rbtree.c > +++ b/kernel/bpf/rbtree.c > @@ -111,7 +111,7 @@ BPF_CALL_3(bpf_rbtree_add, struct bpf_map *, map, void *, value, void *, cb) > const struct bpf_func_proto bpf_rbtree_add_proto = { > .func = bpf_rbtree_add, > .gpl_only = true, > - .ret_type = RET_PTR_TO_BTF_ID_OR_NULL | OBJ_NON_OWNING_REF, > + .ret_type = RET_PTR_TO_BTF_ID_OR_NULL | OBJ_NON_OWNING_REF | CONDITIONAL_RELEASE, > .arg1_type = ARG_CONST_MAP_PTR, > .arg2_type = ARG_PTR_TO_BTF_ID | OBJ_RELEASE, > .arg2_btf_id = &bpf_rbtree_btf_ids[0], > diff --git a/kernel/bpf/verifier.c b/kernel/bpf/verifier.c > index 4f46b2dfbc4b..f80e161170de 100644 > --- a/kernel/bpf/verifier.c > +++ b/kernel/bpf/verifier.c > @@ -472,6 +472,11 @@ static bool type_is_non_owning_ref(u32 type) > return type & OBJ_NON_OWNING_REF; > } > > +static bool type_is_cond_release(u32 type) > +{ > + return type & CONDITIONAL_RELEASE; > +} > + > static bool type_may_be_null(u32 type) > { > return type & PTR_MAYBE_NULL; > @@ -600,6 +605,15 @@ static const char *reg_type_str(struct bpf_verifier_env *env, > postfix_idx += strlcpy(postfix + postfix_idx, "_non_own", 32 - postfix_idx); > } > > + if (type_is_cond_release(type)) { > + if (base_type(type) == PTR_TO_BTF_ID) > + postfix_idx += strlcpy(postfix + postfix_idx, "cond_rel_", > + 32 - postfix_idx); > + else > + postfix_idx += strlcpy(postfix + postfix_idx, "_cond_rel", > + 32 - postfix_idx); > + } > + > if (type & MEM_RDONLY) > strncpy(prefix, "rdonly_", 32); > if (type & MEM_ALLOC) > @@ -1211,6 +1225,7 @@ static int copy_verifier_state(struct bpf_verifier_state *dst_state, > dst_state->speculative = src->speculative; > dst_state->curframe = src->curframe; > dst_state->active_spin_lock = src->active_spin_lock; > + dst_state->active_cond_ref_obj_id = src->active_cond_ref_obj_id; > dst_state->branches = src->branches; > dst_state->parent = src->parent; > dst_state->first_insn_idx = src->first_insn_idx; > @@ -1418,6 +1433,7 @@ static void mark_ptr_not_null_reg(struct bpf_reg_state *reg) > return; > } > > + reg->type &= ~CONDITIONAL_RELEASE; > reg->type &= ~PTR_MAYBE_NULL; > } > > @@ -6635,24 +6651,78 @@ static void release_reg_references(struct bpf_verifier_env *env, > } > } > > +static int __release_reference(struct bpf_verifier_env *env, struct bpf_verifier_state *vstate, > + int ref_obj_id) > +{ > + int err; > + int i; > + > + err = release_reference_state(vstate->frame[vstate->curframe], ref_obj_id); > + if (err) > + return err; > + > + for (i = 0; i <= vstate->curframe; i++) > + release_reg_references(env, vstate->frame[i], ref_obj_id); > + return 0; > +} > + > /* The pointer with the specified id has released its reference to kernel > * resources. Identify all copies of the same pointer and clear the reference. > */ > static int release_reference(struct bpf_verifier_env *env, > int ref_obj_id) > { > - struct bpf_verifier_state *vstate = env->cur_state; > - int err; > + return __release_reference(env, env->cur_state, ref_obj_id); > +} > + > +static void tag_reference_cond_release_regs(struct bpf_verifier_env *env, > + struct bpf_func_state *state, > + int ref_obj_id, > + bool remove) > +{ > + struct bpf_reg_state *regs = state->regs, *reg; > int i; > > - err = release_reference_state(cur_func(env), ref_obj_id); > - if (err) > - return err; > + for (i = 0; i < MAX_BPF_REG; i++) > + if (regs[i].ref_obj_id == ref_obj_id) { > + if (remove) > + regs[i].type &= ~CONDITIONAL_RELEASE; > + else > + regs[i].type |= CONDITIONAL_RELEASE; > + } > + > + bpf_for_each_spilled_reg(i, state, reg) { > + if (!reg) > + continue; > + if (reg->ref_obj_id == ref_obj_id) { > + if (remove) > + reg->type &= ~CONDITIONAL_RELEASE; > + else > + reg->type |= CONDITIONAL_RELEASE; > + } > + } > +} > + > +static void tag_reference_cond_release(struct bpf_verifier_env *env, > + int ref_obj_id) > +{ > + struct bpf_verifier_state *vstate = env->cur_state; > + int i; > > for (i = 0; i <= vstate->curframe; i++) > - release_reg_references(env, vstate->frame[i], ref_obj_id); > + tag_reference_cond_release_regs(env, vstate->frame[i], > + ref_obj_id, false); > +} > > - return 0; > +static void untag_reference_cond_release(struct bpf_verifier_env *env, > + struct bpf_verifier_state *vstate, > + int ref_obj_id) > +{ > + int i; > + > + for (i = 0; i <= vstate->curframe; i++) > + tag_reference_cond_release_regs(env, vstate->frame[i], > + ref_obj_id, true); > } > > static void clear_non_owning_ref_regs(struct bpf_verifier_env *env, > @@ -7406,7 +7476,17 @@ static int check_helper_call(struct bpf_verifier_env *env, struct bpf_insn *insn > if (arg_type_is_dynptr(fn->arg_type[meta.release_regno - BPF_REG_1])) > err = unmark_stack_slots_dynptr(env, ®s[meta.release_regno]); > else if (meta.ref_obj_id) > - err = release_reference(env, meta.ref_obj_id); > + if (type_is_cond_release(fn->ret_type)) { > + if (env->cur_state->active_cond_ref_obj_id) { > + verbose(env, "can't handle >1 cond_release\n"); > + return err; > + } > + env->cur_state->active_cond_ref_obj_id = meta.ref_obj_id; > + tag_reference_cond_release(env, meta.ref_obj_id); > + err = 0; > + } else { > + err = release_reference(env, meta.ref_obj_id); > + } > /* meta.ref_obj_id can only be 0 if register that is meant to be > * released is NULL, which must be > R0. > */ > @@ -10040,8 +10120,8 @@ static void __mark_ptr_or_null_regs(struct bpf_func_state *state, u32 id, > /* The logic is similar to find_good_pkt_pointers(), both could eventually > * be folded together at some point. > */ > -static void mark_ptr_or_null_regs(struct bpf_verifier_state *vstate, u32 regno, > - bool is_null) > +static int mark_ptr_or_null_regs(struct bpf_verifier_state *vstate, u32 regno, > + bool is_null, struct bpf_verifier_env *env) > { > struct bpf_func_state *state = vstate->frame[vstate->curframe]; > struct bpf_reg_state *regs = state->regs; > @@ -10056,8 +10136,19 @@ static void mark_ptr_or_null_regs(struct bpf_verifier_state *vstate, u32 regno, > */ > WARN_ON_ONCE(release_reference_state(state, id)); > > + if (type_is_cond_release(regs[regno].type)) { > + if (!is_null) { > + __release_reference(env, vstate, vstate->active_cond_ref_obj_id); > + vstate->active_cond_ref_obj_id = 0; > + } else { > + untag_reference_cond_release(env, vstate, vstate->active_cond_ref_obj_id); > + vstate->active_cond_ref_obj_id = 0; > + } > + } > for (i = 0; i <= vstate->curframe; i++) > __mark_ptr_or_null_regs(vstate->frame[i], id, is_null); > + > + return 0; > } > > static bool try_match_pkt_pointers(const struct bpf_insn *insn, > @@ -10365,10 +10456,10 @@ static int check_cond_jmp_op(struct bpf_verifier_env *env, > /* Mark all identical registers in each branch as either > * safe or unknown depending R == 0 or R != 0 conditional. > */ > - mark_ptr_or_null_regs(this_branch, insn->dst_reg, > - opcode == BPF_JNE); > - mark_ptr_or_null_regs(other_branch, insn->dst_reg, > - opcode == BPF_JEQ); > + err = mark_ptr_or_null_regs(this_branch, insn->dst_reg, > + opcode == BPF_JNE, env); > + err = mark_ptr_or_null_regs(other_branch, insn->dst_reg, > + opcode == BPF_JEQ, env); CONDITIONAL_RELEASE concept doesn't look too horrible :) I couldn't come up with anything better. But what's the point of returning 0 from mark_ptr_or_null_regs() ?
diff --git a/include/linux/bpf.h b/include/linux/bpf.h index c9c4b4fb019c..a601ab30a2b1 100644 --- a/include/linux/bpf.h +++ b/include/linux/bpf.h @@ -413,6 +413,9 @@ enum bpf_type_flag { MEM_FIXED_SIZE = BIT(10 + BPF_BASE_TYPE_BITS), OBJ_NON_OWNING_REF = BIT(11 + BPF_BASE_TYPE_BITS), + + CONDITIONAL_RELEASE = BIT(12 + BPF_BASE_TYPE_BITS), + __BPF_TYPE_FLAG_MAX, __BPF_TYPE_LAST_FLAG = __BPF_TYPE_FLAG_MAX - 1, }; diff --git a/include/linux/bpf_verifier.h b/include/linux/bpf_verifier.h index 9c017575c034..bdc8c48c2343 100644 --- a/include/linux/bpf_verifier.h +++ b/include/linux/bpf_verifier.h @@ -313,6 +313,7 @@ struct bpf_verifier_state { u32 insn_idx; u32 curframe; u32 active_spin_lock; + u32 active_cond_ref_obj_id; bool speculative; /* first and last insn idx of this verifier state */ diff --git a/kernel/bpf/rbtree.c b/kernel/bpf/rbtree.c index 34864fc83209..dcf8f69d4ada 100644 --- a/kernel/bpf/rbtree.c +++ b/kernel/bpf/rbtree.c @@ -111,7 +111,7 @@ BPF_CALL_3(bpf_rbtree_add, struct bpf_map *, map, void *, value, void *, cb) const struct bpf_func_proto bpf_rbtree_add_proto = { .func = bpf_rbtree_add, .gpl_only = true, - .ret_type = RET_PTR_TO_BTF_ID_OR_NULL | OBJ_NON_OWNING_REF, + .ret_type = RET_PTR_TO_BTF_ID_OR_NULL | OBJ_NON_OWNING_REF | CONDITIONAL_RELEASE, .arg1_type = ARG_CONST_MAP_PTR, .arg2_type = ARG_PTR_TO_BTF_ID | OBJ_RELEASE, .arg2_btf_id = &bpf_rbtree_btf_ids[0], diff --git a/kernel/bpf/verifier.c b/kernel/bpf/verifier.c index 4f46b2dfbc4b..f80e161170de 100644 --- a/kernel/bpf/verifier.c +++ b/kernel/bpf/verifier.c @@ -472,6 +472,11 @@ static bool type_is_non_owning_ref(u32 type) return type & OBJ_NON_OWNING_REF; } +static bool type_is_cond_release(u32 type) +{ + return type & CONDITIONAL_RELEASE; +} + static bool type_may_be_null(u32 type) { return type & PTR_MAYBE_NULL; @@ -600,6 +605,15 @@ static const char *reg_type_str(struct bpf_verifier_env *env, postfix_idx += strlcpy(postfix + postfix_idx, "_non_own", 32 - postfix_idx); } + if (type_is_cond_release(type)) { + if (base_type(type) == PTR_TO_BTF_ID) + postfix_idx += strlcpy(postfix + postfix_idx, "cond_rel_", + 32 - postfix_idx); + else + postfix_idx += strlcpy(postfix + postfix_idx, "_cond_rel", + 32 - postfix_idx); + } + if (type & MEM_RDONLY) strncpy(prefix, "rdonly_", 32); if (type & MEM_ALLOC) @@ -1211,6 +1225,7 @@ static int copy_verifier_state(struct bpf_verifier_state *dst_state, dst_state->speculative = src->speculative; dst_state->curframe = src->curframe; dst_state->active_spin_lock = src->active_spin_lock; + dst_state->active_cond_ref_obj_id = src->active_cond_ref_obj_id; dst_state->branches = src->branches; dst_state->parent = src->parent; dst_state->first_insn_idx = src->first_insn_idx; @@ -1418,6 +1433,7 @@ static void mark_ptr_not_null_reg(struct bpf_reg_state *reg) return; } + reg->type &= ~CONDITIONAL_RELEASE; reg->type &= ~PTR_MAYBE_NULL; } @@ -6635,24 +6651,78 @@ static void release_reg_references(struct bpf_verifier_env *env, } } +static int __release_reference(struct bpf_verifier_env *env, struct bpf_verifier_state *vstate, + int ref_obj_id) +{ + int err; + int i; + + err = release_reference_state(vstate->frame[vstate->curframe], ref_obj_id); + if (err) + return err; + + for (i = 0; i <= vstate->curframe; i++) + release_reg_references(env, vstate->frame[i], ref_obj_id); + return 0; +} + /* The pointer with the specified id has released its reference to kernel * resources. Identify all copies of the same pointer and clear the reference. */ static int release_reference(struct bpf_verifier_env *env, int ref_obj_id) { - struct bpf_verifier_state *vstate = env->cur_state; - int err; + return __release_reference(env, env->cur_state, ref_obj_id); +} + +static void tag_reference_cond_release_regs(struct bpf_verifier_env *env, + struct bpf_func_state *state, + int ref_obj_id, + bool remove) +{ + struct bpf_reg_state *regs = state->regs, *reg; int i; - err = release_reference_state(cur_func(env), ref_obj_id); - if (err) - return err; + for (i = 0; i < MAX_BPF_REG; i++) + if (regs[i].ref_obj_id == ref_obj_id) { + if (remove) + regs[i].type &= ~CONDITIONAL_RELEASE; + else + regs[i].type |= CONDITIONAL_RELEASE; + } + + bpf_for_each_spilled_reg(i, state, reg) { + if (!reg) + continue; + if (reg->ref_obj_id == ref_obj_id) { + if (remove) + reg->type &= ~CONDITIONAL_RELEASE; + else + reg->type |= CONDITIONAL_RELEASE; + } + } +} + +static void tag_reference_cond_release(struct bpf_verifier_env *env, + int ref_obj_id) +{ + struct bpf_verifier_state *vstate = env->cur_state; + int i; for (i = 0; i <= vstate->curframe; i++) - release_reg_references(env, vstate->frame[i], ref_obj_id); + tag_reference_cond_release_regs(env, vstate->frame[i], + ref_obj_id, false); +} - return 0; +static void untag_reference_cond_release(struct bpf_verifier_env *env, + struct bpf_verifier_state *vstate, + int ref_obj_id) +{ + int i; + + for (i = 0; i <= vstate->curframe; i++) + tag_reference_cond_release_regs(env, vstate->frame[i], + ref_obj_id, true); } static void clear_non_owning_ref_regs(struct bpf_verifier_env *env, @@ -7406,7 +7476,17 @@ static int check_helper_call(struct bpf_verifier_env *env, struct bpf_insn *insn if (arg_type_is_dynptr(fn->arg_type[meta.release_regno - BPF_REG_1])) err = unmark_stack_slots_dynptr(env, ®s[meta.release_regno]); else if (meta.ref_obj_id) - err = release_reference(env, meta.ref_obj_id); + if (type_is_cond_release(fn->ret_type)) { + if (env->cur_state->active_cond_ref_obj_id) { + verbose(env, "can't handle >1 cond_release\n"); + return err; + } + env->cur_state->active_cond_ref_obj_id = meta.ref_obj_id; + tag_reference_cond_release(env, meta.ref_obj_id); + err = 0; + } else { + err = release_reference(env, meta.ref_obj_id); + } /* meta.ref_obj_id can only be 0 if register that is meant to be * released is NULL, which must be > R0. */ @@ -10040,8 +10120,8 @@ static void __mark_ptr_or_null_regs(struct bpf_func_state *state, u32 id, /* The logic is similar to find_good_pkt_pointers(), both could eventually * be folded together at some point. */ -static void mark_ptr_or_null_regs(struct bpf_verifier_state *vstate, u32 regno, - bool is_null) +static int mark_ptr_or_null_regs(struct bpf_verifier_state *vstate, u32 regno, + bool is_null, struct bpf_verifier_env *env) { struct bpf_func_state *state = vstate->frame[vstate->curframe]; struct bpf_reg_state *regs = state->regs; @@ -10056,8 +10136,19 @@ static void mark_ptr_or_null_regs(struct bpf_verifier_state *vstate, u32 regno, */ WARN_ON_ONCE(release_reference_state(state, id)); + if (type_is_cond_release(regs[regno].type)) { + if (!is_null) { + __release_reference(env, vstate, vstate->active_cond_ref_obj_id); + vstate->active_cond_ref_obj_id = 0; + } else { + untag_reference_cond_release(env, vstate, vstate->active_cond_ref_obj_id); + vstate->active_cond_ref_obj_id = 0; + } + } for (i = 0; i <= vstate->curframe; i++) __mark_ptr_or_null_regs(vstate->frame[i], id, is_null); + + return 0; } static bool try_match_pkt_pointers(const struct bpf_insn *insn, @@ -10365,10 +10456,10 @@ static int check_cond_jmp_op(struct bpf_verifier_env *env, /* Mark all identical registers in each branch as either * safe or unknown depending R == 0 or R != 0 conditional. */ - mark_ptr_or_null_regs(this_branch, insn->dst_reg, - opcode == BPF_JNE); - mark_ptr_or_null_regs(other_branch, insn->dst_reg, - opcode == BPF_JEQ); + err = mark_ptr_or_null_regs(this_branch, insn->dst_reg, + opcode == BPF_JNE, env); + err = mark_ptr_or_null_regs(other_branch, insn->dst_reg, + opcode == BPF_JEQ, env); } else if (!try_match_pkt_pointers(insn, dst_reg, ®s[insn->src_reg], this_branch, other_branch) && is_pointer_value(env, insn->dst_reg)) { @@ -11809,6 +11900,9 @@ static bool states_equal(struct bpf_verifier_env *env, if (old->active_spin_lock != cur->active_spin_lock) return false; + if (old->active_cond_ref_obj_id != cur->active_cond_ref_obj_id) + return false; + /* for states to be equal callsites have to be the same * and all frame states need to be equivalent */
Currently if a helper proto has an arg with OBJ_RELEASE flag, the verifier assumes the 'release' logic in the helper will always succeed, and therefore always clears the arg reg, other regs w/ same ref_obj_id, and releases the reference. This poses a problem for 'release' helpers which may not always succeed. For example, bpf_rbtree_add will fail to add the passed-in node to a bpf_rbtree if the rbtree's lock is not held when the helper is called. In this case the helper returns NULL and the calling bpf program must release the node in another way before terminating to avoid leaking memory. An example of such logic: 1 struct node_data *node = bpf_rbtree_alloc_node(&rbtree, ...); 2 struct node_data *ret = bpf_rbtree_add(&rbtree, node); 3 if (!ret) { 4 bpf_rbtree_free_node(node); 5 return 0; 6 } 7 bpf_trace_printk("%d\n", ret->id); However, current verifier logic does not allow this: after line 2, ref_obj_id of reg holding 'node' (BPF_REG_2) will be released via release_reference function, which will mark BPF_REG_2 and any other reg with same ref_obj_id as unknown. As a result neither ret nor node will point to anything useful if line 3's check passes. Additionally, since the reference is unconditionally released, the program would pass the verifier without the null check. This patch adds 'conditional release' semantics so that the verifier can handle the above example correctly. The CONDITIONAL_RELEASE type flag works in concert with the existing OBJ_RELEASE flag - the latter is used to tag an argument, while the new type flag is used to tag return type. If a helper has an OBJ_RELEASE arg type and CONDITIONAL_RELEASE return type, the helper is considered to use its return value to indicate success or failure of the release operation. NULL is returned if release fails, non-null otherwise. For my concrete usecase - bpf_rbtree_add - CONDITIONAL_RELEASE works in concert with OBJ_NON_OWNING_REF: successful release results in a non-owning reference being returned, allowing line 7 in above example. Instead of unconditionally releasing the OBJ_RELEASE reference when doing check_helper_call, for CONDITIONAL_RELEASE helpers the verifier will wait until the return value is checked for null. If not null: the reference is released If null: no reference is released. Since other regs w/ same ref_obj_id were not marked unknown by check_helper_call, they can be used to release the reference via other means (line 4 above), It's necessary to prevent conditionally-released ref_obj_id regs from being used between the release helper and null check. For example: 1 struct node_data *node = bpf_rbtree_alloc_node(&rbtree, ...); 2 struct node_data *ret = bpf_rbtree_add(&rbtree, node); 3 do_something_with_a_node(node); 4 if (!ret) { 5 bpf_rbtree_free_node(node); 6 return 0; 7 } Line 3 shouldn't be allowed since node may have been released. The verifier tags all regs with ref_obj_id of the conditionally-released arg in the period between the helper call and null check for this reason. Why no matching CONDITIONAL_ACQUIRE type flag? Existing verifier logic already treats acquire of an _OR_NULL type as a conditional acquire. Consider this code: 1 struct thing *i = acquire_helper_that_returns_thing_or_null(); 2 if (!i) 3 return 0; 4 manipulate_thing(i); 5 release_thing(i); After line 1, BPF_REG_0 will have an _OR_NULL type and a ref_obj_id set. When the verifier sees line 2's conditional jump, existing logic in mark_ptr_or_null_regs, specifically the if: if (ref_obj_id && ref_obj_id == id && is_null) /* regs[regno] is in the " == NULL" branch. * No one could have freed the reference state before * doing the NULL check. */ WARN_ON_ONCE(release_reference_state(state, id)); will release the reference in the is_null state. [ TODO: Either need to remove WARN_ON_ONCE there without adding CONDITIONAL_ACQUIRE flag or add the flag and don't WARN_ON_ONCE if it's set. Left out of first pass for simplicity's sake. ] Signed-off-by: Dave Marchevsky <davemarchevsky@fb.com> --- include/linux/bpf.h | 3 + include/linux/bpf_verifier.h | 1 + kernel/bpf/rbtree.c | 2 +- kernel/bpf/verifier.c | 122 +++++++++++++++++++++++++++++++---- 4 files changed, 113 insertions(+), 15 deletions(-)