iT邦幫忙

2017 iT 邦幫忙鐵人賽
DAY 15
2
自我挑戰組

跨界的追尋:trace 30個基本Linux系統呼叫系列 第 15

trace 30個基本Linux系統呼叫第十五日:sigaction

  • 分享至 

  • xImage
  •  

前情提要

昨日的kill看到訊號在核心中的傳送,本日則來探討程序如何指定特定行為來回應特定的訊號。


sigaction的用途

原本一個程序對於每一種訊號都有預設的行為,而sigaction就是在改變這些特定的行為。最容易觀察到的例子,在一個bash啟用的時候:

[demo@linux ~]$ strace /bin/bash
execve("/bin/bash", ["/bin/bash"], [/* 39 vars */]) = 0
...
rt_sigaction(SIGCHLD, {0x4439d0, [], SA_RESTORER|SA_RESTART, 0x7f71d690f0b0}, {SIG_DFL, [], SA_RESTORER|SA_RESTART, 0x7f71d690f0b0}, 8) = 0
...
rt_sigaction(SIGINT, {0x7f71d6eab2d0, [], SA_RESTORER, 0x7f71d690f0b0}, {0x45c560, [], SA_RESTORER, 0x7f71d690f0b0}, 8) = 0
rt_sigaction(SIGTERM, {0x7f71d6eab2d0, [], SA_RESTORER, 0x7f71d690f0b0}, {0x45c080, [], SA_RESTORER|SA_RESTART, 0x7f71d690f0b0}, 8) = 0
rt_sigaction(SIGHUP, {0x7f71d6eab2d0, [], SA_RESTORER, 0x7f71d690f0b0}, {0x45c810, [HUP INT ILL TRAP ABRT BUS FPE USR1 SEGV USR2 PIPE ALRM TERM XCPU XFSZ VTALRM SYS], SA_RESTORER, 0x7f71d690f0b0}, 8) = 0
rt_sigaction(SIGQUIT, {0x7f71d6eab2d0, [], SA_RESTORER, 0x7f71d690f0b0}, {SIG_IGN, [], SA_RESTORER, 0x7f71d690f0b0}, 8) = 0
...

從上述例子我們可以看到這個系統呼叫需要四個傳入參數,第一個是欲處理的訊號本身,第二個和第三個結構類似,他們都是用來代表一個訊號處理的結構,前者是新的,後者是原先的。以第一個列出的SIGCHLD為例,原本的是SIG_DEL,也就是預設值的意思,將被改寫到一個位在bash本身程式之中的一個位置,由0x4439d0該處的函式來處理這個訊號。

其中有一件有趣的事情不得不提,那就是因為bash及大部分的shell處理了SIGINT,所以在命令列輸入Ctrl+C的時候不會將shell中止掉。

在手冊中有詳述sigaction(慣例的稱呼法)以及rt_sigaction(我們看見Linux核心使用的系統呼叫)的差異。主要是因為有一個結構struct sigset_t在不同需求(即時性與否)下的大小不同,因此rt_sigaction需要第四個參數,我們從上面的例子可以看到這個值大多是8個位元組。


追蹤

同樣在kernel/signal.c這個長達3K行的原始碼檔案中,有兩個rt_sigaction的定義,分別在CONFIG_COMPAT的組態以及CONFIG_OLD_RT_SIGACTION的組態下成立。檢視了一下目前使用的核心,發現筆者用的是前者,所以以前者作為標的來追蹤。

3328 COMPAT_SYSCALL_DEFINE4(rt_sigaction, int, sig,
3329                 const struct compat_sigaction __user *, act,
3330                 struct compat_sigaction __user *, oact,
3331                 compat_size_t, sigsetsize)
3332 {       
3333         struct k_sigaction new_ka, old_ka;
3334         compat_sigset_t mask;
3335 #ifdef __ARCH_HAS_SA_RESTORER
3336         compat_uptr_t restorer;
3337 #endif  
3338         int ret;
3339         
3340         /* XXX: Don't preclude handling different sized sigset_t's.  */
3341         if (sigsetsize != sizeof(compat_sigset_t))
3342                 return -EINVAL;
...

標頭如同前段所描述的編排,其中帶有__user的兩個參數都是來自使用者空間的訊號處理結構。最一開始的程式碼的XXX標記雖然說「請勿排除不同大小的sigset_t」,但目前為止仍然只支援一種,也就是compat_sigget_t。另外,本系統呼叫中的核心角色struct compat_sigaction定義在include/linux/compat.h,也就是一個為了系統呼叫相容性而定義許多型別與巨集的標頭檔中:

137 struct compat_sigaction {                                                                                                               
138 #ifndef __ARCH_HAS_IRIX_SIGACTION
139         compat_uptr_t                   sa_handler;
140         compat_ulong_t                  sa_flags;
141 #else    
142         compat_uint_t                   sa_flags;
143         compat_uptr_t                   sa_handler;
144 #endif
145 #ifdef __ARCH_HAS_SA_RESTORER
146         compat_uptr_t                   sa_restorer;
147 #endif
148         compat_sigset_t                 sa_mask __packed;
149 };               

接下來的部份是:

3344         if (act) {      
3345                 compat_uptr_t handler;
3346                 ret = get_user(handler, &act->sa_handler);
3347                 new_ka.sa.sa_handler = compat_ptr(handler);
3348 #ifdef __ARCH_HAS_SA_RESTORER
3349                 ret |= get_user(restorer, &act->sa_restorer);
3350                 new_ka.sa.sa_restorer = compat_ptr(restorer);
3351 #endif                  
3352                 ret |= copy_from_user(&mask, &act->sa_mask, sizeof(mask));
3353                 ret |= get_user(new_ka.sa.sa_flags, &act->sa_flags);
3354                 if (ret)
3355                         return -EFAULT;
3356                 sigset_from_compat(&new_ka.sa.sa_mask, &mask);
3357         }               

若是有傳入新的訊號處理結構act,才會執行這個部份。get_user是一個巨集,會根據傳入的指標的型別決定該如何進行後續的從使用者空間複製的動作,最後也會呼叫到copy_from_user。接下來主要就是填滿型別為struct k_sigaction的變數new_ka,然後最後呼叫的sigset_from_compat函數作一些bit尺度的轉換。

3359         ret = do_sigaction(sig, act ? &new_ka : NULL, oact ? &old_ka : NULL);
3360         if (!ret && oact) { 
3361                 sigset_to_compat(&mask, &old_ka.sa.sa_mask);
3362                 ret = put_user(ptr_to_compat(old_ka.sa.sa_handler), 
3363                                &oact->sa_handler);
3364                 ret |= copy_to_user(&oact->sa_mask, &mask, sizeof(mask));
3365                 ret |= put_user(old_ka.sa.sa_flags, &oact->sa_flags);
3366 #ifdef __ARCH_HAS_SA_RESTORER
3367                 ret |= put_user(ptr_to_compat(old_ka.sa.sa_restorer),
3368                                 &oact->sa_restorer);
3369 #endif           
3370         }        
3371         return ret;
3372 }                

do_sigaction將排除對SIGKILLSIGSTOP註冊管理程序的企圖,並且在當前程序的結構體中取出指定的訊號處理結構,指派到restorer中,留待之後有需要時回復,而將傳入的註冊程序存放到當前程序的結構之中。最後的判斷式則是在前述過程沒有錯誤且有傳入舊的訊號處理結構oact時執行。


結論

這是一個相對單純的系統呼叫。我們看到了一個訊號管理程序如何被註冊,以及在核心中的處理過程。不知不覺就到了一半了,接下來也要持續衝刺!我們明日再會!


上一篇
trace 30個基本Linux系統呼叫第十四日:其實不帶殺氣的kill
下一篇
trace 30個基本Linux系統呼叫第十六日:sigprocmask
系列文
跨界的追尋:trace 30個基本Linux系統呼叫30
圖片
  直播研討會
圖片
{{ item.channelVendor }} {{ item.webinarstarted }} |
{{ formatDate(item.duration) }}
直播中

尚未有邦友留言

立即登入留言