lwp_signal.c 28 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055
  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. rt_err_t lwp_signal_init(struct lwp_signal *sig)
  343. {
  344. rt_err_t rc;
  345. rc = rt_mutex_init(&sig->sig_lock, "lwpsig", RT_IPC_FLAG_FIFO);
  346. if (rc == RT_EOK)
  347. {
  348. memset(&sig->sig_dispatch_thr, 0, sizeof(sig->sig_dispatch_thr));
  349. memset(&sig->sig_action, 0, sizeof(sig->sig_action));
  350. memset(&sig->sig_action_nodefer, 0, sizeof(sig->sig_action_nodefer));
  351. memset(&sig->sig_action_onstack, 0, sizeof(sig->sig_action_onstack));
  352. memset(&sig->sig_action_restart, 0, sizeof(sig->sig_action_restart));
  353. memset(&sig->sig_action_siginfo, 0, sizeof(sig->sig_action_siginfo));
  354. lwp_sigqueue_init(&sig->sig_queue);
  355. }
  356. return rc;
  357. }
  358. rt_err_t lwp_signal_detach(struct lwp_signal *signal)
  359. {
  360. rt_err_t ret;
  361. lwp_sigqueue_clear(&signal->sig_queue);
  362. ret = rt_mutex_detach(&signal->sig_lock);
  363. return ret;
  364. }
  365. int lwp_thread_signal_suspend_check(rt_thread_t thread, int suspend_flag)
  366. {
  367. struct rt_lwp *lwp = (struct rt_lwp*)thread->lwp;
  368. int ret = 0;
  369. switch (suspend_flag)
  370. {
  371. case RT_INTERRUPTIBLE:
  372. if (!sigqueue_isempty(_SIGQ(thread)))
  373. {
  374. break;
  375. }
  376. if (thread->lwp && !sigqueue_isempty(_SIGQ(lwp)))
  377. {
  378. break;
  379. }
  380. ret = 1;
  381. break;
  382. case RT_KILLABLE:
  383. if (sigqueue_ismember(_SIGQ(thread), SIGKILL))
  384. {
  385. break;
  386. }
  387. if (thread->lwp && sigqueue_ismember(_SIGQ(lwp), SIGKILL))
  388. {
  389. break;
  390. }
  391. ret = 1;
  392. break;
  393. case RT_UNINTERRUPTIBLE:
  394. ret = 1;
  395. break;
  396. default:
  397. RT_ASSERT(0);
  398. break;
  399. }
  400. return ret;
  401. }
  402. void lwp_thread_signal_catch(void *exp_frame)
  403. {
  404. rt_base_t level;
  405. int signo = 0;
  406. struct rt_thread *thread;
  407. struct rt_lwp *lwp;
  408. lwp_siginfo_t siginfo = 0;
  409. lwp_sigqueue_t pending;
  410. lwp_sigset_t *sig_mask;
  411. lwp_sigset_t save_sig_mask;
  412. lwp_sigset_t new_sig_mask;
  413. lwp_sighandler_t handler = 0;
  414. siginfo_t usiginfo;
  415. siginfo_t *p_usi = RT_NULL;
  416. thread = rt_thread_self();
  417. lwp = (struct rt_lwp*)thread->lwp;
  418. RT_ASSERT(!!lwp);
  419. level = rt_hw_interrupt_disable();
  420. /* check if signal exist */
  421. if (!sigqueue_isempty(_SIGQ(thread)))
  422. {
  423. pending = _SIGQ(thread);
  424. sig_mask = &thread->signal.sigset_mask;
  425. }
  426. else if (!sigqueue_isempty(_SIGQ(lwp)))
  427. {
  428. pending = _SIGQ(lwp);
  429. sig_mask = &thread->signal.sigset_mask;
  430. }
  431. else
  432. {
  433. pending = RT_NULL;
  434. }
  435. if (pending)
  436. {
  437. /* peek the pending signal */
  438. signo = sigqueue_peek(pending, sig_mask);
  439. if (signo)
  440. {
  441. siginfo = sigqueue_dequeue(pending, signo);
  442. RT_ASSERT(siginfo != RT_NULL);
  443. handler = _get_sighandler_locked(lwp, signo);
  444. /* IGN signal will never be queued */
  445. RT_ASSERT(handler != LWP_SIG_ACT_IGN);
  446. /* copy the blocked signal mask from the registered signal action */
  447. memcpy(&new_sig_mask, &lwp->signal.sig_action_mask[signo - 1], sizeof(new_sig_mask));
  448. if (!_sigismember(&lwp->signal.sig_action_nodefer, signo))
  449. _sigaddset(&new_sig_mask, signo);
  450. _thread_signal_mask(thread, LWP_SIG_MASK_CMD_BLOCK, &new_sig_mask, &save_sig_mask);
  451. /* siginfo is need for signal action */
  452. if (_sigismember(&lwp->signal.sig_action_siginfo, signo))
  453. {
  454. siginfo_k2u(siginfo, &usiginfo);
  455. p_usi = &usiginfo;
  456. }
  457. else
  458. p_usi = RT_NULL;
  459. }
  460. }
  461. rt_hw_interrupt_enable(level);
  462. if (pending && signo)
  463. {
  464. siginfo_delete(siginfo);
  465. /* signal default handler */
  466. if (handler == LWP_SIG_ACT_DFL)
  467. {
  468. LOG_D("%s: default handler; and exit", __func__);
  469. sys_exit_group(0);
  470. }
  471. /**
  472. * enter signal action of user
  473. * @note that the p_usi is release before entering signal action by
  474. * reseting the kernel sp.
  475. */
  476. LOG_D("%s: enter signal handler(signo=%d) at %p", __func__, signo, handler);
  477. arch_thread_signal_enter(signo, p_usi, exp_frame, handler, &save_sig_mask);
  478. /* the arch_thread_signal_enter() never return */
  479. RT_ASSERT(0);
  480. }
  481. }
  482. static int _do_signal_wakeup(rt_thread_t thread, int sig)
  483. {
  484. int need_schedule;
  485. if (!_sigismember(&thread->signal.sigset_mask, sig))
  486. {
  487. if ((thread->stat & RT_THREAD_SUSPEND_MASK) == RT_THREAD_SUSPEND_MASK)
  488. {
  489. if ((thread->stat & RT_SIGNAL_COMMON_WAKEUP_MASK) != RT_SIGNAL_COMMON_WAKEUP_MASK)
  490. {
  491. rt_thread_wakeup(thread);
  492. need_schedule = 1;
  493. }
  494. else if ((sig == SIGKILL) && ((thread->stat & RT_SIGNAL_KILL_WAKEUP_MASK) != RT_SIGNAL_KILL_WAKEUP_MASK))
  495. {
  496. rt_thread_wakeup(thread);
  497. need_schedule = 1;
  498. }
  499. else
  500. {
  501. need_schedule = 0;
  502. }
  503. }
  504. else
  505. need_schedule = 0;
  506. }
  507. else
  508. need_schedule = 0;
  509. return need_schedule;
  510. }
  511. /** find a candidate to be notified of the arrival */
  512. static rt_thread_t _signal_find_catcher(struct rt_lwp *lwp, int signo)
  513. {
  514. rt_thread_t catcher = RT_NULL;
  515. rt_thread_t candidate;
  516. candidate = lwp->signal.sig_dispatch_thr[signo - 1];
  517. if (candidate != RT_NULL && !_sigismember(&candidate->signal.sigset_mask, signo))
  518. {
  519. catcher = candidate;
  520. }
  521. else
  522. {
  523. candidate = rt_thread_self();
  524. /** @note: lwp of current is a const value that can be safely read */
  525. if (candidate->lwp == lwp &&
  526. !_sigismember(&candidate->signal.sigset_mask, signo))
  527. {
  528. catcher = candidate;
  529. }
  530. else
  531. {
  532. rt_list_for_each_entry(candidate, &lwp->t_grp, sibling)
  533. {
  534. if (!_sigismember(&candidate->signal.sigset_mask, signo))
  535. {
  536. catcher = candidate;
  537. break;
  538. }
  539. }
  540. /* fall back to main thread */
  541. if (catcher == RT_NULL)
  542. catcher = rt_list_entry(lwp->t_grp.prev, struct rt_thread, sibling);
  543. }
  544. /* reset the cache thread to catcher (even if catcher is main thread) */
  545. lwp->signal.sig_dispatch_thr[signo - 1] = catcher;
  546. }
  547. return catcher;
  548. }
  549. static int _siginfo_deliver_to_lwp(struct rt_lwp *lwp, lwp_siginfo_t siginfo)
  550. {
  551. rt_thread_t catcher;
  552. catcher = _signal_find_catcher(lwp, siginfo->ksiginfo.signo);
  553. sigqueue_enqueue(&lwp->signal.sig_queue, siginfo);
  554. return _do_signal_wakeup(catcher, siginfo->ksiginfo.signo);
  555. }
  556. static int _siginfo_deliver_to_thread(rt_thread_t thread, lwp_siginfo_t siginfo)
  557. {
  558. sigqueue_enqueue(_SIGQ(thread), siginfo);
  559. return _do_signal_wakeup(thread, siginfo->ksiginfo.signo);
  560. }
  561. rt_inline rt_bool_t _sighandler_is_ignored(struct rt_lwp *lwp, int signo)
  562. {
  563. rt_bool_t is_ignored;
  564. lwp_sighandler_t action;
  565. lwp_sigset_t ign_set = lwp_sigset_init(LWP_SIG_IGNORE_SET);
  566. action = _get_sighandler_locked(lwp, signo);
  567. if (action == LWP_SIG_ACT_IGN)
  568. is_ignored = RT_TRUE;
  569. else if (action == LWP_SIG_ACT_DFL && _sigismember(&ign_set, signo))
  570. is_ignored = RT_TRUE;
  571. else
  572. is_ignored = RT_FALSE;
  573. return is_ignored;
  574. }
  575. rt_inline rt_bool_t _sighandler_cannot_caught(struct rt_lwp *lwp, int signo)
  576. {
  577. return signo == SIGKILL || signo == SIGSTOP;
  578. }
  579. rt_err_t lwp_signal_kill(struct rt_lwp *lwp, long signo, long code, long value)
  580. {
  581. rt_err_t ret = -1;
  582. rt_base_t level;
  583. lwp_siginfo_t siginfo;
  584. rt_bool_t terminated;
  585. rt_bool_t need_schedule;
  586. /** must be able to be suspended */
  587. RT_DEBUG_SCHEDULER_AVAILABLE(RT_TRUE);
  588. if (!lwp || signo < 0 || signo >= _LWP_NSIG)
  589. {
  590. ret = -RT_EINVAL;
  591. }
  592. else
  593. {
  594. LOG_D("%s(lwp=%p \"%s\",signo=%ld,code=%ld,value=%ld)",
  595. __func__, lwp, lwp->cmd, signo, code, value);
  596. need_schedule = RT_FALSE;
  597. /* FIXME: acquire READ lock to lwp */
  598. level = rt_hw_interrupt_disable();
  599. terminated = lwp->terminated;
  600. /* short-circuit code for inactive task, ignored signals */
  601. if (terminated || _sighandler_is_ignored(lwp, signo))
  602. {
  603. ret = 0;
  604. }
  605. else
  606. {
  607. siginfo = siginfo_create(signo, code, value);
  608. if (siginfo)
  609. {
  610. need_schedule = _siginfo_deliver_to_lwp(lwp, siginfo);
  611. ret = 0;
  612. }
  613. else
  614. {
  615. LOG_I("%s: siginfo malloc failed", __func__);
  616. ret = -RT_ENOMEM;
  617. }
  618. }
  619. rt_hw_interrupt_enable(level);
  620. if (need_schedule)
  621. rt_schedule();
  622. }
  623. return ret;
  624. }
  625. static void _signal_action_flag_k2u(int signo, struct lwp_signal *signal, struct lwp_sigaction *act)
  626. {
  627. long flags = 0;
  628. if (_sigismember(&signal->sig_action_nodefer, signo))
  629. flags |= SA_NODEFER;
  630. if (_sigismember(&signal->sig_action_onstack, signo))
  631. flags |= SA_ONSTACK;
  632. if (_sigismember(&signal->sig_action_restart, signo))
  633. flags |= SA_RESTART;
  634. if (_sigismember(&signal->sig_action_siginfo, signo))
  635. flags |= SA_SIGINFO;
  636. act->sa_flags = flags;
  637. }
  638. static void _signal_action_flag_u2k(int signo, struct lwp_signal *signal, const struct lwp_sigaction *act)
  639. {
  640. long flags = act->sa_flags;
  641. if (flags & SA_NODEFER)
  642. _sigaddset(&signal->sig_action_nodefer, signo);
  643. if (flags & SA_ONSTACK)
  644. _sigaddset(&signal->sig_action_onstack, signo);
  645. if (flags & SA_RESTART)
  646. _sigaddset(&signal->sig_action_restart, signo);
  647. if (flags & SA_SIGINFO)
  648. _sigaddset(&signal->sig_action_siginfo, signo);
  649. }
  650. rt_err_t lwp_signal_action(struct rt_lwp *lwp, int signo,
  651. const struct lwp_sigaction *restrict act,
  652. struct lwp_sigaction *restrict oact)
  653. {
  654. lwp_sighandler_t prev_handler;
  655. lwp_sigqueue_t thread_sigq;
  656. rt_list_t *thread_list;
  657. rt_err_t ret = RT_EOK;
  658. rt_base_t level;
  659. if (lwp)
  660. {
  661. /** acquire READ access to lwp */
  662. level = rt_hw_interrupt_disable();
  663. if (oact)
  664. {
  665. oact->sa_mask = lwp->signal.sig_action_mask[signo - 1];
  666. oact->__sa_handler._sa_handler = lwp->signal.sig_action[signo - 1];
  667. oact->sa_restorer = RT_NULL;
  668. _signal_action_flag_k2u(signo, &lwp->signal, oact);
  669. }
  670. if (act)
  671. {
  672. /**
  673. * @note POSIX.1-2017 requires calls to sigaction() that supply a NULL act
  674. * argument succeed, even in the case of signals that cannot be caught or ignored
  675. */
  676. if (_sighandler_cannot_caught(lwp, signo))
  677. ret = -RT_EINVAL;
  678. else
  679. {
  680. prev_handler = _get_sighandler_locked(lwp, signo);
  681. lwp->signal.sig_action_mask[signo - 1] = act->sa_mask;
  682. if (act->__sa_handler._sa_handler == SIG_IGN)
  683. lwp->signal.sig_action[signo - 1] = LWP_SIG_ACT_IGN;
  684. else
  685. lwp->signal.sig_action[signo - 1] = act->__sa_handler._sa_handler;
  686. _signal_action_flag_u2k(signo, &lwp->signal, act);
  687. /**
  688. * @brief Discard the pending signal if signal action is set to SIG_IGN
  689. *
  690. * @note POSIX.1-2017: Setting a signal action to SIG_IGN for a signal
  691. * that is pending shall cause the pending signal to be discarded,
  692. * whether or not it is blocked.
  693. */
  694. if (prev_handler != LWP_SIG_ACT_IGN &&
  695. _get_sighandler_locked(lwp, signo) == LWP_SIG_ACT_IGN)
  696. {
  697. sigqueue_discard(_SIGQ(lwp), signo);
  698. for (thread_list = lwp->t_grp.next;
  699. thread_list != &lwp->t_grp;
  700. thread_list = thread_list->next)
  701. {
  702. thread_sigq = _SIGQ(rt_list_entry(thread_list, struct rt_thread, sibling));
  703. sigqueue_discard(thread_sigq, signo);
  704. }
  705. }
  706. }
  707. }
  708. rt_hw_interrupt_enable(level);
  709. }
  710. else
  711. ret = -RT_EINVAL;
  712. return ret;
  713. }
  714. rt_err_t lwp_thread_signal_kill(rt_thread_t thread, long signo, long code, long value)
  715. {
  716. rt_err_t ret = -1;
  717. rt_base_t level;
  718. struct rt_lwp *lwp;
  719. lwp_siginfo_t siginfo;
  720. rt_bool_t need_schedule;
  721. /** must be able to be suspended */
  722. RT_DEBUG_SCHEDULER_AVAILABLE(RT_TRUE);
  723. if (!thread || signo < 0 || signo >= _LWP_NSIG)
  724. {
  725. ret = -RT_EINVAL;
  726. }
  727. else
  728. {
  729. lwp = thread->lwp;
  730. need_schedule = RT_FALSE;
  731. RT_ASSERT(lwp);
  732. /* FIXME: acquire READ lock to lwp */
  733. level = rt_hw_interrupt_disable();
  734. if (!lwp)
  735. ret = -RT_EPERM;
  736. else if (lwp->terminated || _sighandler_is_ignored(lwp, signo))
  737. ret = 0;
  738. else
  739. {
  740. siginfo = siginfo_create(signo, code, value);
  741. if (siginfo)
  742. {
  743. need_schedule = _siginfo_deliver_to_thread(thread, siginfo);
  744. ret = 0;
  745. }
  746. else
  747. {
  748. LOG_I("%s: siginfo malloc failed", __func__);
  749. ret = -RT_ENOMEM;
  750. }
  751. }
  752. rt_hw_interrupt_enable(level);
  753. if (need_schedule)
  754. rt_schedule();
  755. }
  756. return ret;
  757. }
  758. #ifndef ARCH_MM_MMU
  759. void lwp_thread_sighandler_set(int sig, lwp_sighandler_t func)
  760. {
  761. rt_base_t level;
  762. if (sig == 0 || sig > _LWP_NSIG)
  763. return;
  764. level = rt_hw_interrupt_disable();
  765. rt_thread_self()->signal_handler[sig - 1] = func;
  766. rt_hw_interrupt_enable(level);
  767. }
  768. #endif
  769. rt_err_t lwp_thread_signal_mask(rt_thread_t thread, lwp_sig_mask_cmd_t how,
  770. const lwp_sigset_t *sigset, lwp_sigset_t *oset)
  771. {
  772. rt_err_t ret = -1;
  773. rt_base_t level;
  774. struct rt_lwp *lwp;
  775. if (thread)
  776. {
  777. /** FIXME: acquire READ access to rt_thread */
  778. level = rt_hw_interrupt_disable();
  779. lwp = (struct rt_lwp*)thread->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. rt_hw_interrupt_enable(level);
  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_base_t level;
  825. rt_err_t ret;
  826. lwp_sigset_t saved_sigset;
  827. lwp_sigset_t blocked_sigset;
  828. int sig;
  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. /* FIXME: acquire READ lock to lwp */
  839. level = rt_hw_interrupt_disable();
  840. sig = _dequeue_signal(thread, sigset, usi);
  841. rt_hw_interrupt_enable(level);
  842. if (sig)
  843. return sig;
  844. /**
  845. * @brief POSIX
  846. * if none of the signals specified by set are pending, sigtimedwait() shall
  847. * wait for the time interval specified in the timespec structure referenced
  848. * by timeout.
  849. *
  850. * @note If the pending signal arrives before thread suspend, the suspend
  851. * operation will return a failure
  852. */
  853. _sigandsets(&blocked_sigset, &thread->signal.sigset_mask, sigset);
  854. _thread_signal_mask(thread, LWP_SIG_MASK_CMD_SET_MASK, &blocked_sigset, &saved_sigset);
  855. if (timeout)
  856. {
  857. rt_uint32_t time;
  858. time = rt_timespec_to_tick(timeout);
  859. /**
  860. * @brief POSIX
  861. * If the timespec structure pointed to by timeout is zero-valued and
  862. * if none of the signals specified by set are pending, then
  863. * sigtimedwait() shall return immediately with an error
  864. */
  865. if (time == 0)
  866. return -EAGAIN;
  867. ret = rt_thread_suspend_with_flag(thread, RT_INTERRUPTIBLE);
  868. rt_timer_control(&(thread->thread_timer),
  869. RT_TIMER_CTRL_SET_TIME,
  870. &timeout);
  871. rt_timer_start(&(thread->thread_timer));
  872. }
  873. else
  874. {
  875. /* suspend kernel forever until signal was received */
  876. ret = rt_thread_suspend_with_flag(thread, RT_INTERRUPTIBLE);
  877. }
  878. if (ret == RT_EOK)
  879. {
  880. rt_schedule();
  881. /* If thread->error reliable? */
  882. if (thread->error == -RT_EINTR)
  883. ret = -EINTR;
  884. else
  885. ret = -EAGAIN;
  886. }
  887. /* else ret == -EINTR */
  888. _thread_signal_mask(thread, LWP_SIG_MASK_CMD_SET_MASK, &saved_sigset, RT_NULL);
  889. /* FIXME: acquire READ lock to lwp */
  890. level = rt_hw_interrupt_disable();
  891. sig = _dequeue_signal(thread, sigset, usi);
  892. rt_hw_interrupt_enable(level);
  893. return sig ? sig : ret;
  894. }
  895. void lwp_thread_signal_pending(rt_thread_t thread, lwp_sigset_t *pending)
  896. {
  897. rt_base_t level;
  898. struct rt_lwp *lwp;
  899. lwp = thread->lwp;
  900. if (lwp)
  901. {
  902. memset(pending, 0, sizeof(*pending));
  903. level = rt_hw_interrupt_disable();
  904. sigqueue_examine(_SIGQ(thread), pending);
  905. sigqueue_examine(_SIGQ(lwp), pending);
  906. rt_hw_interrupt_enable(level);
  907. _sigandsets(pending, pending, &thread->signal.sigset_mask);
  908. }
  909. }