On Mon, Apr 1, 2019 at 9:30 AM Linus Torvalds <torvalds@xxxxxxxxxxxxxxxxxxxx> wrote: > > On Mon, Apr 1, 2019 at 9:22 AM Daniel Colascione <dancol@xxxxxxxxxx> wrote: > > > > There's a subtlety: suppose I'm a library and I want to create a > > private subprocess. I use the new clone facility, whatever it is, and > > get a pidfd back. I need to be able to read the child's exit status > > even if the child exits before clone returns in the parent. Doesn't > > this requirement imply that the pidfd, kernel-side, contain something > > a bit more than a struct pid? > > Note that clone() has always supported this, but it has basically > never been used. > > One of the early thinkings behind clone() was that it could be used > for basically "AIO in user space", by having exactly these kinds of > library-private internal subthreads that are hidden as real threads. > > It's why we have that special CSIGNAL mask for setting the exit > signal. It doesn't *just* set the signal to be sent when the thread > exits - setting the signal to something else than SIGCHLD actually > changes behavior in other ways too. > > In particular a non-SIGCHLD thread won't be found by a regular > "waitpid()". You have to explicitly wait for it with __WCLONE (which > in turn is supposed to be used with the explicit pid to be waited > for). But doesn't the CSIGNAL approach still require that libraries somehow coordinate which non-SIGCHLD signal they use? (Signal coordination a separate problem, unfortunately.) If you don't set a signal, you don't get any notification at all, and in that case, you have to burn a thread on a blocking wait, right? And you don't *have* to wait for a specific PID with __WCLONE. If two libraries each did a separate __WCLONE or __WALL wait on all subprocesses, they'd still interfere, AIUI, even if the interface isn't supposed to be used that way. I like the pidfd way of doing private subprocesses a bit more than the CSIGNAL approach because it's more "natural" (in that a pidfd is just a handle like we have handles to tons of other things), integrates with existing event and wait facilities, doesn't require any global coordination at all, and works for more than this one use case. (CSIGNAL is limited to immediate parents. You could, in principle, SCM_RIGHTS a pidfd to someone else.) > Now, none of this was ever really used. The people who wanted AIO > wanted the brain-damaged POSIX kind of AIO, not something cool and > clever. So I suspect the whole exit-signal thing was just used for > random small per-project things. AIO is a whole other ball of wax. :-)