From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1752315Ab2KRPgl (ORCPT ); Sun, 18 Nov 2012 10:36:41 -0500 Received: from mail-vc0-f174.google.com ([209.85.220.174]:47307 "EHLO mail-vc0-f174.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1752091Ab2KRPgj (ORCPT ); Sun, 18 Nov 2012 10:36:39 -0500 MIME-Version: 1.0 In-Reply-To: References: <508A8D31.9000106@redhat.com> <20121026132601.GC9886@gmail.com> <20121026144502.6e94643e@dull> <20121026221254.7d32c8bf@pyramind.ukuu.org.uk> <508BE459.2080406@redhat.com> <20121029165705.GA4693@x1.osrc.amd.com> <20121117145015.GF16441@x1.osrc.amd.com> <50A7AC33.5060308@redhat.com> Date: Sun, 18 Nov 2012 07:29:30 -0800 Message-ID: Subject: Re: [PATCH 2/3] x86,mm: drop TLB flush from ptep_set_access_flags From: Michel Lespinasse To: Shentino Cc: Rik van Riel , Linus Torvalds , Borislav Petkov , Alan Cox , Ingo Molnar , Andi Kleen , Peter Zijlstra , Andrea Arcangeli , Mel Gorman , Johannes Weiner , Thomas Gleixner , Andrew Morton , Linux Kernel Mailing List , linux-mm , Florian Fainelli , Borislav Petkov Content-Type: text/plain; charset=ISO-8859-1 Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Sat, Nov 17, 2012 at 1:53 PM, Shentino wrote: > I'm actually curious if the architecture docs/software developer > manuals for IA-32 mandate any TLB invalidations on a #PF > > Is there any official vendor documentation on the subject? Yes. Quoting a prior email: Actually, it is architected on x86. This was first described in the intel appnote 317080 "TLBs, Paging-Structure Caches, and Their Invalidation", last paragraph of section 5.1. Nowadays, the same contents are buried somewhere in Volume 3 of the architecture manual (in my copy: 4.10.4.1 Operations that Invalidate TLBs and Paging-Structure Caches) > And perhaps equally valid, should we trust it if it exists? I know that Intel has been very careful in documenting the architected TLB behaviors and did it with the understanding that people should be able to depend on what's being written up there. -- Michel "Walken" Lespinasse A program is never fully debugged until the last user dies. From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from psmtp.com (na3sys010amx172.postini.com [74.125.245.172]) by kanga.kvack.org (Postfix) with SMTP id 1061F6B0068 for ; Sun, 18 Nov 2012 10:30:02 -0500 (EST) Received: by mail-vc0-f178.google.com with SMTP id gb30so4181483vcb.9 for ; Sun, 18 Nov 2012 07:30:01 -0800 (PST) MIME-Version: 1.0 In-Reply-To: References: <508A8D31.9000106@redhat.com> <20121026132601.GC9886@gmail.com> <20121026144502.6e94643e@dull> <20121026221254.7d32c8bf@pyramind.ukuu.org.uk> <508BE459.2080406@redhat.com> <20121029165705.GA4693@x1.osrc.amd.com> <20121117145015.GF16441@x1.osrc.amd.com> <50A7AC33.5060308@redhat.com> Date: Sun, 18 Nov 2012 07:29:30 -0800 Message-ID: Subject: Re: [PATCH 2/3] x86,mm: drop TLB flush from ptep_set_access_flags From: Michel Lespinasse Content-Type: text/plain; charset=ISO-8859-1 Sender: owner-linux-mm@kvack.org List-ID: To: Shentino Cc: Rik van Riel , Linus Torvalds , Borislav Petkov , Alan Cox , Ingo Molnar , Andi Kleen , Peter Zijlstra , Andrea Arcangeli , Mel Gorman , Johannes Weiner , Thomas Gleixner , Andrew Morton , Linux Kernel Mailing List , linux-mm , Florian Fainelli , Borislav Petkov On Sat, Nov 17, 2012 at 1:53 PM, Shentino wrote: > I'm actually curious if the architecture docs/software developer > manuals for IA-32 mandate any TLB invalidations on a #PF > > Is there any official vendor documentation on the subject? Yes. Quoting a prior email: Actually, it is architected on x86. This was first described in the intel appnote 317080 "TLBs, Paging-Structure Caches, and Their Invalidation", last paragraph of section 5.1. Nowadays, the same contents are buried somewhere in Volume 3 of the architecture manual (in my copy: 4.10.4.1 Operations that Invalidate TLBs and Paging-Structure Caches) > And perhaps equally valid, should we trust it if it exists? I know that Intel has been very careful in documenting the architected TLB behaviors and did it with the understanding that people should be able to depend on what's being written up there. -- Michel "Walken" Lespinasse A program is never fully debugged until the last user dies. -- To unsubscribe, send a message with 'unsubscribe linux-mm' in the body to majordomo@kvack.org. For more info on Linux MM, see: http://www.linux-mm.org/ . Don't email: email@kvack.org