Windows: A pipe() replacement whose ends are not inherited to children.
authorJohannes Sixt <johannes.sixt@telecom.at>
Fri, 7 Dec 2007 21:05:36 +0000 (22:05 +0100)
committerJohannes Sixt <johannes.sixt@telecom.at>
Mon, 23 Jun 2008 11:40:31 +0000 (13:40 +0200)
On Unix the idiom to use a pipe is as follows:

    pipe(fd);
    pid = fork();
    if (!pid) {
        dup2(fd[1], 1);
        close(fd[1]);
        close(fd[0]);
        ...
     }
     close(fd[1]);

i.e. the child process closes the both pipe ends after duplicating one
to the file descriptors where they are needed.

On Windows, which does not have fork(), we never have an opportunity to
(1) duplicate a pipe end in the child, (2) close unused pipe ends. Instead,
we must use this idiom:

    save1 = dup(1);
    pipe(fd);
    dup2(fd[1], 1);
    spawn(...);
    dup2(save1, 1);
    close(fd[1]);

i.e. save away the descriptor at the destination slot, replace by the pipe
end, spawn process, restore the saved file.

But there is a problem: Notice that the child did not only inherit the
dup2()ed descriptor, but also *both* original pipe ends. Although the one
end that was dup()ed could be closed before the spawn(), we cannot close
the other end - the child inherits it, no matter what.

The solution is to generate non-inheritable pipes. At the first glance,
this looks strange: The purpose of pipes is usually to be inherited to
child processes. But notice that in the course of actions as outlined
above, the pipe descriptor that we want to inherit to the child is
dup2()ed, and as it so happens, Windows's dup2() creates inheritable
duplicates.

Signed-off-by: Johannes Sixt <johannes.sixt@telecom.at>
compat/mingw.c
compat/mingw.h

index 89b29c55e5371c8ebeaa9d9003a24b3ac18a58de..31a9b9e2516ba04d04c147fb8d8da63a319c08ea 100644 (file)
@@ -54,6 +54,51 @@ int gettimeofday(struct timeval *tv, void *tz)
        return 0;
 }
 
+int pipe(int filedes[2])
+{
+       int fd;
+       HANDLE h[2], parent;
+
+       if (_pipe(filedes, 8192, 0) < 0)
+               return -1;
+
+       parent = GetCurrentProcess();
+
+       if (!DuplicateHandle (parent, (HANDLE)_get_osfhandle(filedes[0]),
+                       parent, &h[0], 0, FALSE, DUPLICATE_SAME_ACCESS)) {
+               close(filedes[0]);
+               close(filedes[1]);
+               return -1;
+       }
+       if (!DuplicateHandle (parent, (HANDLE)_get_osfhandle(filedes[1]),
+                       parent, &h[1], 0, FALSE, DUPLICATE_SAME_ACCESS)) {
+               close(filedes[0]);
+               close(filedes[1]);
+               CloseHandle(h[0]);
+               return -1;
+       }
+       fd = _open_osfhandle((int)h[0], O_NOINHERIT);
+       if (fd < 0) {
+               close(filedes[0]);
+               close(filedes[1]);
+               CloseHandle(h[0]);
+               CloseHandle(h[1]);
+               return -1;
+       }
+       close(filedes[0]);
+       filedes[0] = fd;
+       fd = _open_osfhandle((int)h[1], O_NOINHERIT);
+       if (fd < 0) {
+               close(filedes[0]);
+               close(filedes[1]);
+               CloseHandle(h[1]);
+               return -1;
+       }
+       close(filedes[1]);
+       filedes[1] = fd;
+       return 0;
+}
+
 int poll(struct pollfd *ufds, unsigned int nfds, int timeout)
 {
        return -1;
index 3ddef11edae0eb0a9bc4216134630231228afc00..0ce9c96f93a57d18588c4e0ba48957fa70ba1d71 100644 (file)
@@ -122,14 +122,11 @@ static inline int waitpid(pid_t pid, unsigned *status, unsigned options)
        return -1;
 }
 
-
-static inline int pipe(int filedes[2])
-{ return _pipe(filedes, 8192, 0); }
-
 /*
  * implementations of missing functions
  */
 
+int pipe(int filedes[2]);
 unsigned int sleep (unsigned int seconds);
 int mkstemp(char *template);
 int gettimeofday(struct timeval *tv, void *tz);