Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1033877AbdD0Pxj (ORCPT ); Thu, 27 Apr 2017 11:53:39 -0400 Received: from mx0b-001b2d01.pphosted.com ([148.163.158.5]:37340 "EHLO mx0a-001b2d01.pphosted.com" rhost-flags-OK-OK-OK-FAIL) by vger.kernel.org with ESMTP id S1032974AbdD0PxN (ORCPT ); Thu, 27 Apr 2017 11:53:13 -0400 From: Laurent Dufour To: paulmck@linux.vnet.ibm.com, peterz@infradead.org, akpm@linux-foundation.org, kirill@shutemov.name, ak@linux.intel.com, mhocko@kernel.org, dave@stgolabs.net, jack@suse.cz Cc: linux-kernel@vger.kernel.org, linux-mm@kvack.org, haren@linux.vnet.ibm.com, khandual@linux.vnet.ibm.com, npiggin@gmail.com, bsingharora@gmail.com Subject: [RFC v3 00/17] Speculative page faults Date: Thu, 27 Apr 2017 17:52:39 +0200 X-Mailer: git-send-email 2.7.4 X-TM-AS-GCONF: 00 x-cbid: 17042715-0040-0000-0000-00000377BF05 X-IBM-AV-DETECTION: SAVI=unused REMOTE=unused XFE=unused x-cbparentid: 17042715-0041-0000-0000-000025249F55 Message-Id: <1493308376-23851-1-git-send-email-ldufour@linux.vnet.ibm.com> X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10432:,, definitions=2017-04-27_14:,, signatures=0 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 spamscore=0 suspectscore=2 malwarescore=0 phishscore=0 adultscore=0 bulkscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.0.1-1703280000 definitions=main-1704270259 Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Content-Length: 2230 Lines: 57 This is a port on kernel 4.10 of the work done by Peter Zijlstra to handle page fault without holding the mm semaphore. http://linux-kernel.2935.n7.nabble.com/RFC-PATCH-0-6-Another-go-at-speculative-page-faults-tt965642.html#none This series is functional on x86, but there may be some pending issues. It's building on top of v4.10. Compared to the Peter initial work, this series introduces a try spin lock when dealing with speculative page fault. This is required to avoid dead lock when handling a page fault while a TLB invalidate is requested by an other CPU holding the PTE. Another change due to a lock dependency issue with mapping->i_mmap_rwsem. This series also protect changes to VMA's data which are read or change by the page fault handler. The protections is done through the VMA's sequence number. Laurent Dufour (11): mm: Introduce pte_spinlock mm/spf: Try spin lock in speculative path mm/spf: Fix fe.sequence init in __handle_mm_fault() mm/spf: don't set fault entry's fields if locking failed mm/spf; fix lock dependency against mapping->i_mmap_rwsem mm/spf: Protect changes to vm_flags mm/spf Protect vm_policy's changes against speculative pf x86/mm: Update the handle_speculative_fault's path mm/spf: Add check on the VMA's flags mm: protect madvise vs speculative pf mm/spf: protect mremap() against speculative pf Peter Zijlstra (6): mm: Dont assume page-table invariance during faults mm: Prepare for FAULT_FLAG_SPECULATIVE mm: VMA sequence count RCU free VMAs mm: Provide speculative fault infrastructure mm,x86: Add speculative pagefault handling arch/x86/mm/fault.c | 15 +++ fs/proc/task_mmu.c | 2 + include/linux/mm.h | 4 + include/linux/mm_types.h | 3 + kernel/fork.c | 1 + mm/init-mm.c | 1 + mm/internal.h | 18 +++ mm/madvise.c | 5 +- mm/memory.c | 284 +++++++++++++++++++++++++++++++++++++++-------- mm/mempolicy.c | 10 +- mm/mlock.c | 9 +- mm/mmap.c | 121 +++++++++++++++----- mm/mprotect.c | 2 + mm/mremap.c | 7 ++ 14 files changed, 402 insertions(+), 80 deletions(-) -- 2.7.4