diff mbox series

[v2,12/12] linux-user: fix clock_nanosleep()

Message ID 20200722062902.24509-13-alex.bennee@linaro.org
State New
Headers show
Series candidate fixes for 5.1-rc1 (testing, semihosting, OOM tcg, x86 fpu) | expand

Commit Message

Alex Bennée July 22, 2020, 6:29 a.m. UTC
From: Laurent Vivier <laurent@vivier.eu>


If clock_nanosleep() encounters an error, it returns one of the positive
error number.

If the call is interrupted by a signal handler, it fails with error EINTR
and if "remain" is not NULL and "flags" is not TIMER_ABSTIME, it returns
the remaining unslept time in "remain".

Update linux-user to not overwrite the "remain" structure if there is no
error.

Found with "make check-tcg", linux-test fails on nanosleep test:

  TEST    linux-test on x86_64
.../tests/tcg/multiarch/linux-test.c:242: nanosleep
make[2]: *** [../Makefile.target:153: run-linux-test] Error 1
make[1]: *** [.../tests/tcg/Makefile.qemu:76: run-guest-tests] Error 2
make: *** [.../tests/Makefile.include:857: run-tcg-tests-x86_64-linux-user] Error 2

Reported-by: Philippe Mathieu-Daudé <f4bug@amsat.org>
Signed-off-by: Laurent Vivier <laurent@vivier.eu>

Message-Id: <20200721201754.2731479-1-laurent@vivier.eu>
---
 linux-user/syscall.c | 15 ++++++++++++---
 1 file changed, 12 insertions(+), 3 deletions(-)

-- 
2.20.1

Comments

Laurent Vivier July 22, 2020, 6:49 a.m. UTC | #1
Le 22/07/2020 à 08:29, Alex Bennée a écrit :
> From: Laurent Vivier <laurent@vivier.eu>

> 

> If clock_nanosleep() encounters an error, it returns one of the positive

> error number.

> 

> If the call is interrupted by a signal handler, it fails with error EINTR

> and if "remain" is not NULL and "flags" is not TIMER_ABSTIME, it returns

> the remaining unslept time in "remain".

> 

> Update linux-user to not overwrite the "remain" structure if there is no

> error.

> 

> Found with "make check-tcg", linux-test fails on nanosleep test:

> 

>   TEST    linux-test on x86_64

> .../tests/tcg/multiarch/linux-test.c:242: nanosleep

> make[2]: *** [../Makefile.target:153: run-linux-test] Error 1

> make[1]: *** [.../tests/tcg/Makefile.qemu:76: run-guest-tests] Error 2

> make: *** [.../tests/Makefile.include:857: run-tcg-tests-x86_64-linux-user] Error 2

> 

> Reported-by: Philippe Mathieu-Daudé <f4bug@amsat.org>

> Signed-off-by: Laurent Vivier <laurent@vivier.eu>

> Message-Id: <20200721201754.2731479-1-laurent@vivier.eu>

> ---

>  linux-user/syscall.c | 15 ++++++++++++---

>  1 file changed, 12 insertions(+), 3 deletions(-)

> 

> diff --git a/linux-user/syscall.c b/linux-user/syscall.c

> index 1211e759c26..caa7cd3cab9 100644

> --- a/linux-user/syscall.c

> +++ b/linux-user/syscall.c

> @@ -11829,10 +11829,19 @@ static abi_long do_syscall1(void *cpu_env, int num, abi_long arg1,

>      {

>          struct timespec ts;

>          target_to_host_timespec(&ts, arg3);

> -        ret = get_errno(safe_clock_nanosleep(arg1, arg2,

> -                                             &ts, arg4 ? &ts : NULL));

> -        if (arg4)

> +        /*

> +         * clock_nanosleep() returns 0 or one of the *positive* error number.

> +         */

> +        ret = host_to_target_errno(safe_clock_nanosleep(arg1, arg2, &ts,

> +                                                        arg4 ? &ts : NULL));

> +        /*

> +         * if the call is interrupted by a signal handler, it fails

> +         * with error TARGET_EINTR and if arg4 is not NULL and arg2 is not

> +         * TIMER_ABSTIME, it returns the remaining unslept time in arg4.

> +         */

> +        if (ret == TARGET_EINTR && arg4 && arg2 != TIMER_ABSTIME) {

>              host_to_target_timespec(arg4, &ts);

> +        }

>  

>  #if defined(TARGET_PPC)

>          /* clock_nanosleep is odd in that it returns positive errno values.

> 


Wait a little before pushing that: I've made more tests and it seems to
break something in LTP. I have to analyze.

Thanks,
Laurent
Philippe Mathieu-Daudé July 22, 2020, 7:05 a.m. UTC | #2
On 7/22/20 8:29 AM, Alex Bennée wrote:
> From: Laurent Vivier <laurent@vivier.eu>

> 

> If clock_nanosleep() encounters an error, it returns one of the positive

> error number.

> 

> If the call is interrupted by a signal handler, it fails with error EINTR

> and if "remain" is not NULL and "flags" is not TIMER_ABSTIME, it returns

> the remaining unslept time in "remain".

> 

> Update linux-user to not overwrite the "remain" structure if there is no

> error.

> 

> Found with "make check-tcg", linux-test fails on nanosleep test:

> 

>   TEST    linux-test on x86_64

> .../tests/tcg/multiarch/linux-test.c:242: nanosleep

> make[2]: *** [../Makefile.target:153: run-linux-test] Error 1

> make[1]: *** [.../tests/tcg/Makefile.qemu:76: run-guest-tests] Error 2

> make: *** [.../tests/Makefile.include:857: run-tcg-tests-x86_64-linux-user] Error 2

> 

> Reported-by: Philippe Mathieu-Daudé <f4bug@amsat.org>

> Signed-off-by: Laurent Vivier <laurent@vivier.eu>

> Message-Id: <20200721201754.2731479-1-laurent@vivier.eu>


(Missing your S-o-b)

Tested-by: Philippe Mathieu-Daudé <f4bug@amsat.org>


> ---

>  linux-user/syscall.c | 15 ++++++++++++---

>  1 file changed, 12 insertions(+), 3 deletions(-)

> 

> diff --git a/linux-user/syscall.c b/linux-user/syscall.c

> index 1211e759c26..caa7cd3cab9 100644

> --- a/linux-user/syscall.c

> +++ b/linux-user/syscall.c

> @@ -11829,10 +11829,19 @@ static abi_long do_syscall1(void *cpu_env, int num, abi_long arg1,

>      {

>          struct timespec ts;

>          target_to_host_timespec(&ts, arg3);

> -        ret = get_errno(safe_clock_nanosleep(arg1, arg2,

> -                                             &ts, arg4 ? &ts : NULL));

> -        if (arg4)

> +        /*

> +         * clock_nanosleep() returns 0 or one of the *positive* error number.

> +         */

> +        ret = host_to_target_errno(safe_clock_nanosleep(arg1, arg2, &ts,

> +                                                        arg4 ? &ts : NULL));

> +        /*

> +         * if the call is interrupted by a signal handler, it fails

> +         * with error TARGET_EINTR and if arg4 is not NULL and arg2 is not

> +         * TIMER_ABSTIME, it returns the remaining unslept time in arg4.

> +         */

> +        if (ret == TARGET_EINTR && arg4 && arg2 != TIMER_ABSTIME) {

>              host_to_target_timespec(arg4, &ts);

> +        }

>  

>  #if defined(TARGET_PPC)

>          /* clock_nanosleep is odd in that it returns positive errno values.

>
Laurent Vivier July 22, 2020, 8:33 a.m. UTC | #3
Le 22/07/2020 à 08:49, Laurent Vivier a écrit :
> Le 22/07/2020 à 08:29, Alex Bennée a écrit :

>> From: Laurent Vivier <laurent@vivier.eu>

>>

>> If clock_nanosleep() encounters an error, it returns one of the positive

>> error number.

>>

>> If the call is interrupted by a signal handler, it fails with error EINTR

>> and if "remain" is not NULL and "flags" is not TIMER_ABSTIME, it returns

>> the remaining unslept time in "remain".

>>

>> Update linux-user to not overwrite the "remain" structure if there is no

>> error.

>>

>> Found with "make check-tcg", linux-test fails on nanosleep test:

>>

>>   TEST    linux-test on x86_64

>> .../tests/tcg/multiarch/linux-test.c:242: nanosleep

>> make[2]: *** [../Makefile.target:153: run-linux-test] Error 1

>> make[1]: *** [.../tests/tcg/Makefile.qemu:76: run-guest-tests] Error 2

>> make: *** [.../tests/Makefile.include:857: run-tcg-tests-x86_64-linux-user] Error 2

>>

>> Reported-by: Philippe Mathieu-Daudé <f4bug@amsat.org>

>> Signed-off-by: Laurent Vivier <laurent@vivier.eu>

>> Message-Id: <20200721201754.2731479-1-laurent@vivier.eu>

>> ---

>>  linux-user/syscall.c | 15 ++++++++++++---

>>  1 file changed, 12 insertions(+), 3 deletions(-)

>>

>> diff --git a/linux-user/syscall.c b/linux-user/syscall.c

>> index 1211e759c26..caa7cd3cab9 100644

>> --- a/linux-user/syscall.c

>> +++ b/linux-user/syscall.c

>> @@ -11829,10 +11829,19 @@ static abi_long do_syscall1(void *cpu_env, int num, abi_long arg1,

>>      {

>>          struct timespec ts;

>>          target_to_host_timespec(&ts, arg3);

>> -        ret = get_errno(safe_clock_nanosleep(arg1, arg2,

>> -                                             &ts, arg4 ? &ts : NULL));

>> -        if (arg4)

>> +        /*

>> +         * clock_nanosleep() returns 0 or one of the *positive* error number.

>> +         */

>> +        ret = host_to_target_errno(safe_clock_nanosleep(arg1, arg2, &ts,

>> +                                                        arg4 ? &ts : NULL));

>> +        /*

>> +         * if the call is interrupted by a signal handler, it fails

>> +         * with error TARGET_EINTR and if arg4 is not NULL and arg2 is not

>> +         * TIMER_ABSTIME, it returns the remaining unslept time in arg4.

>> +         */

>> +        if (ret == TARGET_EINTR && arg4 && arg2 != TIMER_ABSTIME) {

>>              host_to_target_timespec(arg4, &ts);

>> +        }

>>  

>>  #if defined(TARGET_PPC)

>>          /* clock_nanosleep is odd in that it returns positive errno values.

>>

> 

> Wait a little before pushing that: I've made more tests and it seems to

> break something in LTP. I have to analyze.


Apparently our safe_clock_nanosleep() doesn't behave like the system one
described in the manpage: it actually returns -1 and update errno.
So we need to keep the get_errno() and I think TARGET_PPC part can be
removed because the crf bit will be updated in ppc/cpu_loop.c.

I update and test my patch and I will send the v2.

Thanks,
Laurent
Alex Bennée July 22, 2020, 8:55 a.m. UTC | #4
Laurent Vivier <laurent@vivier.eu> writes:

> Le 22/07/2020 à 08:29, Alex Bennée a écrit :

>> From: Laurent Vivier <laurent@vivier.eu>

>> 

>> If clock_nanosleep() encounters an error, it returns one of the positive

>> error number.

>> 

>> If the call is interrupted by a signal handler, it fails with error EINTR

>> and if "remain" is not NULL and "flags" is not TIMER_ABSTIME, it returns

>> the remaining unslept time in "remain".

>> 

>> Update linux-user to not overwrite the "remain" structure if there is no

>> error.

>> 

>> Found with "make check-tcg", linux-test fails on nanosleep test:

>> 

>>   TEST    linux-test on x86_64

>> .../tests/tcg/multiarch/linux-test.c:242: nanosleep

>> make[2]: *** [../Makefile.target:153: run-linux-test] Error 1

>> make[1]: *** [.../tests/tcg/Makefile.qemu:76: run-guest-tests] Error 2

>> make: *** [.../tests/Makefile.include:857: run-tcg-tests-x86_64-linux-user] Error 2

>> 

>> Reported-by: Philippe Mathieu-Daudé <f4bug@amsat.org>

>> Signed-off-by: Laurent Vivier <laurent@vivier.eu>

>> Message-Id: <20200721201754.2731479-1-laurent@vivier.eu>

>> ---

>>  linux-user/syscall.c | 15 ++++++++++++---

>>  1 file changed, 12 insertions(+), 3 deletions(-)

>> 

>> diff --git a/linux-user/syscall.c b/linux-user/syscall.c

>> index 1211e759c26..caa7cd3cab9 100644

>> --- a/linux-user/syscall.c

>> +++ b/linux-user/syscall.c

>> @@ -11829,10 +11829,19 @@ static abi_long do_syscall1(void *cpu_env, int num, abi_long arg1,

>>      {

>>          struct timespec ts;

>>          target_to_host_timespec(&ts, arg3);

>> -        ret = get_errno(safe_clock_nanosleep(arg1, arg2,

>> -                                             &ts, arg4 ? &ts : NULL));

>> -        if (arg4)

>> +        /*

>> +         * clock_nanosleep() returns 0 or one of the *positive* error number.

>> +         */

>> +        ret = host_to_target_errno(safe_clock_nanosleep(arg1, arg2, &ts,

>> +                                                        arg4 ? &ts : NULL));

>> +        /*

>> +         * if the call is interrupted by a signal handler, it fails

>> +         * with error TARGET_EINTR and if arg4 is not NULL and arg2 is not

>> +         * TIMER_ABSTIME, it returns the remaining unslept time in arg4.

>> +         */

>> +        if (ret == TARGET_EINTR && arg4 && arg2 != TIMER_ABSTIME) {

>>              host_to_target_timespec(arg4, &ts);

>> +        }

>>  

>>  #if defined(TARGET_PPC)

>>          /* clock_nanosleep is odd in that it returns positive errno values.

>> 

>

> Wait a little before pushing that: I've made more tests and it seems to

> break something in LTP. I have to analyze.


OK - which LTP test does it break?

I can drop from the PR if we don't have a clean-up by then (Fri?).

>

> Thanks,

> Laurent



-- 
Alex Bennée
Laurent Vivier July 22, 2020, 12:03 p.m. UTC | #5
Le 22/07/2020 à 10:55, Alex Bennée a écrit :
> 

> Laurent Vivier <laurent@vivier.eu> writes:

> 

>> Le 22/07/2020 à 08:29, Alex Bennée a écrit :

>>> From: Laurent Vivier <laurent@vivier.eu>

>>>

>>> If clock_nanosleep() encounters an error, it returns one of the positive

>>> error number.

>>>

>>> If the call is interrupted by a signal handler, it fails with error EINTR

>>> and if "remain" is not NULL and "flags" is not TIMER_ABSTIME, it returns

>>> the remaining unslept time in "remain".

>>>

>>> Update linux-user to not overwrite the "remain" structure if there is no

>>> error.

>>>

>>> Found with "make check-tcg", linux-test fails on nanosleep test:

>>>

>>>   TEST    linux-test on x86_64

>>> .../tests/tcg/multiarch/linux-test.c:242: nanosleep

>>> make[2]: *** [../Makefile.target:153: run-linux-test] Error 1

>>> make[1]: *** [.../tests/tcg/Makefile.qemu:76: run-guest-tests] Error 2

>>> make: *** [.../tests/Makefile.include:857: run-tcg-tests-x86_64-linux-user] Error 2

>>>

>>> Reported-by: Philippe Mathieu-Daudé <f4bug@amsat.org>

>>> Signed-off-by: Laurent Vivier <laurent@vivier.eu>

>>> Message-Id: <20200721201754.2731479-1-laurent@vivier.eu>

>>> ---

>>>  linux-user/syscall.c | 15 ++++++++++++---

>>>  1 file changed, 12 insertions(+), 3 deletions(-)

>>>

>>> diff --git a/linux-user/syscall.c b/linux-user/syscall.c

>>> index 1211e759c26..caa7cd3cab9 100644

>>> --- a/linux-user/syscall.c

>>> +++ b/linux-user/syscall.c

>>> @@ -11829,10 +11829,19 @@ static abi_long do_syscall1(void *cpu_env, int num, abi_long arg1,

>>>      {

>>>          struct timespec ts;

>>>          target_to_host_timespec(&ts, arg3);

>>> -        ret = get_errno(safe_clock_nanosleep(arg1, arg2,

>>> -                                             &ts, arg4 ? &ts : NULL));

>>> -        if (arg4)

>>> +        /*

>>> +         * clock_nanosleep() returns 0 or one of the *positive* error number.

>>> +         */

>>> +        ret = host_to_target_errno(safe_clock_nanosleep(arg1, arg2, &ts,

>>> +                                                        arg4 ? &ts : NULL));

>>> +        /*

>>> +         * if the call is interrupted by a signal handler, it fails

>>> +         * with error TARGET_EINTR and if arg4 is not NULL and arg2 is not

>>> +         * TIMER_ABSTIME, it returns the remaining unslept time in arg4.

>>> +         */

>>> +        if (ret == TARGET_EINTR && arg4 && arg2 != TIMER_ABSTIME) {

>>>              host_to_target_timespec(arg4, &ts);

>>> +        }

>>>  

>>>  #if defined(TARGET_PPC)

>>>          /* clock_nanosleep is odd in that it returns positive errno values.

>>>

>>

>> Wait a little before pushing that: I've made more tests and it seems to

>> break something in LTP. I have to analyze.

> 

> OK - which LTP test does it break?


clock_nanosleep01

> 

> I can drop from the PR if we don't have a clean-up by then (Fri?).


I have a fix. I'm testing it. I will send the v2 today.

https://github.com/vivier/qemu/commit/25060f425e71c57112a334d9930f234011d079a1

Thanks,
Laurent
diff mbox series

Patch

diff --git a/linux-user/syscall.c b/linux-user/syscall.c
index 1211e759c26..caa7cd3cab9 100644
--- a/linux-user/syscall.c
+++ b/linux-user/syscall.c
@@ -11829,10 +11829,19 @@  static abi_long do_syscall1(void *cpu_env, int num, abi_long arg1,
     {
         struct timespec ts;
         target_to_host_timespec(&ts, arg3);
-        ret = get_errno(safe_clock_nanosleep(arg1, arg2,
-                                             &ts, arg4 ? &ts : NULL));
-        if (arg4)
+        /*
+         * clock_nanosleep() returns 0 or one of the *positive* error number.
+         */
+        ret = host_to_target_errno(safe_clock_nanosleep(arg1, arg2, &ts,
+                                                        arg4 ? &ts : NULL));
+        /*
+         * if the call is interrupted by a signal handler, it fails
+         * with error TARGET_EINTR and if arg4 is not NULL and arg2 is not
+         * TIMER_ABSTIME, it returns the remaining unslept time in arg4.
+         */
+        if (ret == TARGET_EINTR && arg4 && arg2 != TIMER_ABSTIME) {
             host_to_target_timespec(arg4, &ts);
+        }
 
 #if defined(TARGET_PPC)
         /* clock_nanosleep is odd in that it returns positive errno values.