From 265225c1e2311ae26ead116e6c8d2cedd46144fa Mon Sep 17 00:00:00 2001 From: Michael Kerrisk Date: Mon, 1 May 2017 13:32:56 +0200 Subject: [PATCH] userfaultfd.2: Minor tweaks to Mike Rapoport's patches Signed-off-by: Michael Kerrisk --- man2/userfaultfd.2 | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/man2/userfaultfd.2 b/man2/userfaultfd.2 index 07a69f121..9e3568891 100644 --- a/man2/userfaultfd.2 +++ b/man2/userfaultfd.2 @@ -112,14 +112,15 @@ created for the child process, which allows userfaultfd monitor to perform user-space paging for the child process. -Unlike page faults which have to be synchronous and require +Unlike page faults which have to be synchronous and require an explicit or implicit wakeup, all other events are delivered asynchronously and the non-cooperative process resumes execution as -soon as manager executes -.BR read(2). -The userfaultfd manager should carefully synchronize calls -to UFFDIO_COPY with the events processing. +soon as the userfaultfd manager executes +.BR read (2). +The userfaultfd manager should carefully synchronize calls to +.B UFFDIO_COPY +with the processing of events. The current asynchronous model of the event delivery is optimal for single threaded non-cooperative userfaultfd manager implementations.