如何在SOCK_DGRAM套接字对上检测EOF

Question

我试图在类型为SOCK_DGRAM的套接字对的端点上检测EOF，但选择从不返回：

let (sock1, sock2) = Unix.socketpair Unix.PF_UNIX Unix.SOCK_DGRAM 0
let () = Unix.shutdown sock1 Unix.SHUTDOWN_ALL
let () = Unix.close sock1
let (rw, _, _) = Unix.select [sock2] [] [sock2] (-1.)

Strace输出：

socketpair(PF_FILE, SOCK_DGRAM, 0, [3, 4]) = 0
shutdown(3, 2 /* send and receive */)   = 0
close(3)                                = 0
select(5, [4], [], [4], NULL

注意:作为SOCK_STREAM，这是可行的。但不是SOCK_DGRAM。

那我怎么检测EOF呢？

Answer 1

SOCK_DGRAM不是面向连接的，也不允许您检测另一端是否关闭。

(如果您在linux上，或者其他系统上，您可以使用SOCK_SEQPACKET，它面向连接，允许一端检测另一端何时关闭，同时仍然维护数据报分隔的数据)。