[PATCH] lib: sbi: Ensure SBI extension is available
Xiang W
wxjstz at 126.com
Thu Apr 27 00:26:20 PDT 2023
在 2023-04-27星期四的 09:00 +0200,Andrew Jones写道:
> On Thu, Apr 27, 2023 at 09:02:14AM +0800, Xiang W wrote:
> > 在 2023-04-26星期三的 19:27 +0200,Andrew Jones写道:
> > > Ensure attempts to invoke SBI extension functions fail with
> > > SBI_ERR_NOT_SUPPORTED when the extension's probe function has
> > > reported that the extension is not available. By adding a new
> > > status member to the extension which has three states
> > > (uninitialized, available, unavailable), we ensure that the
> > > probe function is only invoked once, lazily, upon first use.
> >
> > Adding this state may cause errors. For example: the id numberof an extension is from extid_start to extid_end, which has an
> > unused ID. Searching for an ID in this extension will return NULL
> > if an unused ID is searched first.
>
> Hi Xiang,
>
> You're right. Either sbi_ecall_extension::status needs to be a function of
> extid, like probe is, or we should just always call probe (when it's
> available) and leave any optimizations to the individual probe functions.
> How about this?
>
> diff --git a/lib/sbi/sbi_ecall.c b/lib/sbi/sbi_ecall.c
> index 76a1ae9ab733..c86e4e8c9134 100644
> --- a/lib/sbi/sbi_ecall.c
> +++ b/lib/sbi/sbi_ecall.c
> @@ -42,16 +42,18 @@ static SBI_LIST_HEAD(ecall_exts_list);
>
> struct sbi_ecall_extension *sbi_ecall_find_extension(unsigned long extid)
> {
> - struct sbi_ecall_extension *t, *ret = NULL;
> + struct sbi_ecall_extension *t;
> + unsigned long out_val;
>
> sbi_list_for_each_entry(t, &ecall_exts_list, head) {
> if (t->extid_start <= extid && extid <= t->extid_end) {
> - ret = t;
> - break;
> + if (t->probe && (t->probe(extid, &out_val) || !out_val))
> + return NULL;
> + return t;
> }
> }
>
> - return ret;
> + return NULL;
> }
>
> int sbi_ecall_register_extension(struct sbi_ecall_extension *ext)
>
> Thanks,
> drew
Good. If so modified we can modify sbi_ecall_base_probe as well.
As follows:
diff --git a/lib/sbi/sbi_ecall_base.c b/lib/sbi/sbi_ecall_base.c
index 786d2ac..e3aa02b 100644
--- a/lib/sbi/sbi_ecall_base.c
+++ b/lib/sbi/sbi_ecall_base.c
@@ -20,15 +20,7 @@ static int sbi_ecall_base_probe(unsigned long extid, unsigned long *out_val)
struct sbi_ecall_extension *ext;
ext = sbi_ecall_find_extension(extid);
- if (!ext) {
- *out_val = 0;
- return 0;
- }
-
- if (ext->probe)
- return ext->probe(extid, out_val);
-
- *out_val = 1;
+ *out_val = ext ? 1 : 0;
return 0;
}
Regards,
Xiang W
>
> >
> > Regards,
> > Xiang W
> > >
> > > Signed-off-by: Andrew Jones <ajones at ventanamicro.com>
> > > ---
> > > include/sbi/sbi_ecall.h | 6 ++++++
> > > lib/sbi/sbi_ecall.c | 18 ++++++++++++++----
> > > 2 files changed, 20 insertions(+), 4 deletions(-)
> > >
> > > diff --git a/include/sbi/sbi_ecall.h b/include/sbi/sbi_ecall.h
> > > index ff9bf8e2b435..8e31d0d91620 100644
> > > --- a/include/sbi/sbi_ecall.h
> > > +++ b/include/sbi/sbi_ecall.h
> > > @@ -20,10 +20,16 @@
> > > struct sbi_trap_regs;
> > > struct sbi_trap_info;
> > >
> > > +enum sbi_ext_status {
> > > + SBI_EXT_AVAILABLE = 1,
> > > + SBI_EXT_UNAVAILABLE,
> > > +};
> > > +
> > > struct sbi_ecall_extension {
> > > struct sbi_dlist head;
> > > unsigned long extid_start;
> > > unsigned long extid_end;
> > > + enum sbi_ext_status status;
> > > int (* probe)(unsigned long extid, unsigned long *out_val);
> > > int (* handle)(unsigned long extid, unsigned long funcid,
> > > const struct sbi_trap_regs *regs,
> > > diff --git a/lib/sbi/sbi_ecall.c b/lib/sbi/sbi_ecall.c
> > > index 76a1ae9ab733..20ff06f32dad 100644
> > > --- a/lib/sbi/sbi_ecall.c
> > > +++ b/lib/sbi/sbi_ecall.c
> > > @@ -42,16 +42,26 @@ static SBI_LIST_HEAD(ecall_exts_list);
> > >
> > > struct sbi_ecall_extension *sbi_ecall_find_extension(unsigned long extid)
> > > {
> > > - struct sbi_ecall_extension *t, *ret = NULL;
> > > + struct sbi_ecall_extension *t;
> > > + unsigned long out_val;
> > >
> > > sbi_list_for_each_entry(t, &ecall_exts_list, head) {
> > > if (t->extid_start <= extid && extid <= t->extid_end) {
> > > - ret = t;
> > > - break;
> > > + if (t->status == SBI_EXT_AVAILABLE)
> > > + return t;
> > > + if (t->status == SBI_EXT_UNAVAILABLE)
> > > + return NULL;
> > > + if (t->probe && (t->probe(extid, &out_val) || !out_val)) {
> > > + t->status = SBI_EXT_UNAVAILABLE;
> > > + return NULL;
> > > + }
> > > +
> > > + t->status = SBI_EXT_AVAILABLE;
> > > + return t;
> > > }
> > > }
> > >
> > > - return ret;
> > > + return NULL;
> > > }
> > >
> > > int sbi_ecall_register_extension(struct sbi_ecall_extension *ext)
> > > --
> > > 2.39.2
> > >
> > >
> >
> >
More information about the opensbi
mailing list