diff options
| author | Theodore Ts'o <tytso@mit.edu> | 2013-04-03 22:02:52 -0400 |
|---|---|---|
| committer | Theodore Ts'o <tytso@mit.edu> | 2013-04-03 22:02:52 -0400 |
| commit | d76a3a77113db020d9bb1e894822869410450bd9 (patch) | |
| tree | 3e73e273fd8c8e09b2bb87417615d391491eb38e /fs | |
| parent | b10a44c369d7b8a28825f1fd24f13dc31c2e3a25 (diff) | |
ext4/jbd2: don't wait (forever) for stale tid caused by wraparound
In the case where an inode has a very stale transaction id (tid) in
i_datasync_tid or i_sync_tid, it's possible that after a very large
(2**31) number of transactions, that the tid number space might wrap,
causing tid_geq()'s calculations to fail.
Commit deeeaf13 "jbd2: fix fsync() tid wraparound bug", later modified
by commit e7b04ac0 "jbd2: don't wake kjournald unnecessarily",
attempted to fix this problem, but it only avoided kjournald spinning
forever by fixing the logic in jbd2_log_start_commit().
Unfortunately, in the codepaths in fs/ext4/fsync.c and fs/ext4/inode.c
that might call jbd2_log_start_commit() with a stale tid, those
functions will subsequently call jbd2_log_wait_commit() with the same
stale tid, and then wait for a very long time. To fix this, we
replace the calls to jbd2_log_start_commit() and
jbd2_log_wait_commit() with a call to a new function,
jbd2_complete_transaction(), which will correctly handle stale tid's.
As a bonus, jbd2_complete_transaction() will avoid locking
j_state_lock for writing unless a commit needs to be started. This
should have a small (but probably not measurable) improvement for
ext4's scalability.
Signed-off-by: "Theodore Ts'o" <tytso@mit.edu>
Reported-by: Ben Hutchings <ben@decadent.org.uk>
Reported-by: George Barnett <gbarnett@atlassian.com>
Cc: stable@vger.kernel.org
Diffstat (limited to 'fs')
| -rw-r--r-- | fs/ext4/fsync.c | 3 | ||||
| -rw-r--r-- | fs/ext4/inode.c | 3 | ||||
| -rw-r--r-- | fs/jbd2/journal.c | 31 |
3 files changed, 33 insertions, 4 deletions
diff --git a/fs/ext4/fsync.c b/fs/ext4/fsync.c index 3278e64e57b6..e0ba8a408def 100644 --- a/fs/ext4/fsync.c +++ b/fs/ext4/fsync.c | |||
| @@ -166,8 +166,7 @@ int ext4_sync_file(struct file *file, loff_t start, loff_t end, int datasync) | |||
| 166 | if (journal->j_flags & JBD2_BARRIER && | 166 | if (journal->j_flags & JBD2_BARRIER && |
| 167 | !jbd2_trans_will_send_data_barrier(journal, commit_tid)) | 167 | !jbd2_trans_will_send_data_barrier(journal, commit_tid)) |
| 168 | needs_barrier = true; | 168 | needs_barrier = true; |
| 169 | jbd2_log_start_commit(journal, commit_tid); | 169 | ret = jbd2_complete_transaction(journal, commit_tid); |
| 170 | ret = jbd2_log_wait_commit(journal, commit_tid); | ||
| 171 | if (needs_barrier) { | 170 | if (needs_barrier) { |
| 172 | err = blkdev_issue_flush(inode->i_sb->s_bdev, GFP_KERNEL, NULL); | 171 | err = blkdev_issue_flush(inode->i_sb->s_bdev, GFP_KERNEL, NULL); |
| 173 | if (!ret) | 172 | if (!ret) |
diff --git a/fs/ext4/inode.c b/fs/ext4/inode.c index 56ebd662033b..addba9e0a1a4 100644 --- a/fs/ext4/inode.c +++ b/fs/ext4/inode.c | |||
| @@ -210,8 +210,7 @@ void ext4_evict_inode(struct inode *inode) | |||
| 210 | journal_t *journal = EXT4_SB(inode->i_sb)->s_journal; | 210 | journal_t *journal = EXT4_SB(inode->i_sb)->s_journal; |
| 211 | tid_t commit_tid = EXT4_I(inode)->i_datasync_tid; | 211 | tid_t commit_tid = EXT4_I(inode)->i_datasync_tid; |
| 212 | 212 | ||
| 213 | jbd2_log_start_commit(journal, commit_tid); | 213 | jbd2_complete_transaction(journal, commit_tid); |
| 214 | jbd2_log_wait_commit(journal, commit_tid); | ||
| 215 | filemap_write_and_wait(&inode->i_data); | 214 | filemap_write_and_wait(&inode->i_data); |
| 216 | } | 215 | } |
| 217 | truncate_inode_pages(&inode->i_data, 0); | 216 | truncate_inode_pages(&inode->i_data, 0); |
diff --git a/fs/jbd2/journal.c b/fs/jbd2/journal.c index ed10991ab006..886ec2faa9b4 100644 --- a/fs/jbd2/journal.c +++ b/fs/jbd2/journal.c | |||
| @@ -710,6 +710,37 @@ int jbd2_log_wait_commit(journal_t *journal, tid_t tid) | |||
| 710 | } | 710 | } |
| 711 | 711 | ||
| 712 | /* | 712 | /* |
| 713 | * When this function returns the transaction corresponding to tid | ||
| 714 | * will be completed. If the transaction has currently running, start | ||
| 715 | * committing that transaction before waiting for it to complete. If | ||
| 716 | * the transaction id is stale, it is by definition already completed, | ||
| 717 | * so just return SUCCESS. | ||
| 718 | */ | ||
| 719 | int jbd2_complete_transaction(journal_t *journal, tid_t tid) | ||
| 720 | { | ||
| 721 | int need_to_wait = 1; | ||
| 722 | |||
| 723 | read_lock(&journal->j_state_lock); | ||
| 724 | if (journal->j_running_transaction && | ||
| 725 | journal->j_running_transaction->t_tid == tid) { | ||
| 726 | if (journal->j_commit_request != tid) { | ||
| 727 | /* transaction not yet started, so request it */ | ||
| 728 | read_unlock(&journal->j_state_lock); | ||
| 729 | jbd2_log_start_commit(journal, tid); | ||
| 730 | goto wait_commit; | ||
| 731 | } | ||
| 732 | } else if (!(journal->j_committing_transaction && | ||
| 733 | journal->j_committing_transaction->t_tid == tid)) | ||
| 734 | need_to_wait = 0; | ||
| 735 | read_unlock(&journal->j_state_lock); | ||
| 736 | if (!need_to_wait) | ||
| 737 | return 0; | ||
| 738 | wait_commit: | ||
| 739 | return jbd2_log_wait_commit(journal, tid); | ||
| 740 | } | ||
| 741 | EXPORT_SYMBOL(jbd2_complete_transaction); | ||
| 742 | |||
| 743 | /* | ||
| 713 | * Log buffer allocation routines: | 744 | * Log buffer allocation routines: |
| 714 | */ | 745 | */ |
| 715 | 746 | ||
