I would like to know not only user-side differences, but differences / common parts in Linux kernel implementation as well.
The shutdown()
and SCM_RIGHTS
capabilities of socketpairs are needed to implement race-proof communication with subprocesses in a multithreaded program.
Pipes can be duplicated by accident in case several threads pipe()
and fork()
at the same time; in that case, the write end of the pipe may never get closed and EOF may never occur on the read end, causing deadlock. Even for those programs that use fork()
for subprocesses only (ie all fork()
s are promptly followed by execve()
in the child), pipe capture by a concurrent fork()
still races with setting the FD_CLOEXEC
bit, barring use of the non-portable Linux pipe2()
system call that accepts O_CLOEXEC
.
Solving this hazard in a portable way, also for programs that fork()
without then calling execve()
, involves socketpairs:
shutdown()
before close()
from the parent to cause a race-proof EOF condition, regardless of whether the file descriptor was duplicated.SCM_RIGHTS
message.