Thread (19 messages) 19 messages, 5 authors, 2011-11-02

Re: [PATCH] mm: Improve cmtime update on shared writable mmaps

From: Andy Lutomirski <luto@amacapital.net>
Date: 2011-11-01 23:02:24
Also in: linux-fsdevel, linux-mm, lkml

On Tue, Nov 1, 2011 at 3:53 PM, Jan Kara [off-list ref] wrote:
On Fri 28-10-11 16:39:25, Andy Lutomirski wrote:
quoted
We used to update a file's time on do_wp_page.  This caused latency
whenever file_update_time would sleep (this happens on ext4).  It is
also, IMO, less than ideal: any copy, backup, or 'make' run taken
after do_wp_page but before an mmap user finished writing would see
the new timestamp but the old contents.

With this patch, cmtime is updated after a page is written.  When the
mm code transfers the dirty bit from a pte to the associated struct
page, it also sets a new page flag indicating that the page was
modified directly from userspace.  The inode's time is then updated in
clear_page_dirty_for_io.

We can't update cmtime in all contexts in which ptes are unmapped:
various reclaim paths can unmap ptes from GFP_NOFS paths.

Signed-off-by: Andy Lutomirski <luto@amacapital.net>
---

I'm not thrilled about using a page flag for this, but I haven't
spotted a better way.  Updating the time in writepage would touch
a lot of files and would interact oddly with write.
 I see two problems with this patch:
1) Using a page flags is really a no-go. We are rather short on page flags
so using them for such minor thing is a real wastage. Moreover it should be
rather easy to just use an inode flag instead.
Am I allowed to set inode flags without holding any locks?
2) You cannot call inode_update_time_writable() from
clear_page_dirty_for_io() because that is called under a page lock and thus
would create lock inversion problems.
Hmm.  Isn't it permitted to at least read from an fs while holding the
page lock?  I thought that the page lock was held for the entire
duration of a read and at the beginning of writeback.

I can push this down to the ->writepage implementations or to the
clear_page_dirty_for_io callers, but that will result in a bigger
patch.

--Andy
                                                               Honza
quoted
 fs/inode.c                 |   51 ++++++++++++++++++++++++++++++-------------
 include/linux/fs.h         |    1 +
 include/linux/page-flags.h |    5 ++++
 mm/page-writeback.c        |   19 +++++++++++++---
 mm/rmap.c                  |   18 +++++++++++++-
 5 files changed, 72 insertions(+), 22 deletions(-)
diff --git a/fs/inode.c b/fs/inode.c
index ec79246..ee93a25 100644
--- a/fs/inode.c
+++ b/fs/inode.c
@@ -1461,21 +1461,8 @@ void touch_atime(struct vfsmount *mnt, struct dentry *dentry)
 }
 EXPORT_SYMBOL(touch_atime);

-/**
- *   file_update_time        -       update mtime and ctime time
- *   @file: file accessed
- *
- *   Update the mtime and ctime members of an inode and mark the inode
- *   for writeback.  Note that this function is meant exclusively for
- *   usage in the file write path of filesystems, and filesystems may
- *   choose to explicitly ignore update via this function with the
- *   S_NOCMTIME inode flag, e.g. for network filesystem where these
- *   timestamps are handled by the server.
- */
-
-void file_update_time(struct file *file)
+static void do_inode_update_time(struct file *file, struct inode *inode)
 {
-     struct inode *inode = file->f_path.dentry->d_inode;
      struct timespec now;
      enum { S_MTIME = 1, S_CTIME = 2, S_VERSION = 4 } sync_it = 0;
@@ -1497,7 +1484,7 @@ void file_update_time(struct file *file)
              return;

      /* Finally allowed to write? Takes lock. */
-     if (mnt_want_write_file(file))
+     if (file && mnt_want_write_file(file))
              return;

      /* Only change inode inside the lock region */
@@ -1508,10 +1495,42 @@ void file_update_time(struct file *file)
      if (sync_it & S_MTIME)
              inode->i_mtime = now;
      mark_inode_dirty_sync(inode);
-     mnt_drop_write(file->f_path.mnt);
+
+     if (file)
+             mnt_drop_write(file->f_path.mnt);
+}
+
+/**
+ *   file_update_time        -       update mtime and ctime time
+ *   @file: file accessed
+ *
+ *   Update the mtime and ctime members of an inode and mark the inode
+ *   for writeback.  Note that this function is meant exclusively for
+ *   usage in the file write path of filesystems, and filesystems may
+ *   choose to explicitly ignore update via this function with the
+ *   S_NOCMTIME inode flag, e.g. for network filesystem where these
+ *   timestamps are handled by the server.
+ */
+
+void file_update_time(struct file *file)
+{
+     do_inode_update_time(file, file->f_path.dentry->d_inode);
 }
 EXPORT_SYMBOL(file_update_time);

+/**
+ *   inode_update_time_writable      -       update mtime and ctime
+ *   @inode: inode accessed
+ *
+ *   Same as file_update_time, except that the caller is responsible
+ *   for checking that the mount is writable.
+ */
+
+void inode_update_time_writable(struct inode *inode)
+{
+     do_inode_update_time(0, inode);
+}
+
 int inode_needs_sync(struct inode *inode)
 {
      if (IS_SYNC(inode))
diff --git a/include/linux/fs.h b/include/linux/fs.h
index 277f497..9e28927 100644
--- a/include/linux/fs.h
+++ b/include/linux/fs.h
@@ -2553,6 +2553,7 @@ extern int inode_newsize_ok(const struct inode *, loff_t offset);
 extern void setattr_copy(struct inode *inode, const struct iattr *attr);

 extern void file_update_time(struct file *file);
+extern void inode_update_time_writable(struct inode *inode);

 extern int generic_show_options(struct seq_file *m, struct vfsmount *mnt);
 extern void save_mount_options(struct super_block *sb, char *options);
diff --git a/include/linux/page-flags.h b/include/linux/page-flags.h
index e90a673..4eed012 100644
--- a/include/linux/page-flags.h
+++ b/include/linux/page-flags.h
@@ -107,6 +107,7 @@ enum pageflags {
 #ifdef CONFIG_TRANSPARENT_HUGEPAGE
      PG_compound_lock,
 #endif
+     PG_update_cmtime,       /* Dirtied via writable mapping. */
      __NR_PAGEFLAGS,

      /* Filesystems */
@@ -273,6 +274,10 @@ PAGEFLAG_FALSE(HWPoison)
 #define __PG_HWPOISON 0
 #endif

+/* Whoever clears PG_update_cmtime must update the cmtime. */
+SETPAGEFLAG(UpdateCMTime, update_cmtime)
+TESTCLEARFLAG(UpdateCMTime, update_cmtime)
+
 u64 stable_page_flags(struct page *page);

 static inline int PageUptodate(struct page *page)
diff --git a/mm/page-writeback.c b/mm/page-writeback.c
index 0e309cd..41c48ea 100644
--- a/mm/page-writeback.c
+++ b/mm/page-writeback.c
@@ -1460,7 +1460,8 @@ EXPORT_SYMBOL(set_page_dirty_lock);
 /*
  * Clear a page's dirty flag, while caring for dirty memory accounting.
- * Returns true if the page was previously dirty.
+ * Returns true if the page was previously dirty.  Also updates inode time
+ * if necessary.
  *
  * This is for preparing to put the page under writeout.  We leave the page
  * tagged as dirty in the radix tree so that a concurrent write-for-sync
@@ -1474,6 +1475,7 @@ EXPORT_SYMBOL(set_page_dirty_lock);
  */
 int clear_page_dirty_for_io(struct page *page)
 {
+     int ret;
      struct address_space *mapping = page_mapping(page);

      BUG_ON(!PageLocked(page));
@@ -1520,11 +1522,20 @@ int clear_page_dirty_for_io(struct page *page)
                      dec_zone_page_state(page, NR_FILE_DIRTY);
                      dec_bdi_stat(mapping->backing_dev_info,
                                      BDI_RECLAIMABLE);
-                     return 1;
+                     ret = 1;
+                     goto out;
              }
-             return 0;
+             ret = 0;
+             goto out;
      }
-     return TestClearPageDirty(page);
+     ret = TestClearPageDirty(page);
+
+out:
+     /* We know that the inode (if any) is on a writable mount. */
+     if (mapping && mapping->host && TestClearPageUpdateCMTime(page))
+             inode_update_time_writable(mapping->host);
+
+     return ret;
 }
 EXPORT_SYMBOL(clear_page_dirty_for_io);
diff --git a/mm/rmap.c b/mm/rmap.c
index 8005080..2ee595d 100644
--- a/mm/rmap.c
+++ b/mm/rmap.c
@@ -937,6 +937,16 @@ int page_mkclean(struct page *page)
              struct address_space *mapping = page_mapping(page);
              if (mapping) {
                      ret = page_mkclean_file(mapping, page);
+
+                     /*
+                      * If dirtied via shared writable mapping, cmtime
+                      * needs to be updated.  If dirtied only through
+                      * write(), etc, then the writer already updated
+                      * cmtime.
+                      */
+                     if (ret)
+                             SetPageUpdateCMTime(page);
+
                      if (page_test_and_clear_dirty(page_to_pfn(page), 1))
                              ret = 1;
              }
@@ -1203,8 +1213,10 @@ int try_to_unmap_one(struct page *page, struct vm_area_struct *vma,
      pteval = ptep_clear_flush_notify(vma, address, pte);

      /* Move the dirty bit to the physical page now the pte is gone. */
-     if (pte_dirty(pteval))
+     if (pte_dirty(pteval)) {
+             SetPageUpdateCMTime(page);
              set_page_dirty(page);
+     }

      /* Update high watermark before we lower rss */
      update_hiwater_rss(mm);
@@ -1388,8 +1400,10 @@ static int try_to_unmap_cluster(unsigned long cursor, unsigned int *mapcount,
                      set_pte_at(mm, address, pte, pgoff_to_pte(page->index));

              /* Move the dirty bit to the physical page now the pte is gone. */
-             if (pte_dirty(pteval))
+             if (pte_dirty(pteval)) {
+                     SetPageUpdateCMTime(page);
                      set_page_dirty(page);
+             }

              page_remove_rmap(page);
              page_cache_release(page);
--
1.7.6.4
--
Jan Kara [off-list ref]
SUSE Labs, CR


-- 
Andy Lutomirski
AMA Capital Management, LLC
Office: (310) 553-5322
Mobile: (650) 906-0647
--
To unsubscribe from this list: send the line "unsubscribe linux-ext4" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Keyboard shortcuts
hback out one level
jnext message in thread
kprevious message in thread
ldrill in
Escclose help / fold thread tree
?toggle this help