exofs: simple fsync race fix
Nick Piggin [Thu, 25 Nov 2010 10:47:15 +0000 (12:47 +0200)]
It is incorrect to test inode dirty bits without participating in the inode
writeback protocol. Inode writeback sets I_SYNC and clears I_DIRTY_?, then
writes out the particular bits, then clears I_SYNC when it is done. BTW. it
may not completely write all pages out, so I_DIRTY_PAGES would get set
again.

This is a standard pattern used throughout the kernel's writeback caches
(I_SYNC ~= I_WRITEBACK, if that makes it clearer).

And so it is not possible to determine an inode's dirty status just by
checking I_DIRTY bits. Especially not for the purpose of data integrity
syncs.

Missing the check for these bits means that fsync can complete while
writeback to the inode is underway. Inode writeback functions get this
right, so call into them rather than try to shortcut things by testing
dirty state improperly.

Signed-off-by: Nick Piggin <npiggin@kernel.dk>
Signed-off-by: Boaz Harrosh <bharrosh@panasas.com>

fs/exofs/file.c
fs/exofs/inode.c

index b905c79..4c0d6ba 100644 (file)
@@ -48,11 +48,6 @@ static int exofs_file_fsync(struct file *filp, int datasync)
        struct inode *inode = filp->f_mapping->host;
        struct super_block *sb;
 
-       if (!(inode->i_state & I_DIRTY))
-               return 0;
-       if (datasync && !(inode->i_state & I_DIRTY_DATASYNC))
-               return 0;
-
        ret = sync_inode_metadata(inode, 1);
 
        /* This is a good place to write the sb */
index c8f58a9..fb9d380 100644 (file)
@@ -1290,7 +1290,8 @@ out:
 
 int exofs_write_inode(struct inode *inode, struct writeback_control *wbc)
 {
-       return exofs_update_inode(inode, wbc->sync_mode == WB_SYNC_ALL);
+       /* FIXME: fix fsync and use wbc->sync_mode == WB_SYNC_ALL */
+       return exofs_update_inode(inode, 1);
 }
 
 /*