* [PATCH] abort.3: Note that the glibc implementation is not async-signal-safe
@ 2023-07-26 11:55 Tomáš Golembiovský
2023-08-22 16:26 ` Tomáš Golembiovský
0 siblings, 1 reply; 5+ messages in thread
From: Tomáš Golembiovský @ 2023-07-26 11:55 UTC (permalink / raw)
To: Alejandro Colomar
Cc: linux-man, Tomáš Golembiovský, Carlos O'Donell, Glibc
See https://sourceware.org/bugzilla/show_bug.cgi?id=26275
Cc: Carlos O'Donell <carlos@redhat.com>
Cc: Glibc <libc-alpha@sourceware.org>
Signed-off-by: Tomáš Golembiovský <tgolembi@redhat.com>
---
man3/abort.3 | 6 ++++++
man7/signal-safety.7 | 5 +++++
2 files changed, 11 insertions(+)
diff --git a/man3/abort.3 b/man3/abort.3
index 0b57e10ed..827d5c9db 100644
--- a/man3/abort.3
+++ b/man3/abort.3
@@ -85,6 +85,12 @@ terminates the process without flushing streams.
POSIX.1 permits either possible behavior, saying that
.BR abort ()
"may include an attempt to effect fclose() on all open streams".
+.SH BUGS
+The glibc implementation of
+.BR abort ()
+is not async-signal-safe,
+.\" FIXME . https://sourceware.org/bugzilla/show_bug.cgi?id=26275
+in violation of the requirements of POSIX.1.
.SH SEE ALSO
.BR gdb (1),
.BR sigaction (2),
diff --git a/man7/signal-safety.7 b/man7/signal-safety.7
index 3d6ddc7eb..431a22f89 100644
--- a/man7/signal-safety.7
+++ b/man7/signal-safety.7
@@ -335,6 +335,11 @@ The glibc implementation of
is not async-signal-safe because it uses
.BR pthread_mutex_lock (3)
internally.
+.IP \[bu]
+.\" FIXME . https://sourceware.org/bugzilla/show_bug.cgi?id=26275
+The glibc implementation of
+.BR abort (3)
+is not async-signal-safe.
.SH SEE ALSO
.BR sigaction (2),
.BR signal (7),
--
2.41.0
^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: [PATCH] abort.3: Note that the glibc implementation is not async-signal-safe
2023-07-26 11:55 [PATCH] abort.3: Note that the glibc implementation is not async-signal-safe Tomáš Golembiovský
@ 2023-08-22 16:26 ` Tomáš Golembiovský
2023-08-24 22:07 ` Gabriel Ravier
0 siblings, 1 reply; 5+ messages in thread
From: Tomáš Golembiovský @ 2023-08-22 16:26 UTC (permalink / raw)
To: Alejandro Colomar; +Cc: linux-man, Carlos O'Donell, Glibc
Hi,
gentle reminder that this has not received any attention yet.
Thanks,
Tomas
On Wed, Jul 26, 2023 at 01:55:27PM +0200, Tomáš Golembiovský wrote:
> See https://sourceware.org/bugzilla/show_bug.cgi?id=26275
>
> Cc: Carlos O'Donell <carlos@redhat.com>
> Cc: Glibc <libc-alpha@sourceware.org>
> Signed-off-by: Tomáš Golembiovský <tgolembi@redhat.com>
> ---
> man3/abort.3 | 6 ++++++
> man7/signal-safety.7 | 5 +++++
> 2 files changed, 11 insertions(+)
>
> diff --git a/man3/abort.3 b/man3/abort.3
> index 0b57e10ed..827d5c9db 100644
> --- a/man3/abort.3
> +++ b/man3/abort.3
> @@ -85,6 +85,12 @@ terminates the process without flushing streams.
> POSIX.1 permits either possible behavior, saying that
> .BR abort ()
> "may include an attempt to effect fclose() on all open streams".
> +.SH BUGS
> +The glibc implementation of
> +.BR abort ()
> +is not async-signal-safe,
> +.\" FIXME . https://sourceware.org/bugzilla/show_bug.cgi?id=26275
> +in violation of the requirements of POSIX.1.
> .SH SEE ALSO
> .BR gdb (1),
> .BR sigaction (2),
> diff --git a/man7/signal-safety.7 b/man7/signal-safety.7
> index 3d6ddc7eb..431a22f89 100644
> --- a/man7/signal-safety.7
> +++ b/man7/signal-safety.7
> @@ -335,6 +335,11 @@ The glibc implementation of
> is not async-signal-safe because it uses
> .BR pthread_mutex_lock (3)
> internally.
> +.IP \[bu]
> +.\" FIXME . https://sourceware.org/bugzilla/show_bug.cgi?id=26275
> +The glibc implementation of
> +.BR abort (3)
> +is not async-signal-safe.
> .SH SEE ALSO
> .BR sigaction (2),
> .BR signal (7),
> --
> 2.41.0
>
^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: [PATCH] abort.3: Note that the glibc implementation is not async-signal-safe
2023-08-22 16:26 ` Tomáš Golembiovský
@ 2023-08-24 22:07 ` Gabriel Ravier
2023-08-25 12:32 ` Tomáš Golembiovský
0 siblings, 1 reply; 5+ messages in thread
From: Gabriel Ravier @ 2023-08-24 22:07 UTC (permalink / raw)
To: Tomáš Golembiovský, Alejandro Colomar
Cc: linux-man, Carlos O'Donell, Glibc
On 8/22/23 17:26, Tomáš Golembiovský via Libc-alpha wrote:
> Hi,
>
> gentle reminder that this has not received any attention yet.
I assume this is because there are currently efforts to make glibc's
implementation async-signal-safe - which would make this proposed note
quite quickly inaccurate (though the fact it has been
async-signal-unsafe until now still seems notable enough to be mentioned
here).
>
> Thanks,
>
> Tomas
>
> On Wed, Jul 26, 2023 at 01:55:27PM +0200, Tomáš Golembiovský wrote:
>> See https://sourceware.org/bugzilla/show_bug.cgi?id=26275
>>
>> Cc: Carlos O'Donell <carlos@redhat.com>
>> Cc: Glibc <libc-alpha@sourceware.org>
>> Signed-off-by: Tomáš Golembiovský <tgolembi@redhat.com>
>> ---
>> man3/abort.3 | 6 ++++++
>> man7/signal-safety.7 | 5 +++++
>> 2 files changed, 11 insertions(+)
>>
>> diff --git a/man3/abort.3 b/man3/abort.3
>> index 0b57e10ed..827d5c9db 100644
>> --- a/man3/abort.3
>> +++ b/man3/abort.3
>> @@ -85,6 +85,12 @@ terminates the process without flushing streams.
>> POSIX.1 permits either possible behavior, saying that
>> .BR abort ()
>> "may include an attempt to effect fclose() on all open streams".
>> +.SH BUGS
>> +The glibc implementation of
>> +.BR abort ()
>> +is not async-signal-safe,
>> +.\" FIXME . https://sourceware.org/bugzilla/show_bug.cgi?id=26275
>> +in violation of the requirements of POSIX.1.
>> .SH SEE ALSO
>> .BR gdb (1),
>> .BR sigaction (2),
>> diff --git a/man7/signal-safety.7 b/man7/signal-safety.7
>> index 3d6ddc7eb..431a22f89 100644
>> --- a/man7/signal-safety.7
>> +++ b/man7/signal-safety.7
>> @@ -335,6 +335,11 @@ The glibc implementation of
>> is not async-signal-safe because it uses
>> .BR pthread_mutex_lock (3)
>> internally.
>> +.IP \[bu]
>> +.\" FIXME . https://sourceware.org/bugzilla/show_bug.cgi?id=26275
>> +The glibc implementation of
>> +.BR abort (3)
>> +is not async-signal-safe.
>> .SH SEE ALSO
>> .BR sigaction (2),
>> .BR signal (7),
>> --
>> 2.41.0
>>
^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: [PATCH] abort.3: Note that the glibc implementation is not async-signal-safe
2023-08-24 22:07 ` Gabriel Ravier
@ 2023-08-25 12:32 ` Tomáš Golembiovský
2023-08-25 17:53 ` Alejandro Colomar
0 siblings, 1 reply; 5+ messages in thread
From: Tomáš Golembiovský @ 2023-08-25 12:32 UTC (permalink / raw)
To: Gabriel Ravier; +Cc: Alejandro Colomar, linux-man, Carlos O'Donell, Glibc
On Thu, Aug 24, 2023 at 11:07:00PM +0100, Gabriel Ravier wrote:
> On 8/22/23 17:26, Tomáš Golembiovský via Libc-alpha wrote:
> > Hi,
> >
> > gentle reminder that this has not received any attention yet.
> I assume this is because there are currently efforts to make glibc's
> implementation async-signal-safe - which would make this proposed note quite
> quickly inaccurate
I suppose you're referring to this:
https://inbox.sourceware.org/libc-alpha/20230803173436.4146900-1-adhemerval.zanella@linaro.org/
I was not aware of that. Thanks for bringing that to my attention.
> (though the fact it has been async-signal-unsafe until
> now still seems notable enough to be mentioned here).
Yes, even when this is fixed having a BUGS section with something like
"In glibc X.Y.Z and earlier the function was not AS-safe.", might be a
good idea.
Tomas
> >
> > Thanks,
> >
> > Tomas
> >
> > On Wed, Jul 26, 2023 at 01:55:27PM +0200, Tomáš Golembiovský wrote:
> > > See https://sourceware.org/bugzilla/show_bug.cgi?id=26275
> > >
> > > Cc: Carlos O'Donell <carlos@redhat.com>
> > > Cc: Glibc <libc-alpha@sourceware.org>
> > > Signed-off-by: Tomáš Golembiovský <tgolembi@redhat.com>
> > > ---
> > > man3/abort.3 | 6 ++++++
> > > man7/signal-safety.7 | 5 +++++
> > > 2 files changed, 11 insertions(+)
> > >
> > > diff --git a/man3/abort.3 b/man3/abort.3
> > > index 0b57e10ed..827d5c9db 100644
> > > --- a/man3/abort.3
> > > +++ b/man3/abort.3
> > > @@ -85,6 +85,12 @@ terminates the process without flushing streams.
> > > POSIX.1 permits either possible behavior, saying that
> > > .BR abort ()
> > > "may include an attempt to effect fclose() on all open streams".
> > > +.SH BUGS
> > > +The glibc implementation of
> > > +.BR abort ()
> > > +is not async-signal-safe,
> > > +.\" FIXME . https://sourceware.org/bugzilla/show_bug.cgi?id=26275
> > > +in violation of the requirements of POSIX.1.
> > > .SH SEE ALSO
> > > .BR gdb (1),
> > > .BR sigaction (2),
> > > diff --git a/man7/signal-safety.7 b/man7/signal-safety.7
> > > index 3d6ddc7eb..431a22f89 100644
> > > --- a/man7/signal-safety.7
> > > +++ b/man7/signal-safety.7
> > > @@ -335,6 +335,11 @@ The glibc implementation of
> > > is not async-signal-safe because it uses
> > > .BR pthread_mutex_lock (3)
> > > internally.
> > > +.IP \[bu]
> > > +.\" FIXME . https://sourceware.org/bugzilla/show_bug.cgi?id=26275
> > > +The glibc implementation of
> > > +.BR abort (3)
> > > +is not async-signal-safe.
> > > .SH SEE ALSO
> > > .BR sigaction (2),
> > > .BR signal (7),
> > > --
> > > 2.41.0
> > >
>
^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: [PATCH] abort.3: Note that the glibc implementation is not async-signal-safe
2023-08-25 12:32 ` Tomáš Golembiovský
@ 2023-08-25 17:53 ` Alejandro Colomar
0 siblings, 0 replies; 5+ messages in thread
From: Alejandro Colomar @ 2023-08-25 17:53 UTC (permalink / raw)
To: Tomáš Golembiovský
Cc: linux-man, Carlos O'Donell, Glibc, Gabriel Ravier
[-- Attachment #1.1: Type: text/plain, Size: 3375 bytes --]
Hi Tomáš, Gabriel,
On 2023-08-25 14:32, Tomáš Golembiovský wrote:
> On Thu, Aug 24, 2023 at 11:07:00PM +0100, Gabriel Ravier wrote:
>> On 8/22/23 17:26, Tomáš Golembiovský via Libc-alpha wrote:
>>> Hi,
>>>
>>> gentle reminder that this has not received any attention yet.
>> I assume this is because there are currently efforts to make glibc's
>> implementation async-signal-safe - which would make this proposed note quite
>> quickly inaccurate
I was actually waiting to see if anyone from glibc would comment.
As Tomáš said, I think this should be added even if glibc makes it
safe in the (near) future. When that happens, we should move that
to the HISTORY section.
>
> I suppose you're referring to this:
>
> https://inbox.sourceware.org/libc-alpha/20230803173436.4146900-1-adhemerval.zanella@linaro.org/
>
> I was not aware of that. Thanks for bringing that to my attention.
>
>> (though the fact it has been async-signal-unsafe until
>> now still seems notable enough to be mentioned here).
>
> Yes, even when this is fixed having a BUGS section with something like
> "In glibc X.Y.Z and earlier the function was not AS-safe.", might be a
> good idea.
>
> Tomas
Agree. As no-one from glibc commented, I'll take that as an implicit ack.
>
>>>
>>> Thanks,
>>>
>>> Tomas
>>>
>>> On Wed, Jul 26, 2023 at 01:55:27PM +0200, Tomáš Golembiovský wrote:
>>>> See https://sourceware.org/bugzilla/show_bug.cgi?id=26275
>>>>
>>>> Cc: Carlos O'Donell <carlos@redhat.com>
>>>> Cc: Glibc <libc-alpha@sourceware.org>
>>>> Signed-off-by: Tomáš Golembiovský <tgolembi@redhat.com>
>>>> ---
>>>> man3/abort.3 | 6 ++++++
>>>> man7/signal-safety.7 | 5 +++++
>>>> 2 files changed, 11 insertions(+)
>>>>
>>>> diff --git a/man3/abort.3 b/man3/abort.3
>>>> index 0b57e10ed..827d5c9db 100644
>>>> --- a/man3/abort.3
>>>> +++ b/man3/abort.3
>>>> @@ -85,6 +85,12 @@ terminates the process without flushing streams.
>>>> POSIX.1 permits either possible behavior, saying that
>>>> .BR abort ()
>>>> "may include an attempt to effect fclose() on all open streams".
>>>> +.SH BUGS
>>>> +The glibc implementation of
>>>> +.BR abort ()
>>>> +is not async-signal-safe,
>>>> +.\" FIXME . https://sourceware.org/bugzilla/show_bug.cgi?id=26275
What's that '.' for?
>>>> +in violation of the requirements of POSIX.1.
It seems to also be in violation of ISO C, per what the glibc bug claims.
Please also include the links to POSIX.1 and ISO C that confirm this.
Cheers,
Alex
>>>> .SH SEE ALSO
>>>> .BR gdb (1),
>>>> .BR sigaction (2),
>>>> diff --git a/man7/signal-safety.7 b/man7/signal-safety.7
>>>> index 3d6ddc7eb..431a22f89 100644
>>>> --- a/man7/signal-safety.7
>>>> +++ b/man7/signal-safety.7
>>>> @@ -335,6 +335,11 @@ The glibc implementation of
>>>> is not async-signal-safe because it uses
>>>> .BR pthread_mutex_lock (3)
>>>> internally.
>>>> +.IP \[bu]
>>>> +.\" FIXME . https://sourceware.org/bugzilla/show_bug.cgi?id=26275
>>>> +The glibc implementation of
>>>> +.BR abort (3)
>>>> +is not async-signal-safe.
>>>> .SH SEE ALSO
>>>> .BR sigaction (2),
>>>> .BR signal (7),
>>>> --
>>>> 2.41.0
>>>>
>>
>
--
<http://www.alejandro-colomar.es/>
GPG key fingerprint: A9348594CE31283A826FBDD8D57633D441E25BB5
[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 833 bytes --]
^ permalink raw reply [flat|nested] 5+ messages in thread
end of thread, other threads:[~2023-08-25 17:54 UTC | newest]
Thread overview: 5+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-07-26 11:55 [PATCH] abort.3: Note that the glibc implementation is not async-signal-safe Tomáš Golembiovský
2023-08-22 16:26 ` Tomáš Golembiovský
2023-08-24 22:07 ` Gabriel Ravier
2023-08-25 12:32 ` Tomáš Golembiovský
2023-08-25 17:53 ` Alejandro Colomar
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).