[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <a2f155e5-d1e8-f039-65c3-11cffbb0ba3b@dereferenced.org>
Date: Sun, 9 Aug 2020 18:28:17 -0600
From: Ariadne Conill <ariadne@...eferenced.org>
To: musl@...ts.openwall.com
Subject: Re: Revisiting sigaltstack and implementation-internal signals
Hello,
On 2020-08-08 18:39, Rich Felker wrote:
> It's come up again, via Go this time (see
> https://github.com/golang/go/issues/39857), that it would be nice to
> have musl use the alternate signal stack for implementation-internal
> signals. I've previously wanted to do this, but been unclear on (1)
> whether it's permissible for the implementation to touch the
> application-provided alternate stack when there is no signal delivered
> on it (possibly not even any signal handlers installed), and (2)
> whether we should care about breaking code that swaps off of and back
> onto the alternate signal stack with swapcontext.
>
> In regards to question (1), I believe this language from the
> specification of sigaltstack is sufficient to resolve it:
>
> "The range of addresses starting at ss_sp up to but not including
> ss_sp+ ss_size is available to the implementation for use as the
> stack."
>
> I read "available to the implementation" as implying that the
> application can make no assumptions about values previously stored in
> the memory being retained.
This seems like a reasonable position.
> This still leaves (2) open, as well as whether there are any other
> reasons why we shouldn't have implementation-internal signals using
> the alternate stack.
In my opinion, mixing stacks with ucontext calls and sigaltstack is
undefined behavior. There is no way to guarantee the safety of such
operations, or at least none that I can think of.
So personally, I think if people do that, they are basically asking for
problems, and we have no obligation to fix those problems.
Ariadne
Powered by blists - more mailing lists
Confused about mailing lists and their use?
Read about mailing lists on Wikipedia
and check out these
guidelines on proper formatting of your messages.
