fsync.c 7.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264
  1. /*
  2. * linux/fs/ext4/fsync.c
  3. *
  4. * Copyright (C) 1993 Stephen Tweedie (sct@redhat.com)
  5. * from
  6. * Copyright (C) 1992 Remy Card (card@masi.ibp.fr)
  7. * Laboratoire MASI - Institut Blaise Pascal
  8. * Universite Pierre et Marie Curie (Paris VI)
  9. * from
  10. * linux/fs/minix/truncate.c Copyright (C) 1991, 1992 Linus Torvalds
  11. *
  12. * ext4fs fsync primitive
  13. *
  14. * Big-endian to little-endian byte-swapping/bitmaps by
  15. * David S. Miller (davem@caip.rutgers.edu), 1995
  16. *
  17. * Removed unnecessary code duplication for little endian machines
  18. * and excessive __inline__s.
  19. * Andi Kleen, 1997
  20. *
  21. * Major simplications and cleanup - we only need to do the metadata, because
  22. * we can depend on generic_block_fdatasync() to sync the data blocks.
  23. */
  24. #include <linux/time.h>
  25. #include <linux/fs.h>
  26. #include <linux/sched.h>
  27. #include <linux/writeback.h>
  28. #include <linux/jbd2.h>
  29. #include <linux/blkdev.h>
  30. #include "ext4.h"
  31. #include "ext4_jbd2.h"
  32. #include <trace/events/ext4.h>
  33. static void dump_completed_IO(struct inode * inode)
  34. {
  35. #ifdef EXT4FS_DEBUG
  36. struct list_head *cur, *before, *after;
  37. ext4_io_end_t *io, *io0, *io1;
  38. unsigned long flags;
  39. if (list_empty(&EXT4_I(inode)->i_completed_io_list)){
  40. ext4_debug("inode %lu completed_io list is empty\n", inode->i_ino);
  41. return;
  42. }
  43. ext4_debug("Dump inode %lu completed_io list \n", inode->i_ino);
  44. spin_lock_irqsave(&EXT4_I(inode)->i_completed_io_lock, flags);
  45. list_for_each_entry(io, &EXT4_I(inode)->i_completed_io_list, list){
  46. cur = &io->list;
  47. before = cur->prev;
  48. io0 = container_of(before, ext4_io_end_t, list);
  49. after = cur->next;
  50. io1 = container_of(after, ext4_io_end_t, list);
  51. ext4_debug("io 0x%p from inode %lu,prev 0x%p,next 0x%p\n",
  52. io, inode->i_ino, io0, io1);
  53. }
  54. spin_unlock_irqrestore(&EXT4_I(inode)->i_completed_io_lock, flags);
  55. #endif
  56. }
  57. /*
  58. * This function is called from ext4_sync_file().
  59. *
  60. * When IO is completed, the work to convert unwritten extents to
  61. * written is queued on workqueue but may not get immediately
  62. * scheduled. When fsync is called, we need to ensure the
  63. * conversion is complete before fsync returns.
  64. * The inode keeps track of a list of pending/completed IO that
  65. * might needs to do the conversion. This function walks through
  66. * the list and convert the related unwritten extents for completed IO
  67. * to written.
  68. * The function return the number of pending IOs on success.
  69. */
  70. int ext4_flush_completed_IO(struct inode *inode)
  71. {
  72. ext4_io_end_t *io;
  73. struct ext4_inode_info *ei = EXT4_I(inode);
  74. unsigned long flags;
  75. int ret = 0;
  76. int ret2 = 0;
  77. dump_completed_IO(inode);
  78. spin_lock_irqsave(&ei->i_completed_io_lock, flags);
  79. while (!list_empty(&ei->i_completed_io_list)){
  80. io = list_entry(ei->i_completed_io_list.next,
  81. ext4_io_end_t, list);
  82. list_del_init(&io->list);
  83. io->flag |= EXT4_IO_END_IN_FSYNC;
  84. /*
  85. * Calling ext4_end_io_nolock() to convert completed
  86. * IO to written.
  87. *
  88. * When ext4_sync_file() is called, run_queue() may already
  89. * about to flush the work corresponding to this io structure.
  90. * It will be upset if it founds the io structure related
  91. * to the work-to-be schedule is freed.
  92. *
  93. * Thus we need to keep the io structure still valid here after
  94. * conversion finished. The io structure has a flag to
  95. * avoid double converting from both fsync and background work
  96. * queue work.
  97. */
  98. spin_unlock_irqrestore(&ei->i_completed_io_lock, flags);
  99. ret = ext4_end_io_nolock(io);
  100. if (ret < 0)
  101. ret2 = ret;
  102. spin_lock_irqsave(&ei->i_completed_io_lock, flags);
  103. io->flag &= ~EXT4_IO_END_IN_FSYNC;
  104. }
  105. spin_unlock_irqrestore(&ei->i_completed_io_lock, flags);
  106. return (ret2 < 0) ? ret2 : 0;
  107. }
  108. /*
  109. * If we're not journaling and this is a just-created file, we have to
  110. * sync our parent directory (if it was freshly created) since
  111. * otherwise it will only be written by writeback, leaving a huge
  112. * window during which a crash may lose the file. This may apply for
  113. * the parent directory's parent as well, and so on recursively, if
  114. * they are also freshly created.
  115. */
  116. static int ext4_sync_parent(struct inode *inode)
  117. {
  118. struct writeback_control wbc;
  119. struct dentry *dentry = NULL;
  120. struct inode *next;
  121. int ret = 0;
  122. if (!ext4_test_inode_state(inode, EXT4_STATE_NEWENTRY))
  123. return 0;
  124. inode = igrab(inode);
  125. while (ext4_test_inode_state(inode, EXT4_STATE_NEWENTRY)) {
  126. ext4_clear_inode_state(inode, EXT4_STATE_NEWENTRY);
  127. dentry = d_find_any_alias(inode);
  128. if (!dentry)
  129. break;
  130. next = igrab(dentry->d_parent->d_inode);
  131. dput(dentry);
  132. if (!next)
  133. break;
  134. iput(inode);
  135. inode = next;
  136. ret = sync_mapping_buffers(inode->i_mapping);
  137. if (ret)
  138. break;
  139. memset(&wbc, 0, sizeof(wbc));
  140. wbc.sync_mode = WB_SYNC_ALL;
  141. wbc.nr_to_write = 0; /* only write out the inode */
  142. ret = sync_inode(inode, &wbc);
  143. if (ret)
  144. break;
  145. }
  146. iput(inode);
  147. return ret;
  148. }
  149. /**
  150. * __sync_file - generic_file_fsync without the locking and filemap_write
  151. * @inode: inode to sync
  152. * @datasync: only sync essential metadata if true
  153. *
  154. * This is just generic_file_fsync without the locking. This is needed for
  155. * nojournal mode to make sure this inodes data/metadata makes it to disk
  156. * properly. The i_mutex should be held already.
  157. */
  158. static int __sync_inode(struct inode *inode, int datasync)
  159. {
  160. int err;
  161. int ret;
  162. ret = sync_mapping_buffers(inode->i_mapping);
  163. if (!(inode->i_state & I_DIRTY))
  164. return ret;
  165. if (datasync && !(inode->i_state & I_DIRTY_DATASYNC))
  166. return ret;
  167. err = sync_inode_metadata(inode, 1);
  168. if (ret == 0)
  169. ret = err;
  170. return ret;
  171. }
  172. /*
  173. * akpm: A new design for ext4_sync_file().
  174. *
  175. * This is only called from sys_fsync(), sys_fdatasync() and sys_msync().
  176. * There cannot be a transaction open by this task.
  177. * Another task could have dirtied this inode. Its data can be in any
  178. * state in the journalling system.
  179. *
  180. * What we do is just kick off a commit and wait on it. This will snapshot the
  181. * inode to disk.
  182. *
  183. * i_mutex lock is held when entering and exiting this function
  184. */
  185. int ext4_sync_file(struct file *file, loff_t start, loff_t end, int datasync)
  186. {
  187. struct inode *inode = file->f_mapping->host;
  188. struct ext4_inode_info *ei = EXT4_I(inode);
  189. journal_t *journal = EXT4_SB(inode->i_sb)->s_journal;
  190. int ret;
  191. tid_t commit_tid;
  192. bool needs_barrier = false;
  193. J_ASSERT(ext4_journal_current_handle() == NULL);
  194. trace_ext4_sync_file_enter(file, datasync);
  195. ret = filemap_write_and_wait_range(inode->i_mapping, start, end);
  196. if (ret)
  197. return ret;
  198. mutex_lock(&inode->i_mutex);
  199. if (inode->i_sb->s_flags & MS_RDONLY)
  200. goto out;
  201. ret = ext4_flush_completed_IO(inode);
  202. if (ret < 0)
  203. goto out;
  204. if (!journal) {
  205. ret = __sync_inode(inode, datasync);
  206. if (!ret && !list_empty(&inode->i_dentry))
  207. ret = ext4_sync_parent(inode);
  208. goto out;
  209. }
  210. /*
  211. * data=writeback,ordered:
  212. * The caller's filemap_fdatawrite()/wait will sync the data.
  213. * Metadata is in the journal, we wait for proper transaction to
  214. * commit here.
  215. *
  216. * data=journal:
  217. * filemap_fdatawrite won't do anything (the buffers are clean).
  218. * ext4_force_commit will write the file data into the journal and
  219. * will wait on that.
  220. * filemap_fdatawait() will encounter a ton of newly-dirtied pages
  221. * (they were dirtied by commit). But that's OK - the blocks are
  222. * safe in-journal, which is all fsync() needs to ensure.
  223. */
  224. if (ext4_should_journal_data(inode)) {
  225. ret = ext4_force_commit(inode->i_sb);
  226. goto out;
  227. }
  228. commit_tid = datasync ? ei->i_datasync_tid : ei->i_sync_tid;
  229. if (journal->j_flags & JBD2_BARRIER &&
  230. !jbd2_trans_will_send_data_barrier(journal, commit_tid))
  231. needs_barrier = true;
  232. ret = jbd2_complete_transaction(journal, commit_tid);
  233. if (needs_barrier)
  234. blkdev_issue_flush(inode->i_sb->s_bdev, GFP_KERNEL, NULL);
  235. out:
  236. mutex_unlock(&inode->i_mutex);
  237. trace_ext4_sync_file_exit(inode, ret);
  238. return ret;
  239. }