On 08/08/2017 06:15 AM, Rik van Riel wrote:
> On Tue, 2017-08-08 at 11:58 +0200, Florian Weimer wrote:
>> On 08/07/2017 08:23 PM, Mike Kravetz wrote:
>>> If my thoughts above are correct, what about returning EINVAL if
>>> attempts to set MADV_DONTFORK on mappings set up for sharing?
>> That's my preference as well. If there is a use case for shared or
>> non-anonymous mappings, then we can implement MADV_DONTFORK with the
>> semantics for this use case. If we pick some arbitrary semantics
>> without any use case, we might end up with something that's not
> MADV_DONTFORK is existing semantics, and it is enforced
> on shared, non-anonymous mappings. It is frequently used
> for things like device mappings, which should not be
> inherited by a child process, because the device can only
> be used by one process at a time.
> When someone requests MADV_DONTFORK on a shared VMA, they
> will get it. The later madvise request overrides the mmap
> flags that were used earlier.
> The question is, should MADV_WIPEONFORK (introduced by
> this series) have not just different semantics, but also
> totally different behavior from MADV_DONTFORK?
Sorry for the confusion. I accidentally used MADV_DONTFORK instead
of MADV_WIPEONFORK in my reply (which Florian commented on).
> Does the principle of least surprise dictate that the
> last request determines the policy on an area, or should
> later requests not be able to override policy that was
> set at mmap time?
That is the question.
The other question I was trying to bring up is "What does MADV_WIPEONFORK
mean for various types of mappings?" For example, if we allow
MADV_WIPEONFORK on a file backed mapping what does that mapping look
like in the child after fork? Does it have any connection at all to the
file? Or, do we drop all references to the file and essentially transform
it to a private (or shared?) anonymous mapping after fork. What about
System V shared memory? What about hugetlb?
If the use case is fairly specific, then perhaps it makes sense to
make MADV_WIPEONFORK not applicable (EINVAL) for mappings where the
result is 'questionable'.