如何在OCaml中通过Unix.sigprocmask阻塞所有信号？

好问题！OCaml的Unix模块确实没有直接提供类似C中sigfillset的函数，但我们有两种可靠的方式来获取全信号列表，从而用Unix.sigprocmask阻塞所有可阻塞信号。

方法一：手动枚举标准信号 #

OCaml的Sys模块定义了绝大多数POSIX标准信号的常量，我们可以把这些常量全部收集到一个列表中，直接传给Unix.sigprocmask。这种方式简单直接，适合不需要跨太多小众系统的场景。

以下是包含常见标准信号的列表示例：

let all_signals = [
  Sys.sigabrt; Sys.sigalrm; Sys.sigfpe; Sys.sighup; Sys.sigill;
  Sys.sigint; Sys.sigkill; Sys.sigpipe; Sys.sigquit; Sys.sigsegv;
  Sys.sigterm; Sys.sigusr1; Sys.sigusr2; Sys.sigchld; Sys.sigcont;
  Sys.sigstop; Sys.sigtstp; Sys.sigttin; Sys.sigttou; Sys.sigvtalrm;
  Sys.sigprof; Sys.sigbus; Sys.sigpoll; Sys.sigsys; Sys.sigtrap;
  Sys.sigurg; Sys.sigxcpu; Sys.sigxfsz
]

(* 阻塞所有可阻塞信号 *)
let () =
  ignore (Unix.sigprocmask Unix.SIG_BLOCK all_signals)

注意事项 #

• Sys.sigkill和Sys.sigstop是POSIX规定的不可阻塞信号，即使你把它们加入列表，Unix.sigprocmask也会自动忽略它们，不用特意从列表中排除。
• 部分小众系统可能有额外的非标准信号，如果你的代码需要兼容这些系统，建议用下面的动态获取方法。

方法二：通过C Stub动态获取全信号集 #

如果需要跨不同系统自动适配所有可用信号，最可靠的方式是写一个简单的C代码片段，调用C标准库的sigfillset和sigismember来遍历所有信号，再把结果返回给OCaml。这种方式能保证获取到当前系统支持的所有信号。

步骤1：编写C Stub代码 #

创建一个名为sigfillset_stub.c的文件，内容如下：

#include <signal.h>
#include <caml/mlvalues.h>
#include <caml/alloc.h>
#include <caml/memory.h>

value ocaml_sigfillset(value unit) {
  CAMLparam1(unit);
  sigset_t signal_set;
  sigfillset(&signal_set);
  value signal_list = Val_int(0); // 初始化为空列表

  // 遍历所有可能的信号编号（POSIX规定NSIG是最大信号编号+1）
  for (int sig = 1; sig < NSIG; sig++) {
    if (sigismember(&signal_set, sig)) {
      // 将信号编号添加到OCaml列表头部
      value new_node = caml_alloc(2, 0);
      Store_field(new_node, 0, Val_int(sig));
      Store_field(new_node, 1, signal_list);
      signal_list = new_node;
    }
  }

  CAMLreturn(signal_list);
}

步骤2：编译并在OCaml中调用 #

1. 将C代码编译为OCaml可调用的库：

   ocamlopt -c sigfillset_stub.c
   

2. 在OCaml代码中绑定这个C函数并使用：

   external sigfillset : unit -> int list = "ocaml_sigfillset"
   
   let () =
     let all_signals = sigfillset () in
     ignore (Unix.sigprocmask Unix.SIG_BLOCK all_signals)
   

3. 编译OCaml代码时链接C库：

   ocamlopt -o block_all_signals sigfillset_stub.o your_code.ml unix.cmxa
   

这种方式完全依赖系统的信号集实现，能自动适配不同操作系统的信号差异，是最健壮的解决方案。

内容的提问来源于stack exchange，提问作者user4759923