lwp_signal.c 28 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071
  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. int is_empty = sigqueue_isempty(sigqueue);
  203. if (!is_empty)
  204. {
  205. _sigorsets(pending, &sigqueue->sigset_pending, &sigqueue->sigset_pending);
  206. }
  207. return is_empty;
  208. }
  209. static void sigqueue_enqueue(lwp_sigqueue_t sigqueue, lwp_siginfo_t siginfo)
  210. {
  211. lwp_siginfo_t idx;
  212. rt_bool_t inserted = RT_FALSE;
  213. rt_list_for_each_entry(idx, &sigqueue->siginfo_list, node)
  214. {
  215. if (idx->ksiginfo.signo >= siginfo->ksiginfo.signo)
  216. {
  217. rt_list_insert_after(&idx->node, &siginfo->node);
  218. inserted = RT_TRUE;
  219. break;
  220. }
  221. }
  222. if (!inserted)
  223. rt_list_insert_before(&sigqueue->siginfo_list, &siginfo->node);
  224. _sigaddset(&sigqueue->sigset_pending, siginfo->ksiginfo.signo);
  225. return ;
  226. }
  227. /**
  228. * dequeue a siginfo matching the signo which is likely to be existed, and
  229. * test if any other siblings remains
  230. */
  231. static lwp_siginfo_t sigqueue_dequeue(lwp_sigqueue_t sigqueue, int signo)
  232. {
  233. lwp_siginfo_t found;
  234. lwp_siginfo_t candidate;
  235. lwp_siginfo_t next;
  236. rt_bool_t is_empty;
  237. found = RT_NULL;
  238. is_empty = RT_TRUE;
  239. rt_list_for_each_entry_safe(candidate, next, &sigqueue->siginfo_list, node)
  240. {
  241. if (candidate->ksiginfo.signo == signo)
  242. {
  243. if (found)
  244. {
  245. /* already found */
  246. is_empty = RT_FALSE;
  247. break;
  248. }
  249. else
  250. {
  251. /* found first */
  252. found = candidate;
  253. rt_list_remove(&found->node);
  254. }
  255. }
  256. else if (candidate->ksiginfo.signo > signo)
  257. break;
  258. }
  259. if (found && is_empty)
  260. _sigdelset(&sigqueue->sigset_pending, signo);
  261. return found;
  262. }
  263. static void sigqueue_discard(lwp_sigqueue_t sigqueue, int signo)
  264. {
  265. lwp_siginfo_t queuing_si;
  266. while (!sigqueue_isempty(sigqueue))
  267. {
  268. queuing_si = sigqueue_dequeue(sigqueue, signo);
  269. siginfo_delete(queuing_si);
  270. }
  271. }
  272. /* assuming that (void *) is compatible to long at length */
  273. RT_STATIC_ASSERT(lp_width_same, sizeof(void *) == sizeof(long));
  274. /** translate lwp siginfo to user siginfo_t */
  275. rt_inline void siginfo_k2u(lwp_siginfo_t ksigi, siginfo_t *usigi)
  276. {
  277. usigi->si_code = ksigi->ksiginfo.code;
  278. usigi->si_signo = ksigi->ksiginfo.signo;
  279. usigi->si_value.sival_ptr = (void *)ksigi->ksiginfo.value;
  280. usigi->si_pid = ksigi->ksiginfo.from_pid;
  281. /* deprecated field */
  282. usigi->si_errno = 0;
  283. }
  284. /* must called in locked context */
  285. rt_inline lwp_sighandler_t _get_sighandler_locked(struct rt_lwp *lwp, int signo)
  286. {
  287. return lwp->signal.sig_action[signo - 1];
  288. }
  289. static lwp_sigset_t *_mask_block_fn(rt_thread_t thread, const lwp_sigset_t *sigset, lwp_sigset_t *new_set)
  290. {
  291. _sigorsets(new_set, &thread->signal.sigset_mask, sigset);
  292. return new_set;
  293. }
  294. static lwp_sigset_t *_mask_unblock_fn(rt_thread_t thread, const lwp_sigset_t *sigset, lwp_sigset_t *new_set)
  295. {
  296. lwp_sigset_t complement;
  297. _signotsets(&complement, sigset);
  298. _sigandsets(new_set, &thread->signal.sigset_mask, &complement);
  299. return new_set;
  300. }
  301. static lwp_sigset_t *_mask_set_fn(rt_thread_t thread, const lwp_sigset_t *sigset, lwp_sigset_t *new_set)
  302. {
  303. memcpy(new_set, sigset, sizeof(*sigset));
  304. return new_set;
  305. }
  306. static lwp_sigset_t *(*_sig_mask_fn[__LWP_SIG_MASK_CMD_WATERMARK])
  307. (rt_thread_t thread, const lwp_sigset_t *sigset, lwp_sigset_t *new_set) = {
  308. [LWP_SIG_MASK_CMD_BLOCK] = _mask_block_fn,
  309. [LWP_SIG_MASK_CMD_UNBLOCK] = _mask_unblock_fn,
  310. [LWP_SIG_MASK_CMD_SET_MASK] = _mask_set_fn,
  311. };
  312. static void _thread_signal_mask(rt_thread_t thread, lwp_sig_mask_cmd_t how,
  313. const lwp_sigset_t *sigset, lwp_sigset_t *oset)
  314. {
  315. lwp_sigset_t new_set;
  316. /**
  317. * @note POSIX wants this API to be capable to query the current mask
  318. * by passing NULL in `sigset`
  319. */
  320. if (oset)
  321. memcpy(oset, &thread->signal.sigset_mask, sizeof(lwp_sigset_t));
  322. if (sigset)
  323. {
  324. _sig_mask_fn[how](thread, sigset, &new_set);
  325. /* remove un-maskable signal from set */
  326. _sigdelset(&new_set, SIGKILL);
  327. _sigdelset(&new_set, SIGSTOP);
  328. memcpy(&thread->signal.sigset_mask, &new_set, sizeof(lwp_sigset_t));
  329. }
  330. }
  331. void lwp_sigqueue_clear(lwp_sigqueue_t sigq)
  332. {
  333. lwp_siginfo_t this, next;
  334. if (!sigqueue_isempty(sigq))
  335. {
  336. rt_list_for_each_entry_safe(this, next, &sigq->siginfo_list, node)
  337. {
  338. siginfo_delete(this);
  339. }
  340. }
  341. }
  342. static void lwp_signal_notify(rt_slist_t *list_head, lwp_siginfo_t siginfo)
  343. {
  344. rt_slist_t *node;
  345. rt_slist_for_each(node, list_head)
  346. {
  347. struct rt_lwp_notify *n = rt_slist_entry(node, struct rt_lwp_notify, list_node);
  348. if (n->notify)
  349. {
  350. n->notify(n->signalfd_queue, siginfo->ksiginfo.signo);
  351. }
  352. }
  353. }
  354. rt_err_t lwp_signal_init(struct lwp_signal *sig)
  355. {
  356. rt_err_t rc;
  357. rc = rt_mutex_init(&sig->sig_lock, "lwpsig", RT_IPC_FLAG_FIFO);
  358. if (rc == RT_EOK)
  359. {
  360. memset(&sig->sig_dispatch_thr, 0, sizeof(sig->sig_dispatch_thr));
  361. memset(&sig->sig_action, 0, sizeof(sig->sig_action));
  362. memset(&sig->sig_action_nodefer, 0, sizeof(sig->sig_action_nodefer));
  363. memset(&sig->sig_action_onstack, 0, sizeof(sig->sig_action_onstack));
  364. memset(&sig->sig_action_restart, 0, sizeof(sig->sig_action_restart));
  365. memset(&sig->sig_action_siginfo, 0, sizeof(sig->sig_action_siginfo));
  366. lwp_sigqueue_init(&sig->sig_queue);
  367. }
  368. return rc;
  369. }
  370. rt_err_t lwp_signal_detach(struct lwp_signal *signal)
  371. {
  372. rt_err_t ret;
  373. lwp_sigqueue_clear(&signal->sig_queue);
  374. ret = rt_mutex_detach(&signal->sig_lock);
  375. return ret;
  376. }
  377. int lwp_thread_signal_suspend_check(rt_thread_t thread, int suspend_flag)
  378. {
  379. struct rt_lwp *lwp = (struct rt_lwp*)thread->lwp;
  380. int ret = 0;
  381. switch (suspend_flag)
  382. {
  383. case RT_INTERRUPTIBLE:
  384. if (!sigqueue_isempty(_SIGQ(thread)))
  385. {
  386. break;
  387. }
  388. if (thread->lwp && !sigqueue_isempty(_SIGQ(lwp)))
  389. {
  390. break;
  391. }
  392. ret = 1;
  393. break;
  394. case RT_KILLABLE:
  395. if (sigqueue_ismember(_SIGQ(thread), SIGKILL))
  396. {
  397. break;
  398. }
  399. if (thread->lwp && sigqueue_ismember(_SIGQ(lwp), SIGKILL))
  400. {
  401. break;
  402. }
  403. ret = 1;
  404. break;
  405. case RT_UNINTERRUPTIBLE:
  406. ret = 1;
  407. break;
  408. default:
  409. RT_ASSERT(0);
  410. break;
  411. }
  412. return ret;
  413. }
  414. void lwp_thread_signal_catch(void *exp_frame)
  415. {
  416. rt_base_t level;
  417. int signo = 0;
  418. struct rt_thread *thread;
  419. struct rt_lwp *lwp;
  420. lwp_siginfo_t siginfo = 0;
  421. lwp_sigqueue_t pending;
  422. lwp_sigset_t *sig_mask;
  423. lwp_sigset_t save_sig_mask;
  424. lwp_sigset_t new_sig_mask;
  425. lwp_sighandler_t handler = 0;
  426. siginfo_t usiginfo;
  427. siginfo_t *p_usi = RT_NULL;
  428. thread = rt_thread_self();
  429. lwp = (struct rt_lwp*)thread->lwp;
  430. RT_ASSERT(!!lwp);
  431. level = rt_hw_interrupt_disable();
  432. /* check if signal exist */
  433. if (!sigqueue_isempty(_SIGQ(thread)))
  434. {
  435. pending = _SIGQ(thread);
  436. sig_mask = &thread->signal.sigset_mask;
  437. }
  438. else if (!sigqueue_isempty(_SIGQ(lwp)))
  439. {
  440. pending = _SIGQ(lwp);
  441. sig_mask = &thread->signal.sigset_mask;
  442. }
  443. else
  444. {
  445. pending = RT_NULL;
  446. }
  447. if (pending)
  448. {
  449. /* peek the pending signal */
  450. signo = sigqueue_peek(pending, sig_mask);
  451. if (signo)
  452. {
  453. siginfo = sigqueue_dequeue(pending, signo);
  454. RT_ASSERT(siginfo != RT_NULL);
  455. handler = _get_sighandler_locked(lwp, signo);
  456. /* IGN signal will never be queued */
  457. RT_ASSERT(handler != LWP_SIG_ACT_IGN);
  458. /* copy the blocked signal mask from the registered signal action */
  459. memcpy(&new_sig_mask, &lwp->signal.sig_action_mask[signo - 1], sizeof(new_sig_mask));
  460. if (!_sigismember(&lwp->signal.sig_action_nodefer, signo))
  461. _sigaddset(&new_sig_mask, signo);
  462. _thread_signal_mask(thread, LWP_SIG_MASK_CMD_BLOCK, &new_sig_mask, &save_sig_mask);
  463. /* siginfo is need for signal action */
  464. if (_sigismember(&lwp->signal.sig_action_siginfo, signo))
  465. {
  466. siginfo_k2u(siginfo, &usiginfo);
  467. p_usi = &usiginfo;
  468. }
  469. else
  470. p_usi = RT_NULL;
  471. }
  472. }
  473. rt_hw_interrupt_enable(level);
  474. if (pending && signo)
  475. {
  476. siginfo_delete(siginfo);
  477. /* signal default handler */
  478. if (handler == LWP_SIG_ACT_DFL)
  479. {
  480. LOG_D("%s: default handler; and exit", __func__);
  481. sys_exit_group(0);
  482. }
  483. /**
  484. * enter signal action of user
  485. * @note that the p_usi is release before entering signal action by
  486. * reseting the kernel sp.
  487. */
  488. LOG_D("%s: enter signal handler(signo=%d) at %p", __func__, signo, handler);
  489. arch_thread_signal_enter(signo, p_usi, exp_frame, handler, &save_sig_mask);
  490. /* the arch_thread_signal_enter() never return */
  491. RT_ASSERT(0);
  492. }
  493. }
  494. static int _do_signal_wakeup(rt_thread_t thread, int sig)
  495. {
  496. int need_schedule;
  497. if (!_sigismember(&thread->signal.sigset_mask, sig))
  498. {
  499. if ((thread->stat & RT_THREAD_SUSPEND_MASK) == RT_THREAD_SUSPEND_MASK)
  500. {
  501. if ((thread->stat & RT_SIGNAL_COMMON_WAKEUP_MASK) != RT_SIGNAL_COMMON_WAKEUP_MASK)
  502. {
  503. rt_thread_wakeup(thread);
  504. need_schedule = 1;
  505. }
  506. else if ((sig == SIGKILL) && ((thread->stat & RT_SIGNAL_KILL_WAKEUP_MASK) != RT_SIGNAL_KILL_WAKEUP_MASK))
  507. {
  508. rt_thread_wakeup(thread);
  509. need_schedule = 1;
  510. }
  511. else
  512. {
  513. need_schedule = 0;
  514. }
  515. }
  516. else
  517. need_schedule = 0;
  518. }
  519. else
  520. need_schedule = 0;
  521. return need_schedule;
  522. }
  523. /** find a candidate to be notified of the arrival */
  524. static rt_thread_t _signal_find_catcher(struct rt_lwp *lwp, int signo)
  525. {
  526. rt_thread_t catcher = RT_NULL;
  527. rt_thread_t candidate;
  528. candidate = lwp->signal.sig_dispatch_thr[signo - 1];
  529. if (candidate != RT_NULL && !_sigismember(&candidate->signal.sigset_mask, signo))
  530. {
  531. catcher = candidate;
  532. }
  533. else
  534. {
  535. candidate = rt_thread_self();
  536. /** @note: lwp of current is a const value that can be safely read */
  537. if (candidate->lwp == lwp &&
  538. !_sigismember(&candidate->signal.sigset_mask, signo))
  539. {
  540. catcher = candidate;
  541. }
  542. else
  543. {
  544. rt_list_for_each_entry(candidate, &lwp->t_grp, sibling)
  545. {
  546. if (!_sigismember(&candidate->signal.sigset_mask, signo))
  547. {
  548. catcher = candidate;
  549. break;
  550. }
  551. }
  552. /* fall back to main thread */
  553. if (catcher == RT_NULL)
  554. catcher = rt_list_entry(lwp->t_grp.prev, struct rt_thread, sibling);
  555. }
  556. /* reset the cache thread to catcher (even if catcher is main thread) */
  557. lwp->signal.sig_dispatch_thr[signo - 1] = catcher;
  558. }
  559. return catcher;
  560. }
  561. static int _siginfo_deliver_to_lwp(struct rt_lwp *lwp, lwp_siginfo_t siginfo)
  562. {
  563. rt_thread_t catcher;
  564. catcher = _signal_find_catcher(lwp, siginfo->ksiginfo.signo);
  565. sigqueue_enqueue(&lwp->signal.sig_queue, siginfo);
  566. return _do_signal_wakeup(catcher, siginfo->ksiginfo.signo);
  567. }
  568. static int _siginfo_deliver_to_thread(rt_thread_t thread, lwp_siginfo_t siginfo)
  569. {
  570. sigqueue_enqueue(_SIGQ(thread), siginfo);
  571. return _do_signal_wakeup(thread, siginfo->ksiginfo.signo);
  572. }
  573. rt_inline rt_bool_t _sighandler_is_ignored(struct rt_lwp *lwp, int signo)
  574. {
  575. rt_bool_t is_ignored;
  576. lwp_sighandler_t action;
  577. lwp_sigset_t ign_set = lwp_sigset_init(LWP_SIG_IGNORE_SET);
  578. action = _get_sighandler_locked(lwp, signo);
  579. if (action == LWP_SIG_ACT_IGN)
  580. is_ignored = RT_TRUE;
  581. else if (action == LWP_SIG_ACT_DFL && _sigismember(&ign_set, signo))
  582. is_ignored = RT_TRUE;
  583. else
  584. is_ignored = RT_FALSE;
  585. return is_ignored;
  586. }
  587. rt_inline rt_bool_t _sighandler_cannot_caught(struct rt_lwp *lwp, int signo)
  588. {
  589. return signo == SIGKILL || signo == SIGSTOP;
  590. }
  591. rt_err_t lwp_signal_kill(struct rt_lwp *lwp, long signo, long code, long value)
  592. {
  593. rt_err_t ret = -1;
  594. rt_base_t level;
  595. lwp_siginfo_t siginfo;
  596. rt_bool_t terminated;
  597. rt_bool_t need_schedule;
  598. /** must be able to be suspended */
  599. RT_DEBUG_SCHEDULER_AVAILABLE(RT_TRUE);
  600. if (!lwp || signo <= 0 || signo > _LWP_NSIG)
  601. {
  602. ret = -RT_EINVAL;
  603. }
  604. else
  605. {
  606. LOG_D("%s(lwp=%p \"%s\",signo=%ld,code=%ld,value=%ld)",
  607. __func__, lwp, lwp->cmd, signo, code, value);
  608. need_schedule = RT_FALSE;
  609. /* FIXME: acquire READ lock to lwp */
  610. level = rt_hw_interrupt_disable();
  611. terminated = lwp->terminated;
  612. /* short-circuit code for inactive task, ignored signals */
  613. if (terminated || _sighandler_is_ignored(lwp, signo))
  614. {
  615. ret = 0;
  616. }
  617. else
  618. {
  619. siginfo = siginfo_create(signo, code, value);
  620. if (siginfo)
  621. {
  622. need_schedule = _siginfo_deliver_to_lwp(lwp, siginfo);
  623. ret = 0;
  624. lwp_signal_notify(&lwp->signalfd_notify_head, siginfo);
  625. }
  626. else
  627. {
  628. LOG_I("%s: siginfo malloc failed", __func__);
  629. ret = -RT_ENOMEM;
  630. }
  631. }
  632. rt_hw_interrupt_enable(level);
  633. if (need_schedule)
  634. rt_schedule();
  635. }
  636. return ret;
  637. }
  638. static void _signal_action_flag_k2u(int signo, struct lwp_signal *signal, struct lwp_sigaction *act)
  639. {
  640. long flags = 0;
  641. if (_sigismember(&signal->sig_action_nodefer, signo))
  642. flags |= SA_NODEFER;
  643. if (_sigismember(&signal->sig_action_onstack, signo))
  644. flags |= SA_ONSTACK;
  645. if (_sigismember(&signal->sig_action_restart, signo))
  646. flags |= SA_RESTART;
  647. if (_sigismember(&signal->sig_action_siginfo, signo))
  648. flags |= SA_SIGINFO;
  649. act->sa_flags = flags;
  650. }
  651. static void _signal_action_flag_u2k(int signo, struct lwp_signal *signal, const struct lwp_sigaction *act)
  652. {
  653. long flags = act->sa_flags;
  654. if (flags & SA_NODEFER)
  655. _sigaddset(&signal->sig_action_nodefer, signo);
  656. if (flags & SA_ONSTACK)
  657. _sigaddset(&signal->sig_action_onstack, signo);
  658. if (flags & SA_RESTART)
  659. _sigaddset(&signal->sig_action_restart, signo);
  660. if (flags & SA_SIGINFO)
  661. _sigaddset(&signal->sig_action_siginfo, signo);
  662. }
  663. rt_err_t lwp_signal_action(struct rt_lwp *lwp, int signo,
  664. const struct lwp_sigaction *restrict act,
  665. struct lwp_sigaction *restrict oact)
  666. {
  667. lwp_sighandler_t prev_handler;
  668. lwp_sigqueue_t thread_sigq;
  669. rt_list_t *thread_list;
  670. rt_err_t ret = RT_EOK;
  671. rt_base_t level;
  672. if (lwp)
  673. {
  674. /** acquire READ access to lwp */
  675. level = rt_hw_interrupt_disable();
  676. if (oact)
  677. {
  678. oact->sa_mask = lwp->signal.sig_action_mask[signo - 1];
  679. oact->__sa_handler._sa_handler = lwp->signal.sig_action[signo - 1];
  680. oact->sa_restorer = RT_NULL;
  681. _signal_action_flag_k2u(signo, &lwp->signal, oact);
  682. }
  683. if (act)
  684. {
  685. /**
  686. * @note POSIX.1-2017 requires calls to sigaction() that supply a NULL act
  687. * argument succeed, even in the case of signals that cannot be caught or ignored
  688. */
  689. if (_sighandler_cannot_caught(lwp, signo))
  690. ret = -RT_EINVAL;
  691. else
  692. {
  693. prev_handler = _get_sighandler_locked(lwp, signo);
  694. lwp->signal.sig_action_mask[signo - 1] = act->sa_mask;
  695. if (act->__sa_handler._sa_handler == SIG_IGN)
  696. lwp->signal.sig_action[signo - 1] = LWP_SIG_ACT_IGN;
  697. else
  698. lwp->signal.sig_action[signo - 1] = act->__sa_handler._sa_handler;
  699. _signal_action_flag_u2k(signo, &lwp->signal, act);
  700. /**
  701. * @brief Discard the pending signal if signal action is set to SIG_IGN
  702. *
  703. * @note POSIX.1-2017: Setting a signal action to SIG_IGN for a signal
  704. * that is pending shall cause the pending signal to be discarded,
  705. * whether or not it is blocked.
  706. */
  707. if (prev_handler != LWP_SIG_ACT_IGN &&
  708. _get_sighandler_locked(lwp, signo) == LWP_SIG_ACT_IGN)
  709. {
  710. sigqueue_discard(_SIGQ(lwp), signo);
  711. for (thread_list = lwp->t_grp.next;
  712. thread_list != &lwp->t_grp;
  713. thread_list = thread_list->next)
  714. {
  715. thread_sigq = _SIGQ(rt_list_entry(thread_list, struct rt_thread, sibling));
  716. sigqueue_discard(thread_sigq, signo);
  717. }
  718. }
  719. }
  720. }
  721. rt_hw_interrupt_enable(level);
  722. }
  723. else
  724. ret = -RT_EINVAL;
  725. return ret;
  726. }
  727. rt_err_t lwp_thread_signal_kill(rt_thread_t thread, long signo, long code, long value)
  728. {
  729. rt_err_t ret = -1;
  730. rt_base_t level;
  731. struct rt_lwp *lwp;
  732. lwp_siginfo_t siginfo;
  733. rt_bool_t need_schedule;
  734. /** must be able to be suspended */
  735. RT_DEBUG_SCHEDULER_AVAILABLE(RT_TRUE);
  736. if (!thread || signo < 0 || signo >= _LWP_NSIG)
  737. {
  738. ret = -RT_EINVAL;
  739. }
  740. else
  741. {
  742. lwp = thread->lwp;
  743. need_schedule = RT_FALSE;
  744. RT_ASSERT(lwp);
  745. /* FIXME: acquire READ lock to lwp */
  746. level = rt_hw_interrupt_disable();
  747. if (!lwp)
  748. ret = -RT_EPERM;
  749. else if (lwp->terminated || _sighandler_is_ignored(lwp, signo))
  750. ret = 0;
  751. else
  752. {
  753. siginfo = siginfo_create(signo, code, value);
  754. if (siginfo)
  755. {
  756. need_schedule = _siginfo_deliver_to_thread(thread, siginfo);
  757. ret = 0;
  758. lwp_signal_notify(&lwp->signalfd_notify_head, siginfo);
  759. }
  760. else
  761. {
  762. LOG_I("%s: siginfo malloc failed", __func__);
  763. ret = -RT_ENOMEM;
  764. }
  765. }
  766. rt_hw_interrupt_enable(level);
  767. if (need_schedule)
  768. rt_schedule();
  769. }
  770. return ret;
  771. }
  772. #ifndef ARCH_MM_MMU
  773. void lwp_thread_sighandler_set(int sig, lwp_sighandler_t func)
  774. {
  775. rt_base_t level;
  776. if (sig == 0 || sig > _LWP_NSIG)
  777. return;
  778. level = rt_hw_interrupt_disable();
  779. rt_thread_self()->signal_handler[sig - 1] = func;
  780. rt_hw_interrupt_enable(level);
  781. }
  782. #endif
  783. rt_err_t lwp_thread_signal_mask(rt_thread_t thread, lwp_sig_mask_cmd_t how,
  784. const lwp_sigset_t *sigset, lwp_sigset_t *oset)
  785. {
  786. rt_err_t ret = -1;
  787. rt_base_t level;
  788. struct rt_lwp *lwp;
  789. if (thread)
  790. {
  791. /** FIXME: acquire READ access to rt_thread */
  792. level = rt_hw_interrupt_disable();
  793. lwp = (struct rt_lwp*)thread->lwp;
  794. if (!lwp)
  795. {
  796. ret = -RT_EPERM;
  797. }
  798. else
  799. {
  800. ret = 0;
  801. _thread_signal_mask(thread, how, sigset, oset);
  802. }
  803. rt_hw_interrupt_enable(level);
  804. }
  805. else
  806. ret = -RT_EINVAL;
  807. return ret;
  808. }
  809. static int _dequeue_signal(rt_thread_t thread, lwp_sigset_t *mask, siginfo_t *usi)
  810. {
  811. int signo;
  812. lwp_siginfo_t si;
  813. struct rt_lwp *lwp;
  814. lwp_sigset_t *pending;
  815. lwp_sigqueue_t sigqueue;
  816. sigqueue = _SIGQ(thread);
  817. pending = &sigqueue->sigset_pending;
  818. signo = _next_signal(pending, mask);
  819. if (!signo)
  820. {
  821. lwp = thread->lwp;
  822. RT_ASSERT(lwp);
  823. sigqueue = _SIGQ(lwp);
  824. pending = &sigqueue->sigset_pending;
  825. signo = _next_signal(pending, mask);
  826. }
  827. if (!signo)
  828. return signo;
  829. si = sigqueue_dequeue(sigqueue, signo);
  830. RT_ASSERT(!!si);
  831. siginfo_k2u(si, usi);
  832. siginfo_delete(si);
  833. return signo;
  834. }
  835. rt_err_t lwp_thread_signal_timedwait(rt_thread_t thread, lwp_sigset_t *sigset,
  836. siginfo_t *usi, struct timespec *timeout)
  837. {
  838. rt_base_t level;
  839. rt_err_t ret;
  840. lwp_sigset_t saved_sigset;
  841. lwp_sigset_t blocked_sigset;
  842. int sig;
  843. /**
  844. * @brief POSIX
  845. * If one of the signals in set is already pending for the calling thread,
  846. * sigwaitinfo() will return immediately
  847. */
  848. /* Create a mask of signals user dont want or cannot catch */
  849. _sigdelset(sigset, SIGKILL);
  850. _sigdelset(sigset, SIGSTOP);
  851. _signotsets(sigset, sigset);
  852. /* FIXME: acquire READ lock to lwp */
  853. level = rt_hw_interrupt_disable();
  854. sig = _dequeue_signal(thread, sigset, usi);
  855. rt_hw_interrupt_enable(level);
  856. if (sig)
  857. return sig;
  858. /**
  859. * @brief POSIX
  860. * if none of the signals specified by set are pending, sigtimedwait() shall
  861. * wait for the time interval specified in the timespec structure referenced
  862. * by timeout.
  863. *
  864. * @note If the pending signal arrives before thread suspend, the suspend
  865. * operation will return a failure
  866. */
  867. _sigandsets(&blocked_sigset, &thread->signal.sigset_mask, sigset);
  868. _thread_signal_mask(thread, LWP_SIG_MASK_CMD_SET_MASK, &blocked_sigset, &saved_sigset);
  869. if (timeout)
  870. {
  871. rt_uint32_t time;
  872. time = rt_timespec_to_tick(timeout);
  873. /**
  874. * @brief POSIX
  875. * If the timespec structure pointed to by timeout is zero-valued and
  876. * if none of the signals specified by set are pending, then
  877. * sigtimedwait() shall return immediately with an error
  878. */
  879. if (time == 0)
  880. return -EAGAIN;
  881. ret = rt_thread_suspend_with_flag(thread, RT_INTERRUPTIBLE);
  882. rt_timer_control(&(thread->thread_timer),
  883. RT_TIMER_CTRL_SET_TIME,
  884. &timeout);
  885. rt_timer_start(&(thread->thread_timer));
  886. }
  887. else
  888. {
  889. /* suspend kernel forever until signal was received */
  890. ret = rt_thread_suspend_with_flag(thread, RT_INTERRUPTIBLE);
  891. }
  892. if (ret == RT_EOK)
  893. {
  894. rt_schedule();
  895. /* If thread->error reliable? */
  896. if (thread->error == -RT_EINTR)
  897. ret = -EINTR;
  898. else
  899. ret = -EAGAIN;
  900. }
  901. /* else ret == -EINTR */
  902. _thread_signal_mask(thread, LWP_SIG_MASK_CMD_SET_MASK, &saved_sigset, RT_NULL);
  903. /* FIXME: acquire READ lock to lwp */
  904. level = rt_hw_interrupt_disable();
  905. sig = _dequeue_signal(thread, sigset, usi);
  906. rt_hw_interrupt_enable(level);
  907. return sig ? sig : ret;
  908. }
  909. void lwp_thread_signal_pending(rt_thread_t thread, lwp_sigset_t *pending)
  910. {
  911. rt_base_t level;
  912. struct rt_lwp *lwp;
  913. lwp = thread->lwp;
  914. if (lwp)
  915. {
  916. memset(pending, 0, sizeof(*pending));
  917. level = rt_hw_interrupt_disable();
  918. sigqueue_examine(_SIGQ(thread), pending);
  919. sigqueue_examine(_SIGQ(lwp), pending);
  920. rt_hw_interrupt_enable(level);
  921. _sigandsets(pending, pending, &thread->signal.sigset_mask);
  922. }
  923. }