lwp_signal.c 28 KB

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