Skip to content

Commit 1f24c0d

Browse files
committed
Merge branch 'bpf-add-bpf_dynptr_memset-kfunc'
Ihor Solodrai says: ==================== bpf: add bpf_dynptr_memset() kfunc Implement bpf_dynptr_memset() kfunc and add tests for it. v3->v4: * do error checks after slice, nits v2->v3: * nits and slow-path loop rewrite (Andrii) * simplify xdp chunks test (Mykyta) v1->v2: * handle non-linear buffers with bpf_dynptr_write() * change function signature to include offset arg * add more test cases v3: https://lore.kernel.org/bpf/[email protected]/ v2: https://lore.kernel.org/bpf/[email protected]/ v1: https://lore.kernel.org/bpf/[email protected]/ ==================== Link: https://patch.msgid.link/[email protected] Signed-off-by: Andrii Nakryiko <[email protected]>
2 parents 38d95be + 7b29689 commit 1f24c0d

File tree

3 files changed

+213
-0
lines changed

3 files changed

+213
-0
lines changed

kernel/bpf/helpers.c

Lines changed: 47 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2907,6 +2907,52 @@ __bpf_kfunc int bpf_dynptr_copy(struct bpf_dynptr *dst_ptr, u32 dst_off,
29072907
return 0;
29082908
}
29092909

2910+
/**
2911+
* bpf_dynptr_memset() - Fill dynptr memory with a constant byte.
2912+
* @p: Destination dynptr - where data will be filled
2913+
* @offset: Offset into the dynptr to start filling from
2914+
* @size: Number of bytes to fill
2915+
* @val: Constant byte to fill the memory with
2916+
*
2917+
* Fills the @size bytes of the memory area pointed to by @p
2918+
* at @offset with the constant byte @val.
2919+
* Returns 0 on success; negative error, otherwise.
2920+
*/
2921+
__bpf_kfunc int bpf_dynptr_memset(struct bpf_dynptr *p, u32 offset, u32 size, u8 val)
2922+
{
2923+
struct bpf_dynptr_kern *ptr = (struct bpf_dynptr_kern *)p;
2924+
u32 chunk_sz, write_off;
2925+
char buf[256];
2926+
void* slice;
2927+
int err;
2928+
2929+
slice = bpf_dynptr_slice_rdwr(p, offset, NULL, size);
2930+
if (likely(slice)) {
2931+
memset(slice, val, size);
2932+
return 0;
2933+
}
2934+
2935+
if (__bpf_dynptr_is_rdonly(ptr))
2936+
return -EINVAL;
2937+
2938+
err = bpf_dynptr_check_off_len(ptr, offset, size);
2939+
if (err)
2940+
return err;
2941+
2942+
/* Non-linear data under the dynptr, write from a local buffer */
2943+
chunk_sz = min_t(u32, sizeof(buf), size);
2944+
memset(buf, val, chunk_sz);
2945+
2946+
for (write_off = 0; write_off < size; write_off += chunk_sz) {
2947+
chunk_sz = min_t(u32, sizeof(buf), size - write_off);
2948+
err = __bpf_dynptr_write(ptr, offset + write_off, buf, chunk_sz, 0);
2949+
if (err)
2950+
return err;
2951+
}
2952+
2953+
return 0;
2954+
}
2955+
29102956
__bpf_kfunc void *bpf_cast_to_kern_ctx(void *obj)
29112957
{
29122958
return obj;
@@ -3735,6 +3781,7 @@ BTF_ID_FLAGS(func, bpf_dynptr_is_rdonly)
37353781
BTF_ID_FLAGS(func, bpf_dynptr_size)
37363782
BTF_ID_FLAGS(func, bpf_dynptr_clone)
37373783
BTF_ID_FLAGS(func, bpf_dynptr_copy)
3784+
BTF_ID_FLAGS(func, bpf_dynptr_memset)
37383785
#ifdef CONFIG_NET
37393786
BTF_ID_FLAGS(func, bpf_modify_return_test_tp)
37403787
#endif

tools/testing/selftests/bpf/prog_tests/dynptr.c

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -21,6 +21,14 @@ static struct {
2121
{"test_dynptr_data", SETUP_SYSCALL_SLEEP},
2222
{"test_dynptr_copy", SETUP_SYSCALL_SLEEP},
2323
{"test_dynptr_copy_xdp", SETUP_XDP_PROG},
24+
{"test_dynptr_memset_zero", SETUP_SYSCALL_SLEEP},
25+
{"test_dynptr_memset_notzero", SETUP_SYSCALL_SLEEP},
26+
{"test_dynptr_memset_zero_offset", SETUP_SYSCALL_SLEEP},
27+
{"test_dynptr_memset_zero_adjusted", SETUP_SYSCALL_SLEEP},
28+
{"test_dynptr_memset_overflow", SETUP_SYSCALL_SLEEP},
29+
{"test_dynptr_memset_overflow_offset", SETUP_SYSCALL_SLEEP},
30+
{"test_dynptr_memset_readonly", SETUP_SKB_PROG},
31+
{"test_dynptr_memset_xdp_chunks", SETUP_XDP_PROG},
2432
{"test_ringbuf", SETUP_SYSCALL_SLEEP},
2533
{"test_skb_readonly", SETUP_SKB_PROG},
2634
{"test_dynptr_skb_data", SETUP_SKB_PROG},

tools/testing/selftests/bpf/progs/dynptr_success.c

Lines changed: 158 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -681,6 +681,164 @@ int test_dynptr_copy_xdp(struct xdp_md *xdp)
681681
return XDP_DROP;
682682
}
683683

684+
char memset_zero_data[] = "data to be zeroed";
685+
686+
SEC("?tp/syscalls/sys_enter_nanosleep")
687+
int test_dynptr_memset_zero(void *ctx)
688+
{
689+
__u32 data_sz = sizeof(memset_zero_data);
690+
char zeroes[32] = {'\0'};
691+
struct bpf_dynptr ptr;
692+
693+
err = bpf_dynptr_from_mem(memset_zero_data, data_sz, 0, &ptr);
694+
err = err ?: bpf_dynptr_memset(&ptr, 0, data_sz, 0);
695+
err = err ?: bpf_memcmp(zeroes, memset_zero_data, data_sz);
696+
697+
return 0;
698+
}
699+
700+
#define DYNPTR_MEMSET_VAL 42
701+
702+
char memset_notzero_data[] = "data to be overwritten";
703+
704+
SEC("?tp/syscalls/sys_enter_nanosleep")
705+
int test_dynptr_memset_notzero(void *ctx)
706+
{
707+
u32 data_sz = sizeof(memset_notzero_data);
708+
struct bpf_dynptr ptr;
709+
char expected[32];
710+
711+
__builtin_memset(expected, DYNPTR_MEMSET_VAL, data_sz);
712+
713+
err = bpf_dynptr_from_mem(memset_notzero_data, data_sz, 0, &ptr);
714+
err = err ?: bpf_dynptr_memset(&ptr, 0, data_sz, DYNPTR_MEMSET_VAL);
715+
err = err ?: bpf_memcmp(expected, memset_notzero_data, data_sz);
716+
717+
return 0;
718+
}
719+
720+
char memset_zero_offset_data[] = "data to be zeroed partially";
721+
722+
SEC("?tp/syscalls/sys_enter_nanosleep")
723+
int test_dynptr_memset_zero_offset(void *ctx)
724+
{
725+
char expected[] = "data to \0\0\0\0eroed partially";
726+
__u32 data_sz = sizeof(memset_zero_offset_data);
727+
struct bpf_dynptr ptr;
728+
729+
err = bpf_dynptr_from_mem(memset_zero_offset_data, data_sz, 0, &ptr);
730+
err = err ?: bpf_dynptr_memset(&ptr, 8, 4, 0);
731+
err = err ?: bpf_memcmp(expected, memset_zero_offset_data, data_sz);
732+
733+
return 0;
734+
}
735+
736+
char memset_zero_adjusted_data[] = "data to be zeroed partially";
737+
738+
SEC("?tp/syscalls/sys_enter_nanosleep")
739+
int test_dynptr_memset_zero_adjusted(void *ctx)
740+
{
741+
char expected[] = "data\0\0\0\0be zeroed partially";
742+
__u32 data_sz = sizeof(memset_zero_adjusted_data);
743+
struct bpf_dynptr ptr;
744+
745+
err = bpf_dynptr_from_mem(memset_zero_adjusted_data, data_sz, 0, &ptr);
746+
err = err ?: bpf_dynptr_adjust(&ptr, 4, 8);
747+
err = err ?: bpf_dynptr_memset(&ptr, 0, bpf_dynptr_size(&ptr), 0);
748+
err = err ?: bpf_memcmp(expected, memset_zero_adjusted_data, data_sz);
749+
750+
return 0;
751+
}
752+
753+
char memset_overflow_data[] = "memset overflow data";
754+
755+
SEC("?tp/syscalls/sys_enter_nanosleep")
756+
int test_dynptr_memset_overflow(void *ctx)
757+
{
758+
__u32 data_sz = sizeof(memset_overflow_data);
759+
struct bpf_dynptr ptr;
760+
int ret;
761+
762+
err = bpf_dynptr_from_mem(memset_overflow_data, data_sz, 0, &ptr);
763+
ret = bpf_dynptr_memset(&ptr, 0, data_sz + 1, 0);
764+
if (ret != -E2BIG)
765+
err = 1;
766+
767+
return 0;
768+
}
769+
770+
SEC("?tp/syscalls/sys_enter_nanosleep")
771+
int test_dynptr_memset_overflow_offset(void *ctx)
772+
{
773+
__u32 data_sz = sizeof(memset_overflow_data);
774+
struct bpf_dynptr ptr;
775+
int ret;
776+
777+
err = bpf_dynptr_from_mem(memset_overflow_data, data_sz, 0, &ptr);
778+
ret = bpf_dynptr_memset(&ptr, 1, data_sz, 0);
779+
if (ret != -E2BIG)
780+
err = 1;
781+
782+
return 0;
783+
}
784+
785+
SEC("?cgroup_skb/egress")
786+
int test_dynptr_memset_readonly(struct __sk_buff *skb)
787+
{
788+
struct bpf_dynptr ptr;
789+
int ret;
790+
791+
err = bpf_dynptr_from_skb(skb, 0, &ptr);
792+
793+
/* cgroup skbs are read only, memset should fail */
794+
ret = bpf_dynptr_memset(&ptr, 0, bpf_dynptr_size(&ptr), 0);
795+
if (ret != -EINVAL)
796+
err = 1;
797+
798+
return 0;
799+
}
800+
801+
#define min_t(type, x, y) ({ \
802+
type __x = (x); \
803+
type __y = (y); \
804+
__x < __y ? __x : __y; })
805+
806+
SEC("xdp")
807+
int test_dynptr_memset_xdp_chunks(struct xdp_md *xdp)
808+
{
809+
u32 data_sz, chunk_sz, offset = 0;
810+
const int max_chunks = 200;
811+
struct bpf_dynptr ptr_xdp;
812+
char expected_buf[32];
813+
char buf[32];
814+
int i;
815+
816+
__builtin_memset(expected_buf, DYNPTR_MEMSET_VAL, sizeof(expected_buf));
817+
818+
/* ptr_xdp is backed by non-contiguous memory */
819+
bpf_dynptr_from_xdp(xdp, 0, &ptr_xdp);
820+
data_sz = bpf_dynptr_size(&ptr_xdp);
821+
822+
err = bpf_dynptr_memset(&ptr_xdp, 0, data_sz, DYNPTR_MEMSET_VAL);
823+
if (err)
824+
goto out;
825+
826+
bpf_for(i, 0, max_chunks) {
827+
offset = i * sizeof(buf);
828+
if (offset >= data_sz)
829+
goto out;
830+
chunk_sz = min_t(u32, sizeof(buf), data_sz - offset);
831+
err = bpf_dynptr_read(&buf, chunk_sz, &ptr_xdp, offset, 0);
832+
if (err)
833+
goto out;
834+
err = bpf_memcmp(buf, expected_buf, sizeof(buf));
835+
if (err)
836+
goto out;
837+
}
838+
out:
839+
return XDP_DROP;
840+
}
841+
684842
void *user_ptr;
685843
/* Contains the copy of the data pointed by user_ptr.
686844
* Size 384 to make it not fit into a single kernel chunk when copying

0 commit comments

Comments
 (0)