lwp_signal.c 27 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032
  1. /*
  2. * Copyright (c) 2006-2023, RT-Thread Development Team
  3. *
  4. * SPDX-License-Identifier: Apache-2.0
  5. *
  6. * Change Logs:
  7. * Date Author Notes
  8. * 2019-11-12 Jesven first version
  9. * 2023-02-23 Shell Support sigtimedwait
  10. * 2023-07-04 Shell Support siginfo, sigqueue
  11. * remove lwp_signal_backup/restore() to reduce architecture codes
  12. * update the generation, pending and delivery routines
  13. */
  14. #define DBG_TAG "LWP_SIGNAL"
  15. #define DBG_LVL DBG_INFO
  16. #include <rtdbg.h>
  17. #include <rthw.h>
  18. #include <rtthread.h>
  19. #include <string.h>
  20. #include "lwp.h"
  21. #include "lwp_arch.h"
  22. #include "lwp_signal.h"
  23. #include "sys/signal.h"
  24. #include "syscall_generic.h"
  25. static lwp_siginfo_t siginfo_create(int signo, int code, int value)
  26. {
  27. lwp_siginfo_t siginfo;
  28. struct rt_lwp *self_lwp;
  29. rt_thread_t self_thr;
  30. siginfo = rt_malloc(sizeof(*siginfo));
  31. if (siginfo)
  32. {
  33. siginfo->ksiginfo.signo = signo;
  34. siginfo->ksiginfo.code = code;
  35. siginfo->ksiginfo.value = value;
  36. self_lwp = lwp_self();
  37. self_thr = rt_thread_self();
  38. if (self_lwp)
  39. {
  40. siginfo->ksiginfo.from_pid = self_lwp->pid;
  41. siginfo->ksiginfo.from_tid = self_thr->tid;
  42. }
  43. else
  44. {
  45. siginfo->ksiginfo.from_pid = 0;
  46. siginfo->ksiginfo.from_tid = 0;
  47. }
  48. }
  49. return siginfo;
  50. }
  51. rt_inline void siginfo_delete(lwp_siginfo_t siginfo)
  52. {
  53. rt_free(siginfo);
  54. }
  55. rt_inline void _sigorsets(lwp_sigset_t *dset, const lwp_sigset_t *set0, const lwp_sigset_t *set1)
  56. {
  57. switch (_LWP_NSIG_WORDS)
  58. {
  59. case 4:
  60. dset->sig[3] = set0->sig[3] | set1->sig[3];
  61. dset->sig[2] = set0->sig[2] | set1->sig[2];
  62. case 2:
  63. dset->sig[1] = set0->sig[1] | set1->sig[1];
  64. case 1:
  65. dset->sig[0] = set0->sig[0] | set1->sig[0];
  66. default:
  67. return;
  68. }
  69. }
  70. rt_inline void _sigandsets(lwp_sigset_t *dset, const lwp_sigset_t *set0, const lwp_sigset_t *set1)
  71. {
  72. switch (_LWP_NSIG_WORDS)
  73. {
  74. case 4:
  75. dset->sig[3] = set0->sig[3] & set1->sig[3];
  76. dset->sig[2] = set0->sig[2] & set1->sig[2];
  77. case 2:
  78. dset->sig[1] = set0->sig[1] & set1->sig[1];
  79. case 1:
  80. dset->sig[0] = set0->sig[0] & set1->sig[0];
  81. default:
  82. return;
  83. }
  84. }
  85. rt_inline void _signotsets(lwp_sigset_t *dset, const lwp_sigset_t *set)
  86. {
  87. switch (_LWP_NSIG_WORDS)
  88. {
  89. case 4:
  90. dset->sig[3] = ~set->sig[3];
  91. dset->sig[2] = ~set->sig[2];
  92. case 2:
  93. dset->sig[1] = ~set->sig[1];
  94. case 1:
  95. dset->sig[0] = ~set->sig[0];
  96. default:
  97. return;
  98. }
  99. }
  100. rt_inline void _sigaddset(lwp_sigset_t *set, int _sig)
  101. {
  102. unsigned long sig = _sig - 1;
  103. if (_LWP_NSIG_WORDS == 1)
  104. {
  105. set->sig[0] |= 1UL << sig;
  106. }
  107. else
  108. {
  109. set->sig[sig / _LWP_NSIG_BPW] |= 1UL << (sig % _LWP_NSIG_BPW);
  110. }
  111. }
  112. rt_inline void _sigdelset(lwp_sigset_t *set, int _sig)
  113. {
  114. unsigned long sig = _sig - 1;
  115. if (_LWP_NSIG_WORDS == 1)
  116. {
  117. set->sig[0] &= ~(1UL << sig);
  118. }
  119. else
  120. {
  121. set->sig[sig / _LWP_NSIG_BPW] &= ~(1UL << (sig % _LWP_NSIG_BPW));
  122. }
  123. }
  124. rt_inline int _sigisemptyset(lwp_sigset_t *set)
  125. {
  126. switch (_LWP_NSIG_WORDS)
  127. {
  128. case 4:
  129. return (set->sig[3] | set->sig[2] |
  130. set->sig[1] | set->sig[0]) == 0;
  131. case 2:
  132. return (set->sig[1] | set->sig[0]) == 0;
  133. case 1:
  134. return set->sig[0] == 0;
  135. default:
  136. return 1;
  137. }
  138. }
  139. rt_inline int _sigismember(lwp_sigset_t *set, int _sig)
  140. {
  141. unsigned long sig = _sig - 1;
  142. if (_LWP_NSIG_WORDS == 1)
  143. {
  144. return 1 & (set->sig[0] >> sig);
  145. }
  146. else
  147. {
  148. return 1 & (set->sig[sig / _LWP_NSIG_BPW] >> (sig % _LWP_NSIG_BPW));
  149. }
  150. }
  151. rt_inline int _next_signal(lwp_sigset_t *pending, lwp_sigset_t *mask)
  152. {
  153. unsigned long i, *s, *m, x;
  154. int sig = 0;
  155. s = pending->sig;
  156. m = mask->sig;
  157. x = *s & ~*m;
  158. if (x)
  159. {
  160. sig = rt_hw_ffz(~x) + 1;
  161. return sig;
  162. }
  163. switch (_LWP_NSIG_WORDS)
  164. {
  165. default:
  166. for (i = 1; i < _LWP_NSIG_WORDS; ++i)
  167. {
  168. x = *++s &~ *++m;
  169. if (!x)
  170. continue;
  171. sig = rt_hw_ffz(~x) + i*_LWP_NSIG_BPW + 1;
  172. break;
  173. }
  174. break;
  175. case 2:
  176. x = s[1] &~ m[1];
  177. if (!x)
  178. break;
  179. sig = rt_hw_ffz(~x) + _LWP_NSIG_BPW + 1;
  180. break;
  181. case 1:
  182. /* Nothing to do */
  183. break;
  184. }
  185. return sig;
  186. }
  187. #define _SIGQ(tp) (&(tp)->signal.sig_queue)
  188. rt_inline int sigqueue_isempty(lwp_sigqueue_t sigqueue)
  189. {
  190. return _sigisemptyset(&sigqueue->sigset_pending);
  191. }
  192. rt_inline int sigqueue_ismember(lwp_sigqueue_t sigqueue, int signo)
  193. {
  194. return _sigismember(&sigqueue->sigset_pending, signo);
  195. }
  196. rt_inline int sigqueue_peek(lwp_sigqueue_t sigqueue, lwp_sigset_t *mask)
  197. {
  198. return _next_signal(&sigqueue->sigset_pending, mask);
  199. }
  200. rt_inline int sigqueue_examine(lwp_sigqueue_t sigqueue, lwp_sigset_t *pending)
  201. {
  202. lwp_sigset_t not_mask;
  203. int is_empty = sigqueue_isempty(sigqueue);
  204. if (!is_empty)
  205. {
  206. _sigorsets(pending, &sigqueue->sigset_pending, &not_mask);
  207. }
  208. return is_empty;
  209. }
  210. static void sigqueue_enqueue(lwp_sigqueue_t sigqueue, lwp_siginfo_t siginfo)
  211. {
  212. lwp_siginfo_t idx;
  213. rt_bool_t inserted = RT_FALSE;
  214. rt_list_for_each_entry(idx, &sigqueue->siginfo_list, node)
  215. {
  216. if (idx->ksiginfo.signo >= siginfo->ksiginfo.signo)
  217. {
  218. rt_list_insert_after(&idx->node, &siginfo->node);
  219. inserted = RT_TRUE;
  220. break;
  221. }
  222. }
  223. if (!inserted)
  224. rt_list_insert_before(&sigqueue->siginfo_list, &siginfo->node);
  225. _sigaddset(&sigqueue->sigset_pending, siginfo->ksiginfo.signo);
  226. return ;
  227. }
  228. /**
  229. * dequeue a siginfo matching the signo which is likely to be existed, and
  230. * test if any other siblings remains
  231. */
  232. static lwp_siginfo_t sigqueue_dequeue(lwp_sigqueue_t sigqueue, int signo)
  233. {
  234. lwp_siginfo_t found;
  235. lwp_siginfo_t candidate;
  236. lwp_siginfo_t next;
  237. rt_bool_t is_empty;
  238. found = RT_NULL;
  239. is_empty = RT_TRUE;
  240. rt_list_for_each_entry_safe(candidate, next, &sigqueue->siginfo_list, node)
  241. {
  242. if (candidate->ksiginfo.signo == signo)
  243. {
  244. if (found)
  245. {
  246. /* already found */
  247. is_empty = RT_FALSE;
  248. break;
  249. }
  250. else
  251. {
  252. /* found first */
  253. found = candidate;
  254. rt_list_remove(&found->node);
  255. }
  256. }
  257. else if (candidate->ksiginfo.signo > signo)
  258. break;
  259. }
  260. if (found && is_empty)
  261. _sigdelset(&sigqueue->sigset_pending, signo);
  262. return found;
  263. }
  264. static void sigqueue_discard(lwp_sigqueue_t sigqueue, int signo)
  265. {
  266. lwp_siginfo_t queuing_si;
  267. while (!sigqueue_isempty(sigqueue))
  268. {
  269. queuing_si = sigqueue_dequeue(sigqueue, signo);
  270. siginfo_delete(queuing_si);
  271. }
  272. }
  273. /* assuming that (void *) is compatible to long at length */
  274. RT_CTASSERT(lp_width_same, sizeof(void *) == sizeof(long));
  275. /** translate lwp siginfo to user siginfo_t */
  276. rt_inline void siginfo_k2u(lwp_siginfo_t ksigi, siginfo_t *usigi)
  277. {
  278. usigi->si_code = ksigi->ksiginfo.code;
  279. usigi->si_signo = ksigi->ksiginfo.signo;
  280. usigi->si_value.sival_ptr = (void *)ksigi->ksiginfo.value;
  281. usigi->si_pid = ksigi->ksiginfo.from_pid;
  282. /* deprecated field */
  283. usigi->si_errno = 0;
  284. }
  285. /* must called in locked context */
  286. rt_inline lwp_sighandler_t _get_sighandler_locked(struct rt_lwp *lwp, int signo)
  287. {
  288. return lwp->signal.sig_action[signo - 1];
  289. }
  290. static lwp_sigset_t *_mask_block_fn(rt_thread_t thread, const lwp_sigset_t *sigset, lwp_sigset_t *new_set)
  291. {
  292. _sigorsets(new_set, &thread->signal.sigset_mask, sigset);
  293. return new_set;
  294. }
  295. static lwp_sigset_t *_mask_unblock_fn(rt_thread_t thread, const lwp_sigset_t *sigset, lwp_sigset_t *new_set)
  296. {
  297. lwp_sigset_t complement;
  298. _signotsets(&complement, sigset);
  299. _sigandsets(new_set, &thread->signal.sigset_mask, &complement);
  300. return new_set;
  301. }
  302. static lwp_sigset_t *_mask_set_fn(rt_thread_t thread, const lwp_sigset_t *sigset, lwp_sigset_t *new_set)
  303. {
  304. memcpy(new_set, sigset, sizeof(*sigset));
  305. return new_set;
  306. }
  307. static lwp_sigset_t *(*_sig_mask_fn[__LWP_SIG_MASK_CMD_WATERMARK])
  308. (rt_thread_t thread, const lwp_sigset_t *sigset, lwp_sigset_t *new_set) = {
  309. [LWP_SIG_MASK_CMD_BLOCK] = _mask_block_fn,
  310. [LWP_SIG_MASK_CMD_UNBLOCK] = _mask_unblock_fn,
  311. [LWP_SIG_MASK_CMD_SET_MASK] = _mask_set_fn,
  312. };
  313. static void _thread_signal_mask(rt_thread_t thread, lwp_sig_mask_cmd_t how,
  314. const lwp_sigset_t *sigset, lwp_sigset_t *oset)
  315. {
  316. lwp_sigset_t new_set;
  317. /**
  318. * @note POSIX wants this API to be capable to query the current mask
  319. * by passing NULL in `sigset`
  320. */
  321. if (oset)
  322. memcpy(oset, &thread->signal.sigset_mask, sizeof(lwp_sigset_t));
  323. if (sigset)
  324. {
  325. _sig_mask_fn[how](thread, sigset, &new_set);
  326. /* remove un-maskable signal from set */
  327. _sigdelset(&new_set, SIGKILL);
  328. _sigdelset(&new_set, SIGSTOP);
  329. memcpy(&thread->signal.sigset_mask, &new_set, sizeof(lwp_sigset_t));
  330. }
  331. }
  332. void lwp_sigqueue_clear(lwp_sigqueue_t sigq)
  333. {
  334. lwp_siginfo_t this, next;
  335. if (!sigqueue_isempty(sigq))
  336. {
  337. rt_list_for_each_entry_safe(this, next, &sigq->siginfo_list, node)
  338. {
  339. siginfo_delete(this);
  340. }
  341. }
  342. }
  343. rt_err_t lwp_signal_init(struct lwp_signal *sig)
  344. {
  345. rt_err_t rc;
  346. rc = rt_mutex_init(&sig->sig_lock, "lwpsig", RT_IPC_FLAG_FIFO);
  347. if (rc == RT_EOK)
  348. {
  349. memset(&sig->sig_dispatch_thr, 0, sizeof(sig->sig_dispatch_thr));
  350. memset(&sig->sig_action, 0, sizeof(sig->sig_action));
  351. memset(&sig->sig_action_nodefer, 0, sizeof(sig->sig_action_nodefer));
  352. memset(&sig->sig_action_onstack, 0, sizeof(sig->sig_action_onstack));
  353. memset(&sig->sig_action_restart, 0, sizeof(sig->sig_action_restart));
  354. memset(&sig->sig_action_siginfo, 0, sizeof(sig->sig_action_siginfo));
  355. lwp_sigqueue_init(&sig->sig_queue);
  356. }
  357. return rc;
  358. }
  359. rt_err_t lwp_signal_detach(struct lwp_signal *signal)
  360. {
  361. rt_err_t ret;
  362. lwp_sigqueue_clear(&signal->sig_queue);
  363. ret = rt_mutex_detach(&signal->sig_lock);
  364. return ret;
  365. }
  366. int lwp_thread_signal_suspend_check(rt_thread_t thread, int suspend_flag)
  367. {
  368. struct rt_lwp *lwp = (struct rt_lwp*)thread->lwp;
  369. int ret = 0;
  370. switch (suspend_flag)
  371. {
  372. case RT_INTERRUPTIBLE:
  373. if (!sigqueue_isempty(_SIGQ(thread)))
  374. {
  375. break;
  376. }
  377. if (thread->lwp && !sigqueue_isempty(_SIGQ(lwp)))
  378. {
  379. break;
  380. }
  381. ret = 1;
  382. break;
  383. case RT_KILLABLE:
  384. if (sigqueue_ismember(_SIGQ(thread), SIGKILL))
  385. {
  386. break;
  387. }
  388. if (thread->lwp && sigqueue_ismember(_SIGQ(lwp), SIGKILL))
  389. {
  390. break;
  391. }
  392. ret = 1;
  393. break;
  394. case RT_UNINTERRUPTIBLE:
  395. ret = 1;
  396. break;
  397. default:
  398. RT_ASSERT(0);
  399. break;
  400. }
  401. return ret;
  402. }
  403. void lwp_thread_signal_catch(void *exp_frame)
  404. {
  405. rt_base_t level;
  406. int signo;
  407. struct rt_thread *thread;
  408. struct rt_lwp *lwp;
  409. lwp_siginfo_t siginfo;
  410. lwp_sigqueue_t pending;
  411. lwp_sigset_t *sig_mask;
  412. lwp_sigset_t save_sig_mask;
  413. lwp_sigset_t new_sig_mask;
  414. lwp_sighandler_t handler;
  415. siginfo_t usiginfo;
  416. siginfo_t *p_usi;
  417. thread = rt_thread_self();
  418. lwp = (struct rt_lwp*)thread->lwp;
  419. RT_ASSERT(!!lwp);
  420. level = rt_hw_interrupt_disable();
  421. /* check if signal exist */
  422. if (!sigqueue_isempty(_SIGQ(thread)))
  423. {
  424. pending = _SIGQ(thread);
  425. sig_mask = &thread->signal.sigset_mask;
  426. }
  427. else if (!sigqueue_isempty(_SIGQ(lwp)))
  428. {
  429. pending = _SIGQ(lwp);
  430. sig_mask = &thread->signal.sigset_mask;
  431. }
  432. else
  433. {
  434. pending = RT_NULL;
  435. }
  436. if (pending)
  437. {
  438. /* peek the pending signal */
  439. signo = sigqueue_peek(pending, sig_mask);
  440. if (signo)
  441. {
  442. siginfo = sigqueue_dequeue(pending, signo);
  443. RT_ASSERT(siginfo != RT_NULL);
  444. handler = _get_sighandler_locked(lwp, signo);
  445. /* IGN signal will never be queued */
  446. RT_ASSERT(handler != LWP_SIG_ACT_IGN);
  447. /* copy the blocked signal mask from the registered signal action */
  448. memcpy(&new_sig_mask, &lwp->signal.sig_action_mask[signo - 1], sizeof(new_sig_mask));
  449. if (!_sigismember(&lwp->signal.sig_action_nodefer, signo))
  450. _sigaddset(&new_sig_mask, signo);
  451. _thread_signal_mask(thread, LWP_SIG_MASK_CMD_BLOCK, &new_sig_mask, &save_sig_mask);
  452. /* siginfo is need for signal action */
  453. if (_sigismember(&lwp->signal.sig_action_siginfo, signo))
  454. {
  455. siginfo_k2u(siginfo, &usiginfo);
  456. p_usi = &usiginfo;
  457. }
  458. else
  459. p_usi = RT_NULL;
  460. }
  461. }
  462. rt_hw_interrupt_enable(level);
  463. if (pending && signo)
  464. {
  465. siginfo_delete(siginfo);
  466. /* signal default handler */
  467. if (handler == LWP_SIG_ACT_DFL)
  468. {
  469. LOG_D("%s: default handler; and exit", __func__);
  470. sys_exit(0);
  471. }
  472. /**
  473. * enter signal action of user
  474. * @note that the p_usi is release before entering signal action by
  475. * reseting the kernel sp.
  476. */
  477. arch_thread_signal_enter(signo, p_usi, exp_frame, handler, &save_sig_mask);
  478. /* the arch_thread_signal_enter() never return */
  479. RT_ASSERT(0);
  480. }
  481. }
  482. static int _do_signal_wakeup(rt_thread_t thread, int sig)
  483. {
  484. int need_schedule;
  485. if ((thread->stat & RT_THREAD_SUSPEND_MASK) == RT_THREAD_SUSPEND_MASK)
  486. {
  487. if ((thread->stat & RT_SIGNAL_COMMON_WAKEUP_MASK) != RT_SIGNAL_COMMON_WAKEUP_MASK)
  488. {
  489. rt_thread_wakeup(thread);
  490. need_schedule = 1;
  491. }
  492. else if ((sig == SIGKILL) && ((thread->stat & RT_SIGNAL_KILL_WAKEUP_MASK) != RT_SIGNAL_KILL_WAKEUP_MASK))
  493. {
  494. rt_thread_wakeup(thread);
  495. need_schedule = 1;
  496. }
  497. else
  498. {
  499. need_schedule = 0;
  500. }
  501. }
  502. else
  503. need_schedule = 0;
  504. return need_schedule;
  505. }
  506. /** find a candidate to be notified of the arrival */
  507. static rt_thread_t _signal_find_catcher(struct rt_lwp *lwp, int signo)
  508. {
  509. rt_thread_t catcher = RT_NULL;
  510. rt_thread_t candidate;
  511. candidate = lwp->signal.sig_dispatch_thr[signo - 1];
  512. if (candidate != RT_NULL && !_sigismember(&candidate->signal.sigset_mask, signo))
  513. {
  514. catcher = candidate;
  515. }
  516. else
  517. {
  518. candidate = rt_thread_self();
  519. /** @note: lwp of current is a const value that can be safely read */
  520. if (candidate->lwp == lwp &&
  521. !_sigismember(&candidate->signal.sigset_mask, signo))
  522. {
  523. catcher = candidate;
  524. }
  525. else
  526. {
  527. rt_list_for_each_entry(candidate, &lwp->t_grp, sibling)
  528. {
  529. if (!_sigismember(&candidate->signal.sigset_mask, signo))
  530. {
  531. catcher = candidate;
  532. break;
  533. }
  534. }
  535. /* fall back to main thread */
  536. if (catcher == RT_NULL)
  537. catcher = rt_list_entry(lwp->t_grp.prev, struct rt_thread, sibling);
  538. }
  539. /* reset the cache thread to catcher (even if catcher is main thread) */
  540. lwp->signal.sig_dispatch_thr[signo - 1] = catcher;
  541. }
  542. return catcher;
  543. }
  544. static int _siginfo_deliver_to_lwp(struct rt_lwp *lwp, lwp_siginfo_t siginfo)
  545. {
  546. rt_thread_t catcher;
  547. catcher = _signal_find_catcher(lwp, siginfo->ksiginfo.signo);
  548. sigqueue_enqueue(&lwp->signal.sig_queue, siginfo);
  549. return _do_signal_wakeup(catcher, siginfo->ksiginfo.signo);
  550. }
  551. static int _siginfo_deliver_to_thread(struct rt_lwp *lwp, rt_thread_t thread, lwp_siginfo_t siginfo)
  552. {
  553. sigqueue_enqueue(_SIGQ(thread), siginfo);
  554. return _do_signal_wakeup(thread, siginfo->ksiginfo.signo);
  555. }
  556. rt_inline rt_bool_t _sighandler_is_ignored(struct rt_lwp *lwp, int signo)
  557. {
  558. rt_bool_t is_ignored;
  559. lwp_sighandler_t action;
  560. lwp_sigset_t ign_set = lwp_sigset_init(LWP_SIG_IGNORE_SET);
  561. action = _get_sighandler_locked(lwp, signo);
  562. if (action == LWP_SIG_ACT_IGN)
  563. is_ignored = RT_TRUE;
  564. else if (action == LWP_SIG_ACT_DFL && _sigismember(&ign_set, signo))
  565. is_ignored = RT_TRUE;
  566. else
  567. is_ignored = RT_FALSE;
  568. return is_ignored;
  569. }
  570. rt_inline rt_bool_t _sighandler_cannot_caught(struct rt_lwp *lwp, int signo)
  571. {
  572. return signo == SIGKILL || signo == SIGSTOP;
  573. }
  574. rt_err_t lwp_signal_kill(struct rt_lwp *lwp, long signo, long code, long value)
  575. {
  576. rt_err_t ret = -1;
  577. rt_base_t level;
  578. lwp_siginfo_t siginfo;
  579. rt_bool_t terminated;
  580. rt_bool_t need_schedule;
  581. /** must be able to be suspended */
  582. RT_DEBUG_SCHEDULER_AVAILABLE(RT_TRUE);
  583. if (!lwp || signo < 0 || signo >= _LWP_NSIG)
  584. {
  585. ret = -RT_EINVAL;
  586. }
  587. else
  588. {
  589. need_schedule = RT_FALSE;
  590. /* FIXME: acquire READ lock to lwp */
  591. level = rt_hw_interrupt_disable();
  592. terminated = lwp->terminated;
  593. /* short-circuit code for inactive task, ignored signals */
  594. if (terminated || _sighandler_is_ignored(lwp, signo))
  595. {
  596. ret = 0;
  597. }
  598. else
  599. {
  600. siginfo = siginfo_create(signo, code, value);
  601. if (siginfo)
  602. {
  603. need_schedule = _siginfo_deliver_to_lwp(lwp, siginfo);
  604. ret = 0;
  605. }
  606. else
  607. {
  608. LOG_I("%s: siginfo malloc failed", __func__);
  609. ret = -RT_ENOMEM;
  610. }
  611. }
  612. rt_hw_interrupt_enable(level);
  613. if (need_schedule)
  614. rt_schedule();
  615. }
  616. return ret;
  617. }
  618. static void _signal_action_flag_k2u(int signo, struct lwp_signal *signal, struct lwp_sigaction *act)
  619. {
  620. long flags = 0;
  621. if (_sigismember(&signal->sig_action_nodefer, signo))
  622. flags |= SA_NODEFER;
  623. if (_sigismember(&signal->sig_action_onstack, signo))
  624. flags |= SA_ONSTACK;
  625. if (_sigismember(&signal->sig_action_restart, signo))
  626. flags |= SA_RESTART;
  627. if (_sigismember(&signal->sig_action_siginfo, signo))
  628. flags |= SA_SIGINFO;
  629. act->sa_flags = flags;
  630. }
  631. static void _signal_action_flag_u2k(int signo, struct lwp_signal *signal, const struct lwp_sigaction *act)
  632. {
  633. long flags = act->sa_flags;
  634. if (flags & SA_NODEFER)
  635. _sigaddset(&signal->sig_action_nodefer, signo);
  636. if (flags & SA_ONSTACK)
  637. _sigaddset(&signal->sig_action_onstack, signo);
  638. if (flags & SA_RESTART)
  639. _sigaddset(&signal->sig_action_restart, signo);
  640. if (flags & SA_SIGINFO)
  641. _sigaddset(&signal->sig_action_siginfo, signo);
  642. }
  643. rt_err_t lwp_signal_action(struct rt_lwp *lwp, int signo,
  644. const struct lwp_sigaction *restrict act,
  645. struct lwp_sigaction *restrict oact)
  646. {
  647. lwp_sighandler_t prev_handler;
  648. lwp_sigqueue_t thread_sigq;
  649. rt_list_t *thread_list;
  650. rt_err_t ret = RT_EOK;
  651. rt_base_t level;
  652. if (lwp)
  653. {
  654. /** acquire READ access to lwp */
  655. level = rt_hw_interrupt_disable();
  656. if (oact)
  657. {
  658. oact->sa_mask = lwp->signal.sig_action_mask[signo - 1];
  659. oact->__sa_handler._sa_handler = lwp->signal.sig_action[signo - 1];
  660. oact->sa_restorer = RT_NULL;
  661. _signal_action_flag_k2u(signo, &lwp->signal, oact);
  662. }
  663. if (act)
  664. {
  665. /**
  666. * @note POSIX.1-2017 requires calls to sigaction() that supply a NULL act
  667. * argument succeed, even in the case of signals that cannot be caught or ignored
  668. */
  669. if (_sighandler_cannot_caught(lwp, signo))
  670. ret = -RT_EINVAL;
  671. else
  672. {
  673. prev_handler = _get_sighandler_locked(lwp, signo);
  674. lwp->signal.sig_action_mask[signo - 1] = act->sa_mask;
  675. if (act->__sa_handler._sa_handler == SIG_IGN)
  676. lwp->signal.sig_action[signo - 1] = LWP_SIG_ACT_IGN;
  677. else
  678. lwp->signal.sig_action[signo - 1] = act->__sa_handler._sa_handler;
  679. _signal_action_flag_u2k(signo, &lwp->signal, act);
  680. /**
  681. * @brief Discard the pending signal if signal action is set to SIG_IGN
  682. *
  683. * @note POSIX.1-2017: Setting a signal action to SIG_IGN for a signal
  684. * that is pending shall cause the pending signal to be discarded,
  685. * whether or not it is blocked.
  686. */
  687. if (prev_handler != LWP_SIG_ACT_IGN &&
  688. _get_sighandler_locked(lwp, signo) == LWP_SIG_ACT_IGN)
  689. {
  690. sigqueue_discard(_SIGQ(lwp), signo);
  691. for (thread_list = lwp->t_grp.next;
  692. thread_list != &lwp->t_grp;
  693. thread_list = thread_list->next)
  694. {
  695. thread_sigq = _SIGQ(rt_list_entry(thread_list, struct rt_thread, sibling));
  696. sigqueue_discard(thread_sigq, signo);
  697. }
  698. }
  699. }
  700. }
  701. rt_hw_interrupt_enable(level);
  702. }
  703. else
  704. ret = -RT_EINVAL;
  705. return ret;
  706. }
  707. rt_err_t lwp_thread_signal_kill(rt_thread_t thread, long signo, long code, long value)
  708. {
  709. rt_err_t ret = -1;
  710. rt_base_t level;
  711. struct rt_lwp *lwp;
  712. lwp_siginfo_t siginfo;
  713. rt_bool_t need_schedule;
  714. /** must be able to be suspended */
  715. RT_DEBUG_SCHEDULER_AVAILABLE(RT_TRUE);
  716. if (!thread || signo < 0 || signo >= _LWP_NSIG)
  717. {
  718. ret = -RT_EINVAL;
  719. }
  720. else
  721. {
  722. lwp = thread->lwp;
  723. need_schedule = RT_FALSE;
  724. RT_ASSERT(lwp);
  725. /* FIXME: acquire READ lock to lwp */
  726. level = rt_hw_interrupt_disable();
  727. if (!lwp)
  728. ret = -RT_EPERM;
  729. else if (lwp->terminated || _sighandler_is_ignored(lwp, signo))
  730. ret = 0;
  731. else
  732. {
  733. siginfo = siginfo_create(signo, code, value);
  734. if (siginfo)
  735. {
  736. need_schedule = _siginfo_deliver_to_thread(lwp, thread, siginfo);
  737. ret = 0;
  738. }
  739. else
  740. {
  741. LOG_I("%s: siginfo malloc failed", __func__);
  742. ret = -RT_ENOMEM;
  743. }
  744. }
  745. rt_hw_interrupt_enable(level);
  746. if (need_schedule)
  747. rt_schedule();
  748. }
  749. return ret;
  750. }
  751. #ifndef ARCH_MM_MMU
  752. void lwp_thread_sighandler_set(int sig, lwp_sighandler_t func)
  753. {
  754. rt_base_t level;
  755. if (sig == 0 || sig > _LWP_NSIG)
  756. return;
  757. level = rt_hw_interrupt_disable();
  758. rt_thread_self()->signal_handler[sig - 1] = func;
  759. rt_hw_interrupt_enable(level);
  760. }
  761. #endif
  762. rt_err_t lwp_thread_signal_mask(rt_thread_t thread, lwp_sig_mask_cmd_t how,
  763. const lwp_sigset_t *sigset, lwp_sigset_t *oset)
  764. {
  765. rt_err_t ret = -1;
  766. rt_base_t level;
  767. struct rt_lwp *lwp;
  768. if (thread)
  769. {
  770. /** FIXME: acquire READ access to rt_thread */
  771. level = rt_hw_interrupt_disable();
  772. lwp = (struct rt_lwp*)thread->lwp;
  773. if (!lwp)
  774. {
  775. ret = -RT_EPERM;
  776. }
  777. else
  778. {
  779. ret = 0;
  780. _thread_signal_mask(thread, how, sigset, oset);
  781. }
  782. rt_hw_interrupt_enable(level);
  783. }
  784. else
  785. ret = -RT_EINVAL;
  786. return ret;
  787. }
  788. static int _dequeue_signal(rt_thread_t thread, lwp_sigset_t *mask, siginfo_t *usi)
  789. {
  790. int signo;
  791. lwp_siginfo_t si;
  792. struct rt_lwp *lwp;
  793. lwp_sigset_t *pending;
  794. pending = &_SIGQ(thread)->sigset_pending;
  795. signo = _next_signal(pending, mask);
  796. if (!signo)
  797. {
  798. lwp = thread->lwp;
  799. RT_ASSERT(lwp);
  800. pending = &_SIGQ(lwp)->sigset_pending;
  801. signo = _next_signal(pending, mask);
  802. }
  803. if (!signo)
  804. return signo;
  805. si = sigqueue_dequeue(_SIGQ(thread), signo);
  806. RT_ASSERT(!!si);
  807. siginfo_k2u(si, usi);
  808. siginfo_delete(si);
  809. return signo;
  810. }
  811. rt_err_t lwp_thread_signal_timedwait(rt_thread_t thread, lwp_sigset_t *sigset,
  812. siginfo_t *usi, struct timespec *timeout)
  813. {
  814. LOG_D("%s", __func__);
  815. rt_base_t level;
  816. rt_err_t ret;
  817. int sig;
  818. /**
  819. * @brief POSIX
  820. * If one of the signals in set is already pending for the calling thread,
  821. * sigwaitinfo() will return immediately
  822. */
  823. /* Create a mask of signals user dont want or cannot catch */
  824. _sigdelset(sigset, SIGKILL);
  825. _sigdelset(sigset, SIGSTOP);
  826. _signotsets(sigset, sigset);
  827. /* FIXME: acquire READ lock to lwp */
  828. level = rt_hw_interrupt_disable();
  829. sig = _dequeue_signal(thread, sigset, usi);
  830. rt_hw_interrupt_enable(level);
  831. if (sig)
  832. return sig;
  833. /* WARNING atomic problem, what if pending signal arrives before we sleep */
  834. /**
  835. * @brief POSIX
  836. * if none of the signals specified by set are pending, sigtimedwait() shall
  837. * wait for the time interval specified in the timespec structure referenced
  838. * by timeout.
  839. */
  840. if (timeout)
  841. {
  842. /* TODO: verify timeout valid ? not overflow 32bits, nanosec valid, ... */
  843. rt_uint32_t time;
  844. time = rt_timespec_to_tick(timeout);
  845. /**
  846. * @brief POSIX
  847. * If the timespec structure pointed to by timeout is zero-valued and
  848. * if none of the signals specified by set are pending, then
  849. * sigtimedwait() shall return immediately with an error
  850. */
  851. if (time == 0)
  852. return -EAGAIN;
  853. ret = rt_thread_suspend_with_flag(thread, RT_INTERRUPTIBLE);
  854. rt_timer_control(&(thread->thread_timer),
  855. RT_TIMER_CTRL_SET_TIME,
  856. &timeout);
  857. rt_timer_start(&(thread->thread_timer));
  858. }
  859. else
  860. {
  861. /* suspend kernel forever until signal was received */
  862. ret = rt_thread_suspend_with_flag(thread, RT_INTERRUPTIBLE);
  863. }
  864. if (ret == RT_EOK)
  865. {
  866. rt_schedule();
  867. ret = -EAGAIN;
  868. }
  869. /* else ret == -EINTR */
  870. /* FIXME: acquire READ lock to lwp */
  871. level = rt_hw_interrupt_disable();
  872. sig = _dequeue_signal(thread, sigset, usi);
  873. rt_hw_interrupt_enable(level);
  874. return sig ? sig : ret;
  875. }
  876. void lwp_thread_signal_pending(rt_thread_t thread, lwp_sigset_t *pending)
  877. {
  878. struct rt_lwp *lwp;
  879. lwp = thread->lwp;
  880. if (lwp)
  881. {
  882. memset(pending, 0, sizeof(*pending));
  883. sigqueue_examine(_SIGQ(thread), pending);
  884. sigqueue_examine(_SIGQ(lwp), pending);
  885. }
  886. }