| Message ID | 20220426140924.3308472-2-pulehui@huawei.com (mailing list archive) |
|---|---|
| State | Changes Requested |
| Delegated to: | BPF |
| Headers | show |
| Series | Support riscv jit to provide bpf_line_info | expand |
| Context | Check | Description |
|---|---|---|
| bpf/vmtest-bpf-next-PR | success | PR summary |
| bpf/vmtest-bpf-next-VM_Test-2 | success | Logs for Kernel LATEST on z15 + selftests |
| bpf/vmtest-bpf-next-VM_Test-1 | success | Logs for Kernel LATEST on ubuntu-latest + selftests |
| netdev/tree_selection | success | Not a local patch |
On Tue, Apr 26, 2022 at 6:40 AM Pu Lehui <pulehui@huawei.com> wrote: > > We found that 32-bit environment can not print bpf line info due > to data inconsistency between jited_ksyms[0] and jited_linfo[0]. > > For example: > jited_kyms[0] = 0xb800067c, jited_linfo[0] = 0xffffffffb800067c > > We know that both of them store bpf func address, but due to the > different data extension operations when extended to u64, they may > not be the same. We need to unify the data extension operations of > them. > > Signed-off-by: Pu Lehui <pulehui@huawei.com> > --- > kernel/bpf/syscall.c | 5 ++++- > tools/lib/bpf/bpf_prog_linfo.c | 8 ++++---- > tools/testing/selftests/bpf/prog_tests/btf.c | 18 +++++++++--------- please split kernel changes, libbpf changes, and selftests/bpf changes into separate patches > 3 files changed, 17 insertions(+), 14 deletions(-) > > diff --git a/kernel/bpf/syscall.c b/kernel/bpf/syscall.c > index e9621cfa09f2..4c417c806d92 100644 > --- a/kernel/bpf/syscall.c > +++ b/kernel/bpf/syscall.c > @@ -3868,13 +3868,16 @@ static int bpf_prog_get_info_by_fd(struct file *file, > info.nr_jited_line_info = 0; > if (info.nr_jited_line_info && ulen) { > if (bpf_dump_raw_ok(file->f_cred)) { > + unsigned long jited_linfo_addr; > __u64 __user *user_linfo; > u32 i; > > user_linfo = u64_to_user_ptr(info.jited_line_info); > ulen = min_t(u32, info.nr_jited_line_info, ulen); > for (i = 0; i < ulen; i++) { > - if (put_user((__u64)(long)prog->aux->jited_linfo[i], > + jited_linfo_addr = (unsigned long) > + prog->aux->jited_linfo[i]; > + if (put_user((__u64) jited_linfo_addr, > &user_linfo[i])) > return -EFAULT; > } > diff --git a/tools/lib/bpf/bpf_prog_linfo.c b/tools/lib/bpf/bpf_prog_linfo.c > index 5c503096ef43..5cf41a563ef5 100644 > --- a/tools/lib/bpf/bpf_prog_linfo.c > +++ b/tools/lib/bpf/bpf_prog_linfo.c > @@ -127,7 +127,7 @@ struct bpf_prog_linfo *bpf_prog_linfo__new(const struct bpf_prog_info *info) > prog_linfo->raw_linfo = malloc(data_sz); > if (!prog_linfo->raw_linfo) > goto err_free; > - memcpy(prog_linfo->raw_linfo, (void *)(long)info->line_info, data_sz); > + memcpy(prog_linfo->raw_linfo, (void *)(unsigned long)info->line_info, data_sz); > > nr_jited_func = info->nr_jited_ksyms; > if (!nr_jited_func || > @@ -148,7 +148,7 @@ struct bpf_prog_linfo *bpf_prog_linfo__new(const struct bpf_prog_info *info) > if (!prog_linfo->raw_jited_linfo) > goto err_free; > memcpy(prog_linfo->raw_jited_linfo, > - (void *)(long)info->jited_line_info, data_sz); > + (void *)(unsigned long)info->jited_line_info, data_sz); > > /* Number of jited_line_info per jited func */ > prog_linfo->nr_jited_linfo_per_func = malloc(nr_jited_func * > @@ -166,8 +166,8 @@ struct bpf_prog_linfo *bpf_prog_linfo__new(const struct bpf_prog_info *info) > goto err_free; > > if (dissect_jited_func(prog_linfo, > - (__u64 *)(long)info->jited_ksyms, > - (__u32 *)(long)info->jited_func_lens)) > + (__u64 *)(unsigned long)info->jited_ksyms, > + (__u32 *)(unsigned long)info->jited_func_lens)) so I'm trying to understand how this is changing anything for 32-bit architecture and I must be missing something, sorry if I'm being dense. The example you used below jited_kyms[0] = 0xb800067c, jited_linfo[0] = 0xffffffffb800067c Wouldn't (unsigned long)0xffffffffb800067c == (long)0xffffffffb800067c == 0xb800067c ? isn't sizeof(long) == sizeof(void*) == 4? It would be nice if you could elaborate a bit more on what problems did you see in practice? > goto err_free; > > return prog_linfo; > diff --git a/tools/testing/selftests/bpf/prog_tests/btf.c b/tools/testing/selftests/bpf/prog_tests/btf.c > index 84aae639ddb5..d9ba1ec1d5b3 100644 > --- a/tools/testing/selftests/bpf/prog_tests/btf.c > +++ b/tools/testing/selftests/bpf/prog_tests/btf.c > @@ -6451,8 +6451,8 @@ static int test_get_linfo(const struct prog_info_raw_test *test, > info.nr_jited_line_info, jited_cnt, > info.line_info_rec_size, rec_size, > info.jited_line_info_rec_size, jited_rec_size, > - (void *)(long)info.line_info, > - (void *)(long)info.jited_line_info)) { > + (void *)(unsigned long)info.line_info, > + (void *)(unsigned long)info.jited_line_info)) { > err = -1; > goto done; > } > @@ -6500,8 +6500,8 @@ static int test_get_linfo(const struct prog_info_raw_test *test, > } > > if (CHECK(jited_linfo[0] != jited_ksyms[0], > - "jited_linfo[0]:%lx != jited_ksyms[0]:%lx", > - (long)(jited_linfo[0]), (long)(jited_ksyms[0]))) { > + "jited_linfo[0]:%llx != jited_ksyms[0]:%llx", > + jited_linfo[0], jited_ksyms[0])) { > err = -1; > goto done; > } > @@ -6519,16 +6519,16 @@ static int test_get_linfo(const struct prog_info_raw_test *test, > } > > if (CHECK(jited_linfo[i] <= jited_linfo[i - 1], > - "jited_linfo[%u]:%lx <= jited_linfo[%u]:%lx", > - i, (long)jited_linfo[i], > - i - 1, (long)(jited_linfo[i - 1]))) { > + "jited_linfo[%u]:%llx <= jited_linfo[%u]:%llx", > + i, jited_linfo[i], > + i - 1, (jited_linfo[i - 1]))) { > err = -1; > goto done; > } > > if (CHECK(jited_linfo[i] - cur_func_ksyms > cur_func_len, > - "jited_linfo[%u]:%lx - %lx > %u", > - i, (long)jited_linfo[i], (long)cur_func_ksyms, > + "jited_linfo[%u]:%llx - %llx > %u", > + i, jited_linfo[i], cur_func_ksyms, > cur_func_len)) { > err = -1; > goto done; > -- > 2.25.1 >
Hi Andrii, On 2022/4/28 6:33, Andrii Nakryiko wrote: > On Tue, Apr 26, 2022 at 6:40 AM Pu Lehui <pulehui@huawei.com> wrote: >> >> We found that 32-bit environment can not print bpf line info due >> to data inconsistency between jited_ksyms[0] and jited_linfo[0]. >> >> For example: >> jited_kyms[0] = 0xb800067c, jited_linfo[0] = 0xffffffffb800067c >> >> We know that both of them store bpf func address, but due to the >> different data extension operations when extended to u64, they may >> not be the same. We need to unify the data extension operations of >> them. >> >> Signed-off-by: Pu Lehui <pulehui@huawei.com> >> --- >> kernel/bpf/syscall.c | 5 ++++- >> tools/lib/bpf/bpf_prog_linfo.c | 8 ++++---- >> tools/testing/selftests/bpf/prog_tests/btf.c | 18 +++++++++--------- > > please split kernel changes, libbpf changes, and selftests/bpf changes > into separate patches Thanks for your review. Alright, I will split it next time. > >> 3 files changed, 17 insertions(+), 14 deletions(-) >> >> diff --git a/kernel/bpf/syscall.c b/kernel/bpf/syscall.c >> index e9621cfa09f2..4c417c806d92 100644 >> --- a/kernel/bpf/syscall.c >> +++ b/kernel/bpf/syscall.c >> @@ -3868,13 +3868,16 @@ static int bpf_prog_get_info_by_fd(struct file *file, >> info.nr_jited_line_info = 0; >> if (info.nr_jited_line_info && ulen) { >> if (bpf_dump_raw_ok(file->f_cred)) { >> + unsigned long jited_linfo_addr; >> __u64 __user *user_linfo; >> u32 i; >> >> user_linfo = u64_to_user_ptr(info.jited_line_info); >> ulen = min_t(u32, info.nr_jited_line_info, ulen); >> for (i = 0; i < ulen; i++) { >> - if (put_user((__u64)(long)prog->aux->jited_linfo[i], >> + jited_linfo_addr = (unsigned long) >> + prog->aux->jited_linfo[i]; >> + if (put_user((__u64) jited_linfo_addr, >> &user_linfo[i])) >> return -EFAULT; >> } Please let me to explain more detail, sorry if I'm wordy. The main reason that 32-bit env does not print bpf line info is here: kernel/bpf/syscall.c: bpf_prog_get_info_by_fd { ... user_ksyms = u64_to_user_ptr(info.jited_ksyms); ksym_addr = (unsigned long)prog->aux->func[i]->bpf_func; if (put_user((u64) ksym_addr, &user_ksyms[i])) ... user_linfo = u64_to_user_ptr(info.jited_line_info); if (put_user((__u64)(long)prog->aux->jited_linfo[i], &user_linfo[i])) ... } In 32-bit env, ksym_addr and prog->aux->jited_linfo[0] both store the 32-bit address of bpf_func, but the first one is zero-extension to u64, while the other is sign-extension to u64. For example: prog->aux->func[0]->bpf_func = 0xb800067c user_ksyms[0] = 0xb800067c, user_linfo[0] = 0xffffffffb800067c Both zero-extension and sign-extension are fine, but if operating directly between them without casting in 32-bit env, there will have some potential problems. Such as: tools/lib/bpf/bpf_prog_linfo.c: dissect_jited_func { ... if (ksym_func[0] != *jited_linfo) //always missmatch in 32 env goto errout; ... if (ksym_func[f] == *jited_linfo) { ... last_jited_linfo = *jited_linfo; if (last_jited_linfo - ksym_func[f - 1] + 1 > ksym_len[f - 1]) ... } We could cast them to 32-bit data type, but I think unify data extension operation will be better. >> diff --git a/tools/lib/bpf/bpf_prog_linfo.c b/tools/lib/bpf/bpf_prog_linfo.c >> index 5c503096ef43..5cf41a563ef5 100644 >> --- a/tools/lib/bpf/bpf_prog_linfo.c >> +++ b/tools/lib/bpf/bpf_prog_linfo.c >> @@ -127,7 +127,7 @@ struct bpf_prog_linfo *bpf_prog_linfo__new(const struct bpf_prog_info *info) >> prog_linfo->raw_linfo = malloc(data_sz); >> if (!prog_linfo->raw_linfo) >> goto err_free; >> - memcpy(prog_linfo->raw_linfo, (void *)(long)info->line_info, data_sz); >> + memcpy(prog_linfo->raw_linfo, (void *)(unsigned long)info->line_info, data_sz); >> >> nr_jited_func = info->nr_jited_ksyms; >> if (!nr_jited_func || >> @@ -148,7 +148,7 @@ struct bpf_prog_linfo *bpf_prog_linfo__new(const struct bpf_prog_info *info) >> if (!prog_linfo->raw_jited_linfo) >> goto err_free; >> memcpy(prog_linfo->raw_jited_linfo, >> - (void *)(long)info->jited_line_info, data_sz); >> + (void *)(unsigned long)info->jited_line_info, data_sz); >> >> /* Number of jited_line_info per jited func */ >> prog_linfo->nr_jited_linfo_per_func = malloc(nr_jited_func * >> @@ -166,8 +166,8 @@ struct bpf_prog_linfo *bpf_prog_linfo__new(const struct bpf_prog_info *info) >> goto err_free; >> >> if (dissect_jited_func(prog_linfo, >> - (__u64 *)(long)info->jited_ksyms, >> - (__u32 *)(long)info->jited_func_lens)) >> + (__u64 *)(unsigned long)info->jited_ksyms, >> + (__u32 *)(unsigned long)info->jited_func_lens)) > > so I'm trying to understand how this is changing anything for 32-bit > architecture and I must be missing something, sorry if I'm being > dense. The example you used below > > jited_kyms[0] = 0xb800067c, jited_linfo[0] = 0xffffffffb800067c > > Wouldn't (unsigned long)0xffffffffb800067c == (long)0xffffffffb800067c > == 0xb800067c ? If I understand correctly, info->jited_ksyms or info->jited_func_lens is just a u64 address that point to the corresponding space. The bpf_func address is stored in the item of info->jited_ksyms but not info->jited_ksyms. And here, I may have misled you. Both (__u64 *)(long)info->jited_ksyms and (__u64 *)(unsigned long)info->jited_ksyms are the same, I just want to unify the style. I will remove them in v2. Please let me know if there is any problem with my understanding. Thanks, Lehui > > isn't sizeof(long) == sizeof(void*) == 4? > > It would be nice if you could elaborate a bit more on what problems > did you see in practice? > >> goto err_free; >> >> return prog_linfo; >> diff --git a/tools/testing/selftests/bpf/prog_tests/btf.c b/tools/testing/selftests/bpf/prog_tests/btf.c >> index 84aae639ddb5..d9ba1ec1d5b3 100644 >> --- a/tools/testing/selftests/bpf/prog_tests/btf.c >> +++ b/tools/testing/selftests/bpf/prog_tests/btf.c >> @@ -6451,8 +6451,8 @@ static int test_get_linfo(const struct prog_info_raw_test *test, >> info.nr_jited_line_info, jited_cnt, >> info.line_info_rec_size, rec_size, >> info.jited_line_info_rec_size, jited_rec_size, >> - (void *)(long)info.line_info, >> - (void *)(long)info.jited_line_info)) { >> + (void *)(unsigned long)info.line_info, >> + (void *)(unsigned long)info.jited_line_info)) { >> err = -1; >> goto done; >> } >> @@ -6500,8 +6500,8 @@ static int test_get_linfo(const struct prog_info_raw_test *test, >> } >> >> if (CHECK(jited_linfo[0] != jited_ksyms[0], >> - "jited_linfo[0]:%lx != jited_ksyms[0]:%lx", >> - (long)(jited_linfo[0]), (long)(jited_ksyms[0]))) { >> + "jited_linfo[0]:%llx != jited_ksyms[0]:%llx", >> + jited_linfo[0], jited_ksyms[0])) { >> err = -1; >> goto done; >> } >> @@ -6519,16 +6519,16 @@ static int test_get_linfo(const struct prog_info_raw_test *test, >> } >> >> if (CHECK(jited_linfo[i] <= jited_linfo[i - 1], >> - "jited_linfo[%u]:%lx <= jited_linfo[%u]:%lx", >> - i, (long)jited_linfo[i], >> - i - 1, (long)(jited_linfo[i - 1]))) { >> + "jited_linfo[%u]:%llx <= jited_linfo[%u]:%llx", >> + i, jited_linfo[i], >> + i - 1, (jited_linfo[i - 1]))) { >> err = -1; >> goto done; >> } >> >> if (CHECK(jited_linfo[i] - cur_func_ksyms > cur_func_len, >> - "jited_linfo[%u]:%lx - %lx > %u", >> - i, (long)jited_linfo[i], (long)cur_func_ksyms, >> + "jited_linfo[%u]:%llx - %llx > %u", >> + i, jited_linfo[i], cur_func_ksyms, >> cur_func_len)) { >> err = -1; >> goto done; >> -- >> 2.25.1 >> > . >
On Thu, Apr 28, 2022 at 2:47 AM Pu Lehui <pulehui@huawei.com> wrote: > > Hi Andrii, > > On 2022/4/28 6:33, Andrii Nakryiko wrote: > > On Tue, Apr 26, 2022 at 6:40 AM Pu Lehui <pulehui@huawei.com> wrote: > >> > >> We found that 32-bit environment can not print bpf line info due > >> to data inconsistency between jited_ksyms[0] and jited_linfo[0]. > >> > >> For example: > >> jited_kyms[0] = 0xb800067c, jited_linfo[0] = 0xffffffffb800067c > >> > >> We know that both of them store bpf func address, but due to the > >> different data extension operations when extended to u64, they may > >> not be the same. We need to unify the data extension operations of > >> them. > >> > >> Signed-off-by: Pu Lehui <pulehui@huawei.com> > >> --- > >> kernel/bpf/syscall.c | 5 ++++- > >> tools/lib/bpf/bpf_prog_linfo.c | 8 ++++---- > >> tools/testing/selftests/bpf/prog_tests/btf.c | 18 +++++++++--------- > > > > please split kernel changes, libbpf changes, and selftests/bpf changes > > into separate patches > Thanks for your review. Alright, I will split it next time. > > > > >> 3 files changed, 17 insertions(+), 14 deletions(-) > >> > >> diff --git a/kernel/bpf/syscall.c b/kernel/bpf/syscall.c > >> index e9621cfa09f2..4c417c806d92 100644 > >> --- a/kernel/bpf/syscall.c > >> +++ b/kernel/bpf/syscall.c > >> @@ -3868,13 +3868,16 @@ static int bpf_prog_get_info_by_fd(struct file *file, > >> info.nr_jited_line_info = 0; > >> if (info.nr_jited_line_info && ulen) { > >> if (bpf_dump_raw_ok(file->f_cred)) { > >> + unsigned long jited_linfo_addr; > >> __u64 __user *user_linfo; > >> u32 i; > >> > >> user_linfo = u64_to_user_ptr(info.jited_line_info); > >> ulen = min_t(u32, info.nr_jited_line_info, ulen); > >> for (i = 0; i < ulen; i++) { > >> - if (put_user((__u64)(long)prog->aux->jited_linfo[i], > >> + jited_linfo_addr = (unsigned long) > >> + prog->aux->jited_linfo[i]; > >> + if (put_user((__u64) jited_linfo_addr, > >> &user_linfo[i])) > >> return -EFAULT; > >> } > Please let me to explain more detail, sorry if I'm wordy. > The main reason that 32-bit env does not print bpf line info is here: > > kernel/bpf/syscall.c: > bpf_prog_get_info_by_fd { > ... > user_ksyms = u64_to_user_ptr(info.jited_ksyms); > ksym_addr = (unsigned long)prog->aux->func[i]->bpf_func; > if (put_user((u64) ksym_addr, &user_ksyms[i])) > ... > > user_linfo = u64_to_user_ptr(info.jited_line_info); > if (put_user((__u64)(long)prog->aux->jited_linfo[i], > &user_linfo[i])) > ... > } > > In 32-bit env, ksym_addr and prog->aux->jited_linfo[0] both store the > 32-bit address of bpf_func, but the first one is zero-extension to u64, > while the other is sign-extension to u64. > For example: > prog->aux->func[0]->bpf_func = 0xb800067c > user_ksyms[0] = 0xb800067c, user_linfo[0] = 0xffffffffb800067c > > Both zero-extension and sign-extension are fine, but if operating > directly between them without casting in 32-bit env, there will have > some potential problems. Such as: > > tools/lib/bpf/bpf_prog_linfo.c: > dissect_jited_func { > ... > if (ksym_func[0] != *jited_linfo) //always missmatch in 32 env > goto errout; > ... > if (ksym_func[f] == *jited_linfo) { > ... > last_jited_linfo = *jited_linfo; > if (last_jited_linfo - ksym_func[f - 1] + 1 > > ksym_len[f - 1]) > ... > } > > We could cast them to 32-bit data type, but I think unify data extension > operation will be better. > > >> diff --git a/tools/lib/bpf/bpf_prog_linfo.c b/tools/lib/bpf/bpf_prog_linfo.c > >> index 5c503096ef43..5cf41a563ef5 100644 > >> --- a/tools/lib/bpf/bpf_prog_linfo.c > >> +++ b/tools/lib/bpf/bpf_prog_linfo.c > >> @@ -127,7 +127,7 @@ struct bpf_prog_linfo *bpf_prog_linfo__new(const struct bpf_prog_info *info) > >> prog_linfo->raw_linfo = malloc(data_sz); > >> if (!prog_linfo->raw_linfo) > >> goto err_free; > >> - memcpy(prog_linfo->raw_linfo, (void *)(long)info->line_info, data_sz); > >> + memcpy(prog_linfo->raw_linfo, (void *)(unsigned long)info->line_info, data_sz); > >> > >> nr_jited_func = info->nr_jited_ksyms; > >> if (!nr_jited_func || > >> @@ -148,7 +148,7 @@ struct bpf_prog_linfo *bpf_prog_linfo__new(const struct bpf_prog_info *info) > >> if (!prog_linfo->raw_jited_linfo) > >> goto err_free; > >> memcpy(prog_linfo->raw_jited_linfo, > >> - (void *)(long)info->jited_line_info, data_sz); > >> + (void *)(unsigned long)info->jited_line_info, data_sz); > >> > >> /* Number of jited_line_info per jited func */ > >> prog_linfo->nr_jited_linfo_per_func = malloc(nr_jited_func * > >> @@ -166,8 +166,8 @@ struct bpf_prog_linfo *bpf_prog_linfo__new(const struct bpf_prog_info *info) > >> goto err_free; > >> > >> if (dissect_jited_func(prog_linfo, > >> - (__u64 *)(long)info->jited_ksyms, > >> - (__u32 *)(long)info->jited_func_lens)) > >> + (__u64 *)(unsigned long)info->jited_ksyms, > >> + (__u32 *)(unsigned long)info->jited_func_lens)) > > > > so I'm trying to understand how this is changing anything for 32-bit > > architecture and I must be missing something, sorry if I'm being > > dense. The example you used below > > > > jited_kyms[0] = 0xb800067c, jited_linfo[0] = 0xffffffffb800067c > > > > Wouldn't (unsigned long)0xffffffffb800067c == (long)0xffffffffb800067c > > == 0xb800067c ? > If I understand correctly, info->jited_ksyms or info->jited_func_lens is > just a u64 address that point to the corresponding space. The bpf_func > address is stored in the item of info->jited_ksyms but not > info->jited_ksyms. > > And here, I may have misled you. Both (__u64 *)(long)info->jited_ksyms > and (__u64 *)(unsigned long)info->jited_ksyms are the same, I just want > to unify the style. I will remove them in v2. > > Please let me know if there is any problem with my understanding. > Thanks for explanation. I guess in my mind I was always sign extending 32-bit to 64-bit, but I think memory addresses are conceptually unsigned, so (unsigned long) casting makes more sense, and u64 representation of 0xb800067c should be 0x00000000b800067c and not 0xffffffffb800067c. So your changes make sense, and I agree that libbpf-side changes for conceptual uniformity are also good. > Thanks, > Lehui > > > > isn't sizeof(long) == sizeof(void*) == 4? > > > > It would be nice if you could elaborate a bit more on what problems > > did you see in practice? > > > >> goto err_free; > >> > >> return prog_linfo; > >> diff --git a/tools/testing/selftests/bpf/prog_tests/btf.c b/tools/testing/selftests/bpf/prog_tests/btf.c > >> index 84aae639ddb5..d9ba1ec1d5b3 100644 > >> --- a/tools/testing/selftests/bpf/prog_tests/btf.c > >> +++ b/tools/testing/selftests/bpf/prog_tests/btf.c > >> @@ -6451,8 +6451,8 @@ static int test_get_linfo(const struct prog_info_raw_test *test, > >> info.nr_jited_line_info, jited_cnt, > >> info.line_info_rec_size, rec_size, > >> info.jited_line_info_rec_size, jited_rec_size, > >> - (void *)(long)info.line_info, > >> - (void *)(long)info.jited_line_info)) { > >> + (void *)(unsigned long)info.line_info, > >> + (void *)(unsigned long)info.jited_line_info)) { > >> err = -1; > >> goto done; > >> } > >> @@ -6500,8 +6500,8 @@ static int test_get_linfo(const struct prog_info_raw_test *test, > >> } > >> > >> if (CHECK(jited_linfo[0] != jited_ksyms[0], > >> - "jited_linfo[0]:%lx != jited_ksyms[0]:%lx", > >> - (long)(jited_linfo[0]), (long)(jited_ksyms[0]))) { > >> + "jited_linfo[0]:%llx != jited_ksyms[0]:%llx", > >> + jited_linfo[0], jited_ksyms[0])) { > >> err = -1; > >> goto done; > >> } > >> @@ -6519,16 +6519,16 @@ static int test_get_linfo(const struct prog_info_raw_test *test, > >> } > >> > >> if (CHECK(jited_linfo[i] <= jited_linfo[i - 1], > >> - "jited_linfo[%u]:%lx <= jited_linfo[%u]:%lx", > >> - i, (long)jited_linfo[i], > >> - i - 1, (long)(jited_linfo[i - 1]))) { > >> + "jited_linfo[%u]:%llx <= jited_linfo[%u]:%llx", > >> + i, jited_linfo[i], > >> + i - 1, (jited_linfo[i - 1]))) { > >> err = -1; > >> goto done; > >> } > >> > >> if (CHECK(jited_linfo[i] - cur_func_ksyms > cur_func_len, > >> - "jited_linfo[%u]:%lx - %lx > %u", > >> - i, (long)jited_linfo[i], (long)cur_func_ksyms, > >> + "jited_linfo[%u]:%llx - %llx > %u", > >> + i, jited_linfo[i], cur_func_ksyms, > >> cur_func_len)) { > >> err = -1; > >> goto done; > >> -- > >> 2.25.1 > >> > > . > >
On 2022/5/7 5:01, Andrii Nakryiko wrote: > On Thu, Apr 28, 2022 at 2:47 AM Pu Lehui <pulehui@huawei.com> wrote: >> >> Hi Andrii, >> >> On 2022/4/28 6:33, Andrii Nakryiko wrote: >>> On Tue, Apr 26, 2022 at 6:40 AM Pu Lehui <pulehui@huawei.com> wrote: >>>> >>>> We found that 32-bit environment can not print bpf line info due >>>> to data inconsistency between jited_ksyms[0] and jited_linfo[0]. >>>> >>>> For example: >>>> jited_kyms[0] = 0xb800067c, jited_linfo[0] = 0xffffffffb800067c >>>> >>>> We know that both of them store bpf func address, but due to the >>>> different data extension operations when extended to u64, they may >>>> not be the same. We need to unify the data extension operations of >>>> them. >>>> >>>> Signed-off-by: Pu Lehui <pulehui@huawei.com> >>>> --- >>>> kernel/bpf/syscall.c | 5 ++++- >>>> tools/lib/bpf/bpf_prog_linfo.c | 8 ++++---- >>>> tools/testing/selftests/bpf/prog_tests/btf.c | 18 +++++++++--------- >>> >>> please split kernel changes, libbpf changes, and selftests/bpf changes >>> into separate patches >> Thanks for your review. Alright, I will split it next time. >> >>> >>>> 3 files changed, 17 insertions(+), 14 deletions(-) >>>> >>>> diff --git a/kernel/bpf/syscall.c b/kernel/bpf/syscall.c >>>> index e9621cfa09f2..4c417c806d92 100644 >>>> --- a/kernel/bpf/syscall.c >>>> +++ b/kernel/bpf/syscall.c >>>> @@ -3868,13 +3868,16 @@ static int bpf_prog_get_info_by_fd(struct file *file, >>>> info.nr_jited_line_info = 0; >>>> if (info.nr_jited_line_info && ulen) { >>>> if (bpf_dump_raw_ok(file->f_cred)) { >>>> + unsigned long jited_linfo_addr; >>>> __u64 __user *user_linfo; >>>> u32 i; >>>> >>>> user_linfo = u64_to_user_ptr(info.jited_line_info); >>>> ulen = min_t(u32, info.nr_jited_line_info, ulen); >>>> for (i = 0; i < ulen; i++) { >>>> - if (put_user((__u64)(long)prog->aux->jited_linfo[i], >>>> + jited_linfo_addr = (unsigned long) >>>> + prog->aux->jited_linfo[i]; >>>> + if (put_user((__u64) jited_linfo_addr, >>>> &user_linfo[i])) >>>> return -EFAULT; >>>> } >> Please let me to explain more detail, sorry if I'm wordy. >> The main reason that 32-bit env does not print bpf line info is here: >> >> kernel/bpf/syscall.c: >> bpf_prog_get_info_by_fd { >> ... >> user_ksyms = u64_to_user_ptr(info.jited_ksyms); >> ksym_addr = (unsigned long)prog->aux->func[i]->bpf_func; >> if (put_user((u64) ksym_addr, &user_ksyms[i])) >> ... >> >> user_linfo = u64_to_user_ptr(info.jited_line_info); >> if (put_user((__u64)(long)prog->aux->jited_linfo[i], >> &user_linfo[i])) >> ... >> } >> >> In 32-bit env, ksym_addr and prog->aux->jited_linfo[0] both store the >> 32-bit address of bpf_func, but the first one is zero-extension to u64, >> while the other is sign-extension to u64. >> For example: >> prog->aux->func[0]->bpf_func = 0xb800067c >> user_ksyms[0] = 0xb800067c, user_linfo[0] = 0xffffffffb800067c >> >> Both zero-extension and sign-extension are fine, but if operating >> directly between them without casting in 32-bit env, there will have >> some potential problems. Such as: >> >> tools/lib/bpf/bpf_prog_linfo.c: >> dissect_jited_func { >> ... >> if (ksym_func[0] != *jited_linfo) //always missmatch in 32 env >> goto errout; >> ... >> if (ksym_func[f] == *jited_linfo) { >> ... >> last_jited_linfo = *jited_linfo; >> if (last_jited_linfo - ksym_func[f - 1] + 1 > >> ksym_len[f - 1]) >> ... >> } >> >> We could cast them to 32-bit data type, but I think unify data extension >> operation will be better. >> >>>> diff --git a/tools/lib/bpf/bpf_prog_linfo.c b/tools/lib/bpf/bpf_prog_linfo.c >>>> index 5c503096ef43..5cf41a563ef5 100644 >>>> --- a/tools/lib/bpf/bpf_prog_linfo.c >>>> +++ b/tools/lib/bpf/bpf_prog_linfo.c >>>> @@ -127,7 +127,7 @@ struct bpf_prog_linfo *bpf_prog_linfo__new(const struct bpf_prog_info *info) >>>> prog_linfo->raw_linfo = malloc(data_sz); >>>> if (!prog_linfo->raw_linfo) >>>> goto err_free; >>>> - memcpy(prog_linfo->raw_linfo, (void *)(long)info->line_info, data_sz); >>>> + memcpy(prog_linfo->raw_linfo, (void *)(unsigned long)info->line_info, data_sz); >>>> >>>> nr_jited_func = info->nr_jited_ksyms; >>>> if (!nr_jited_func || >>>> @@ -148,7 +148,7 @@ struct bpf_prog_linfo *bpf_prog_linfo__new(const struct bpf_prog_info *info) >>>> if (!prog_linfo->raw_jited_linfo) >>>> goto err_free; >>>> memcpy(prog_linfo->raw_jited_linfo, >>>> - (void *)(long)info->jited_line_info, data_sz); >>>> + (void *)(unsigned long)info->jited_line_info, data_sz); >>>> >>>> /* Number of jited_line_info per jited func */ >>>> prog_linfo->nr_jited_linfo_per_func = malloc(nr_jited_func * >>>> @@ -166,8 +166,8 @@ struct bpf_prog_linfo *bpf_prog_linfo__new(const struct bpf_prog_info *info) >>>> goto err_free; >>>> >>>> if (dissect_jited_func(prog_linfo, >>>> - (__u64 *)(long)info->jited_ksyms, >>>> - (__u32 *)(long)info->jited_func_lens)) >>>> + (__u64 *)(unsigned long)info->jited_ksyms, >>>> + (__u32 *)(unsigned long)info->jited_func_lens)) >>> >>> so I'm trying to understand how this is changing anything for 32-bit >>> architecture and I must be missing something, sorry if I'm being >>> dense. The example you used below >>> >>> jited_kyms[0] = 0xb800067c, jited_linfo[0] = 0xffffffffb800067c >>> >>> Wouldn't (unsigned long)0xffffffffb800067c == (long)0xffffffffb800067c >>> == 0xb800067c ? >> If I understand correctly, info->jited_ksyms or info->jited_func_lens is >> just a u64 address that point to the corresponding space. The bpf_func >> address is stored in the item of info->jited_ksyms but not >> info->jited_ksyms. >> >> And here, I may have misled you. Both (__u64 *)(long)info->jited_ksyms >> and (__u64 *)(unsigned long)info->jited_ksyms are the same, I just want >> to unify the style. I will remove them in v2. >> >> Please let me know if there is any problem with my understanding. >> > > Thanks for explanation. I guess in my mind I was always sign extending > 32-bit to 64-bit, but I think memory addresses are conceptually > unsigned, so (unsigned long) casting makes more sense, and u64 > representation of 0xb800067c should be 0x00000000b800067c and not > 0xffffffffb800067c. So your changes make sense, and I agree that > libbpf-side changes for conceptual uniformity are also good. > Alright, I will pick them back in v3. Thanks. > >> Thanks, >> Lehui >>> >>> isn't sizeof(long) == sizeof(void*) == 4? >>> >>> It would be nice if you could elaborate a bit more on what problems >>> did you see in practice? >>> >>>> goto err_free; >>>> >>>> return prog_linfo; >>>> diff --git a/tools/testing/selftests/bpf/prog_tests/btf.c b/tools/testing/selftests/bpf/prog_tests/btf.c >>>> index 84aae639ddb5..d9ba1ec1d5b3 100644 >>>> --- a/tools/testing/selftests/bpf/prog_tests/btf.c >>>> +++ b/tools/testing/selftests/bpf/prog_tests/btf.c >>>> @@ -6451,8 +6451,8 @@ static int test_get_linfo(const struct prog_info_raw_test *test, >>>> info.nr_jited_line_info, jited_cnt, >>>> info.line_info_rec_size, rec_size, >>>> info.jited_line_info_rec_size, jited_rec_size, >>>> - (void *)(long)info.line_info, >>>> - (void *)(long)info.jited_line_info)) { >>>> + (void *)(unsigned long)info.line_info, >>>> + (void *)(unsigned long)info.jited_line_info)) { >>>> err = -1; >>>> goto done; >>>> } >>>> @@ -6500,8 +6500,8 @@ static int test_get_linfo(const struct prog_info_raw_test *test, >>>> } >>>> >>>> if (CHECK(jited_linfo[0] != jited_ksyms[0], >>>> - "jited_linfo[0]:%lx != jited_ksyms[0]:%lx", >>>> - (long)(jited_linfo[0]), (long)(jited_ksyms[0]))) { >>>> + "jited_linfo[0]:%llx != jited_ksyms[0]:%llx", >>>> + jited_linfo[0], jited_ksyms[0])) { >>>> err = -1; >>>> goto done; >>>> } >>>> @@ -6519,16 +6519,16 @@ static int test_get_linfo(const struct prog_info_raw_test *test, >>>> } >>>> >>>> if (CHECK(jited_linfo[i] <= jited_linfo[i - 1], >>>> - "jited_linfo[%u]:%lx <= jited_linfo[%u]:%lx", >>>> - i, (long)jited_linfo[i], >>>> - i - 1, (long)(jited_linfo[i - 1]))) { >>>> + "jited_linfo[%u]:%llx <= jited_linfo[%u]:%llx", >>>> + i, jited_linfo[i], >>>> + i - 1, (jited_linfo[i - 1]))) { >>>> err = -1; >>>> goto done; >>>> } >>>> >>>> if (CHECK(jited_linfo[i] - cur_func_ksyms > cur_func_len, >>>> - "jited_linfo[%u]:%lx - %lx > %u", >>>> - i, (long)jited_linfo[i], (long)cur_func_ksyms, >>>> + "jited_linfo[%u]:%llx - %llx > %u", >>>> + i, jited_linfo[i], cur_func_ksyms, >>>> cur_func_len)) { >>>> err = -1; >>>> goto done; >>>> -- >>>> 2.25.1 >>>> >>> . >>> > . >
diff --git a/kernel/bpf/syscall.c b/kernel/bpf/syscall.c index e9621cfa09f2..4c417c806d92 100644 --- a/kernel/bpf/syscall.c +++ b/kernel/bpf/syscall.c @@ -3868,13 +3868,16 @@ static int bpf_prog_get_info_by_fd(struct file *file, info.nr_jited_line_info = 0; if (info.nr_jited_line_info && ulen) { if (bpf_dump_raw_ok(file->f_cred)) { + unsigned long jited_linfo_addr; __u64 __user *user_linfo; u32 i; user_linfo = u64_to_user_ptr(info.jited_line_info); ulen = min_t(u32, info.nr_jited_line_info, ulen); for (i = 0; i < ulen; i++) { - if (put_user((__u64)(long)prog->aux->jited_linfo[i], + jited_linfo_addr = (unsigned long) + prog->aux->jited_linfo[i]; + if (put_user((__u64) jited_linfo_addr, &user_linfo[i])) return -EFAULT; } diff --git a/tools/lib/bpf/bpf_prog_linfo.c b/tools/lib/bpf/bpf_prog_linfo.c index 5c503096ef43..5cf41a563ef5 100644 --- a/tools/lib/bpf/bpf_prog_linfo.c +++ b/tools/lib/bpf/bpf_prog_linfo.c @@ -127,7 +127,7 @@ struct bpf_prog_linfo *bpf_prog_linfo__new(const struct bpf_prog_info *info) prog_linfo->raw_linfo = malloc(data_sz); if (!prog_linfo->raw_linfo) goto err_free; - memcpy(prog_linfo->raw_linfo, (void *)(long)info->line_info, data_sz); + memcpy(prog_linfo->raw_linfo, (void *)(unsigned long)info->line_info, data_sz); nr_jited_func = info->nr_jited_ksyms; if (!nr_jited_func || @@ -148,7 +148,7 @@ struct bpf_prog_linfo *bpf_prog_linfo__new(const struct bpf_prog_info *info) if (!prog_linfo->raw_jited_linfo) goto err_free; memcpy(prog_linfo->raw_jited_linfo, - (void *)(long)info->jited_line_info, data_sz); + (void *)(unsigned long)info->jited_line_info, data_sz); /* Number of jited_line_info per jited func */ prog_linfo->nr_jited_linfo_per_func = malloc(nr_jited_func * @@ -166,8 +166,8 @@ struct bpf_prog_linfo *bpf_prog_linfo__new(const struct bpf_prog_info *info) goto err_free; if (dissect_jited_func(prog_linfo, - (__u64 *)(long)info->jited_ksyms, - (__u32 *)(long)info->jited_func_lens)) + (__u64 *)(unsigned long)info->jited_ksyms, + (__u32 *)(unsigned long)info->jited_func_lens)) goto err_free; return prog_linfo; diff --git a/tools/testing/selftests/bpf/prog_tests/btf.c b/tools/testing/selftests/bpf/prog_tests/btf.c index 84aae639ddb5..d9ba1ec1d5b3 100644 --- a/tools/testing/selftests/bpf/prog_tests/btf.c +++ b/tools/testing/selftests/bpf/prog_tests/btf.c @@ -6451,8 +6451,8 @@ static int test_get_linfo(const struct prog_info_raw_test *test, info.nr_jited_line_info, jited_cnt, info.line_info_rec_size, rec_size, info.jited_line_info_rec_size, jited_rec_size, - (void *)(long)info.line_info, - (void *)(long)info.jited_line_info)) { + (void *)(unsigned long)info.line_info, + (void *)(unsigned long)info.jited_line_info)) { err = -1; goto done; } @@ -6500,8 +6500,8 @@ static int test_get_linfo(const struct prog_info_raw_test *test, } if (CHECK(jited_linfo[0] != jited_ksyms[0], - "jited_linfo[0]:%lx != jited_ksyms[0]:%lx", - (long)(jited_linfo[0]), (long)(jited_ksyms[0]))) { + "jited_linfo[0]:%llx != jited_ksyms[0]:%llx", + jited_linfo[0], jited_ksyms[0])) { err = -1; goto done; } @@ -6519,16 +6519,16 @@ static int test_get_linfo(const struct prog_info_raw_test *test, } if (CHECK(jited_linfo[i] <= jited_linfo[i - 1], - "jited_linfo[%u]:%lx <= jited_linfo[%u]:%lx", - i, (long)jited_linfo[i], - i - 1, (long)(jited_linfo[i - 1]))) { + "jited_linfo[%u]:%llx <= jited_linfo[%u]:%llx", + i, jited_linfo[i], + i - 1, (jited_linfo[i - 1]))) { err = -1; goto done; } if (CHECK(jited_linfo[i] - cur_func_ksyms > cur_func_len, - "jited_linfo[%u]:%lx - %lx > %u", - i, (long)jited_linfo[i], (long)cur_func_ksyms, + "jited_linfo[%u]:%llx - %llx > %u", + i, jited_linfo[i], cur_func_ksyms, cur_func_len)) { err = -1; goto done;
We found that 32-bit environment can not print bpf line info due to data inconsistency between jited_ksyms[0] and jited_linfo[0]. For example: jited_kyms[0] = 0xb800067c, jited_linfo[0] = 0xffffffffb800067c We know that both of them store bpf func address, but due to the different data extension operations when extended to u64, they may not be the same. We need to unify the data extension operations of them. Signed-off-by: Pu Lehui <pulehui@huawei.com> --- kernel/bpf/syscall.c | 5 ++++- tools/lib/bpf/bpf_prog_linfo.c | 8 ++++---- tools/testing/selftests/bpf/prog_tests/btf.c | 18 +++++++++--------- 3 files changed, 17 insertions(+), 14 deletions(-)