Path: ...!weretis.net!feeder9.news.weretis.net!news.quux.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Kaz Kylheku <643-408-1753@kylheku.com>
Newsgroups: comp.unix.programmer
Subject: Re: signal handling issues
Date: Thu, 30 Jan 2025 19:44:45 -0000 (UTC)
Organization: A noiseless patient Spider
Lines: 29
Message-ID: <20250130113438.837@kylheku.com>
References: <874j1g18x2.fsf@doppelsaurus.mobileactivedefense.com>
Injection-Date: Thu, 30 Jan 2025 20:44:45 +0100 (CET)
Injection-Info: dont-email.me; posting-host="9310f18509fa405feb631b773561bd6d";
	logging-data="3255939"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19owJJGEVpNw8zHAJ54ymcZQx/93Ydl6bo="
User-Agent: slrn/pre1.0.4-9 (Linux)
Cancel-Lock: sha1:HAqlTt7VvHGRcyakJfFMIW5sgRU=
Bytes: 2166

On 2025-01-30, Rainer Weikusat <rweikusat@talktalk.net> wrote:
> despite the statement from version 6 was retained as is. These two
> requirements seem to contradict each other. It would also be

The older requirement can be interpreted as saying that if a signal goes
off, and the only functions in the interrupted call stack are async-safe
functions, then the handler may call async-unsafe functions.
This situation is outside of the conditions for undefined behavior
given in that requirement (handler calling unsafe, while interrupting
unsafe).

The newer requirement seems to say that if an asynchronous signal goes
off, the handler may not call async-unsafe functions, regardless of what
is in the call stack. Even if no POSIX function at all has been
interrupted (only the application's own code), the behavior is undefined
if an unsafe function is called.

So yes, these requirements conflict.

> [I think this should be reported as a defect but there doesn't seem to
> be a way to do that or at least no obvious way.]

Austin Group mailing list or whatever.


-- 
TXR Programming Language: http://nongnu.org/txr
Cygnal: Cygwin Native Application Library: http://kylheku.com/cygnal
Mastodon: @Kazinator@mstdn.ca