From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1753302AbbJBPUe (ORCPT ); Fri, 2 Oct 2015 11:20:34 -0400 Received: from mail-wi0-f170.google.com ([209.85.212.170]:38276 "EHLO mail-wi0-f170.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1752080AbbJBPU1 (ORCPT ); Fri, 2 Oct 2015 11:20:27 -0400 Date: Fri, 2 Oct 2015 17:20:24 +0200 From: Michal Hocko To: Vlastimil Babka Cc: linux-mm@kvack.org, Jerome Marchand , Andrew Morton , Hugh Dickins , linux-kernel@vger.kernel.org, linux-doc@vger.kernel.org, "Kirill A. Shutemov" , Cyrill Gorcunov , Randy Dunlap , linux-s390@vger.kernel.org, Martin Schwidefsky , Heiko Carstens , Peter Zijlstra , Paul Mackerras , Arnaldo Carvalho de Melo , Oleg Nesterov , Linux API , Konstantin Khlebnikov Subject: Re: [PATCH v4 2/4] mm, proc: account for shmem swap in /proc/pid/smaps Message-ID: <20151002152024.GD16302@dhcp22.suse.cz> References: <1443792951-13944-1-git-send-email-vbabka@suse.cz> <1443792951-13944-3-git-send-email-vbabka@suse.cz> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <1443792951-13944-3-git-send-email-vbabka@suse.cz> User-Agent: Mutt/1.5.23 (2014-03-12) Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Fri 02-10-15 15:35:49, Vlastimil Babka wrote: > Currently, /proc/pid/smaps will always show "Swap: 0 kB" for shmem-backed > mappings, even if the mapped portion does contain pages that were swapped out. > This is because unlike private anonymous mappings, shmem does not change pte > to swap entry, but pte_none when swapping the page out. In the smaps page > walk, such page thus looks like it was never faulted in. > > This patch changes smaps_pte_entry() to determine the swap status for such > pte_none entries for shmem mappings, similarly to how mincore_page() does it. > Swapped out pages are thus accounted for. > > The accounting is arguably still not as precise as for private anonymous > mappings, since now we will count also pages that the process in question never > accessed, but only another process populated them and then let them become > swapped out. I believe it is still less confusing and subtle than not showing > any swap usage by shmem mappings at all. Also, swapped out pages only becomee a > performance issue for future accesses, and we cannot predict those for neither > kind of mapping. > > Signed-off-by: Vlastimil Babka > Acked-by: Konstantin Khlebnikov Acked-by: Michal Hocko But I think comments explaining why i_mutex is not needed are confusing and incomplete. [...] > + /* > + * Here we have to inspect individual pages in our mapped range to > + * determine how much of them are swapped out. Thanks to RCU, we don't > + * need i_mutex to protect against truncating or hole punching. > + */ > + start = linear_page_index(vma, vma->vm_start); > + end = linear_page_index(vma, vma->vm_end); > + > + return shmem_partial_swap_usage(inode->i_mapping, start, end); [...] > +/* > + * Determine (in bytes) how many pages within the given range are swapped out. > + * > + * Can be called without i_mutex or mapping->tree_lock thanks to RCU. > + */ > +unsigned long shmem_partial_swap_usage(struct address_space *mapping, > + pgoff_t start, pgoff_t end) AFAIU RCU only helps to prevent from accessing nodes which were freed from the radix tree. The reason why we do not need to hold i_mutex is that the radix tree iterator would break out of the loop if we entered node which backed truncated range. At least this is my understanding, I might be wrong here of course. -- Michal Hocko SUSE Labs