2006-01-16 09:50:04 -07:00
|
|
|
/*
|
|
|
|
|
* Copyright (C) Sistina Software, Inc. 1997-2003 All rights reserved.
|
2006-05-18 13:09:15 -06:00
|
|
|
* Copyright (C) 2004-2006 Red Hat, Inc. All rights reserved.
|
2006-01-16 09:50:04 -07:00
|
|
|
*
|
|
|
|
|
* This copyrighted material is made available to anyone wishing to use,
|
|
|
|
|
* modify, copy, or redistribute it subject to the terms and conditions
|
2006-09-01 09:05:15 -06:00
|
|
|
* of the GNU General Public License version 2.
|
2006-01-16 09:50:04 -07:00
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
#include <linux/sched.h>
|
|
|
|
|
#include <linux/slab.h>
|
|
|
|
|
#include <linux/spinlock.h>
|
|
|
|
|
#include <linux/completion.h>
|
|
|
|
|
#include <linux/buffer_head.h>
|
2006-02-27 15:23:27 -07:00
|
|
|
#include <linux/gfs2_ondisk.h>
|
2009-04-07 07:13:01 -06:00
|
|
|
#include <linux/bio.h>
|
|
|
|
|
#include <linux/fs.h>
|
2006-01-16 09:50:04 -07:00
|
|
|
|
|
|
|
|
#include "gfs2.h"
|
2006-02-27 15:23:27 -07:00
|
|
|
#include "incore.h"
|
[GFS2] assertion failure after writing to journaled file, umount
This patch passes all my nasty tests that were causing the code to
fail under one circumstance or another. Here is a complete summary
of all changes from today's git tree, in order of appearance:
1. There are now separate variables for metadata buffer accounting.
2. Variable sd_log_num_hdrs is no longer needed, since the header
accounting is taken care of by the reserve/refund sequence.
3. Fixed a tiny grammatical problem in a comment.
4. Added a new function "calc_reserved" to calculate the reserved
log space. This isn't entirely necessary, but it has two benefits:
First, it simplifies the gfs2_log_refund function greatly.
Second, it allows for easier debugging because I could sprinkle the
code with calls to this function to make sure the accounting is
proper (by adding asserts and printks) at strategic point of the code.
5. In log_pull_tail there apparently was a kludge to fix up the
accounting based on a "pull" parameter. The buffer accounting is
now done properly, so the kludge was removed.
6. File sync operations were making a call to gfs2_log_flush that
writes another journal header. Since that header was unplanned
for (reserved) by the reserve/refund sequence, the free space had
to be decremented so that when log_pull_tail gets called, the free
space is be adjusted properly. (Did I hear you call that a kludge?
well, maybe, but a lot more justifiable than the one I removed).
7. In the gfs2_log_shutdown code, it optionally syncs the log by
specifying the PULL parameter to log_write_header. I'm not sure
this is necessary anymore. It just seems to me there could be
cases where shutdown is called while there are outstanding log
buffers.
8. In the (data)buf_lo_before_commit functions, I changed some offset
values from being calculated on the fly to being constants. That
simplified some code and we might as well let the compiler do the
calculation once rather than redoing those cycles at run time.
9. This version has my rewritten databuf_lo_add function.
This version is much more like its predecessor, buf_lo_add, which
makes it easier to understand. Again, this might not be necessary,
but it seems as if this one works as well as the previous one,
maybe even better, so I decided to leave it in.
10. In databuf_lo_before_commit, a previous data corruption problem
was caused by going off the end of the buffer. The proper solution
is to have the proper limit in place, rather than stopping earlier.
(Thus my previous attempt to fix it is wrong).
If you don't wrap the buffer, you're stopping too early and that
causes more log buffer accounting problems.
11. In lops.h there are two new (previously mentioned) constants for
figuring out the data offset for the journal buffers.
12. There are also two new functions, buf_limit and databuf_limit to
calculate how many entries will fit in the buffer.
13. In function gfs2_meta_wipe, it needs to distinguish between pinned
metadata buffers and journaled data buffers for proper journal buffer
accounting. It can't use the JDATA gfs2_inode flag because it's
sometimes passed the "real" inode and sometimes the "metadata
inode" and the inode flags will be random bits in a metadata
gfs2_inode. It needs to base its decision on which was passed in.
Signed-off-by: Bob Peterson <rpeterso@redhat.com>
Signed-off-by: Steven Whitehouse <swhiteho@redhat.com>
2007-06-18 13:50:20 -06:00
|
|
|
#include "inode.h"
|
2006-01-16 09:50:04 -07:00
|
|
|
#include "glock.h"
|
|
|
|
|
#include "log.h"
|
|
|
|
|
#include "lops.h"
|
|
|
|
|
#include "meta_io.h"
|
|
|
|
|
#include "recovery.h"
|
|
|
|
|
#include "rgrp.h"
|
|
|
|
|
#include "trans.h"
|
2006-02-27 15:23:27 -07:00
|
|
|
#include "util.h"
|
2009-06-12 01:49:20 -06:00
|
|
|
#include "trace_gfs2.h"
|
2006-01-16 09:50:04 -07:00
|
|
|
|
2007-08-27 06:54:05 -06:00
|
|
|
/**
|
|
|
|
|
* gfs2_pin - Pin a buffer in memory
|
|
|
|
|
* @sdp: The superblock
|
|
|
|
|
* @bh: The buffer to be pinned
|
|
|
|
|
*
|
|
|
|
|
* The log lock must be held when calling this function
|
|
|
|
|
*/
|
|
|
|
|
static void gfs2_pin(struct gfs2_sbd *sdp, struct buffer_head *bh)
|
|
|
|
|
{
|
|
|
|
|
struct gfs2_bufdata *bd;
|
|
|
|
|
|
|
|
|
|
gfs2_assert_withdraw(sdp, test_bit(SDF_JOURNAL_LIVE, &sdp->sd_flags));
|
|
|
|
|
|
|
|
|
|
clear_buffer_dirty(bh);
|
|
|
|
|
if (test_set_buffer_pinned(bh))
|
|
|
|
|
gfs2_assert_withdraw(sdp, 0);
|
|
|
|
|
if (!buffer_uptodate(bh))
|
|
|
|
|
gfs2_io_error_bh(sdp, bh);
|
|
|
|
|
bd = bh->b_private;
|
|
|
|
|
/* If this buffer is in the AIL and it has already been written
|
|
|
|
|
* to in-place disk block, remove it from the AIL.
|
|
|
|
|
*/
|
|
|
|
|
if (bd->bd_ail)
|
|
|
|
|
list_move(&bd->bd_ail_st_list, &bd->bd_ail->ai_ail2_list);
|
|
|
|
|
get_bh(bh);
|
GFS2: Various gfs2_logd improvements
This patch contains various tweaks to how log flushes and active item writeback
work. gfs2_logd is now managed by a waitqueue, and gfs2_log_reseve now waits
for gfs2_logd to do the log flushing. Multiple functions were rewritten to
remove the need to call gfs2_log_lock(). Instead of using one test to see if
gfs2_logd had work to do, there are now seperate tests to check if there
are two many buffers in the incore log or if there are two many items on the
active items list.
This patch is a port of a patch Steve Whitehouse wrote about a year ago, with
some minor changes. Since gfs2_ail1_start always submits all the active items,
it no longer needs to keep track of the first ai submitted, so this has been
removed. In gfs2_log_reserve(), the order of the calls to
prepare_to_wait_exclusive() and wake_up() when firing off the logd thread has
been switched. If it called wake_up first there was a small window for a race,
where logd could run and return before gfs2_log_reserve was ready to get woken
up. If gfs2_logd ran, but did not free up enough blocks, gfs2_log_reserve()
would be left waiting for gfs2_logd to eventualy run because it timed out.
Finally, gt_logd_secs, which controls how long to wait before gfs2_logd times
out, and flushes the log, can now be set on mount with ar_commit.
Signed-off-by: Benjamin Marzinski <bmarzins@redhat.com>
Signed-off-by: Steven Whitehouse <swhiteho@redhat.com>
2010-05-04 13:29:16 -06:00
|
|
|
atomic_inc(&sdp->sd_log_pinned);
|
2009-06-12 01:49:20 -06:00
|
|
|
trace_gfs2_pin(bd, 1);
|
2007-08-27 06:54:05 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* gfs2_unpin - Unpin a buffer
|
|
|
|
|
* @sdp: the filesystem the buffer belongs to
|
|
|
|
|
* @bh: The buffer to unpin
|
|
|
|
|
* @ai:
|
|
|
|
|
*
|
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
static void gfs2_unpin(struct gfs2_sbd *sdp, struct buffer_head *bh,
|
|
|
|
|
struct gfs2_ail *ai)
|
|
|
|
|
{
|
|
|
|
|
struct gfs2_bufdata *bd = bh->b_private;
|
|
|
|
|
|
|
|
|
|
gfs2_assert_withdraw(sdp, buffer_uptodate(bh));
|
|
|
|
|
|
|
|
|
|
if (!buffer_pinned(bh))
|
|
|
|
|
gfs2_assert_withdraw(sdp, 0);
|
|
|
|
|
|
|
|
|
|
lock_buffer(bh);
|
|
|
|
|
mark_buffer_dirty(bh);
|
|
|
|
|
clear_buffer_pinned(bh);
|
|
|
|
|
|
2011-03-11 04:52:25 -07:00
|
|
|
spin_lock(&sdp->sd_ail_lock);
|
2007-08-27 06:54:05 -06:00
|
|
|
if (bd->bd_ail) {
|
|
|
|
|
list_del(&bd->bd_ail_st_list);
|
|
|
|
|
brelse(bh);
|
|
|
|
|
} else {
|
|
|
|
|
struct gfs2_glock *gl = bd->bd_gl;
|
|
|
|
|
list_add(&bd->bd_ail_gl_list, &gl->gl_ail_list);
|
|
|
|
|
atomic_inc(&gl->gl_ail_count);
|
|
|
|
|
}
|
|
|
|
|
bd->bd_ail = ai;
|
|
|
|
|
list_add(&bd->bd_ail_st_list, &ai->ai_ail1_list);
|
2011-03-11 04:52:25 -07:00
|
|
|
spin_unlock(&sdp->sd_ail_lock);
|
|
|
|
|
|
2011-01-19 02:30:01 -07:00
|
|
|
if (test_and_clear_bit(GLF_LFLUSH, &bd->bd_gl->gl_flags))
|
|
|
|
|
gfs2_glock_schedule_for_reclaim(bd->bd_gl);
|
2009-06-12 01:49:20 -06:00
|
|
|
trace_gfs2_pin(bd, 0);
|
2007-08-27 06:54:05 -06:00
|
|
|
unlock_buffer(bh);
|
GFS2: Various gfs2_logd improvements
This patch contains various tweaks to how log flushes and active item writeback
work. gfs2_logd is now managed by a waitqueue, and gfs2_log_reseve now waits
for gfs2_logd to do the log flushing. Multiple functions were rewritten to
remove the need to call gfs2_log_lock(). Instead of using one test to see if
gfs2_logd had work to do, there are now seperate tests to check if there
are two many buffers in the incore log or if there are two many items on the
active items list.
This patch is a port of a patch Steve Whitehouse wrote about a year ago, with
some minor changes. Since gfs2_ail1_start always submits all the active items,
it no longer needs to keep track of the first ai submitted, so this has been
removed. In gfs2_log_reserve(), the order of the calls to
prepare_to_wait_exclusive() and wake_up() when firing off the logd thread has
been switched. If it called wake_up first there was a small window for a race,
where logd could run and return before gfs2_log_reserve was ready to get woken
up. If gfs2_logd ran, but did not free up enough blocks, gfs2_log_reserve()
would be left waiting for gfs2_logd to eventualy run because it timed out.
Finally, gt_logd_secs, which controls how long to wait before gfs2_logd times
out, and flushes the log, can now be set on mount with ar_commit.
Signed-off-by: Benjamin Marzinski <bmarzins@redhat.com>
Signed-off-by: Steven Whitehouse <swhiteho@redhat.com>
2010-05-04 13:29:16 -06:00
|
|
|
atomic_dec(&sdp->sd_log_pinned);
|
2007-08-27 06:54:05 -06:00
|
|
|
}
|
|
|
|
|
|
2007-09-17 03:59:52 -06:00
|
|
|
|
|
|
|
|
static inline struct gfs2_log_descriptor *bh_log_desc(struct buffer_head *bh)
|
|
|
|
|
{
|
|
|
|
|
return (struct gfs2_log_descriptor *)bh->b_data;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
static inline __be64 *bh_log_ptr(struct buffer_head *bh)
|
|
|
|
|
{
|
|
|
|
|
struct gfs2_log_descriptor *ld = bh_log_desc(bh);
|
|
|
|
|
return (__force __be64 *)(ld + 1);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
static inline __be64 *bh_ptr_end(struct buffer_head *bh)
|
|
|
|
|
{
|
|
|
|
|
return (__force __be64 *)(bh->b_data + bh->b_size);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
static struct buffer_head *gfs2_get_log_desc(struct gfs2_sbd *sdp, u32 ld_type)
|
|
|
|
|
{
|
|
|
|
|
struct buffer_head *bh = gfs2_log_get_buf(sdp);
|
|
|
|
|
struct gfs2_log_descriptor *ld = bh_log_desc(bh);
|
|
|
|
|
ld->ld_header.mh_magic = cpu_to_be32(GFS2_MAGIC);
|
|
|
|
|
ld->ld_header.mh_type = cpu_to_be32(GFS2_METATYPE_LD);
|
|
|
|
|
ld->ld_header.mh_format = cpu_to_be32(GFS2_FORMAT_LD);
|
|
|
|
|
ld->ld_type = cpu_to_be32(ld_type);
|
|
|
|
|
ld->ld_length = 0;
|
|
|
|
|
ld->ld_data1 = 0;
|
|
|
|
|
ld->ld_data2 = 0;
|
|
|
|
|
memset(ld->ld_reserved, 0, sizeof(ld->ld_reserved));
|
|
|
|
|
return bh;
|
|
|
|
|
}
|
|
|
|
|
|
2006-01-16 09:50:04 -07:00
|
|
|
static void buf_lo_add(struct gfs2_sbd *sdp, struct gfs2_log_element *le)
|
|
|
|
|
{
|
|
|
|
|
struct gfs2_bufdata *bd = container_of(le, struct gfs2_bufdata, bd_le);
|
GFS2: Tag all metadata with jid
There are two spare field in the header common to all GFS2
metadata. One is just the right size to fit a journal id
in it, and this patch updates the journal code so that each
time a metadata block is modified, we tag it with the journal
id of the node which is performing the modification.
The reason for this is that it should make it much easier to
debug issues which arise if we can tell which node was the
last to modify a particular metadata block.
Since the field is updated before the block is written into
the journal, each journal should only contain metadata which
is tagged with its own journal id. The one exception to this
is the journal header block, which might have a different node's
id in it, if that journal was recovered by another node in the
cluster.
Thus each journal will contain a record of which nodes recovered
it, via the journal header.
The other field in the metadata header could potentially be
used to hold information about what kind of operation was
performed, but for the time being we just zero it on each
transaction so that if we use it for that in future, we'll
know that the information (where it exists) is reliable.
I did consider using the other field to hold the journal
sequence number, however since in GFS2's journaling we write
the modified data into the journal and not the original
data, this gives no information as to what action caused the
modification, so I think we can probably come up with a better
use for those 64 bits in the future.
Signed-off-by: Steven Whitehouse <swhiteho@redhat.com>
2009-11-06 09:20:51 -07:00
|
|
|
struct gfs2_meta_header *mh;
|
2006-01-16 09:50:04 -07:00
|
|
|
struct gfs2_trans *tr;
|
|
|
|
|
|
2007-08-27 06:54:05 -06:00
|
|
|
lock_buffer(bd->bd_bh);
|
2007-01-25 03:04:20 -07:00
|
|
|
gfs2_log_lock(sdp);
|
2007-08-27 06:54:05 -06:00
|
|
|
if (!list_empty(&bd->bd_list_tr))
|
|
|
|
|
goto out;
|
2006-02-27 15:23:27 -07:00
|
|
|
tr = current->journal_info;
|
2006-01-16 09:50:04 -07:00
|
|
|
tr->tr_touched = 1;
|
|
|
|
|
tr->tr_num_buf++;
|
|
|
|
|
list_add(&bd->bd_list_tr, &tr->tr_list_buf);
|
|
|
|
|
if (!list_empty(&le->le_list))
|
2007-08-27 06:54:05 -06:00
|
|
|
goto out;
|
2007-11-08 07:25:12 -07:00
|
|
|
set_bit(GLF_LFLUSH, &bd->bd_gl->gl_flags);
|
|
|
|
|
set_bit(GLF_DIRTY, &bd->bd_gl->gl_flags);
|
2006-01-16 09:50:04 -07:00
|
|
|
gfs2_meta_check(sdp, bd->bd_bh);
|
2006-01-18 06:38:44 -07:00
|
|
|
gfs2_pin(sdp, bd->bd_bh);
|
GFS2: Tag all metadata with jid
There are two spare field in the header common to all GFS2
metadata. One is just the right size to fit a journal id
in it, and this patch updates the journal code so that each
time a metadata block is modified, we tag it with the journal
id of the node which is performing the modification.
The reason for this is that it should make it much easier to
debug issues which arise if we can tell which node was the
last to modify a particular metadata block.
Since the field is updated before the block is written into
the journal, each journal should only contain metadata which
is tagged with its own journal id. The one exception to this
is the journal header block, which might have a different node's
id in it, if that journal was recovered by another node in the
cluster.
Thus each journal will contain a record of which nodes recovered
it, via the journal header.
The other field in the metadata header could potentially be
used to hold information about what kind of operation was
performed, but for the time being we just zero it on each
transaction so that if we use it for that in future, we'll
know that the information (where it exists) is reliable.
I did consider using the other field to hold the journal
sequence number, however since in GFS2's journaling we write
the modified data into the journal and not the original
data, this gives no information as to what action caused the
modification, so I think we can probably come up with a better
use for those 64 bits in the future.
Signed-off-by: Steven Whitehouse <swhiteho@redhat.com>
2009-11-06 09:20:51 -07:00
|
|
|
mh = (struct gfs2_meta_header *)bd->bd_bh->b_data;
|
|
|
|
|
mh->__pad0 = cpu_to_be64(0);
|
|
|
|
|
mh->mh_jid = cpu_to_be32(sdp->sd_jdesc->jd_jid);
|
2006-01-16 09:50:04 -07:00
|
|
|
sdp->sd_log_num_buf++;
|
|
|
|
|
list_add(&le->le_list, &sdp->sd_log_le_buf);
|
|
|
|
|
tr->tr_num_buf_new++;
|
2007-08-27 06:54:05 -06:00
|
|
|
out:
|
|
|
|
|
gfs2_log_unlock(sdp);
|
|
|
|
|
unlock_buffer(bd->bd_bh);
|
2006-01-16 09:50:04 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
static void buf_lo_before_commit(struct gfs2_sbd *sdp)
|
|
|
|
|
{
|
|
|
|
|
struct buffer_head *bh;
|
|
|
|
|
struct gfs2_log_descriptor *ld;
|
|
|
|
|
struct gfs2_bufdata *bd1 = NULL, *bd2;
|
2007-07-24 13:05:31 -06:00
|
|
|
unsigned int total;
|
2006-01-16 09:50:04 -07:00
|
|
|
unsigned int limit;
|
|
|
|
|
unsigned int num;
|
|
|
|
|
unsigned n;
|
|
|
|
|
__be64 *ptr;
|
|
|
|
|
|
[GFS2] assertion failure after writing to journaled file, umount
This patch passes all my nasty tests that were causing the code to
fail under one circumstance or another. Here is a complete summary
of all changes from today's git tree, in order of appearance:
1. There are now separate variables for metadata buffer accounting.
2. Variable sd_log_num_hdrs is no longer needed, since the header
accounting is taken care of by the reserve/refund sequence.
3. Fixed a tiny grammatical problem in a comment.
4. Added a new function "calc_reserved" to calculate the reserved
log space. This isn't entirely necessary, but it has two benefits:
First, it simplifies the gfs2_log_refund function greatly.
Second, it allows for easier debugging because I could sprinkle the
code with calls to this function to make sure the accounting is
proper (by adding asserts and printks) at strategic point of the code.
5. In log_pull_tail there apparently was a kludge to fix up the
accounting based on a "pull" parameter. The buffer accounting is
now done properly, so the kludge was removed.
6. File sync operations were making a call to gfs2_log_flush that
writes another journal header. Since that header was unplanned
for (reserved) by the reserve/refund sequence, the free space had
to be decremented so that when log_pull_tail gets called, the free
space is be adjusted properly. (Did I hear you call that a kludge?
well, maybe, but a lot more justifiable than the one I removed).
7. In the gfs2_log_shutdown code, it optionally syncs the log by
specifying the PULL parameter to log_write_header. I'm not sure
this is necessary anymore. It just seems to me there could be
cases where shutdown is called while there are outstanding log
buffers.
8. In the (data)buf_lo_before_commit functions, I changed some offset
values from being calculated on the fly to being constants. That
simplified some code and we might as well let the compiler do the
calculation once rather than redoing those cycles at run time.
9. This version has my rewritten databuf_lo_add function.
This version is much more like its predecessor, buf_lo_add, which
makes it easier to understand. Again, this might not be necessary,
but it seems as if this one works as well as the previous one,
maybe even better, so I decided to leave it in.
10. In databuf_lo_before_commit, a previous data corruption problem
was caused by going off the end of the buffer. The proper solution
is to have the proper limit in place, rather than stopping earlier.
(Thus my previous attempt to fix it is wrong).
If you don't wrap the buffer, you're stopping too early and that
causes more log buffer accounting problems.
11. In lops.h there are two new (previously mentioned) constants for
figuring out the data offset for the journal buffers.
12. There are also two new functions, buf_limit and databuf_limit to
calculate how many entries will fit in the buffer.
13. In function gfs2_meta_wipe, it needs to distinguish between pinned
metadata buffers and journaled data buffers for proper journal buffer
accounting. It can't use the JDATA gfs2_inode flag because it's
sometimes passed the "real" inode and sometimes the "metadata
inode" and the inode flags will be random bits in a metadata
gfs2_inode. It needs to base its decision on which was passed in.
Signed-off-by: Bob Peterson <rpeterso@redhat.com>
Signed-off-by: Steven Whitehouse <swhiteho@redhat.com>
2007-06-18 13:50:20 -06:00
|
|
|
limit = buf_limit(sdp);
|
2006-01-16 09:50:04 -07:00
|
|
|
/* for 4k blocks, limit = 503 */
|
|
|
|
|
|
2007-07-24 13:05:31 -06:00
|
|
|
gfs2_log_lock(sdp);
|
|
|
|
|
total = sdp->sd_log_num_buf;
|
2006-01-16 09:50:04 -07:00
|
|
|
bd1 = bd2 = list_prepare_entry(bd1, &sdp->sd_log_le_buf, bd_le.le_list);
|
|
|
|
|
while(total) {
|
|
|
|
|
num = total;
|
|
|
|
|
if (total > limit)
|
|
|
|
|
num = limit;
|
2007-07-24 13:05:31 -06:00
|
|
|
gfs2_log_unlock(sdp);
|
2007-09-17 03:59:52 -06:00
|
|
|
bh = gfs2_get_log_desc(sdp, GFS2_LOG_DESC_METADATA);
|
2007-07-24 13:05:31 -06:00
|
|
|
gfs2_log_lock(sdp);
|
2007-09-17 03:59:52 -06:00
|
|
|
ld = bh_log_desc(bh);
|
|
|
|
|
ptr = bh_log_ptr(bh);
|
2006-01-16 09:50:04 -07:00
|
|
|
ld->ld_length = cpu_to_be32(num + 1);
|
|
|
|
|
ld->ld_data1 = cpu_to_be32(num);
|
|
|
|
|
|
|
|
|
|
n = 0;
|
2006-02-27 10:00:42 -07:00
|
|
|
list_for_each_entry_continue(bd1, &sdp->sd_log_le_buf,
|
|
|
|
|
bd_le.le_list) {
|
2006-01-16 09:50:04 -07:00
|
|
|
*ptr++ = cpu_to_be64(bd1->bd_bh->b_blocknr);
|
|
|
|
|
if (++n >= num)
|
|
|
|
|
break;
|
|
|
|
|
}
|
|
|
|
|
|
2007-07-24 13:05:31 -06:00
|
|
|
gfs2_log_unlock(sdp);
|
2009-04-07 07:13:01 -06:00
|
|
|
submit_bh(WRITE_SYNC_PLUG, bh);
|
2007-07-24 13:05:31 -06:00
|
|
|
gfs2_log_lock(sdp);
|
2006-01-16 09:50:04 -07:00
|
|
|
|
|
|
|
|
n = 0;
|
2006-02-27 10:00:42 -07:00
|
|
|
list_for_each_entry_continue(bd2, &sdp->sd_log_le_buf,
|
|
|
|
|
bd_le.le_list) {
|
2007-09-17 03:59:52 -06:00
|
|
|
get_bh(bd2->bd_bh);
|
2007-07-24 13:05:31 -06:00
|
|
|
gfs2_log_unlock(sdp);
|
2007-09-17 03:59:52 -06:00
|
|
|
lock_buffer(bd2->bd_bh);
|
2006-01-16 09:50:04 -07:00
|
|
|
bh = gfs2_log_fake_buf(sdp, bd2->bd_bh);
|
2009-04-07 07:13:01 -06:00
|
|
|
submit_bh(WRITE_SYNC_PLUG, bh);
|
2007-07-24 13:05:31 -06:00
|
|
|
gfs2_log_lock(sdp);
|
2006-01-16 09:50:04 -07:00
|
|
|
if (++n >= num)
|
|
|
|
|
break;
|
|
|
|
|
}
|
|
|
|
|
|
2007-07-24 13:05:31 -06:00
|
|
|
BUG_ON(total < num);
|
2006-01-16 09:50:04 -07:00
|
|
|
total -= num;
|
|
|
|
|
}
|
2007-07-24 13:05:31 -06:00
|
|
|
gfs2_log_unlock(sdp);
|
2006-01-16 09:50:04 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
static void buf_lo_after_commit(struct gfs2_sbd *sdp, struct gfs2_ail *ai)
|
|
|
|
|
{
|
|
|
|
|
struct list_head *head = &sdp->sd_log_le_buf;
|
|
|
|
|
struct gfs2_bufdata *bd;
|
|
|
|
|
|
|
|
|
|
while (!list_empty(head)) {
|
|
|
|
|
bd = list_entry(head->next, struct gfs2_bufdata, bd_le.le_list);
|
|
|
|
|
list_del_init(&bd->bd_le.le_list);
|
|
|
|
|
sdp->sd_log_num_buf--;
|
|
|
|
|
|
2006-01-18 06:38:44 -07:00
|
|
|
gfs2_unpin(sdp, bd->bd_bh, ai);
|
2006-01-16 09:50:04 -07:00
|
|
|
}
|
|
|
|
|
gfs2_assert_warn(sdp, !sdp->sd_log_num_buf);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
static void buf_lo_before_scan(struct gfs2_jdesc *jd,
|
2006-10-13 19:47:13 -06:00
|
|
|
struct gfs2_log_header_host *head, int pass)
|
2006-01-16 09:50:04 -07:00
|
|
|
{
|
2006-06-14 13:32:57 -06:00
|
|
|
struct gfs2_sbd *sdp = GFS2_SB(jd->jd_inode);
|
2006-01-16 09:50:04 -07:00
|
|
|
|
|
|
|
|
if (pass != 0)
|
|
|
|
|
return;
|
|
|
|
|
|
|
|
|
|
sdp->sd_found_blocks = 0;
|
|
|
|
|
sdp->sd_replayed_blocks = 0;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
static int buf_lo_scan_elements(struct gfs2_jdesc *jd, unsigned int start,
|
|
|
|
|
struct gfs2_log_descriptor *ld, __be64 *ptr,
|
|
|
|
|
int pass)
|
|
|
|
|
{
|
2006-06-14 13:32:57 -06:00
|
|
|
struct gfs2_inode *ip = GFS2_I(jd->jd_inode);
|
|
|
|
|
struct gfs2_sbd *sdp = GFS2_SB(jd->jd_inode);
|
2006-02-27 15:23:27 -07:00
|
|
|
struct gfs2_glock *gl = ip->i_gl;
|
2006-01-16 09:50:04 -07:00
|
|
|
unsigned int blks = be32_to_cpu(ld->ld_data1);
|
|
|
|
|
struct buffer_head *bh_log, *bh_ip;
|
2006-09-04 10:49:07 -06:00
|
|
|
u64 blkno;
|
2006-01-16 09:50:04 -07:00
|
|
|
int error = 0;
|
|
|
|
|
|
|
|
|
|
if (pass != 1 || be32_to_cpu(ld->ld_type) != GFS2_LOG_DESC_METADATA)
|
|
|
|
|
return 0;
|
|
|
|
|
|
|
|
|
|
gfs2_replay_incr_blk(sdp, &start);
|
|
|
|
|
|
|
|
|
|
for (; blks; gfs2_replay_incr_blk(sdp, &start), blks--) {
|
|
|
|
|
blkno = be64_to_cpu(*ptr++);
|
|
|
|
|
|
|
|
|
|
sdp->sd_found_blocks++;
|
|
|
|
|
|
|
|
|
|
if (gfs2_revoke_check(sdp, blkno, start))
|
|
|
|
|
continue;
|
|
|
|
|
|
|
|
|
|
error = gfs2_replay_read_block(jd, start, &bh_log);
|
2006-09-04 12:47:06 -06:00
|
|
|
if (error)
|
|
|
|
|
return error;
|
2006-01-16 09:50:04 -07:00
|
|
|
|
|
|
|
|
bh_ip = gfs2_meta_new(gl, blkno);
|
|
|
|
|
memcpy(bh_ip->b_data, bh_log->b_data, bh_log->b_size);
|
|
|
|
|
|
|
|
|
|
if (gfs2_meta_check(sdp, bh_ip))
|
|
|
|
|
error = -EIO;
|
|
|
|
|
else
|
|
|
|
|
mark_buffer_dirty(bh_ip);
|
|
|
|
|
|
|
|
|
|
brelse(bh_log);
|
|
|
|
|
brelse(bh_ip);
|
|
|
|
|
|
|
|
|
|
if (error)
|
|
|
|
|
break;
|
|
|
|
|
|
|
|
|
|
sdp->sd_replayed_blocks++;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
return error;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
static void buf_lo_after_scan(struct gfs2_jdesc *jd, int error, int pass)
|
|
|
|
|
{
|
2006-06-14 13:32:57 -06:00
|
|
|
struct gfs2_inode *ip = GFS2_I(jd->jd_inode);
|
|
|
|
|
struct gfs2_sbd *sdp = GFS2_SB(jd->jd_inode);
|
2006-01-16 09:50:04 -07:00
|
|
|
|
|
|
|
|
if (error) {
|
2006-09-21 15:05:23 -06:00
|
|
|
gfs2_meta_sync(ip->i_gl);
|
2006-01-16 09:50:04 -07:00
|
|
|
return;
|
|
|
|
|
}
|
|
|
|
|
if (pass != 1)
|
|
|
|
|
return;
|
|
|
|
|
|
2006-09-21 15:05:23 -06:00
|
|
|
gfs2_meta_sync(ip->i_gl);
|
2006-01-16 09:50:04 -07:00
|
|
|
|
|
|
|
|
fs_info(sdp, "jid=%u: Replayed %u of %u blocks\n",
|
|
|
|
|
jd->jd_jid, sdp->sd_replayed_blocks, sdp->sd_found_blocks);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
static void revoke_lo_add(struct gfs2_sbd *sdp, struct gfs2_log_element *le)
|
|
|
|
|
{
|
|
|
|
|
struct gfs2_trans *tr;
|
|
|
|
|
|
2006-02-27 15:23:27 -07:00
|
|
|
tr = current->journal_info;
|
2006-01-16 09:50:04 -07:00
|
|
|
tr->tr_touched = 1;
|
|
|
|
|
tr->tr_num_revoke++;
|
|
|
|
|
sdp->sd_log_num_revoke++;
|
|
|
|
|
list_add(&le->le_list, &sdp->sd_log_le_revoke);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
static void revoke_lo_before_commit(struct gfs2_sbd *sdp)
|
|
|
|
|
{
|
|
|
|
|
struct gfs2_log_descriptor *ld;
|
|
|
|
|
struct gfs2_meta_header *mh;
|
|
|
|
|
struct buffer_head *bh;
|
|
|
|
|
unsigned int offset;
|
|
|
|
|
struct list_head *head = &sdp->sd_log_le_revoke;
|
2007-09-02 08:39:43 -06:00
|
|
|
struct gfs2_bufdata *bd;
|
2006-01-16 09:50:04 -07:00
|
|
|
|
|
|
|
|
if (!sdp->sd_log_num_revoke)
|
|
|
|
|
return;
|
|
|
|
|
|
2007-09-17 03:59:52 -06:00
|
|
|
bh = gfs2_get_log_desc(sdp, GFS2_LOG_DESC_REVOKE);
|
|
|
|
|
ld = bh_log_desc(bh);
|
2006-02-27 10:00:42 -07:00
|
|
|
ld->ld_length = cpu_to_be32(gfs2_struct2blk(sdp, sdp->sd_log_num_revoke,
|
2006-09-04 10:49:07 -06:00
|
|
|
sizeof(u64)));
|
2006-01-16 09:50:04 -07:00
|
|
|
ld->ld_data1 = cpu_to_be32(sdp->sd_log_num_revoke);
|
|
|
|
|
offset = sizeof(struct gfs2_log_descriptor);
|
|
|
|
|
|
|
|
|
|
while (!list_empty(head)) {
|
2007-09-02 08:39:43 -06:00
|
|
|
bd = list_entry(head->next, struct gfs2_bufdata, bd_le.le_list);
|
|
|
|
|
list_del_init(&bd->bd_le.le_list);
|
2006-01-16 09:50:04 -07:00
|
|
|
sdp->sd_log_num_revoke--;
|
|
|
|
|
|
2006-09-04 10:49:07 -06:00
|
|
|
if (offset + sizeof(u64) > sdp->sd_sb.sb_bsize) {
|
2009-04-07 07:13:01 -06:00
|
|
|
submit_bh(WRITE_SYNC_PLUG, bh);
|
2006-01-16 09:50:04 -07:00
|
|
|
|
|
|
|
|
bh = gfs2_log_get_buf(sdp);
|
|
|
|
|
mh = (struct gfs2_meta_header *)bh->b_data;
|
|
|
|
|
mh->mh_magic = cpu_to_be32(GFS2_MAGIC);
|
2006-03-30 13:46:23 -07:00
|
|
|
mh->mh_type = cpu_to_be32(GFS2_METATYPE_LB);
|
|
|
|
|
mh->mh_format = cpu_to_be32(GFS2_FORMAT_LB);
|
2006-01-16 09:50:04 -07:00
|
|
|
offset = sizeof(struct gfs2_meta_header);
|
|
|
|
|
}
|
|
|
|
|
|
2007-09-02 08:39:43 -06:00
|
|
|
*(__be64 *)(bh->b_data + offset) = cpu_to_be64(bd->bd_blkno);
|
2007-09-02 09:47:38 -06:00
|
|
|
kmem_cache_free(gfs2_bufdata_cachep, bd);
|
2006-01-16 09:50:04 -07:00
|
|
|
|
2006-09-04 10:49:07 -06:00
|
|
|
offset += sizeof(u64);
|
2006-01-16 09:50:04 -07:00
|
|
|
}
|
|
|
|
|
gfs2_assert_withdraw(sdp, !sdp->sd_log_num_revoke);
|
|
|
|
|
|
2009-04-07 07:13:01 -06:00
|
|
|
submit_bh(WRITE_SYNC_PLUG, bh);
|
2006-01-16 09:50:04 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
static void revoke_lo_before_scan(struct gfs2_jdesc *jd,
|
2006-10-13 19:47:13 -06:00
|
|
|
struct gfs2_log_header_host *head, int pass)
|
2006-01-16 09:50:04 -07:00
|
|
|
{
|
2006-06-14 13:32:57 -06:00
|
|
|
struct gfs2_sbd *sdp = GFS2_SB(jd->jd_inode);
|
2006-01-16 09:50:04 -07:00
|
|
|
|
|
|
|
|
if (pass != 0)
|
|
|
|
|
return;
|
|
|
|
|
|
|
|
|
|
sdp->sd_found_revokes = 0;
|
|
|
|
|
sdp->sd_replay_tail = head->lh_tail;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
static int revoke_lo_scan_elements(struct gfs2_jdesc *jd, unsigned int start,
|
|
|
|
|
struct gfs2_log_descriptor *ld, __be64 *ptr,
|
|
|
|
|
int pass)
|
|
|
|
|
{
|
2006-06-14 13:32:57 -06:00
|
|
|
struct gfs2_sbd *sdp = GFS2_SB(jd->jd_inode);
|
2006-01-16 09:50:04 -07:00
|
|
|
unsigned int blks = be32_to_cpu(ld->ld_length);
|
|
|
|
|
unsigned int revokes = be32_to_cpu(ld->ld_data1);
|
|
|
|
|
struct buffer_head *bh;
|
|
|
|
|
unsigned int offset;
|
2006-09-04 10:49:07 -06:00
|
|
|
u64 blkno;
|
2006-01-16 09:50:04 -07:00
|
|
|
int first = 1;
|
|
|
|
|
int error;
|
|
|
|
|
|
|
|
|
|
if (pass != 0 || be32_to_cpu(ld->ld_type) != GFS2_LOG_DESC_REVOKE)
|
|
|
|
|
return 0;
|
|
|
|
|
|
|
|
|
|
offset = sizeof(struct gfs2_log_descriptor);
|
|
|
|
|
|
|
|
|
|
for (; blks; gfs2_replay_incr_blk(sdp, &start), blks--) {
|
|
|
|
|
error = gfs2_replay_read_block(jd, start, &bh);
|
|
|
|
|
if (error)
|
|
|
|
|
return error;
|
|
|
|
|
|
|
|
|
|
if (!first)
|
|
|
|
|
gfs2_metatype_check(sdp, bh, GFS2_METATYPE_LB);
|
|
|
|
|
|
2006-09-04 10:49:07 -06:00
|
|
|
while (offset + sizeof(u64) <= sdp->sd_sb.sb_bsize) {
|
2006-01-16 09:50:04 -07:00
|
|
|
blkno = be64_to_cpu(*(__be64 *)(bh->b_data + offset));
|
|
|
|
|
|
|
|
|
|
error = gfs2_revoke_add(sdp, blkno, start);
|
2008-01-28 15:35:13 -07:00
|
|
|
if (error < 0) {
|
|
|
|
|
brelse(bh);
|
2006-01-16 09:50:04 -07:00
|
|
|
return error;
|
2008-01-28 15:35:13 -07:00
|
|
|
}
|
2006-01-16 09:50:04 -07:00
|
|
|
else if (error)
|
|
|
|
|
sdp->sd_found_revokes++;
|
|
|
|
|
|
|
|
|
|
if (!--revokes)
|
|
|
|
|
break;
|
2006-09-04 10:49:07 -06:00
|
|
|
offset += sizeof(u64);
|
2006-01-16 09:50:04 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
brelse(bh);
|
|
|
|
|
offset = sizeof(struct gfs2_meta_header);
|
|
|
|
|
first = 0;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
return 0;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
static void revoke_lo_after_scan(struct gfs2_jdesc *jd, int error, int pass)
|
|
|
|
|
{
|
2006-06-14 13:32:57 -06:00
|
|
|
struct gfs2_sbd *sdp = GFS2_SB(jd->jd_inode);
|
2006-01-16 09:50:04 -07:00
|
|
|
|
|
|
|
|
if (error) {
|
|
|
|
|
gfs2_revoke_clean(sdp);
|
|
|
|
|
return;
|
|
|
|
|
}
|
|
|
|
|
if (pass != 1)
|
|
|
|
|
return;
|
|
|
|
|
|
|
|
|
|
fs_info(sdp, "jid=%u: Found %u revoke tags\n",
|
|
|
|
|
jd->jd_jid, sdp->sd_found_revokes);
|
|
|
|
|
|
|
|
|
|
gfs2_revoke_clean(sdp);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
static void rg_lo_add(struct gfs2_sbd *sdp, struct gfs2_log_element *le)
|
|
|
|
|
{
|
|
|
|
|
struct gfs2_rgrpd *rgd;
|
2006-02-27 15:23:27 -07:00
|
|
|
struct gfs2_trans *tr = current->journal_info;
|
2006-01-16 09:50:04 -07:00
|
|
|
|
2006-02-27 15:23:27 -07:00
|
|
|
tr->tr_touched = 1;
|
2006-01-16 09:50:04 -07:00
|
|
|
|
|
|
|
|
rgd = container_of(le, struct gfs2_rgrpd, rd_le);
|
|
|
|
|
|
|
|
|
|
gfs2_log_lock(sdp);
|
2007-03-23 03:05:12 -06:00
|
|
|
if (!list_empty(&le->le_list)){
|
|
|
|
|
gfs2_log_unlock(sdp);
|
|
|
|
|
return;
|
|
|
|
|
}
|
|
|
|
|
gfs2_rgrp_bh_hold(rgd);
|
2006-01-16 09:50:04 -07:00
|
|
|
sdp->sd_log_num_rg++;
|
|
|
|
|
list_add(&le->le_list, &sdp->sd_log_le_rg);
|
2006-09-25 07:26:04 -06:00
|
|
|
gfs2_log_unlock(sdp);
|
2006-01-16 09:50:04 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
static void rg_lo_after_commit(struct gfs2_sbd *sdp, struct gfs2_ail *ai)
|
|
|
|
|
{
|
|
|
|
|
struct list_head *head = &sdp->sd_log_le_rg;
|
|
|
|
|
struct gfs2_rgrpd *rgd;
|
|
|
|
|
|
|
|
|
|
while (!list_empty(head)) {
|
|
|
|
|
rgd = list_entry(head->next, struct gfs2_rgrpd, rd_le.le_list);
|
|
|
|
|
list_del_init(&rgd->rd_le.le_list);
|
|
|
|
|
sdp->sd_log_num_rg--;
|
|
|
|
|
|
|
|
|
|
gfs2_rgrp_repolish_clones(rgd);
|
|
|
|
|
gfs2_rgrp_bh_put(rgd);
|
|
|
|
|
}
|
|
|
|
|
gfs2_assert_warn(sdp, !sdp->sd_log_num_rg);
|
|
|
|
|
}
|
|
|
|
|
|
2006-02-08 04:50:51 -07:00
|
|
|
/**
|
|
|
|
|
* databuf_lo_add - Add a databuf to the transaction.
|
|
|
|
|
*
|
|
|
|
|
* This is used in two distinct cases:
|
|
|
|
|
* i) In ordered write mode
|
|
|
|
|
* We put the data buffer on a list so that we can ensure that its
|
|
|
|
|
* synced to disk at the right time
|
|
|
|
|
* ii) In journaled data mode
|
|
|
|
|
* We need to journal the data block in the same way as metadata in
|
|
|
|
|
* the functions above. The difference is that here we have a tag
|
|
|
|
|
* which is two __be64's being the block number (as per meta data)
|
|
|
|
|
* and a flag which says whether the data block needs escaping or
|
|
|
|
|
* not. This means we need a new log entry for each 251 or so data
|
|
|
|
|
* blocks, which isn't an enormous overhead but twice as much as
|
|
|
|
|
* for normal metadata blocks.
|
|
|
|
|
*/
|
2006-01-16 09:50:04 -07:00
|
|
|
static void databuf_lo_add(struct gfs2_sbd *sdp, struct gfs2_log_element *le)
|
|
|
|
|
{
|
2006-02-08 04:50:51 -07:00
|
|
|
struct gfs2_bufdata *bd = container_of(le, struct gfs2_bufdata, bd_le);
|
2006-02-27 15:23:27 -07:00
|
|
|
struct gfs2_trans *tr = current->journal_info;
|
2006-02-08 04:50:51 -07:00
|
|
|
struct address_space *mapping = bd->bd_bh->b_page->mapping;
|
2006-06-14 13:32:57 -06:00
|
|
|
struct gfs2_inode *ip = GFS2_I(mapping->host);
|
2006-01-16 09:50:04 -07:00
|
|
|
|
2007-08-27 06:54:05 -06:00
|
|
|
lock_buffer(bd->bd_bh);
|
2007-01-25 03:04:20 -07:00
|
|
|
gfs2_log_lock(sdp);
|
2007-09-28 06:49:05 -06:00
|
|
|
if (tr) {
|
|
|
|
|
if (!list_empty(&bd->bd_list_tr))
|
|
|
|
|
goto out;
|
|
|
|
|
tr->tr_touched = 1;
|
|
|
|
|
if (gfs2_is_jdata(ip)) {
|
|
|
|
|
tr->tr_num_buf++;
|
|
|
|
|
list_add(&bd->bd_list_tr, &tr->tr_list_buf);
|
|
|
|
|
}
|
2007-06-20 07:34:06 -06:00
|
|
|
}
|
[GFS2] assertion failure after writing to journaled file, umount
This patch passes all my nasty tests that were causing the code to
fail under one circumstance or another. Here is a complete summary
of all changes from today's git tree, in order of appearance:
1. There are now separate variables for metadata buffer accounting.
2. Variable sd_log_num_hdrs is no longer needed, since the header
accounting is taken care of by the reserve/refund sequence.
3. Fixed a tiny grammatical problem in a comment.
4. Added a new function "calc_reserved" to calculate the reserved
log space. This isn't entirely necessary, but it has two benefits:
First, it simplifies the gfs2_log_refund function greatly.
Second, it allows for easier debugging because I could sprinkle the
code with calls to this function to make sure the accounting is
proper (by adding asserts and printks) at strategic point of the code.
5. In log_pull_tail there apparently was a kludge to fix up the
accounting based on a "pull" parameter. The buffer accounting is
now done properly, so the kludge was removed.
6. File sync operations were making a call to gfs2_log_flush that
writes another journal header. Since that header was unplanned
for (reserved) by the reserve/refund sequence, the free space had
to be decremented so that when log_pull_tail gets called, the free
space is be adjusted properly. (Did I hear you call that a kludge?
well, maybe, but a lot more justifiable than the one I removed).
7. In the gfs2_log_shutdown code, it optionally syncs the log by
specifying the PULL parameter to log_write_header. I'm not sure
this is necessary anymore. It just seems to me there could be
cases where shutdown is called while there are outstanding log
buffers.
8. In the (data)buf_lo_before_commit functions, I changed some offset
values from being calculated on the fly to being constants. That
simplified some code and we might as well let the compiler do the
calculation once rather than redoing those cycles at run time.
9. This version has my rewritten databuf_lo_add function.
This version is much more like its predecessor, buf_lo_add, which
makes it easier to understand. Again, this might not be necessary,
but it seems as if this one works as well as the previous one,
maybe even better, so I decided to leave it in.
10. In databuf_lo_before_commit, a previous data corruption problem
was caused by going off the end of the buffer. The proper solution
is to have the proper limit in place, rather than stopping earlier.
(Thus my previous attempt to fix it is wrong).
If you don't wrap the buffer, you're stopping too early and that
causes more log buffer accounting problems.
11. In lops.h there are two new (previously mentioned) constants for
figuring out the data offset for the journal buffers.
12. There are also two new functions, buf_limit and databuf_limit to
calculate how many entries will fit in the buffer.
13. In function gfs2_meta_wipe, it needs to distinguish between pinned
metadata buffers and journaled data buffers for proper journal buffer
accounting. It can't use the JDATA gfs2_inode flag because it's
sometimes passed the "real" inode and sometimes the "metadata
inode" and the inode flags will be random bits in a metadata
gfs2_inode. It needs to base its decision on which was passed in.
Signed-off-by: Bob Peterson <rpeterso@redhat.com>
Signed-off-by: Steven Whitehouse <swhiteho@redhat.com>
2007-06-18 13:50:20 -06:00
|
|
|
if (!list_empty(&le->le_list))
|
2007-08-27 06:54:05 -06:00
|
|
|
goto out;
|
[GFS2] assertion failure after writing to journaled file, umount
This patch passes all my nasty tests that were causing the code to
fail under one circumstance or another. Here is a complete summary
of all changes from today's git tree, in order of appearance:
1. There are now separate variables for metadata buffer accounting.
2. Variable sd_log_num_hdrs is no longer needed, since the header
accounting is taken care of by the reserve/refund sequence.
3. Fixed a tiny grammatical problem in a comment.
4. Added a new function "calc_reserved" to calculate the reserved
log space. This isn't entirely necessary, but it has two benefits:
First, it simplifies the gfs2_log_refund function greatly.
Second, it allows for easier debugging because I could sprinkle the
code with calls to this function to make sure the accounting is
proper (by adding asserts and printks) at strategic point of the code.
5. In log_pull_tail there apparently was a kludge to fix up the
accounting based on a "pull" parameter. The buffer accounting is
now done properly, so the kludge was removed.
6. File sync operations were making a call to gfs2_log_flush that
writes another journal header. Since that header was unplanned
for (reserved) by the reserve/refund sequence, the free space had
to be decremented so that when log_pull_tail gets called, the free
space is be adjusted properly. (Did I hear you call that a kludge?
well, maybe, but a lot more justifiable than the one I removed).
7. In the gfs2_log_shutdown code, it optionally syncs the log by
specifying the PULL parameter to log_write_header. I'm not sure
this is necessary anymore. It just seems to me there could be
cases where shutdown is called while there are outstanding log
buffers.
8. In the (data)buf_lo_before_commit functions, I changed some offset
values from being calculated on the fly to being constants. That
simplified some code and we might as well let the compiler do the
calculation once rather than redoing those cycles at run time.
9. This version has my rewritten databuf_lo_add function.
This version is much more like its predecessor, buf_lo_add, which
makes it easier to understand. Again, this might not be necessary,
but it seems as if this one works as well as the previous one,
maybe even better, so I decided to leave it in.
10. In databuf_lo_before_commit, a previous data corruption problem
was caused by going off the end of the buffer. The proper solution
is to have the proper limit in place, rather than stopping earlier.
(Thus my previous attempt to fix it is wrong).
If you don't wrap the buffer, you're stopping too early and that
causes more log buffer accounting problems.
11. In lops.h there are two new (previously mentioned) constants for
figuring out the data offset for the journal buffers.
12. There are also two new functions, buf_limit and databuf_limit to
calculate how many entries will fit in the buffer.
13. In function gfs2_meta_wipe, it needs to distinguish between pinned
metadata buffers and journaled data buffers for proper journal buffer
accounting. It can't use the JDATA gfs2_inode flag because it's
sometimes passed the "real" inode and sometimes the "metadata
inode" and the inode flags will be random bits in a metadata
gfs2_inode. It needs to base its decision on which was passed in.
Signed-off-by: Bob Peterson <rpeterso@redhat.com>
Signed-off-by: Steven Whitehouse <swhiteho@redhat.com>
2007-06-18 13:50:20 -06:00
|
|
|
|
2007-11-08 07:25:12 -07:00
|
|
|
set_bit(GLF_LFLUSH, &bd->bd_gl->gl_flags);
|
|
|
|
|
set_bit(GLF_DIRTY, &bd->bd_gl->gl_flags);
|
[GFS2] assertion failure after writing to journaled file, umount
This patch passes all my nasty tests that were causing the code to
fail under one circumstance or another. Here is a complete summary
of all changes from today's git tree, in order of appearance:
1. There are now separate variables for metadata buffer accounting.
2. Variable sd_log_num_hdrs is no longer needed, since the header
accounting is taken care of by the reserve/refund sequence.
3. Fixed a tiny grammatical problem in a comment.
4. Added a new function "calc_reserved" to calculate the reserved
log space. This isn't entirely necessary, but it has two benefits:
First, it simplifies the gfs2_log_refund function greatly.
Second, it allows for easier debugging because I could sprinkle the
code with calls to this function to make sure the accounting is
proper (by adding asserts and printks) at strategic point of the code.
5. In log_pull_tail there apparently was a kludge to fix up the
accounting based on a "pull" parameter. The buffer accounting is
now done properly, so the kludge was removed.
6. File sync operations were making a call to gfs2_log_flush that
writes another journal header. Since that header was unplanned
for (reserved) by the reserve/refund sequence, the free space had
to be decremented so that when log_pull_tail gets called, the free
space is be adjusted properly. (Did I hear you call that a kludge?
well, maybe, but a lot more justifiable than the one I removed).
7. In the gfs2_log_shutdown code, it optionally syncs the log by
specifying the PULL parameter to log_write_header. I'm not sure
this is necessary anymore. It just seems to me there could be
cases where shutdown is called while there are outstanding log
buffers.
8. In the (data)buf_lo_before_commit functions, I changed some offset
values from being calculated on the fly to being constants. That
simplified some code and we might as well let the compiler do the
calculation once rather than redoing those cycles at run time.
9. This version has my rewritten databuf_lo_add function.
This version is much more like its predecessor, buf_lo_add, which
makes it easier to understand. Again, this might not be necessary,
but it seems as if this one works as well as the previous one,
maybe even better, so I decided to leave it in.
10. In databuf_lo_before_commit, a previous data corruption problem
was caused by going off the end of the buffer. The proper solution
is to have the proper limit in place, rather than stopping earlier.
(Thus my previous attempt to fix it is wrong).
If you don't wrap the buffer, you're stopping too early and that
causes more log buffer accounting problems.
11. In lops.h there are two new (previously mentioned) constants for
figuring out the data offset for the journal buffers.
12. There are also two new functions, buf_limit and databuf_limit to
calculate how many entries will fit in the buffer.
13. In function gfs2_meta_wipe, it needs to distinguish between pinned
metadata buffers and journaled data buffers for proper journal buffer
accounting. It can't use the JDATA gfs2_inode flag because it's
sometimes passed the "real" inode and sometimes the "metadata
inode" and the inode flags will be random bits in a metadata
gfs2_inode. It needs to base its decision on which was passed in.
Signed-off-by: Bob Peterson <rpeterso@redhat.com>
Signed-off-by: Steven Whitehouse <swhiteho@redhat.com>
2007-06-18 13:50:20 -06:00
|
|
|
if (gfs2_is_jdata(ip)) {
|
|
|
|
|
gfs2_pin(sdp, bd->bd_bh);
|
|
|
|
|
tr->tr_num_databuf_new++;
|
2007-09-02 03:48:13 -06:00
|
|
|
sdp->sd_log_num_databuf++;
|
2010-02-04 22:45:25 -07:00
|
|
|
list_add_tail(&le->le_list, &sdp->sd_log_le_databuf);
|
2007-09-02 03:48:13 -06:00
|
|
|
} else {
|
2010-02-04 22:45:25 -07:00
|
|
|
list_add_tail(&le->le_list, &sdp->sd_log_le_ordered);
|
2007-08-27 06:54:05 -06:00
|
|
|
}
|
|
|
|
|
out:
|
2006-01-16 09:50:04 -07:00
|
|
|
gfs2_log_unlock(sdp);
|
2007-08-27 06:54:05 -06:00
|
|
|
unlock_buffer(bd->bd_bh);
|
2006-01-16 09:50:04 -07:00
|
|
|
}
|
|
|
|
|
|
2007-09-17 03:59:52 -06:00
|
|
|
static void gfs2_check_magic(struct buffer_head *bh)
|
2006-02-08 04:50:51 -07:00
|
|
|
{
|
|
|
|
|
void *kaddr;
|
|
|
|
|
__be32 *ptr;
|
|
|
|
|
|
2007-09-17 03:59:52 -06:00
|
|
|
clear_buffer_escaped(bh);
|
|
|
|
|
kaddr = kmap_atomic(bh->b_page, KM_USER0);
|
2006-02-08 04:50:51 -07:00
|
|
|
ptr = kaddr + bh_offset(bh);
|
|
|
|
|
if (*ptr == cpu_to_be32(GFS2_MAGIC))
|
2007-09-17 03:59:52 -06:00
|
|
|
set_buffer_escaped(bh);
|
2006-10-12 07:23:41 -06:00
|
|
|
kunmap_atomic(kaddr, KM_USER0);
|
2006-02-08 04:50:51 -07:00
|
|
|
}
|
|
|
|
|
|
2007-09-17 03:59:52 -06:00
|
|
|
static void gfs2_write_blocks(struct gfs2_sbd *sdp, struct buffer_head *bh,
|
|
|
|
|
struct list_head *list, struct list_head *done,
|
|
|
|
|
unsigned int n)
|
2006-01-16 09:50:04 -07:00
|
|
|
{
|
2007-09-17 03:59:52 -06:00
|
|
|
struct buffer_head *bh1;
|
2006-02-08 04:50:51 -07:00
|
|
|
struct gfs2_log_descriptor *ld;
|
2007-09-17 03:59:52 -06:00
|
|
|
struct gfs2_bufdata *bd;
|
|
|
|
|
__be64 *ptr;
|
2007-09-02 03:48:13 -06:00
|
|
|
|
2007-09-17 03:59:52 -06:00
|
|
|
if (!bh)
|
|
|
|
|
return;
|
2006-01-16 09:50:04 -07:00
|
|
|
|
2007-09-17 03:59:52 -06:00
|
|
|
ld = bh_log_desc(bh);
|
|
|
|
|
ld->ld_length = cpu_to_be32(n + 1);
|
|
|
|
|
ld->ld_data1 = cpu_to_be32(n);
|
2006-01-16 09:50:04 -07:00
|
|
|
|
2007-09-17 03:59:52 -06:00
|
|
|
ptr = bh_log_ptr(bh);
|
|
|
|
|
|
|
|
|
|
get_bh(bh);
|
2009-04-07 07:13:01 -06:00
|
|
|
submit_bh(WRITE_SYNC_PLUG, bh);
|
2006-02-21 05:51:39 -07:00
|
|
|
gfs2_log_lock(sdp);
|
2007-09-17 03:59:52 -06:00
|
|
|
while(!list_empty(list)) {
|
|
|
|
|
bd = list_entry(list->next, struct gfs2_bufdata, bd_le.le_list);
|
|
|
|
|
list_move_tail(&bd->bd_le.le_list, done);
|
|
|
|
|
get_bh(bd->bd_bh);
|
|
|
|
|
while (be64_to_cpu(*ptr) != bd->bd_bh->b_blocknr) {
|
|
|
|
|
gfs2_log_incr_head(sdp);
|
|
|
|
|
ptr += 2;
|
2006-02-08 04:50:51 -07:00
|
|
|
}
|
2006-02-21 05:51:39 -07:00
|
|
|
gfs2_log_unlock(sdp);
|
2007-09-17 03:59:52 -06:00
|
|
|
lock_buffer(bd->bd_bh);
|
|
|
|
|
if (buffer_escaped(bd->bd_bh)) {
|
|
|
|
|
void *kaddr;
|
|
|
|
|
bh1 = gfs2_log_get_buf(sdp);
|
|
|
|
|
kaddr = kmap_atomic(bd->bd_bh->b_page, KM_USER0);
|
|
|
|
|
memcpy(bh1->b_data, kaddr + bh_offset(bd->bd_bh),
|
|
|
|
|
bh1->b_size);
|
|
|
|
|
kunmap_atomic(kaddr, KM_USER0);
|
|
|
|
|
*(__be32 *)bh1->b_data = 0;
|
|
|
|
|
clear_buffer_escaped(bd->bd_bh);
|
|
|
|
|
unlock_buffer(bd->bd_bh);
|
|
|
|
|
brelse(bd->bd_bh);
|
|
|
|
|
} else {
|
|
|
|
|
bh1 = gfs2_log_fake_buf(sdp, bd->bd_bh);
|
2006-02-08 04:50:51 -07:00
|
|
|
}
|
2009-04-07 07:13:01 -06:00
|
|
|
submit_bh(WRITE_SYNC_PLUG, bh1);
|
2006-02-21 05:51:39 -07:00
|
|
|
gfs2_log_lock(sdp);
|
2007-09-17 03:59:52 -06:00
|
|
|
ptr += 2;
|
|
|
|
|
}
|
|
|
|
|
gfs2_log_unlock(sdp);
|
|
|
|
|
brelse(bh);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* databuf_lo_before_commit - Scan the data buffers, writing as we go
|
|
|
|
|
*
|
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
static void databuf_lo_before_commit(struct gfs2_sbd *sdp)
|
|
|
|
|
{
|
|
|
|
|
struct gfs2_bufdata *bd = NULL;
|
|
|
|
|
struct buffer_head *bh = NULL;
|
|
|
|
|
unsigned int n = 0;
|
|
|
|
|
__be64 *ptr = NULL, *end = NULL;
|
|
|
|
|
LIST_HEAD(processed);
|
|
|
|
|
LIST_HEAD(in_progress);
|
|
|
|
|
|
|
|
|
|
gfs2_log_lock(sdp);
|
|
|
|
|
while (!list_empty(&sdp->sd_log_le_databuf)) {
|
|
|
|
|
if (ptr == end) {
|
2006-02-21 05:51:39 -07:00
|
|
|
gfs2_log_unlock(sdp);
|
2007-09-17 03:59:52 -06:00
|
|
|
gfs2_write_blocks(sdp, bh, &in_progress, &processed, n);
|
|
|
|
|
n = 0;
|
|
|
|
|
bh = gfs2_get_log_desc(sdp, GFS2_LOG_DESC_JDATA);
|
|
|
|
|
ptr = bh_log_ptr(bh);
|
|
|
|
|
end = bh_ptr_end(bh) - 1;
|
2006-02-21 05:51:39 -07:00
|
|
|
gfs2_log_lock(sdp);
|
2007-09-17 03:59:52 -06:00
|
|
|
continue;
|
2006-02-08 04:50:51 -07:00
|
|
|
}
|
2007-09-17 03:59:52 -06:00
|
|
|
bd = list_entry(sdp->sd_log_le_databuf.next, struct gfs2_bufdata, bd_le.le_list);
|
|
|
|
|
list_move_tail(&bd->bd_le.le_list, &in_progress);
|
|
|
|
|
gfs2_check_magic(bd->bd_bh);
|
|
|
|
|
*ptr++ = cpu_to_be64(bd->bd_bh->b_blocknr);
|
|
|
|
|
*ptr++ = cpu_to_be64(buffer_escaped(bh) ? 1 : 0);
|
|
|
|
|
n++;
|
2006-01-16 09:50:04 -07:00
|
|
|
}
|
2006-02-21 05:51:39 -07:00
|
|
|
gfs2_log_unlock(sdp);
|
2007-09-17 03:59:52 -06:00
|
|
|
gfs2_write_blocks(sdp, bh, &in_progress, &processed, n);
|
|
|
|
|
gfs2_log_lock(sdp);
|
|
|
|
|
list_splice(&processed, &sdp->sd_log_le_databuf);
|
|
|
|
|
gfs2_log_unlock(sdp);
|
2006-02-08 04:50:51 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
static int databuf_lo_scan_elements(struct gfs2_jdesc *jd, unsigned int start,
|
|
|
|
|
struct gfs2_log_descriptor *ld,
|
|
|
|
|
__be64 *ptr, int pass)
|
|
|
|
|
{
|
2006-06-14 13:32:57 -06:00
|
|
|
struct gfs2_inode *ip = GFS2_I(jd->jd_inode);
|
|
|
|
|
struct gfs2_sbd *sdp = GFS2_SB(jd->jd_inode);
|
2006-02-27 15:23:27 -07:00
|
|
|
struct gfs2_glock *gl = ip->i_gl;
|
2006-02-08 04:50:51 -07:00
|
|
|
unsigned int blks = be32_to_cpu(ld->ld_data1);
|
|
|
|
|
struct buffer_head *bh_log, *bh_ip;
|
2006-09-04 10:49:07 -06:00
|
|
|
u64 blkno;
|
|
|
|
|
u64 esc;
|
2006-02-08 04:50:51 -07:00
|
|
|
int error = 0;
|
|
|
|
|
|
|
|
|
|
if (pass != 1 || be32_to_cpu(ld->ld_type) != GFS2_LOG_DESC_JDATA)
|
|
|
|
|
return 0;
|
|
|
|
|
|
|
|
|
|
gfs2_replay_incr_blk(sdp, &start);
|
|
|
|
|
for (; blks; gfs2_replay_incr_blk(sdp, &start), blks--) {
|
|
|
|
|
blkno = be64_to_cpu(*ptr++);
|
|
|
|
|
esc = be64_to_cpu(*ptr++);
|
|
|
|
|
|
|
|
|
|
sdp->sd_found_blocks++;
|
|
|
|
|
|
|
|
|
|
if (gfs2_revoke_check(sdp, blkno, start))
|
|
|
|
|
continue;
|
|
|
|
|
|
|
|
|
|
error = gfs2_replay_read_block(jd, start, &bh_log);
|
|
|
|
|
if (error)
|
|
|
|
|
return error;
|
|
|
|
|
|
|
|
|
|
bh_ip = gfs2_meta_new(gl, blkno);
|
|
|
|
|
memcpy(bh_ip->b_data, bh_log->b_data, bh_log->b_size);
|
|
|
|
|
|
|
|
|
|
/* Unescape */
|
|
|
|
|
if (esc) {
|
|
|
|
|
__be32 *eptr = (__be32 *)bh_ip->b_data;
|
|
|
|
|
*eptr = cpu_to_be32(GFS2_MAGIC);
|
|
|
|
|
}
|
|
|
|
|
mark_buffer_dirty(bh_ip);
|
|
|
|
|
|
|
|
|
|
brelse(bh_log);
|
|
|
|
|
brelse(bh_ip);
|
|
|
|
|
if (error)
|
|
|
|
|
break;
|
|
|
|
|
|
|
|
|
|
sdp->sd_replayed_blocks++;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
return error;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/* FIXME: sort out accounting for log blocks etc. */
|
|
|
|
|
|
|
|
|
|
static void databuf_lo_after_scan(struct gfs2_jdesc *jd, int error, int pass)
|
|
|
|
|
{
|
2006-06-14 13:32:57 -06:00
|
|
|
struct gfs2_inode *ip = GFS2_I(jd->jd_inode);
|
|
|
|
|
struct gfs2_sbd *sdp = GFS2_SB(jd->jd_inode);
|
2006-02-08 04:50:51 -07:00
|
|
|
|
|
|
|
|
if (error) {
|
2006-09-21 15:05:23 -06:00
|
|
|
gfs2_meta_sync(ip->i_gl);
|
2006-02-08 04:50:51 -07:00
|
|
|
return;
|
|
|
|
|
}
|
|
|
|
|
if (pass != 1)
|
|
|
|
|
return;
|
|
|
|
|
|
|
|
|
|
/* data sync? */
|
2006-09-21 15:05:23 -06:00
|
|
|
gfs2_meta_sync(ip->i_gl);
|
2006-02-08 04:50:51 -07:00
|
|
|
|
|
|
|
|
fs_info(sdp, "jid=%u: Replayed %u of %u data blocks\n",
|
|
|
|
|
jd->jd_jid, sdp->sd_replayed_blocks, sdp->sd_found_blocks);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
static void databuf_lo_after_commit(struct gfs2_sbd *sdp, struct gfs2_ail *ai)
|
|
|
|
|
{
|
|
|
|
|
struct list_head *head = &sdp->sd_log_le_databuf;
|
|
|
|
|
struct gfs2_bufdata *bd;
|
|
|
|
|
|
|
|
|
|
while (!list_empty(head)) {
|
|
|
|
|
bd = list_entry(head->next, struct gfs2_bufdata, bd_le.le_list);
|
2006-08-22 14:25:50 -06:00
|
|
|
list_del_init(&bd->bd_le.le_list);
|
2006-02-08 04:50:51 -07:00
|
|
|
sdp->sd_log_num_databuf--;
|
|
|
|
|
gfs2_unpin(sdp, bd->bd_bh, ai);
|
|
|
|
|
}
|
2006-01-16 09:50:04 -07:00
|
|
|
gfs2_assert_warn(sdp, !sdp->sd_log_num_databuf);
|
|
|
|
|
}
|
|
|
|
|
|
2006-02-08 04:50:51 -07:00
|
|
|
|
2006-04-07 09:17:32 -06:00
|
|
|
const struct gfs2_log_operations gfs2_buf_lops = {
|
2006-01-16 09:50:04 -07:00
|
|
|
.lo_add = buf_lo_add,
|
|
|
|
|
.lo_before_commit = buf_lo_before_commit,
|
|
|
|
|
.lo_after_commit = buf_lo_after_commit,
|
|
|
|
|
.lo_before_scan = buf_lo_before_scan,
|
|
|
|
|
.lo_scan_elements = buf_lo_scan_elements,
|
|
|
|
|
.lo_after_scan = buf_lo_after_scan,
|
2006-09-05 08:53:09 -06:00
|
|
|
.lo_name = "buf",
|
2006-01-16 09:50:04 -07:00
|
|
|
};
|
|
|
|
|
|
2006-04-07 09:17:32 -06:00
|
|
|
const struct gfs2_log_operations gfs2_revoke_lops = {
|
2006-01-16 09:50:04 -07:00
|
|
|
.lo_add = revoke_lo_add,
|
|
|
|
|
.lo_before_commit = revoke_lo_before_commit,
|
|
|
|
|
.lo_before_scan = revoke_lo_before_scan,
|
|
|
|
|
.lo_scan_elements = revoke_lo_scan_elements,
|
|
|
|
|
.lo_after_scan = revoke_lo_after_scan,
|
2006-09-05 08:53:09 -06:00
|
|
|
.lo_name = "revoke",
|
2006-01-16 09:50:04 -07:00
|
|
|
};
|
|
|
|
|
|
2006-04-07 09:17:32 -06:00
|
|
|
const struct gfs2_log_operations gfs2_rg_lops = {
|
2006-01-16 09:50:04 -07:00
|
|
|
.lo_add = rg_lo_add,
|
|
|
|
|
.lo_after_commit = rg_lo_after_commit,
|
2006-09-05 08:53:09 -06:00
|
|
|
.lo_name = "rg",
|
2006-01-16 09:50:04 -07:00
|
|
|
};
|
|
|
|
|
|
2006-04-07 09:17:32 -06:00
|
|
|
const struct gfs2_log_operations gfs2_databuf_lops = {
|
2006-01-16 09:50:04 -07:00
|
|
|
.lo_add = databuf_lo_add,
|
|
|
|
|
.lo_before_commit = databuf_lo_before_commit,
|
2006-02-08 04:50:51 -07:00
|
|
|
.lo_after_commit = databuf_lo_after_commit,
|
|
|
|
|
.lo_scan_elements = databuf_lo_scan_elements,
|
|
|
|
|
.lo_after_scan = databuf_lo_after_scan,
|
2006-09-05 08:53:09 -06:00
|
|
|
.lo_name = "databuf",
|
2006-01-16 09:50:04 -07:00
|
|
|
};
|
|
|
|
|
|
2006-04-07 09:17:32 -06:00
|
|
|
const struct gfs2_log_operations *gfs2_log_ops[] = {
|
2007-09-17 03:59:52 -06:00
|
|
|
&gfs2_databuf_lops,
|
2006-01-16 09:50:04 -07:00
|
|
|
&gfs2_buf_lops,
|
|
|
|
|
&gfs2_rg_lops,
|
2007-09-17 03:59:52 -06:00
|
|
|
&gfs2_revoke_lops,
|
2006-09-05 08:53:09 -06:00
|
|
|
NULL,
|
2006-01-16 09:50:04 -07:00
|
|
|
};
|
|
|
|
|
|