Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] Client/Server socket communication
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2002-09-18 (08:14)
From: Alessandro Baretta <alex@b...>
Subject: Re: [Caml-list] Client/Server socket communication

Tim Freeman wrote:
>>Why "server <defunct>" is occurred.
>>What do I have to do to correct <defunct> ?
> This is a Unix thing, not an OCAML thing.  The child will be defunct
> to hold the exit status so it can be reported to the parent when the
> parent waits for it, or until the parent exits.
> One workaround is to wait for the child process when you expect it to exit.
> Another workaround is to fork twice, so the original process is the
> parent of a temporary process, and the temporary process is the parent
> of the process you really wanted to create.  The temporary process
> exits immediately and the original parent waits for it immediately.
> This leaves no defunct processes.

A third workaround might be to use SIGCHLD handler to 
asynchronously call wait or waitpid, but there might be 
issues with the non-reentrance-with-respect-to-signals of 
the libc. I doubt O'Caml could be any more signal-safe than 

A fourth workaround is to use O'Caml threads, which do not 
require the kernel to instantiate a new process, so no new 
pid is allocated.


To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: