mirror of
https://github.com/DragonOS-Community/DragonOS.git
synced 2025-06-08 14:16:47 +00:00
644 lines
24 KiB
Rust
644 lines
24 KiB
Rust
use core::sync::atomic::compiler_fence;
|
||
|
||
use alloc::sync::Arc;
|
||
use log::warn;
|
||
use system_error::SystemError;
|
||
|
||
use crate::{
|
||
arch::ipc::signal::{SigCode, SigFlags, SigSet, Signal},
|
||
ipc::signal_types::SigactionType,
|
||
libs::spinlock::SpinLockGuard,
|
||
process::{
|
||
pid::PidType, Pid, ProcessControlBlock, ProcessFlags, ProcessManager, ProcessSignalInfo,
|
||
},
|
||
};
|
||
|
||
use super::signal_types::{
|
||
SaHandlerType, SigInfo, SigType, Sigaction, SignalStruct, SIG_KERNEL_STOP_MASK,
|
||
};
|
||
|
||
impl Signal {
|
||
pub fn signal_pending_state(
|
||
interruptible: bool,
|
||
task_wake_kill: bool,
|
||
pcb: &Arc<ProcessControlBlock>,
|
||
) -> bool {
|
||
if !interruptible && !task_wake_kill {
|
||
return false;
|
||
}
|
||
|
||
if !pcb.has_pending_signal_fast() {
|
||
return false;
|
||
}
|
||
|
||
return interruptible || Self::fatal_signal_pending(pcb);
|
||
}
|
||
|
||
/// 判断当前进程是否收到了SIGKILL信号
|
||
pub fn fatal_signal_pending(pcb: &Arc<ProcessControlBlock>) -> bool {
|
||
let guard = pcb.sig_info_irqsave();
|
||
if guard
|
||
.sig_pending()
|
||
.signal()
|
||
.contains(Signal::SIGKILL.into())
|
||
{
|
||
return true;
|
||
}
|
||
|
||
return false;
|
||
}
|
||
/// 向目标进程发送信号
|
||
///
|
||
/// ## 参数
|
||
///
|
||
/// - `sig` 要发送的信号
|
||
/// - `info` 要发送的信息
|
||
/// - `pid` 进程id（目前只支持pid>0)
|
||
pub fn send_signal_info(
|
||
&self,
|
||
info: Option<&mut SigInfo>,
|
||
pid: Pid,
|
||
) -> Result<i32, SystemError> {
|
||
// TODO:暂时不支持特殊的信号操作，待引入进程组后补充
|
||
// 如果 pid 大于 0，那么会发送信号给 pid 指定的进程
|
||
// 如果 pid 等于 0，那么会发送信号给与调用进程同组的每个进程，包括调用进程自身
|
||
// 如果 pid 小于 -1，那么会向组 ID 等于该 pid 绝对值的进程组内所有下属进程发送信号。向一个进程组的所有进程发送信号在 shell 作业控制中有特殊有途
|
||
// 如果 pid 等于 -1，那么信号的发送范围是：调用进程有权将信号发往的每个目标进程，除去 init（进程 ID 为 1）和调用进程自身。如果特权级进程发起这一调用，那么会发送信号给系统中的所有进程，上述两个进程除外。显而易见，有时也将这种信号发送方式称之为广播信号
|
||
// 如果并无进程与指定的 pid 相匹配，那么 kill() 调用失败，同时将 errno 置为 ESRCH（“查无此进程”）
|
||
if pid.lt(&Pid::from(0)) {
|
||
warn!("Kill operation not support: pid={:?}", pid);
|
||
return Err(SystemError::ENOSYS);
|
||
}
|
||
compiler_fence(core::sync::atomic::Ordering::SeqCst);
|
||
// 检查sig是否符合要求，如果不符合要求，则退出。
|
||
if !self.is_valid() {
|
||
return Err(SystemError::EINVAL);
|
||
}
|
||
let mut retval = Err(SystemError::ESRCH);
|
||
let pcb = ProcessManager::find(pid);
|
||
|
||
if pcb.is_none() {
|
||
warn!("No such process.");
|
||
return retval;
|
||
}
|
||
|
||
let pcb = pcb.unwrap();
|
||
// println!("Target pcb = {:?}", pcb.as_ref().unwrap());
|
||
compiler_fence(core::sync::atomic::Ordering::SeqCst);
|
||
// 发送信号
|
||
retval = self.send_signal(info, pcb.clone(), PidType::PID);
|
||
|
||
compiler_fence(core::sync::atomic::Ordering::SeqCst);
|
||
return retval;
|
||
}
|
||
|
||
/// @brief 判断是否需要强制发送信号，然后发送信号
|
||
/// 进入函数后加锁
|
||
///
|
||
/// @return SystemError 错误码
|
||
fn send_signal(
|
||
&self,
|
||
info: Option<&mut SigInfo>,
|
||
pcb: Arc<ProcessControlBlock>,
|
||
pt: PidType,
|
||
) -> Result<i32, SystemError> {
|
||
// 是否强制发送信号
|
||
let mut force_send = false;
|
||
// signal的信息为空
|
||
|
||
if let Some(ref siginfo) = info {
|
||
force_send = matches!(siginfo.sig_code(), SigCode::Kernel);
|
||
} else {
|
||
// todo: 判断signal是否来自于一个祖先进程的namespace，如果是，则强制发送信号
|
||
//详见 https://code.dragonos.org.cn/xref/linux-6.1.9/kernel/signal.c?r=&mo=32170&fi=1220#1226
|
||
}
|
||
|
||
if !self.prepare_sianal(pcb.clone(), force_send) {
|
||
return Ok(0);
|
||
}
|
||
// debug!("force send={}", force_send);
|
||
let pcb_info = pcb.sig_info_irqsave();
|
||
let pending = if matches!(pt, PidType::PID) {
|
||
pcb_info.sig_shared_pending()
|
||
} else {
|
||
pcb_info.sig_pending()
|
||
};
|
||
compiler_fence(core::sync::atomic::Ordering::SeqCst);
|
||
// 如果是kill或者目标pcb是内核线程，则无需获取sigqueue，直接发送信号即可
|
||
if matches!(self, Signal::SIGKILL) || pcb.flags().contains(ProcessFlags::KTHREAD) {
|
||
//避免死锁
|
||
drop(pcb_info);
|
||
self.complete_signal(pcb.clone(), pt);
|
||
}
|
||
// 如果不是实时信号的话，同一时刻信号队列里只会有一个待处理的信号，如果重复接收就不做处理
|
||
else if !self.is_rt_signal() && pending.queue().find(*self).0.is_some() {
|
||
return Ok(0);
|
||
} else {
|
||
// TODO signalfd_notify 完善 signalfd 机制
|
||
// 如果是其他信号，则加入到sigqueue内，然后complete_signal
|
||
let new_sig_info = match info {
|
||
Some(siginfo) => {
|
||
// 已经显式指定了siginfo，则直接使用它。
|
||
*siginfo
|
||
}
|
||
None => {
|
||
// 不需要显示指定siginfo，因此设置为默认值
|
||
SigInfo::new(
|
||
*self,
|
||
0,
|
||
SigCode::User,
|
||
SigType::Kill(ProcessManager::current_pcb().pid()),
|
||
)
|
||
}
|
||
};
|
||
drop(pcb_info);
|
||
pcb.sig_info_mut()
|
||
.sig_pending_mut()
|
||
.queue_mut()
|
||
.q
|
||
.push(new_sig_info);
|
||
|
||
// if pt == PidType::PGID || pt == PidType::SID {}
|
||
self.complete_signal(pcb.clone(), pt);
|
||
}
|
||
compiler_fence(core::sync::atomic::Ordering::SeqCst);
|
||
return Ok(0);
|
||
}
|
||
|
||
/// @brief 将信号添加到目标进程的sig_pending。在引入进程组后，本函数还将负责把信号传递给整个进程组。
|
||
///
|
||
/// @param sig 信号
|
||
/// @param pcb 目标pcb
|
||
/// @param pt siginfo结构体中，pid字段代表的含义
|
||
#[allow(clippy::if_same_then_else)]
|
||
fn complete_signal(&self, pcb: Arc<ProcessControlBlock>, pt: PidType) {
|
||
// debug!("complete_signal");
|
||
|
||
compiler_fence(core::sync::atomic::Ordering::SeqCst);
|
||
// ===== 寻找需要wakeup的目标进程 =====
|
||
// 备注：由于当前没有进程组的概念，每个进程只有1个对应的线程，因此不需要通知进程组内的每个进程。
|
||
// todo: 当引入进程组的概念后，需要完善这里，使得它能寻找一个目标进程来唤醒，接着执行信号处理的操作。
|
||
|
||
// let _signal = pcb.sig_struct();
|
||
|
||
let target_pcb: Option<Arc<ProcessControlBlock>>;
|
||
|
||
// 判断目标进程是否想接收这个信号
|
||
if self.wants_signal(pcb.clone()) {
|
||
// todo: 将信号产生的消息通知到正在监听这个信号的进程（引入signalfd之后，在这里调用signalfd_notify)
|
||
// 将这个信号加到目标进程的sig_pending中
|
||
pcb.sig_info_mut()
|
||
.sig_pending_mut()
|
||
.signal_mut()
|
||
.insert((*self).into());
|
||
target_pcb = Some(pcb.clone());
|
||
} else if pt == PidType::PID {
|
||
/*
|
||
* There is just one thread and it does not need to be woken.
|
||
* It will dequeue unblocked signals before it runs again.
|
||
*/
|
||
return;
|
||
} else {
|
||
/*
|
||
* Otherwise try to find a suitable thread.
|
||
* 由于目前每个进程只有1个线程，因此当前情况可以返回。信号队列的dequeue操作不需要考虑同步阻塞的问题。
|
||
*/
|
||
return;
|
||
}
|
||
|
||
// TODO:引入进程组后，在这里挑选一个进程来唤醒，让它执行相应的操作。
|
||
compiler_fence(core::sync::atomic::Ordering::SeqCst);
|
||
// TODO: 到这里，信号已经被放置在共享的pending队列中，我们在这里把目标进程唤醒。
|
||
if let Some(target_pcb) = target_pcb {
|
||
let guard = target_pcb.sig_struct();
|
||
signal_wake_up(target_pcb.clone(), guard, *self == Signal::SIGKILL);
|
||
}
|
||
}
|
||
|
||
/// 本函数用于检测指定的进程是否想要接收SIG这个信号。
|
||
///
|
||
/// 当我们对于进程组中的所有进程都运行了这个检查之后，我们将可以找到组内愿意接收信号的进程。
|
||
/// 这么做是为了防止我们把信号发送给了一个正在或已经退出的进程，或者是不响应该信号的进程。
|
||
#[inline]
|
||
fn wants_signal(&self, pcb: Arc<ProcessControlBlock>) -> bool {
|
||
// 如果改进程屏蔽了这个signal，则不能接收
|
||
if pcb
|
||
.sig_info_irqsave()
|
||
.sig_blocked()
|
||
.contains((*self).into())
|
||
{
|
||
return false;
|
||
}
|
||
|
||
// 如果进程正在退出，则不能接收信号
|
||
if pcb.flags().contains(ProcessFlags::EXITING) {
|
||
return false;
|
||
}
|
||
|
||
if *self == Signal::SIGKILL {
|
||
return true;
|
||
}
|
||
let state = pcb.sched_info().inner_lock_read_irqsave().state();
|
||
if state.is_blocked() && (!state.is_blocked_interruptable()) {
|
||
return false;
|
||
}
|
||
|
||
// todo: 检查目标进程是否正在一个cpu上执行，如果是，则返回true，否则继续检查下一项
|
||
|
||
// 检查目标进程是否有信号正在等待处理，如果是，则返回false，否则返回true
|
||
return pcb.sig_info_irqsave().sig_pending().signal().bits() == 0;
|
||
}
|
||
|
||
/// @brief 判断signal的处理是否可能使得整个进程组退出
|
||
/// @return true 可能会导致退出（不一定）
|
||
#[allow(dead_code)]
|
||
#[inline]
|
||
fn sig_fatal(&self, pcb: Arc<ProcessControlBlock>) -> bool {
|
||
let action = pcb.sig_struct().handlers[*self as usize - 1].action();
|
||
// 如果handler是空，采用默认函数，signal处理可能会导致进程退出。
|
||
match action {
|
||
SigactionType::SaHandler(handler) => handler.is_sig_default(),
|
||
SigactionType::SaSigaction(sigaction) => sigaction.is_none(),
|
||
}
|
||
// todo: 参照linux的sig_fatal实现完整功能
|
||
}
|
||
|
||
/// 检查信号是否能被发送，并且而且要处理 SIGCONT 和 STOP 信号
|
||
///
|
||
/// ## 参数
|
||
///
|
||
/// - `pcb` 要发送信号的目标pcb
|
||
///
|
||
/// - `force` 是否强制发送(指走 fast path ， 不加入 sigpending按顺序处理，直接进入 complete_signal)
|
||
///
|
||
/// ## 返回值
|
||
///
|
||
/// - `true` 能够发送信号
|
||
///
|
||
/// - `false` 不能发送信号
|
||
fn prepare_sianal(&self, pcb: Arc<ProcessControlBlock>, _force: bool) -> bool {
|
||
let flush: SigSet;
|
||
if !(self.into_sigset() & SIG_KERNEL_STOP_MASK).is_empty() {
|
||
flush = Signal::SIGCONT.into_sigset();
|
||
pcb.sig_info_mut()
|
||
.sig_shared_pending_mut()
|
||
.flush_by_mask(&flush);
|
||
// TODO 对每个子线程 flush mask
|
||
} else if *self == Signal::SIGCONT {
|
||
flush = SIG_KERNEL_STOP_MASK;
|
||
assert!(!flush.is_empty());
|
||
pcb.sig_info_mut()
|
||
.sig_shared_pending_mut()
|
||
.flush_by_mask(&flush);
|
||
let _r = ProcessManager::wakeup_stop(&pcb);
|
||
// TODO 对每个子线程 flush mask
|
||
// 这里需要补充一段逻辑，详见https://code.dragonos.org.cn/xref/linux-6.1.9/kernel/signal.c#952
|
||
}
|
||
|
||
// 一个被阻塞了的信号肯定是要被处理的
|
||
if pcb
|
||
.sig_info_irqsave()
|
||
.sig_blocked()
|
||
.contains(self.into_sigset())
|
||
{
|
||
return true;
|
||
}
|
||
return !pcb.sig_struct().handlers[*self as usize - 1].is_ignore();
|
||
|
||
//TODO 仿照 linux 中的prepare signal完善逻辑，linux 中还会根据例如当前进程状态(Existing)进行判断，现在的信号能否发出就只是根据 ignored 来判断
|
||
}
|
||
}
|
||
|
||
/// 因收到信号而唤醒进程
|
||
///
|
||
/// ## 参数
|
||
///
|
||
/// - `pcb` 要唤醒的进程pcb
|
||
/// - `_guard` 信号结构体锁守卫，来保证信号结构体已上锁
|
||
/// - `fatal` 表明这个信号是不是致命的(会导致进程退出)
|
||
#[inline]
|
||
fn signal_wake_up(pcb: Arc<ProcessControlBlock>, _guard: SpinLockGuard<SignalStruct>, fatal: bool) {
|
||
// 如果是 fatal 的话就唤醒 stop 和 block 的进程来响应，因为唤醒后就会终止
|
||
// 如果不是 fatal 的就只唤醒 stop 的进程来响应
|
||
// debug!("signal_wake_up");
|
||
// 如果目标进程已经在运行，则发起一个ipi，使得它陷入内核
|
||
let state = pcb.sched_info().inner_lock_read_irqsave().state();
|
||
pcb.flags().insert(ProcessFlags::HAS_PENDING_SIGNAL);
|
||
let mut wakeup_ok = true;
|
||
if state.is_blocked_interruptable() {
|
||
ProcessManager::wakeup(&pcb).unwrap_or_else(|e| {
|
||
wakeup_ok = false;
|
||
warn!(
|
||
"Current pid: {:?}, signal_wake_up target {:?} error: {:?}",
|
||
ProcessManager::current_pcb().pid(),
|
||
pcb.pid(),
|
||
e
|
||
);
|
||
});
|
||
} else if state.is_stopped() {
|
||
ProcessManager::wakeup_stop(&pcb).unwrap_or_else(|e| {
|
||
wakeup_ok = false;
|
||
warn!(
|
||
"Current pid: {:?}, signal_wake_up target {:?} error: {:?}",
|
||
ProcessManager::current_pcb().pid(),
|
||
pcb.pid(),
|
||
e
|
||
);
|
||
});
|
||
} else {
|
||
wakeup_ok = false;
|
||
}
|
||
|
||
if wakeup_ok {
|
||
ProcessManager::kick(&pcb);
|
||
} else if fatal {
|
||
let _r = ProcessManager::wakeup(&pcb).map(|_| {
|
||
ProcessManager::kick(&pcb);
|
||
});
|
||
}
|
||
}
|
||
|
||
fn has_pending_signals(sigset: &SigSet, blocked: &SigSet) -> bool {
|
||
sigset.bits() & (!blocked.bits()) != 0
|
||
}
|
||
|
||
impl ProcessControlBlock {
|
||
/// 重新计算线程的flag中的TIF_SIGPENDING位
|
||
/// 参考: https://code.dragonos.org.cn/xref/linux-6.1.9/kernel/signal.c?r=&mo=4806&fi=182#182
|
||
pub fn recalc_sigpending(&self, siginfo_guard: Option<&ProcessSignalInfo>) {
|
||
if !self.recalc_sigpending_tsk(siginfo_guard) {
|
||
self.flags().remove(ProcessFlags::HAS_PENDING_SIGNAL);
|
||
}
|
||
}
|
||
|
||
fn recalc_sigpending_tsk(&self, siginfo_guard: Option<&ProcessSignalInfo>) -> bool {
|
||
let mut _siginfo_tmp_guard = None;
|
||
let siginfo = if let Some(siginfo_guard) = siginfo_guard {
|
||
siginfo_guard
|
||
} else {
|
||
_siginfo_tmp_guard = Some(self.sig_info_irqsave());
|
||
_siginfo_tmp_guard.as_ref().unwrap()
|
||
};
|
||
return siginfo.do_recalc_sigpending_tsk(self);
|
||
}
|
||
}
|
||
|
||
impl ProcessSignalInfo {
|
||
fn do_recalc_sigpending_tsk(&self, pcb: &ProcessControlBlock) -> bool {
|
||
if has_pending_signals(&self.sig_pending().signal(), self.sig_blocked())
|
||
|| has_pending_signals(&self.sig_shared_pending().signal(), self.sig_blocked())
|
||
{
|
||
pcb.flags().insert(ProcessFlags::HAS_PENDING_SIGNAL);
|
||
return true;
|
||
}
|
||
/*
|
||
* We must never clear the flag in another thread, or in current
|
||
* when it's possible the current syscall is returning -ERESTART*.
|
||
* So we don't clear it here, and only callers who know they should do.
|
||
*/
|
||
return false;
|
||
}
|
||
}
|
||
/// 参考 https://code.dragonos.org.cn/xref/linux-6.1.9/include/linux/sched/signal.h?fi=restore_saved_sigmask#547
|
||
pub fn restore_saved_sigmask() {
|
||
if ProcessManager::current_pcb()
|
||
.flags()
|
||
.test_and_clear(ProcessFlags::RESTORE_SIG_MASK)
|
||
{
|
||
let saved = *ProcessManager::current_pcb()
|
||
.sig_info_irqsave()
|
||
.saved_sigmask();
|
||
__set_current_blocked(&saved);
|
||
}
|
||
}
|
||
|
||
/// 刷新指定进程的sighand的sigaction，将满足条件的sigaction恢复为默认状态。
|
||
/// 除非某个信号被设置为忽略且 `force_default` 为 `false`，否则都不会将其恢复。
|
||
///
|
||
/// # 参数
|
||
///
|
||
/// - `pcb`: 要被刷新的pcb。
|
||
/// - `force_default`: 是否强制将sigaction恢复成默认状态。
|
||
pub fn flush_signal_handlers(pcb: Arc<ProcessControlBlock>, force_default: bool) {
|
||
compiler_fence(core::sync::atomic::Ordering::SeqCst);
|
||
// debug!("hand=0x{:018x}", hand as *const sighand_struct as usize);
|
||
let actions = &mut pcb.sig_struct_irqsave().handlers;
|
||
|
||
for sigaction in actions.iter_mut() {
|
||
if force_default || !sigaction.is_ignore() {
|
||
sigaction.set_action(SigactionType::SaHandler(SaHandlerType::Default));
|
||
}
|
||
// 清除flags中，除了DFL和IGN以外的所有标志
|
||
sigaction.set_restorer(None);
|
||
sigaction.mask_mut().remove(SigSet::all());
|
||
compiler_fence(core::sync::atomic::Ordering::SeqCst);
|
||
}
|
||
compiler_fence(core::sync::atomic::Ordering::SeqCst);
|
||
}
|
||
|
||
pub(super) fn do_sigaction(
|
||
sig: Signal,
|
||
act: Option<&mut Sigaction>,
|
||
old_act: Option<&mut Sigaction>,
|
||
) -> Result<(), SystemError> {
|
||
if sig == Signal::INVALID {
|
||
return Err(SystemError::EINVAL);
|
||
}
|
||
let pcb = ProcessManager::current_pcb();
|
||
// 指向当前信号的action的引用
|
||
let action: &mut Sigaction = &mut pcb.sig_struct().handlers[sig as usize - 1];
|
||
|
||
// 对比 MUSL 和 relibc ， 暂时不设置这个标志位
|
||
// if action.flags().contains(SigFlags::SA_FLAG_IMMUTABLE) {
|
||
// return Err(SystemError::EINVAL);
|
||
// }
|
||
|
||
// 保存原有的 sigaction
|
||
let old_act: Option<&mut Sigaction> = {
|
||
if let Some(oa) = old_act {
|
||
*(oa) = *action;
|
||
Some(oa)
|
||
} else {
|
||
None
|
||
}
|
||
};
|
||
// 清除所有的脏的sa_flags位（也就是清除那些未使用的）
|
||
let act = {
|
||
if let Some(ac) = act {
|
||
*ac.flags_mut() &= SigFlags::SA_ALL;
|
||
Some(ac)
|
||
} else {
|
||
None
|
||
}
|
||
};
|
||
|
||
if let Some(act) = old_act {
|
||
*act.flags_mut() &= SigFlags::SA_ALL;
|
||
}
|
||
|
||
if let Some(ac) = act {
|
||
// 将act.sa_mask的SIGKILL SIGSTOP的屏蔽清除
|
||
ac.mask_mut()
|
||
.remove(<Signal as Into<SigSet>>::into(Signal::SIGKILL) | Signal::SIGSTOP.into());
|
||
|
||
// 将新的sigaction拷贝到进程的action中
|
||
*action = *ac;
|
||
/*
|
||
* 根据POSIX 3.3.1.3规定：
|
||
* 1.不管一个信号是否被阻塞，只要将其设置SIG_IGN，如果当前已经存在了正在pending的信号，那么就把这个信号忽略。
|
||
*
|
||
* 2.不管一个信号是否被阻塞，只要将其设置SIG_DFL，如果当前已经存在了正在pending的信号，
|
||
并且对这个信号的默认处理方式是忽略它，那么就会把pending的信号忽略。
|
||
*/
|
||
if action.is_ignore() {
|
||
let mut mask: SigSet = SigSet::from_bits_truncate(0);
|
||
mask.insert(sig.into());
|
||
pcb.sig_info_mut().sig_pending_mut().flush_by_mask(&mask);
|
||
// todo: 当有了多个线程后，在这里进行操作，把每个线程的sigqueue都进行刷新
|
||
}
|
||
}
|
||
return Ok(());
|
||
}
|
||
|
||
/// https://code.dragonos.org.cn/xref/linux-6.6.21/include/uapi/asm-generic/signal-defs.h#72
|
||
/// 对应SIG_BLOCK，SIG_UNBLOCK，SIG_SETMASK
|
||
#[derive(Debug, Clone, Copy, PartialEq, Eq)]
|
||
pub enum SigHow {
|
||
Block = 0,
|
||
Unblock = 1,
|
||
SetMask = 2,
|
||
}
|
||
|
||
impl TryFrom<i32> for SigHow {
|
||
type Error = SystemError;
|
||
fn try_from(value: i32) -> Result<Self, Self::Error> {
|
||
match value {
|
||
0 => Ok(SigHow::Block),
|
||
1 => Ok(SigHow::Unblock),
|
||
2 => Ok(SigHow::SetMask),
|
||
_ => Err(SystemError::EINVAL),
|
||
}
|
||
}
|
||
}
|
||
|
||
fn __set_task_blocked(pcb: &Arc<ProcessControlBlock>, new_set: &SigSet) {
|
||
//todo 还有一个对线程组是否为空的判断，进程组、线程组实现之后，需要更改这里。
|
||
if pcb.has_pending_signal() {
|
||
let mut newblocked = *new_set;
|
||
let guard = pcb.sig_info_irqsave();
|
||
newblocked.remove(*guard.sig_blocked());
|
||
drop(guard);
|
||
|
||
// 从主线程开始去遍历
|
||
if let Some(group_leader) = pcb.threads_read_irqsave().group_leader() {
|
||
retarget_shared_pending(group_leader, newblocked);
|
||
}
|
||
}
|
||
*pcb.sig_info_mut().sig_block_mut() = *new_set;
|
||
pcb.recalc_sigpending(None);
|
||
}
|
||
|
||
fn __set_current_blocked(new_set: &SigSet) {
|
||
let pcb = ProcessManager::current_pcb();
|
||
/*
|
||
如果当前pcb的sig_blocked和新的相等，那么就不用改变它。
|
||
请注意，一个进程的sig_blocked字段不能被其他进程修改！
|
||
*/
|
||
if pcb.sig_info_irqsave().sig_blocked().eq(new_set) {
|
||
return;
|
||
}
|
||
let guard: SpinLockGuard<'_, SignalStruct> = pcb.sig_struct_irqsave();
|
||
|
||
__set_task_blocked(&pcb, new_set);
|
||
|
||
drop(guard);
|
||
}
|
||
|
||
fn retarget_shared_pending(pcb: Arc<ProcessControlBlock>, which: SigSet) {
|
||
let retarget = pcb.sig_info_irqsave().sig_shared_pending().signal();
|
||
retarget.intersects(which);
|
||
if retarget.is_empty() {
|
||
return;
|
||
}
|
||
|
||
// 对于线程组中的每一个线程都要执行的函数
|
||
let thread_handling_function = |pcb: Arc<ProcessControlBlock>, retarget: &SigSet| {
|
||
if retarget.is_empty() {
|
||
return;
|
||
}
|
||
|
||
if pcb.flags().contains(ProcessFlags::EXITING) {
|
||
return;
|
||
}
|
||
|
||
let blocked = pcb.sig_info_irqsave().sig_shared_pending().signal();
|
||
if retarget.difference(blocked).is_empty() {
|
||
return;
|
||
}
|
||
|
||
retarget.intersects(blocked);
|
||
if !pcb.has_pending_signal() {
|
||
let guard = pcb.sig_struct_irqsave();
|
||
signal_wake_up(pcb.clone(), guard, false);
|
||
}
|
||
// 之前的对retarget的判断移动到最前面，因为对于当前线程的线程的处理已经结束，对于后面的线程在一开始判断retarget为空即可结束处理
|
||
|
||
// debug!("handle done");
|
||
};
|
||
|
||
// 暴力遍历每一个线程，找到相同的tgid
|
||
let tgid = pcb.tgid();
|
||
for &pid in pcb.children_read_irqsave().iter() {
|
||
if let Some(child) = ProcessManager::find(pid) {
|
||
if child.tgid() == tgid {
|
||
thread_handling_function(child, &retarget);
|
||
}
|
||
}
|
||
}
|
||
// debug!("retarget_shared_pending done!");
|
||
}
|
||
|
||
/// 设置当前进程的屏蔽信号 (sig_block)
|
||
///
|
||
/// ## 参数
|
||
///
|
||
/// - `new_set` 新的屏蔽信号bitmap的值
|
||
pub fn set_current_blocked(new_set: &mut SigSet) {
|
||
let to_remove: SigSet =
|
||
<Signal as Into<SigSet>>::into(Signal::SIGKILL) | Signal::SIGSTOP.into();
|
||
new_set.remove(to_remove);
|
||
__set_current_blocked(new_set);
|
||
}
|
||
|
||
/// 设置当前进程的屏蔽信号 (sig_block)
|
||
///
|
||
/// ## 参数
|
||
///
|
||
/// - `how` 设置方式
|
||
/// - `new_set` 新的屏蔽信号bitmap的值
|
||
pub fn set_sigprocmask(how: SigHow, set: SigSet) -> Result<SigSet, SystemError> {
|
||
let pcb: Arc<ProcessControlBlock> = ProcessManager::current_pcb();
|
||
let guard = pcb.sig_info_irqsave();
|
||
let oset = *guard.sig_blocked();
|
||
|
||
let mut res_set = oset;
|
||
drop(guard);
|
||
|
||
match how {
|
||
SigHow::Block => {
|
||
// debug!("SIG_BLOCK\tGoing to insert is: {}", set.bits());
|
||
res_set.insert(set);
|
||
}
|
||
SigHow::Unblock => {
|
||
res_set.remove(set);
|
||
}
|
||
SigHow::SetMask => {
|
||
// debug!("SIG_SETMASK\tGoing to set is: {}", set.bits());
|
||
res_set = set;
|
||
}
|
||
}
|
||
|
||
__set_current_blocked(&res_set);
|
||
Ok(oset)
|
||
}
|