Original bug ID: 5416
Reporter: ripoche
Status: closed (set by @xavierleroy on 2013-08-31T10:48:40Z)
Resolution: fixed
Priority: normal
Severity: major
Platform: PC
OS: Windows
OS Version: XP SP3 32 bits
Version: 3.12.1
Category: ~DO NOT USE (was: OCaml general)
Related to: #4895

Bug description

Consider the following snippet:

let () =
let server = Unix.socket Unix.PF_INET Unix.SOCK_STREAM 0 in
Unix.set_nonblock server;
Unix.set_close_on_exec server;
Unix.setsockopt server Unix.SO_REUSEADDR true;
Unix.bind server (Unix.ADDR_INET (Unix.inet_addr_any, 1039));
Unix.listen server 10;
output_string stdout "calling Unix.accept on non-blocking socket\n";
flush stdout;
ignore (Unix.accept server)
;;

On Linux 32 bits, the call to accept fails as expected with EAGAIN (EWOULDBLOCK would be fine too).
On WinXP SP3 32 bits, the call to accept blocks.

This issue lies in the Win32 implementation of Unix.(set|clear)_close_on_exec. otherlibs/win32unix/close_on.c uses DuplicateHandle which has the (undocumented) side-effect of resetting sockets to blocking mode.

Note that this trick is from the Win9x era and should probably be replaced by a call to SetHandleInformation.

As a side note, I also noticed the usage of both WinSock and WinSock2 in win32unix. Can I ask what's the point of mixing both ? Do we really need to support Win9X ?

File attachments

• ocaml-3.12.1.close_on.patch