On Sat, Jan 29, 2011 at 11:15 PM, Tao Ma<tm@xxxxxx> wrote:The test case does exist in the real world and used widespread. ;)buf = mmap(NULL, file_len, PROT_WRITE, MAP_SHARED, fd, 0);Thanks Tao for tracing this to an individual change. I can reproduce
if (buf == MAP_FAILED) {
perror("mmap");
goto out;
}
if (mlock(buf, file_len)< 0) {
perror("mlock");
goto out;
}
this on my system. The issue is that the file is mapped without the
PROT_READ permission, so mlock can't fault in the pages. Up to 2.6.37
this worked because mlock was using a write.
The test case does show there was a behavior change; however it's not
clear to me that the tested behavior is valid.
I can see two possible resolutions:
1- do nothing, if we can agree that the test case is invalid
2- restore the previous behavior for writable, non-readable, sharedI am not sure whether it is proper or not. I guess a fat comment is needed here
mappings while preserving the optimization for read/write shared
mappings. The test would then look like:
if ((vma->vm_flags& VM_WRITE)&& (vma->vm_flags& (VM_READ |
VM_SHARED)) != VM_SHARED)
gup_flags |= FOLL_WRITE;