Re: [PATCH 0/1] soft_dirty: fix soft_dirty during THP split

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



On 08/19/2016 04:43 PM, Andrea Arcangeli wrote:
> On Fri, Aug 19, 2016 at 04:20:22PM +0300, Pavel Emelyanov wrote:
>> And (!) after non-cooperative patches are functional too.
> 
> I merged your non-cooperative patches in my tree although there's no
> testcase to exercise them yet.

Hm... Are you talking about some in-kernel test, or just any? We have
tests in CRIU tree for UFFD (not sure we've wired up the non-cooperative
part though).

>> Yes. Another problem of soft-dirty that will be addressed by uffd is
>> simultaneous memory tracking of two ... scanners (?) E.g. when we
>> reset soft-dirty to track the mem and then some other software comes
>> and tries to do the same, the whole soft-dirty state becomes screwed.
>> With uffd we'll at least have the ability for the first tracker to
>> keep the 2nd one off the tracking task.
> 
> Yes, that sounds like nesting will have to work for it though.
> 
> 		/*
> 		 * Check that this vma isn't already owned by a
> 		 * different userfaultfd. We can't allow more than one
> 		 * userfaultfd to own a single vma simultaneously or we
> 		 * wouldn't know which one to deliver the userfaults to.
> 		 */
> 		ret = -EBUSY;
> 		if (cur->vm_userfaultfd_ctx.ctx &&
> 		    cur->vm_userfaultfd_ctx.ctx != ctx)
> 			goto out_unlock;
> 
> This check shall be lifted... and it'll complicate the code quite a
> bit to lift it.

:)

> My main long term worry at the moment for the non-cooperative usage in
> fact is not really the non cooperative code itself, but the nesting of
> uffd if the app is already its own set of uffds for its own
> purposes. The nesting won't be straightforward.

And my main worry about this is COW-sharing. If we have two tasks that
fork()-ed from each other and we try to lazily restore a page that
is still COW-ed between them, the uffd API doesn't give us anything to
do it. So we effectively break COW on lazy restore. Do you have any
ideas what can be done about it?

> Do you have plans to solve the nesting?

We have ... readiness to do it :) since once CRIU hits this we'll have to.

> It's not just for the use case you mentioned above of two WP trackers
> on the same vma which sounds more "cooperative" than when the app
> already uses "uffd" for its own runtime.
> 
> userfaultfd is going to be used by apps like databases for reliability
> purposes on hugetlbfs or tmpfs (both already supported in my
> development tree), and I believe it'll be perfect to optimize the
> redis snapshotting removing any cons of THP-on and further optimizing
> the snapshot with thread instead of processes, potentially it can be
> used by to-native compilers to stop overwriting the write bit at every
> memory modification (and it'd be interesting to check if the JVM could
> use it too to drop the write bit too..). 

Yes, yes :) Apparently we'll hit this quite soon.

> Here a research article about
> the last usage case of the WP tracking:
> 
> https://medium.com/@MartinCracauer/generational-garbage-collection-write-barriers-write-protection-and-userfaultfd-2-8b0e796b8f7f
> 
> The nesting with virtual machines is strightforward because the uffd
> used by qemu becomes invisible to the guest. The complexities with the
> nesting happen when it has to work at the host level in a non
> cooperative way.
> 
> Thanks,
> Andrea
> .
> 

-- Pavel

--
To unsubscribe, send a message with 'unsubscribe linux-mm' in
the body to majordomo@xxxxxxxxx.  For more info on Linux MM,
see: http://www.linux-mm.org/ .
Don't email: <a href=mailto:"dont@xxxxxxxxx";> email@xxxxxxxxx </a>



[Index of Archives]     [Linux ARM Kernel]     [Linux ARM]     [Linux Omap]     [Fedora ARM]     [IETF Annouce]     [Bugtraq]     [Linux]     [Linux OMAP]     [Linux MIPS]     [ECOS]     [Asterisk Internet PBX]     [Linux API]