diff mbox

[4/4] manual/setjmp.texi: Clarify setcontext and signal handlers text

Message ID 1394707543-9690-4-git-send-email-will.newton@linaro.org
State Superseded
Headers show

Commit Message

Will Newton March 13, 2014, 10:45 a.m. UTC
Calling setcontext from a signal handler can be done safely so
it is sufficient to note that it is not recommended.

Also mention in setcontext documentation that restoring a context
created by a call to a signal handler is undefined.

2014-03-13  Will Newton  <will.newton@linaro.org>

	* manual/setjmp.texi (System V contexts): Add note that
	calling setcontext on a context created by a call to a
	signal handler is undefined.  Update text to note that
	setcontext from a signal handler is possible but not
	recommended.
---
 manual/setjmp.texi | 19 +++++++++++--------
 1 file changed, 11 insertions(+), 8 deletions(-)

Comments

Andreas Schwab March 13, 2014, 12:03 p.m. UTC | #1
Will Newton <will.newton@linaro.org> writes:

> Calling setcontext from a signal handler can be done safely so
> it is sufficient to note that it is not recommended.
>
> Also mention in setcontext documentation that restoring a context
> created by a call to a signal handler is undefined.

Unspecified and undefined are different concepts.  Unspecified means
that the input is still valid, and the implementation must react in a
defined way, but the standard doesn't say how.  Undefined means that the
input is invalid, and the result is unpredictable.

Andreas.
Will Newton March 13, 2014, 1:02 p.m. UTC | #2
On 13 March 2014 20:03, Andreas Schwab <schwab@linux-m68k.org> wrote:
> Will Newton <will.newton@linaro.org> writes:
>
>> Calling setcontext from a signal handler can be done safely so
>> it is sufficient to note that it is not recommended.
>>
>> Also mention in setcontext documentation that restoring a context
>> created by a call to a signal handler is undefined.
>
> Unspecified and undefined are different concepts.  Unspecified means
> that the input is still valid, and the implementation must react in a
> defined way, but the standard doesn't say how.  Undefined means that the
> input is invalid, and the result is unpredictable.

Ok, I will update the patch.

Do you know where this distinction is defined?
Andreas Schwab March 13, 2014, 1:24 p.m. UTC | #3
Will Newton <will.newton@linaro.org> writes:

> Do you know where this distinction is defined?

Section 1.5 Terminology.

Andreas.
diff mbox

Patch

diff --git a/manual/setjmp.texi b/manual/setjmp.texi
index 9446abc..fe59c47 100644
--- a/manual/setjmp.texi
+++ b/manual/setjmp.texi
@@ -396,6 +396,9 @@  time of the call.  If @code{uc_link} was a null pointer the application
 terminates normally with an exit status value of @code{EXIT_SUCCESS}
 (@pxref{Program Termination}).
 
+If the context was created by a call to a signal handler or from any
+other source then the behaviour of @code{setcontext} is undefined.
+
 Since the context contains information about the stack no two threads
 should use the same context at the same time.  The result in most cases
 would be disastrous.
@@ -483,11 +486,11 @@  and then resume where execution was stopped.
 This an example how the context functions can be used to implement
 co-routines or cooperative multi-threading.  All that has to be done is
 to call every once in a while @code{swapcontext} to continue running a
-different context.  It is not allowed to do the context switching from
-the signal handler directly since neither @code{setcontext} nor
-@code{swapcontext} are functions which can be called from a signal
-handler.  But setting a variable in the signal handler and checking it
-in the body of the functions which are executed is OK.  Since
-@code{swapcontext} is saving the current context it is possible to have
-multiple different scheduling points in the code.  Execution will always
-resume where it was left.
+different context.  It is not recommended to do the context switching from
+the signal handler directly since leaving the signal handler via
+@code{setcontext} if the signal was delivered during code that was not
+asynchronous signal safe could lead to problems. Setting a variable in
+the signal handler and checking it in the body of the functions which
+are executed is a safer approach.  Since @code{swapcontext} is saving the
+current context it is possible to have multiple different scheduling points
+in the code.  Execution will always resume where it was left.