fsync.c 6.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226
  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. extern 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. if (list_empty(&ei->i_completed_io_list))
  78. return ret;
  79. dump_completed_IO(inode);
  80. spin_lock_irqsave(&ei->i_completed_io_lock, flags);
  81. while (!list_empty(&ei->i_completed_io_list)){
  82. io = list_entry(ei->i_completed_io_list.next,
  83. ext4_io_end_t, list);
  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. spin_lock_irqsave(&ei->i_completed_io_lock, flags);
  101. if (ret < 0)
  102. ret2 = ret;
  103. else
  104. list_del_init(&io->list);
  105. }
  106. spin_unlock_irqrestore(&ei->i_completed_io_lock, flags);
  107. return (ret2 < 0) ? ret2 : 0;
  108. }
  109. /*
  110. * If we're not journaling and this is a just-created file, we have to
  111. * sync our parent directory (if it was freshly created) since
  112. * otherwise it will only be written by writeback, leaving a huge
  113. * window during which a crash may lose the file. This may apply for
  114. * the parent directory's parent as well, and so on recursively, if
  115. * they are also freshly created.
  116. */
  117. static int ext4_sync_parent(struct inode *inode)
  118. {
  119. struct writeback_control wbc;
  120. struct dentry *dentry = NULL;
  121. int ret = 0;
  122. while (inode && ext4_test_inode_state(inode, EXT4_STATE_NEWENTRY)) {
  123. ext4_clear_inode_state(inode, EXT4_STATE_NEWENTRY);
  124. dentry = list_entry(inode->i_dentry.next,
  125. struct dentry, d_alias);
  126. if (!dentry || !dentry->d_parent || !dentry->d_parent->d_inode)
  127. break;
  128. inode = dentry->d_parent->d_inode;
  129. ret = sync_mapping_buffers(inode->i_mapping);
  130. if (ret)
  131. break;
  132. memset(&wbc, 0, sizeof(wbc));
  133. wbc.sync_mode = WB_SYNC_ALL;
  134. wbc.nr_to_write = 0; /* only write out the inode */
  135. ret = sync_inode(inode, &wbc);
  136. if (ret)
  137. break;
  138. }
  139. return ret;
  140. }
  141. /*
  142. * akpm: A new design for ext4_sync_file().
  143. *
  144. * This is only called from sys_fsync(), sys_fdatasync() and sys_msync().
  145. * There cannot be a transaction open by this task.
  146. * Another task could have dirtied this inode. Its data can be in any
  147. * state in the journalling system.
  148. *
  149. * What we do is just kick off a commit and wait on it. This will snapshot the
  150. * inode to disk.
  151. *
  152. * i_mutex lock is held when entering and exiting this function
  153. */
  154. int ext4_sync_file(struct file *file, int datasync)
  155. {
  156. struct inode *inode = file->f_mapping->host;
  157. struct ext4_inode_info *ei = EXT4_I(inode);
  158. journal_t *journal = EXT4_SB(inode->i_sb)->s_journal;
  159. int ret;
  160. tid_t commit_tid;
  161. bool needs_barrier = false;
  162. J_ASSERT(ext4_journal_current_handle() == NULL);
  163. trace_ext4_sync_file_enter(file, datasync);
  164. if (inode->i_sb->s_flags & MS_RDONLY)
  165. return 0;
  166. ret = ext4_flush_completed_IO(inode);
  167. if (ret < 0)
  168. goto out;
  169. if (!journal) {
  170. ret = generic_file_fsync(file, datasync);
  171. if (!ret && !list_empty(&inode->i_dentry))
  172. ret = ext4_sync_parent(inode);
  173. goto out;
  174. }
  175. /*
  176. * data=writeback,ordered:
  177. * The caller's filemap_fdatawrite()/wait will sync the data.
  178. * Metadata is in the journal, we wait for proper transaction to
  179. * commit here.
  180. *
  181. * data=journal:
  182. * filemap_fdatawrite won't do anything (the buffers are clean).
  183. * ext4_force_commit will write the file data into the journal and
  184. * will wait on that.
  185. * filemap_fdatawait() will encounter a ton of newly-dirtied pages
  186. * (they were dirtied by commit). But that's OK - the blocks are
  187. * safe in-journal, which is all fsync() needs to ensure.
  188. */
  189. if (ext4_should_journal_data(inode)) {
  190. ret = ext4_force_commit(inode->i_sb);
  191. goto out;
  192. }
  193. commit_tid = datasync ? ei->i_datasync_tid : ei->i_sync_tid;
  194. if (journal->j_flags & JBD2_BARRIER &&
  195. !jbd2_trans_will_send_data_barrier(journal, commit_tid))
  196. needs_barrier = true;
  197. jbd2_log_start_commit(journal, commit_tid);
  198. ret = jbd2_log_wait_commit(journal, commit_tid);
  199. if (needs_barrier)
  200. blkdev_issue_flush(inode->i_sb->s_bdev, GFP_KERNEL, NULL);
  201. out:
  202. trace_ext4_sync_file_exit(inode, ret);
  203. return ret;
  204. }