lkml.org 
[lkml]   [2017]   [Jan]   [10]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
SubjectRe: [PATCH v2] mm: Respect FOLL_FORCE/FOLL_COW for thp
On Tue 10-01-17 15:20:45, Kirill A. Shutemov wrote:
> On Tue, Jan 10, 2017 at 10:29:10AM +0100, Michal Hocko wrote:
> > On Fri 06-01-17 11:18:44, Kirill A. Shutemov wrote:
> > > On Thu, Jan 05, 2017 at 08:50:25PM -0500, Keno Fischer wrote:
> > > > In 19be0eaff ("mm: remove gup_flags FOLL_WRITE games from __get_user_pages()"),
> > > > the mm code was changed from unsetting FOLL_WRITE after a COW was resolved to
> > > > setting the (newly introduced) FOLL_COW instead. Simultaneously, the check in
> > > > gup.c was updated to still allow writes with FOLL_FORCE set if FOLL_COW had
> > > > also been set. However, a similar check in huge_memory.c was forgotten. As a
> > > > result, remote memory writes to ro regions of memory backed by transparent huge
> > > > pages cause an infinite loop in the kernel (handle_mm_fault sets FOLL_COW and
> > > > returns 0 causing a retry, but follow_trans_huge_pmd bails out immidiately
> > > > because `(flags & FOLL_WRITE) && !pmd_write(*pmd)` is true. While in this
> > > > state the process is stil SIGKILLable, but little else works (e.g. no ptrace
> > > > attach, no other signals). This is easily reproduced with the following
> > > > code (assuming thp are set to always):
> > > >
> > > > #include <assert.h>
> > > > #include <fcntl.h>
> > > > #include <stdint.h>
> > > > #include <stdio.h>
> > > > #include <string.h>
> > > > #include <sys/mman.h>
> > > > #include <sys/stat.h>
> > > > #include <sys/types.h>
> > > > #include <sys/wait.h>
> > > > #include <unistd.h>
> > > >
> > > > #define TEST_SIZE 5 * 1024 * 1024
> > > >
> > > > int main(void) {
> > > > int status;
> > > > pid_t child;
> > > > int fd = open("/proc/self/mem", O_RDWR);
> > > > void *addr = mmap(NULL, TEST_SIZE, PROT_READ,
> > > > MAP_ANONYMOUS | MAP_PRIVATE, 0, 0);
> > > > assert(addr != MAP_FAILED);
> > > > pid_t parent_pid = getpid();
> > > > if ((child = fork()) == 0) {
> > > > void *addr2 = mmap(NULL, TEST_SIZE, PROT_READ | PROT_WRITE,
> > > > MAP_ANONYMOUS | MAP_PRIVATE, 0, 0);
> > > > assert(addr2 != MAP_FAILED);
> > > > memset(addr2, 'a', TEST_SIZE);
> > > > pwrite(fd, addr2, TEST_SIZE, (uintptr_t)addr);
> > > > return 0;
> > > > }
> > > > assert(child == waitpid(child, &status, 0));
> > > > assert(WIFEXITED(status) && WEXITSTATUS(status) == 0);
> > > > return 0;
> > > > }
> > > >
> > > > Fix this by updating follow_trans_huge_pmd in huge_memory.c analogously to
> > > > the update in gup.c in the original commit. The same pattern exists in
> > > > follow_devmap_pmd. However, we should not be able to reach that check
> > > > with FOLL_COW set, so add WARN_ONCE to make sure we notice if we ever
> > > > do.
> > > >
> > > > Signed-off-by: Keno Fischer <keno@juliacomputing.com>
> > >
> > > Cc: stable@ ?
> >
> > Yes, please! I am just wondering how far do we have to go. I was under
> > impression that we split THP in the past in the gup path but I cannot
> > find the respective code now. Many things have changed after your
> > refcount rework. Could you clarify this part Kirill, please?
>
> No, we didn't split THP before, unless it's asked specifically with
> FOLL_SPLIT. Otherwise we just pin whole huge page.

Yeah, I've tried to find the FOLL_SPLIT but couldn't...

> I think we need to port it all active stable trees as we do with
> 19be0eaff. The race was there since beginning of THP, I believe.

thanks for double checking!
--
Michal Hocko
SUSE Labs

\
 
 \ /
  Last update: 2017-01-10 13:28    [W:0.352 / U:0.084 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site