Re: [PATCH v2 12/12] bsd-user: Add -strict

2023-02-16 Thread Warner Losh
On Tue, Feb 14, 2023 at 2:49 PM Richard Henderson <
richard.hender...@linaro.org> wrote:

> On 2/13/23 14:27, Warner Losh wrote:
> > Most of the time, it's useful to make our best effort, but sometimes we
> > want to know right away when we don't implement something. First place
> > we use it is for unknown syscalls.
> >
> > Signed-off-by: Warner Losh 
> > ---
> >   bsd-user/freebsd/os-syscall.c | 4 
> >   bsd-user/main.c   | 5 -
> >   bsd-user/qemu.h   | 1 +
> >   3 files changed, 9 insertions(+), 1 deletion(-)
> >
> > diff --git a/bsd-user/freebsd/os-syscall.c
> b/bsd-user/freebsd/os-syscall.c
> > index 179a20c304b..e2b26ecb8dd 100644
> > --- a/bsd-user/freebsd/os-syscall.c
> > +++ b/bsd-user/freebsd/os-syscall.c
> > @@ -508,6 +508,10 @@ static abi_long freebsd_syscall(void *cpu_env, int
> num, abi_long arg1,
> >
> >   default:
> >   qemu_log_mask(LOG_UNIMP, "Unsupported syscall: %d\n", num);
> > +if (bsd_user_strict) {
> > +printf("Unimplemented system call %d\n", num);
> > +abort();
> > +}
>
> Still don't like the printf.  I suggested alternatives against v1.
>

Yea, this was unchanged in this version since there were too many other
things to do in the other bits that went into v2.

I'm thinking, though, that this isn't ready, so I'm going to drop it from
v3.

Warner


Re: [PATCH v2 12/12] bsd-user: Add -strict

2023-02-14 Thread Richard Henderson

On 2/13/23 14:27, Warner Losh wrote:

Most of the time, it's useful to make our best effort, but sometimes we
want to know right away when we don't implement something. First place
we use it is for unknown syscalls.

Signed-off-by: Warner Losh 
---
  bsd-user/freebsd/os-syscall.c | 4 
  bsd-user/main.c   | 5 -
  bsd-user/qemu.h   | 1 +
  3 files changed, 9 insertions(+), 1 deletion(-)

diff --git a/bsd-user/freebsd/os-syscall.c b/bsd-user/freebsd/os-syscall.c
index 179a20c304b..e2b26ecb8dd 100644
--- a/bsd-user/freebsd/os-syscall.c
+++ b/bsd-user/freebsd/os-syscall.c
@@ -508,6 +508,10 @@ static abi_long freebsd_syscall(void *cpu_env, int num, 
abi_long arg1,
  
  default:

  qemu_log_mask(LOG_UNIMP, "Unsupported syscall: %d\n", num);
+if (bsd_user_strict) {
+printf("Unimplemented system call %d\n", num);
+abort();
+}


Still don't like the printf.  I suggested alternatives against v1.

r~



Re: [PATCH v2 12/12] bsd-user: Add -strict

2023-02-14 Thread Philippe Mathieu-Daudé

On 14/2/23 01:27, Warner Losh wrote:

Most of the time, it's useful to make our best effort, but sometimes we
want to know right away when we don't implement something. First place
we use it is for unknown syscalls.

Signed-off-by: Warner Losh 
---
  bsd-user/freebsd/os-syscall.c | 4 
  bsd-user/main.c   | 5 -
  bsd-user/qemu.h   | 1 +
  3 files changed, 9 insertions(+), 1 deletion(-)

diff --git a/bsd-user/freebsd/os-syscall.c b/bsd-user/freebsd/os-syscall.c
index 179a20c304b..e2b26ecb8dd 100644
--- a/bsd-user/freebsd/os-syscall.c
+++ b/bsd-user/freebsd/os-syscall.c
@@ -508,6 +508,10 @@ static abi_long freebsd_syscall(void *cpu_env, int num, 
abi_long arg1,
  
  default:

  qemu_log_mask(LOG_UNIMP, "Unsupported syscall: %d\n", num);
+if (bsd_user_strict) {
+printf("Unimplemented system call %d\n", num);
+abort();
+}
  ret = -TARGET_ENOSYS;
  break;
  }
diff --git a/bsd-user/main.c b/bsd-user/main.c
index 41290e16f98..ba0ad86ad28 100644
--- a/bsd-user/main.c
+++ b/bsd-user/main.c
@@ -91,9 +91,10 @@ unsigned long reserved_va = MAX_RESERVED_VA;
  unsigned long reserved_va;
  #endif
  
-static const char *interp_prefix = CONFIG_QEMU_INTERP_PREFIX;

+const char *interp_prefix = CONFIG_QEMU_INTERP_PREFIX;
  const char *qemu_uname_release;
  char qemu_proc_pathname[PATH_MAX];  /* full path to exeutable */
+bool bsd_user_strict = false;  /* Abort for unimplemned things */


"executable" (pre-existing), "unimplemented".


  unsigned long target_maxtsiz = TARGET_MAXTSIZ;   /* max text size */
  unsigned long target_dfldsiz = TARGET_DFLDSIZ;   /* initial data size limit */
@@ -396,6 +397,8 @@ int main(int argc, char **argv)
  trace_opt_parse(optarg);
  } else if (!strcmp(r, "0")) {
  argv0 = argv[optind++];
+} else if (!strcmp(r, "strict")) {
+bsd_user_strict = true;


As a debug feature, can't we just use some getenv() var?


  } else {
  usage();
  }
diff --git a/bsd-user/qemu.h b/bsd-user/qemu.h
index e24a8cfcfb1..22bd5a3df42 100644
--- a/bsd-user/qemu.h
+++ b/bsd-user/qemu.h
@@ -113,6 +113,7 @@ typedef struct TaskState {
  
  void stop_all_tasks(void);

  extern const char *qemu_uname_release;
+extern bool bsd_user_strict;
  
  /*

   * TARGET_ARG_MAX defines the number of bytes allocated for arguments





[PATCH v2 12/12] bsd-user: Add -strict

2023-02-14 Thread Warner Losh
Most of the time, it's useful to make our best effort, but sometimes we
want to know right away when we don't implement something. First place
we use it is for unknown syscalls.

Signed-off-by: Warner Losh 
---
 bsd-user/freebsd/os-syscall.c | 4 
 bsd-user/main.c   | 5 -
 bsd-user/qemu.h   | 1 +
 3 files changed, 9 insertions(+), 1 deletion(-)

diff --git a/bsd-user/freebsd/os-syscall.c b/bsd-user/freebsd/os-syscall.c
index 179a20c304b..e2b26ecb8dd 100644
--- a/bsd-user/freebsd/os-syscall.c
+++ b/bsd-user/freebsd/os-syscall.c
@@ -508,6 +508,10 @@ static abi_long freebsd_syscall(void *cpu_env, int num, 
abi_long arg1,
 
 default:
 qemu_log_mask(LOG_UNIMP, "Unsupported syscall: %d\n", num);
+if (bsd_user_strict) {
+printf("Unimplemented system call %d\n", num);
+abort();
+}
 ret = -TARGET_ENOSYS;
 break;
 }
diff --git a/bsd-user/main.c b/bsd-user/main.c
index 41290e16f98..ba0ad86ad28 100644
--- a/bsd-user/main.c
+++ b/bsd-user/main.c
@@ -91,9 +91,10 @@ unsigned long reserved_va = MAX_RESERVED_VA;
 unsigned long reserved_va;
 #endif
 
-static const char *interp_prefix = CONFIG_QEMU_INTERP_PREFIX;
+const char *interp_prefix = CONFIG_QEMU_INTERP_PREFIX;
 const char *qemu_uname_release;
 char qemu_proc_pathname[PATH_MAX];  /* full path to exeutable */
+bool bsd_user_strict = false;  /* Abort for unimplemned things */
 
 unsigned long target_maxtsiz = TARGET_MAXTSIZ;   /* max text size */
 unsigned long target_dfldsiz = TARGET_DFLDSIZ;   /* initial data size limit */
@@ -396,6 +397,8 @@ int main(int argc, char **argv)
 trace_opt_parse(optarg);
 } else if (!strcmp(r, "0")) {
 argv0 = argv[optind++];
+} else if (!strcmp(r, "strict")) {
+bsd_user_strict = true;
 } else {
 usage();
 }
diff --git a/bsd-user/qemu.h b/bsd-user/qemu.h
index e24a8cfcfb1..22bd5a3df42 100644
--- a/bsd-user/qemu.h
+++ b/bsd-user/qemu.h
@@ -113,6 +113,7 @@ typedef struct TaskState {
 
 void stop_all_tasks(void);
 extern const char *qemu_uname_release;
+extern bool bsd_user_strict;
 
 /*
  * TARGET_ARG_MAX defines the number of bytes allocated for arguments
-- 
2.39.1