From: Robin Holt <holt@sgi.com>
To: Miklos Szeredi <miklos@szeredi.hu>
Cc: trond.myklebust@fys.uio.no, npiggin@suse.de,
linux-nfs@vger.kernel.org, linux-fsdevel@vger.kernel.org,
linux-mm@kvack.org
Subject: Re: Why doesn't zap_pte_range() call page_mkwrite()
Date: Fri, 24 Apr 2009 05:41:37 -0500 [thread overview]
Message-ID: <20090424104137.GA7601@sgi.com> (raw)
In-Reply-To: <E1LxFd4-0008Ih-Rd@pomaz-ex.szeredi.hu>
On Fri, Apr 24, 2009 at 09:15:22AM +0200, Miklos Szeredi wrote:
> On Thu, 23 Apr 2009, Trond Myklebust wrote:
> > On Thu, 2009-04-23 at 21:52 +0200, Miklos Szeredi wrote:
> > > Now this is mostly done at page fault time, and the pte's are always
> > > being re-protected whenever the PG_dirty flag is cleared (see
> > > page_mkclean()).
> > >
> > > But in some cases (shmfs being the example I know) pages are not write
> > > protected and so zap_pte_range(), and other functions, still need to
> > > transfer the pte dirtyness to the page flag.
> >
> > My main worry is that this is all happening at munmap() time. There
> > shouldn't be any more page faults after that completes (am I right?), so
> > what other mechanism would transfer the pte dirtyness?
>
> After munmap() a page fault will result in SIGSEGV. A write access
> during munmap(), when the vma has been removed but the page table is
> still intact is more interesting. But in that case the write fault
> should also result in a SEGV, because it won't be able to find the
> matching VMA.
>
> Now lets see what happens if writeback is started against the page
> during this limbo period. page_mkclean() is called, which doesn't
> find the vma, so it doesn't re-protect the pte. But the PG_dirty will
I am not sure how you came to this conclusion. The address_space has
the vma's chained together and protected by the i_mmap_lock. That is
acquired prior to the cleaning operation. Additionally, the cleaning
operation walks the process's page tables and will remove/write-protect
the page before releasing the i_mmap_lock.
Maybe I misunderstand. I hope I have not added confusion.
Thanks,
Robin
--
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: <a href=mailto:"dont@kvack.org"> email@kvack.org </a>
next prev parent reply other threads:[~2009-04-24 10:41 UTC|newest]
Thread overview: 19+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <1240510668.11148.40.camel@heimdal.trondhjem.org>
[not found] ` <E1Lx4yU-0007A8-Gl@pomaz-ex.szeredi.hu>
[not found] ` <1240519320.5602.9.camel@heimdal.trondhjem.org>
2009-04-24 7:15 ` Why doesn't zap_pte_range() call page_mkwrite() Miklos Szeredi
2009-04-24 7:33 ` Miklos Szeredi
2009-04-24 12:59 ` Chris Mason
2009-04-24 13:31 ` Trond Myklebust
2009-04-24 14:06 ` Trond Myklebust
2009-04-24 16:18 ` Jamie Lokier
2009-04-24 10:41 ` Robin Holt [this message]
2009-04-24 14:52 ` Miklos Szeredi
2009-04-24 17:00 ` Trond Myklebust
2009-04-25 5:10 ` Nick Piggin
2009-09-08 15:30 ` Chris Mason
2009-09-08 15:41 ` Nick Piggin
2009-09-08 16:31 ` Chris Mason
2009-09-08 17:00 ` Nick Piggin
2009-09-08 17:00 ` Nick Piggin
2009-09-08 15:41 ` Nick Piggin
2009-09-09 2:21 ` Christoph Hellwig
2009-09-09 2:21 ` Christoph Hellwig
2009-09-09 5:39 ` Nick Piggin
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20090424104137.GA7601@sgi.com \
--to=holt@sgi.com \
--cc=linux-fsdevel@vger.kernel.org \
--cc=linux-mm@kvack.org \
--cc=linux-nfs@vger.kernel.org \
--cc=miklos@szeredi.hu \
--cc=npiggin@suse.de \
--cc=trond.myklebust@fys.uio.no \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).