如何用OCaml搭建Unix域套接字服务器？遇权限及地址占用问题

错误原因分析 #

1. Unix.EPERM（操作不被允许） #

当套接字文件不存在时触发，常见诱因：

• 套接字路径所在的目录无写入权限（比如尝试在/root等需管理员权限的目录创建文件，而当前进程未以root身份运行）
• 套接字路径长度超出系统限制（多数Unix系统限制Unix域套接字路径为108字节）

2. Unix.EADDRINUSE（地址已被占用） #

当套接字文件已存在时触发，这是Unix域套接字的固有特性：只要对应文件存在，内核就判定该套接字地址已被占用，即便之前的服务器进程已终止。

解决方案 #

无需对套接字文件做特殊初始化，只需处理以下核心问题：

1. 启动前清理残留的套接字文件 #

在调用Unix.establish_server前，先尝试删除已存在的套接字文件，规避EADDRINUSE异常：

(* 尝试删除已存在的套接字文件，文件不存在时忽略异常 *)
try Unix.unlink sock_file_path with Unix.Unix_error (Unix.ENOENT, _, _) -> ();

let sock_addr = Unix.ADDR_UNIX sock_file_path in
Unix.establish_server server_loop sock_addr;

2. 确保目录权限与路径合法性 #

• 选择具备写入权限的目录存放套接字文件（比如/tmp是通用临时目录，权限宽松）
• 检查套接字路径长度，确保不超过108字节的系统限制
• 若必须在受限目录创建，需以拥有对应权限的用户（如root）运行程序

3. 退出时自动清理套接字（可选） #

为避免服务器意外退出后残留套接字文件导致下次启动报错，可注册退出清理函数：

(* 注册程序退出时的套接字清理逻辑 *)
Stdlib.at_exit (fun () ->
  try Unix.unlink sock_file_path with Unix.Unix_error (Unix.ENOENT, _, _) -> ()
);

(* 启动服务器的核心代码 *)
try Unix.unlink sock_file_path with Unix.Unix_error (Unix.ENOENT, _, _) -> ();
let sock_addr = Unix.ADDR_UNIX sock_file_path in
Unix.establish_server server_loop sock_addr;

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