source: rtems/cpukit/posix/src/psignal.c @ 8b922aa

5
Last change on this file since 8b922aa was 8b922aa, checked in by Sebastian Huber <sebastian.huber@…>, on 04/05/16 at 04:58:16

posix: Fix _POSIX_signals_Check_signal()

Do not save and restore the thread wait information. This is
superfluous and may overwrite thread wait information updates due to
interrupts leading to system corruption.

  • Property mode set to 100644
File size: 7.7 KB
Line 
1/**
2 *  @file
3 *
4 *  @brief POSIX Signals Manager Initialization
5 *  @ingroup POSIX_SIGNALS
6 */
7
8/*
9 *  COPYRIGHT (c) 1989-2008.
10 *  On-Line Applications Research Corporation (OAR).
11 *
12 *  The license and distribution terms for this file may be
13 *  found in the file LICENSE in this distribution or at
14 *  http://www.rtems.org/license/LICENSE.
15 */
16
17#if HAVE_CONFIG_H
18#include "config.h"
19#endif
20
21#include <errno.h>
22#include <signal.h>
23#include <string.h>
24#include <stdlib.h>
25
26#include <rtems/score/isrlevel.h>
27#include <rtems/score/threadimpl.h>
28#include <rtems/score/threadqimpl.h>
29#include <rtems/score/watchdogimpl.h>
30#include <rtems/score/wkspace.h>
31#include <rtems/posix/threadsup.h>
32#include <rtems/posix/psignalimpl.h>
33#include <rtems/posix/pthreadimpl.h>
34#include <rtems/config.h>
35#include <rtems/seterr.h>
36#include <rtems/sysinit.h>
37
38/*
39 *  Ensure we have the same number of vectors and default vector entries
40 */
41RTEMS_STATIC_ASSERT(
42  sizeof( _POSIX_signals_Vectors ) == sizeof( _POSIX_signals_Default_vectors ),
43  posix_signals_vectors
44);
45
46/*** PROCESS WIDE STUFF ****/
47
48sigset_t  _POSIX_signals_Pending;
49
50void _POSIX_signals_Abnormal_termination_handler(
51  int signo RTEMS_UNUSED )
52{
53  exit( 1 );
54}
55
56#define SIG_ARRAY_MAX  (SIGRTMAX + 1)
57const struct sigaction _POSIX_signals_Default_vectors[ SIG_ARRAY_MAX ] = {
58  /* NO SIGNAL 0 */  SIGACTION_IGNORE,
59  /* SIGHUP    1 */  SIGACTION_TERMINATE,
60  /* SIGINT    2 */  SIGACTION_TERMINATE,
61  /* SIGQUIT   3 */  SIGACTION_TERMINATE,
62  /* SIGILL    4 */  SIGACTION_TERMINATE,
63  /* SIGTRAP   5 */  SIGACTION_TERMINATE,
64  /* SIGIOT    6 */  SIGACTION_TERMINATE,
65  /* SIGABRT   6     SIGACTION_TERMINATE, -- alias for SIGIOT */
66  /* SIGEMT    7 */  SIGACTION_TERMINATE,
67  /* SIGFPE    8 */  SIGACTION_TERMINATE,
68  /* SIGKILL   9 */  SIGACTION_TERMINATE,
69  /* SIGBUS   10 */  SIGACTION_TERMINATE,
70  /* SIGSEGV  11 */  SIGACTION_TERMINATE,
71  /* SIGSYS   12 */  SIGACTION_TERMINATE,
72  /* SIGPIPE  13 */  SIGACTION_TERMINATE,
73  /* SIGALRM  14 */  SIGACTION_TERMINATE,
74  /* SIGTERM  15 */  SIGACTION_TERMINATE,
75  /* SIGURG   16 */  SIGACTION_TERMINATE,
76  /* SIGSTOP  17 */  SIGACTION_TERMINATE,
77  /* SIGTSTP  18 */  SIGACTION_TERMINATE,
78  /* SIGCONT  19 */  SIGACTION_TERMINATE,
79  /* SIGCHLD  20 */  SIGACTION_TERMINATE,
80  /* SIGTTIN  21 */  SIGACTION_TERMINATE,
81  /* SIGTTOU  22 */  SIGACTION_TERMINATE,
82  /* SIGIO    23 */  SIGACTION_TERMINATE,
83  /* SIGWINCH 24 */  SIGACTION_TERMINATE,
84  /* SIGUSR1  25 */  SIGACTION_TERMINATE,
85  /* SIGUSR2  26 */  SIGACTION_TERMINATE,
86  /* SIGRT    27 */  SIGACTION_TERMINATE,
87  /* SIGRT    28 */  SIGACTION_TERMINATE,
88  /* SIGRT    29 */  SIGACTION_TERMINATE,
89  /* SIGRT    30 */  SIGACTION_TERMINATE,
90  /* SIGRTMAX 31 */  SIGACTION_TERMINATE
91};
92
93struct sigaction _POSIX_signals_Vectors[ SIG_ARRAY_MAX ];
94
95Thread_queue_Control _POSIX_signals_Wait_queue =
96  THREAD_QUEUE_INITIALIZER( "POSIX Signals" );
97
98Chain_Control _POSIX_signals_Inactive_siginfo;
99Chain_Control _POSIX_signals_Siginfo[ SIG_ARRAY_MAX ];
100
101/*
102 *  XXX - move these
103 */
104
105#define _States_Is_interruptible_signal( _states ) \
106  ( ((_states) & \
107    (STATES_WAITING_FOR_SIGNAL|STATES_INTERRUPTIBLE_BY_SIGNAL)) == \
108      (STATES_WAITING_FOR_SIGNAL|STATES_INTERRUPTIBLE_BY_SIGNAL))
109
110static void _POSIX_signals_Check_signal(
111  POSIX_API_Control  *api,
112  int                 signo,
113  bool                is_global
114)
115{
116  siginfo_t siginfo_struct;
117  sigset_t  saved_signals_unblocked;
118
119  if ( ! _POSIX_signals_Clear_signals( api, signo, &siginfo_struct,
120                                       is_global, true, true ) )
121    return;
122
123  /*
124   *  Since we made a union of these, only one test is necessary but this is
125   *  safer.
126   */
127  #if defined(RTEMS_DEBUG)
128    assert( _POSIX_signals_Vectors[ signo ].sa_handler ||
129            _POSIX_signals_Vectors[ signo ].sa_sigaction );
130  #endif
131
132  /*
133   *  Just to prevent sending a signal which is currently being ignored.
134   */
135  if ( _POSIX_signals_Vectors[ signo ].sa_handler == SIG_IGN )
136    return;
137
138  /*
139   *  Block the signals requested in sa_mask
140   */
141  saved_signals_unblocked = api->signals_unblocked;
142  api->signals_unblocked &= ~_POSIX_signals_Vectors[ signo ].sa_mask;
143
144  /*
145   *  Here, the signal handler function executes
146   */
147  switch ( _POSIX_signals_Vectors[ signo ].sa_flags ) {
148    case SA_SIGINFO:
149      (*_POSIX_signals_Vectors[ signo ].sa_sigaction)(
150        signo,
151        &siginfo_struct,
152        NULL        /* context is undefined per 1003.1b-1993, p. 66 */
153      );
154      break;
155    default:
156      (*_POSIX_signals_Vectors[ signo ].sa_handler)( signo );
157      break;
158  }
159
160  /*
161   *  Restore the previous set of unblocked signals
162   */
163  api->signals_unblocked = saved_signals_unblocked;
164}
165
166void _POSIX_signals_Action_handler(
167  Thread_Control  *executing,
168  Thread_Action   *action,
169  Per_CPU_Control *cpu,
170  ISR_Level        level
171)
172{
173  POSIX_API_Control  *api;
174  int                 signo;
175  ISR_lock_Context    lock_context;
176  int                 hold_errno;
177
178  (void) action;
179  _Thread_Action_release_and_ISR_enable( cpu, level );
180
181  api = executing->API_Extensions[ THREAD_API_POSIX ];
182
183  /*
184   *  We need to ensure that if the signal handler executes a call
185   *  which overwrites the unblocking status, we restore it.
186   */
187  hold_errno = executing->Wait.return_code;
188
189  /*
190   * api may be NULL in case of a thread close in progress
191   */
192  if ( !api )
193    return;
194
195  /*
196   *  In case the executing thread is blocked or about to block on something
197   *  that uses the thread wait information, then this is a kernel bug.
198   */
199  _Assert(
200    ( _Thread_Wait_flags_get( executing )
201      & ( THREAD_WAIT_STATE_BLOCKED | THREAD_WAIT_STATE_INTEND_TO_BLOCK ) ) == 0
202  );
203
204  /*
205   *  If we invoke any user code, there is the possibility that
206   *  a new signal has been posted that we should process so we
207   *  restart the loop if a signal handler was invoked.
208   *
209   *  The first thing done is to check there are any signals to be
210   *  processed at all.  No point in doing this loop otherwise.
211   */
212  while (1) {
213    _POSIX_signals_Acquire( &lock_context );
214      if ( !(api->signals_unblocked &
215            (api->signals_pending | _POSIX_signals_Pending)) ) {
216       _POSIX_signals_Release( &lock_context );
217       break;
218     }
219    _POSIX_signals_Release( &lock_context );
220
221    for ( signo = SIGRTMIN ; signo <= SIGRTMAX ; signo++ ) {
222      _POSIX_signals_Check_signal( api, signo, false );
223      _POSIX_signals_Check_signal( api, signo, true );
224    }
225    /* Unfortunately - nothing like __SIGFIRSTNOTRT in newlib signal .h */
226
227    for ( signo = SIGHUP ; signo <= __SIGLASTNOTRT ; signo++ ) {
228      _POSIX_signals_Check_signal( api, signo, false );
229      _POSIX_signals_Check_signal( api, signo, true );
230    }
231  }
232
233  executing->Wait.return_code = hold_errno;
234}
235
236static void _POSIX_signals_Manager_Initialization(void)
237{
238  uint32_t   signo;
239  uint32_t   maximum_queued_signals;
240
241  maximum_queued_signals = Configuration_POSIX_API.maximum_queued_signals;
242
243  memcpy(
244    _POSIX_signals_Vectors,
245    _POSIX_signals_Default_vectors,
246    sizeof( _POSIX_signals_Vectors )
247  );
248
249  /*
250   *  Initialize the set of pending signals for the entire process
251   */
252  sigemptyset( &_POSIX_signals_Pending );
253
254  /* XXX status codes */
255
256  /*
257   *  Allocate the siginfo pools.
258   */
259  for ( signo=1 ; signo<= SIGRTMAX ; signo++ )
260    _Chain_Initialize_empty( &_POSIX_signals_Siginfo[ signo ] );
261
262  if ( maximum_queued_signals ) {
263    _Chain_Initialize(
264      &_POSIX_signals_Inactive_siginfo,
265      _Workspace_Allocate_or_fatal_error(
266        maximum_queued_signals * sizeof( POSIX_signals_Siginfo_node )
267      ),
268      maximum_queued_signals,
269      sizeof( POSIX_signals_Siginfo_node )
270    );
271  } else {
272    _Chain_Initialize_empty( &_POSIX_signals_Inactive_siginfo );
273  }
274}
275
276RTEMS_SYSINIT_ITEM(
277  _POSIX_signals_Manager_Initialization,
278  RTEMS_SYSINIT_POSIX_SIGNALS,
279  RTEMS_SYSINIT_ORDER_MIDDLE
280);
Note: See TracBrowser for help on using the repository browser.