lwp_signal.c 28 KB

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