Re:Fork() without exec() is dangerous in large programs (2016)
by remexre on Tuesday June 14, 2022 @11:40AM
(#31741095)
Isn't vfork much worse in terms of the problem the author is talking about, since the child can now acquire locks in the _parent's_ address space?
[ Parent
| on HN ]
Re:Fork() without exec() is dangerous in large programs (2016)
by stefan_ on Tuesday June 14, 2022 @11:54AM
(#31741263)
I thought the point of vfork is that they do not share an address space. But there are other things still shared and they should really just have a CreateProcess.
Re:Fork() without exec() is dangerous in large programs (2016)
by remexre on Tuesday June 14, 2022 @12:21PM
(#31741672)
no, fork creates a new address space, vfork doesn't
the posix_spawn mentioned in the article is effectively the equivalent of CreateProcess
Re:Fork() without exec() is dangerous in large programs (2016)
by medoc on Tuesday June 14, 2022 @01:12PM
(#31742587)
Last time I looked, posix_spawn() just called fork/exec
Re:Fork() without exec() is dangerous in large programs (2016)
by int_19h on Tuesday June 14, 2022 @03:55PM
(#31745170)
That's an implementation detail at this point. The idea is to have a single syscall that takes all the information needed to spawn the process, and does so atomically, without the need to spread it across several calls. On Win32, that's CreateProcess(). On POSIX, the equivalent is posix_spawn().
Re:Fork() without exec() is dangerous in large programs (2016)
by cryptonector on Tuesday June 14, 2022 @07:15PM
(#31747179)
In glibc it uses vfork() in some cases.
In Solaris/Illumos it uses vfork() or vforkx().
In principle posix_spawn() can be a system call.
Re:Fork() without exec() is dangerous in large programs (2016)
by comex on Wednesday June 15, 2022 @12:46AM
(#31749213)
On macOS it is a system call.
Re:Fork() without exec() is dangerous in large programs (2016)
by monocasa on Tuesday June 14, 2022 @12:23PM
(#31741696)
They still share an address space until exec replaces it for one of them. Particularly awful is that they share the same mutable stack which is a pathway that only leads to the inner circle of hell.
Re:Fork() without exec() is dangerous in large programs (2016)
by stefan_ on Tuesday June 14, 2022 @02:38PM
(#31743926)
Assuming you call exec, of course. To not call exec after vfork is not an option; one of the many ways the fork family of functions are fundamentally broken.
Re:Fork() without exec() is dangerous in large programs (2016)
by monocasa on Tuesday June 14, 2022 @03:13PM
(#31744526)
Well, without undefined behavior you can also call _exit(), continue within the same function, and receive conforming signals. Unfortunately this isn't always spelled out and there's code out there that definitely does other work invoking undefined behavior.