2018-06-06 05:42:14 +03:00
|
|
|
// SPDX-License-Identifier: GPL-2.0
|
2005-04-17 02:20:36 +04:00
|
|
|
/*
|
2005-11-02 06:58:39 +03:00
|
|
|
* Copyright (c) 2000-2005 Silicon Graphics, Inc.
|
|
|
|
* All Rights Reserved.
|
2005-04-17 02:20:36 +04:00
|
|
|
*/
|
|
|
|
#include "xfs.h"
|
2005-11-02 06:38:42 +03:00
|
|
|
#include "xfs_fs.h"
|
2013-10-23 03:36:05 +04:00
|
|
|
#include "xfs_shared.h"
|
2013-10-23 03:50:10 +04:00
|
|
|
#include "xfs_format.h"
|
|
|
|
#include "xfs_log_format.h"
|
|
|
|
#include "xfs_trans_resv.h"
|
2005-11-02 06:38:42 +03:00
|
|
|
#include "xfs_bit.h"
|
2005-04-17 02:20:36 +04:00
|
|
|
#include "xfs_sb.h"
|
|
|
|
#include "xfs_mount.h"
|
|
|
|
#include "xfs_inode.h"
|
2013-10-23 03:51:50 +04:00
|
|
|
#include "xfs_dir2.h"
|
2005-11-02 06:38:42 +03:00
|
|
|
#include "xfs_ialloc.h"
|
2005-04-17 02:20:36 +04:00
|
|
|
#include "xfs_alloc.h"
|
|
|
|
#include "xfs_rtalloc.h"
|
|
|
|
#include "xfs_bmap.h"
|
2013-10-23 03:51:50 +04:00
|
|
|
#include "xfs_trans.h"
|
|
|
|
#include "xfs_trans_priv.h"
|
|
|
|
#include "xfs_log.h"
|
2005-04-17 02:20:36 +04:00
|
|
|
#include "xfs_error.h"
|
|
|
|
#include "xfs_quota.h"
|
|
|
|
#include "xfs_fsops.h"
|
2012-10-08 14:56:09 +04:00
|
|
|
#include "xfs_icache.h"
|
2014-07-15 02:07:01 +04:00
|
|
|
#include "xfs_sysfs.h"
|
2016-08-03 04:36:07 +03:00
|
|
|
#include "xfs_rmap_btree.h"
|
2016-10-03 19:11:18 +03:00
|
|
|
#include "xfs_refcount_btree.h"
|
2016-10-03 19:11:39 +03:00
|
|
|
#include "xfs_reflink.h"
|
2017-02-08 01:06:57 +03:00
|
|
|
#include "xfs_extent_busy.h"
|
2019-04-12 17:41:15 +03:00
|
|
|
#include "xfs_health.h"
|
2009-12-15 02:14:59 +03:00
|
|
|
|
2005-04-17 02:20:36 +04:00
|
|
|
|
2009-03-30 12:21:31 +04:00
|
|
|
static DEFINE_MUTEX(xfs_uuid_table_mutex);
|
|
|
|
static int xfs_uuid_table_size;
|
|
|
|
static uuid_t *xfs_uuid_table;
|
|
|
|
|
2015-11-03 05:06:34 +03:00
|
|
|
void
|
|
|
|
xfs_uuid_table_free(void)
|
|
|
|
{
|
|
|
|
if (xfs_uuid_table_size == 0)
|
|
|
|
return;
|
|
|
|
kmem_free(xfs_uuid_table);
|
|
|
|
xfs_uuid_table = NULL;
|
|
|
|
xfs_uuid_table_size = 0;
|
|
|
|
}
|
|
|
|
|
2009-03-30 12:21:31 +04:00
|
|
|
/*
|
|
|
|
* See if the UUID is unique among mounted XFS filesystems.
|
|
|
|
* Mount fails if UUID is nil or a FS with the same UUID is already mounted.
|
|
|
|
*/
|
|
|
|
STATIC int
|
|
|
|
xfs_uuid_mount(
|
|
|
|
struct xfs_mount *mp)
|
|
|
|
{
|
|
|
|
uuid_t *uuid = &mp->m_sb.sb_uuid;
|
|
|
|
int hole, i;
|
|
|
|
|
2017-04-28 18:10:53 +03:00
|
|
|
/* Publish UUID in struct super_block */
|
2017-05-10 16:06:33 +03:00
|
|
|
uuid_copy(&mp->m_super->s_uuid, uuid);
|
2017-04-28 18:10:53 +03:00
|
|
|
|
2009-03-30 12:21:31 +04:00
|
|
|
if (mp->m_flags & XFS_MOUNT_NOUUID)
|
|
|
|
return 0;
|
|
|
|
|
2017-05-04 16:26:23 +03:00
|
|
|
if (uuid_is_null(uuid)) {
|
|
|
|
xfs_warn(mp, "Filesystem has null UUID - can't mount");
|
2014-06-25 08:58:08 +04:00
|
|
|
return -EINVAL;
|
2009-03-30 12:21:31 +04:00
|
|
|
}
|
|
|
|
|
|
|
|
mutex_lock(&xfs_uuid_table_mutex);
|
|
|
|
for (i = 0, hole = -1; i < xfs_uuid_table_size; i++) {
|
2017-05-04 16:26:23 +03:00
|
|
|
if (uuid_is_null(&xfs_uuid_table[i])) {
|
2009-03-30 12:21:31 +04:00
|
|
|
hole = i;
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
if (uuid_equal(uuid, &xfs_uuid_table[i]))
|
|
|
|
goto out_duplicate;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (hole < 0) {
|
|
|
|
xfs_uuid_table = kmem_realloc(xfs_uuid_table,
|
|
|
|
(xfs_uuid_table_size + 1) * sizeof(*xfs_uuid_table),
|
2019-08-26 22:06:22 +03:00
|
|
|
0);
|
2009-03-30 12:21:31 +04:00
|
|
|
hole = xfs_uuid_table_size++;
|
|
|
|
}
|
|
|
|
xfs_uuid_table[hole] = *uuid;
|
|
|
|
mutex_unlock(&xfs_uuid_table_mutex);
|
|
|
|
|
|
|
|
return 0;
|
|
|
|
|
|
|
|
out_duplicate:
|
|
|
|
mutex_unlock(&xfs_uuid_table_mutex);
|
2012-01-13 09:58:39 +04:00
|
|
|
xfs_warn(mp, "Filesystem has duplicate UUID %pU - can't mount", uuid);
|
2014-06-25 08:58:08 +04:00
|
|
|
return -EINVAL;
|
2009-03-30 12:21:31 +04:00
|
|
|
}
|
|
|
|
|
|
|
|
STATIC void
|
|
|
|
xfs_uuid_unmount(
|
|
|
|
struct xfs_mount *mp)
|
|
|
|
{
|
|
|
|
uuid_t *uuid = &mp->m_sb.sb_uuid;
|
|
|
|
int i;
|
|
|
|
|
|
|
|
if (mp->m_flags & XFS_MOUNT_NOUUID)
|
|
|
|
return;
|
|
|
|
|
|
|
|
mutex_lock(&xfs_uuid_table_mutex);
|
|
|
|
for (i = 0; i < xfs_uuid_table_size; i++) {
|
2017-05-04 16:26:23 +03:00
|
|
|
if (uuid_is_null(&xfs_uuid_table[i]))
|
2009-03-30 12:21:31 +04:00
|
|
|
continue;
|
|
|
|
if (!uuid_equal(uuid, &xfs_uuid_table[i]))
|
|
|
|
continue;
|
|
|
|
memset(&xfs_uuid_table[i], 0, sizeof(uuid_t));
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
ASSERT(i < xfs_uuid_table_size);
|
|
|
|
mutex_unlock(&xfs_uuid_table_mutex);
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2010-09-22 04:47:20 +04:00
|
|
|
STATIC void
|
|
|
|
__xfs_free_perag(
|
|
|
|
struct rcu_head *head)
|
|
|
|
{
|
|
|
|
struct xfs_perag *pag = container_of(head, struct xfs_perag, rcu_head);
|
|
|
|
|
|
|
|
ASSERT(atomic_read(&pag->pag_ref) == 0);
|
|
|
|
kmem_free(pag);
|
|
|
|
}
|
|
|
|
|
2005-04-17 02:20:36 +04:00
|
|
|
/*
|
2010-09-22 04:47:20 +04:00
|
|
|
* Free up the per-ag resources associated with the mount structure.
|
2005-04-17 02:20:36 +04:00
|
|
|
*/
|
2008-05-20 09:10:52 +04:00
|
|
|
STATIC void
|
2008-08-13 10:50:47 +04:00
|
|
|
xfs_free_perag(
|
2007-08-30 11:20:39 +04:00
|
|
|
xfs_mount_t *mp)
|
2005-04-17 02:20:36 +04:00
|
|
|
{
|
2010-01-11 14:47:44 +03:00
|
|
|
xfs_agnumber_t agno;
|
|
|
|
struct xfs_perag *pag;
|
|
|
|
|
|
|
|
for (agno = 0; agno < mp->m_sb.sb_agcount; agno++) {
|
|
|
|
spin_lock(&mp->m_perag_lock);
|
|
|
|
pag = radix_tree_delete(&mp->m_perag_tree, agno);
|
|
|
|
spin_unlock(&mp->m_perag_lock);
|
2010-09-22 04:47:20 +04:00
|
|
|
ASSERT(pag);
|
2010-11-08 11:55:04 +03:00
|
|
|
ASSERT(atomic_read(&pag->pag_ref) == 0);
|
2019-02-07 21:37:16 +03:00
|
|
|
xfs_iunlink_destroy(pag);
|
2016-12-07 09:36:36 +03:00
|
|
|
xfs_buf_hash_destroy(pag);
|
2018-01-11 20:45:51 +03:00
|
|
|
mutex_destroy(&pag->pag_ici_reclaim_lock);
|
2010-09-22 04:47:20 +04:00
|
|
|
call_rcu(&pag->rcu_head, __xfs_free_perag);
|
2005-04-17 02:20:36 +04:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2007-05-14 12:24:02 +04:00
|
|
|
/*
|
|
|
|
* Check size of device based on the (data/realtime) block count.
|
|
|
|
* Note: this check is used by the growfs code as well as mount.
|
|
|
|
*/
|
|
|
|
int
|
|
|
|
xfs_sb_validate_fsb_count(
|
|
|
|
xfs_sb_t *sbp,
|
2017-06-16 21:00:05 +03:00
|
|
|
uint64_t nblocks)
|
2007-05-14 12:24:02 +04:00
|
|
|
{
|
|
|
|
ASSERT(PAGE_SHIFT >= sbp->sb_blocklog);
|
|
|
|
ASSERT(sbp->sb_blocklog >= BBSHIFT);
|
|
|
|
|
2014-07-30 03:12:05 +04:00
|
|
|
/* Limited by ULONG_MAX of page cache index */
|
mm, fs: get rid of PAGE_CACHE_* and page_cache_{get,release} macros
PAGE_CACHE_{SIZE,SHIFT,MASK,ALIGN} macros were introduced *long* time
ago with promise that one day it will be possible to implement page
cache with bigger chunks than PAGE_SIZE.
This promise never materialized. And unlikely will.
We have many places where PAGE_CACHE_SIZE assumed to be equal to
PAGE_SIZE. And it's constant source of confusion on whether
PAGE_CACHE_* or PAGE_* constant should be used in a particular case,
especially on the border between fs and mm.
Global switching to PAGE_CACHE_SIZE != PAGE_SIZE would cause to much
breakage to be doable.
Let's stop pretending that pages in page cache are special. They are
not.
The changes are pretty straight-forward:
- <foo> << (PAGE_CACHE_SHIFT - PAGE_SHIFT) -> <foo>;
- <foo> >> (PAGE_CACHE_SHIFT - PAGE_SHIFT) -> <foo>;
- PAGE_CACHE_{SIZE,SHIFT,MASK,ALIGN} -> PAGE_{SIZE,SHIFT,MASK,ALIGN};
- page_cache_get() -> get_page();
- page_cache_release() -> put_page();
This patch contains automated changes generated with coccinelle using
script below. For some reason, coccinelle doesn't patch header files.
I've called spatch for them manually.
The only adjustment after coccinelle is revert of changes to
PAGE_CAHCE_ALIGN definition: we are going to drop it later.
There are few places in the code where coccinelle didn't reach. I'll
fix them manually in a separate patch. Comments and documentation also
will be addressed with the separate patch.
virtual patch
@@
expression E;
@@
- E << (PAGE_CACHE_SHIFT - PAGE_SHIFT)
+ E
@@
expression E;
@@
- E >> (PAGE_CACHE_SHIFT - PAGE_SHIFT)
+ E
@@
@@
- PAGE_CACHE_SHIFT
+ PAGE_SHIFT
@@
@@
- PAGE_CACHE_SIZE
+ PAGE_SIZE
@@
@@
- PAGE_CACHE_MASK
+ PAGE_MASK
@@
expression E;
@@
- PAGE_CACHE_ALIGN(E)
+ PAGE_ALIGN(E)
@@
expression E;
@@
- page_cache_get(E)
+ get_page(E)
@@
expression E;
@@
- page_cache_release(E)
+ put_page(E)
Signed-off-by: Kirill A. Shutemov <kirill.shutemov@linux.intel.com>
Acked-by: Michal Hocko <mhocko@suse.com>
Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org>
2016-04-01 15:29:47 +03:00
|
|
|
if (nblocks >> (PAGE_SHIFT - sbp->sb_blocklog) > ULONG_MAX)
|
2014-06-25 08:58:08 +04:00
|
|
|
return -EFBIG;
|
2007-05-14 12:24:02 +04:00
|
|
|
return 0;
|
|
|
|
}
|
2005-04-17 02:20:36 +04:00
|
|
|
|
2010-01-11 14:47:44 +03:00
|
|
|
int
|
2005-11-02 07:11:45 +03:00
|
|
|
xfs_initialize_perag(
|
|
|
|
xfs_mount_t *mp,
|
2010-01-11 14:47:44 +03:00
|
|
|
xfs_agnumber_t agcount,
|
|
|
|
xfs_agnumber_t *maxagi)
|
2005-04-17 02:20:36 +04:00
|
|
|
{
|
2012-09-20 17:32:38 +04:00
|
|
|
xfs_agnumber_t index;
|
2017-02-07 23:59:33 +03:00
|
|
|
xfs_agnumber_t first_initialised = NULLAGNUMBER;
|
2005-04-17 02:20:36 +04:00
|
|
|
xfs_perag_t *pag;
|
2010-01-11 14:47:48 +03:00
|
|
|
int error = -ENOMEM;
|
2005-04-17 02:20:36 +04:00
|
|
|
|
2010-01-11 14:47:44 +03:00
|
|
|
/*
|
|
|
|
* Walk the current per-ag tree so we don't try to initialise AGs
|
|
|
|
* that already exist (growfs case). Allocate and insert all the
|
|
|
|
* AGs we don't find ready for initialisation.
|
|
|
|
*/
|
|
|
|
for (index = 0; index < agcount; index++) {
|
|
|
|
pag = xfs_perag_get(mp, index);
|
|
|
|
if (pag) {
|
|
|
|
xfs_perag_put(pag);
|
|
|
|
continue;
|
|
|
|
}
|
2010-05-28 23:03:10 +04:00
|
|
|
|
2010-01-11 14:47:44 +03:00
|
|
|
pag = kmem_zalloc(sizeof(*pag), KM_MAYFAIL);
|
|
|
|
if (!pag)
|
2017-02-07 23:59:33 +03:00
|
|
|
goto out_unwind_new_pags;
|
2010-05-28 23:03:10 +04:00
|
|
|
pag->pag_agno = index;
|
|
|
|
pag->pag_mount = mp;
|
2010-12-16 09:08:41 +03:00
|
|
|
spin_lock_init(&pag->pag_ici_lock);
|
2010-09-27 05:09:51 +04:00
|
|
|
mutex_init(&pag->pag_ici_reclaim_lock);
|
2010-05-28 23:03:10 +04:00
|
|
|
INIT_RADIX_TREE(&pag->pag_ici_root, GFP_ATOMIC);
|
2016-12-07 09:36:36 +03:00
|
|
|
if (xfs_buf_hash_init(pag))
|
2017-02-07 23:59:33 +03:00
|
|
|
goto out_free_pag;
|
2017-02-08 01:06:57 +03:00
|
|
|
init_waitqueue_head(&pag->pagb_wait);
|
2018-07-31 23:18:02 +03:00
|
|
|
spin_lock_init(&pag->pagb_lock);
|
|
|
|
pag->pagb_count = 0;
|
|
|
|
pag->pagb_tree = RB_ROOT;
|
2010-05-28 23:03:10 +04:00
|
|
|
|
2010-01-11 14:47:44 +03:00
|
|
|
if (radix_tree_preload(GFP_NOFS))
|
2017-02-07 23:59:33 +03:00
|
|
|
goto out_hash_destroy;
|
2010-05-28 23:03:10 +04:00
|
|
|
|
2010-01-11 14:47:44 +03:00
|
|
|
spin_lock(&mp->m_perag_lock);
|
|
|
|
if (radix_tree_insert(&mp->m_perag_tree, index, pag)) {
|
2019-09-06 04:08:50 +03:00
|
|
|
WARN_ON_ONCE(1);
|
2010-01-11 14:47:44 +03:00
|
|
|
spin_unlock(&mp->m_perag_lock);
|
2010-01-11 14:47:48 +03:00
|
|
|
radix_tree_preload_end();
|
|
|
|
error = -EEXIST;
|
2017-02-07 23:59:33 +03:00
|
|
|
goto out_hash_destroy;
|
2010-01-11 14:47:44 +03:00
|
|
|
}
|
|
|
|
spin_unlock(&mp->m_perag_lock);
|
|
|
|
radix_tree_preload_end();
|
2017-02-07 23:59:33 +03:00
|
|
|
/* first new pag is fully initialized */
|
|
|
|
if (first_initialised == NULLAGNUMBER)
|
|
|
|
first_initialised = index;
|
2019-02-07 21:37:16 +03:00
|
|
|
error = xfs_iunlink_init(pag);
|
|
|
|
if (error)
|
|
|
|
goto out_hash_destroy;
|
2019-04-12 17:40:25 +03:00
|
|
|
spin_lock_init(&pag->pag_state_lock);
|
2010-01-11 14:47:44 +03:00
|
|
|
}
|
|
|
|
|
2016-03-02 01:58:09 +03:00
|
|
|
index = xfs_set_inode_alloc(mp, agcount);
|
2010-05-28 23:03:10 +04:00
|
|
|
|
2010-01-11 14:47:44 +03:00
|
|
|
if (maxagi)
|
|
|
|
*maxagi = index;
|
2016-08-03 04:31:47 +03:00
|
|
|
|
|
|
|
mp->m_ag_prealloc_blocks = xfs_prealloc_blocks(mp);
|
2010-01-11 14:47:44 +03:00
|
|
|
return 0;
|
2010-01-11 14:47:48 +03:00
|
|
|
|
2017-02-07 23:59:33 +03:00
|
|
|
out_hash_destroy:
|
2016-12-07 09:36:36 +03:00
|
|
|
xfs_buf_hash_destroy(pag);
|
2017-02-07 23:59:33 +03:00
|
|
|
out_free_pag:
|
2018-01-11 20:45:51 +03:00
|
|
|
mutex_destroy(&pag->pag_ici_reclaim_lock);
|
2010-01-11 14:47:48 +03:00
|
|
|
kmem_free(pag);
|
2017-02-07 23:59:33 +03:00
|
|
|
out_unwind_new_pags:
|
|
|
|
/* unwind any prior newly initialized pags */
|
|
|
|
for (index = first_initialised; index < agcount; index++) {
|
2010-01-11 14:47:48 +03:00
|
|
|
pag = radix_tree_delete(&mp->m_perag_tree, index);
|
2017-02-07 23:59:33 +03:00
|
|
|
if (!pag)
|
|
|
|
break;
|
2016-12-07 09:36:36 +03:00
|
|
|
xfs_buf_hash_destroy(pag);
|
2019-02-07 21:37:16 +03:00
|
|
|
xfs_iunlink_destroy(pag);
|
2018-01-11 20:45:51 +03:00
|
|
|
mutex_destroy(&pag->pag_ici_reclaim_lock);
|
2010-01-11 14:47:48 +03:00
|
|
|
kmem_free(pag);
|
|
|
|
}
|
|
|
|
return error;
|
2005-04-17 02:20:36 +04:00
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
* xfs_readsb
|
|
|
|
*
|
|
|
|
* Does the initial read of the superblock.
|
|
|
|
*/
|
|
|
|
int
|
2013-08-12 14:49:41 +04:00
|
|
|
xfs_readsb(
|
|
|
|
struct xfs_mount *mp,
|
|
|
|
int flags)
|
2005-04-17 02:20:36 +04:00
|
|
|
{
|
|
|
|
unsigned int sector_size;
|
2013-04-03 09:11:31 +04:00
|
|
|
struct xfs_buf *bp;
|
|
|
|
struct xfs_sb *sbp = &mp->m_sb;
|
2005-04-17 02:20:36 +04:00
|
|
|
int error;
|
2011-03-07 02:04:35 +03:00
|
|
|
int loud = !(flags & XFS_MFSI_QUIET);
|
xfs: skip verification on initial "guess" superblock read
When xfs_readsb() does the very first read of the superblock,
it makes a guess at the length of the buffer, based on the
sector size of the underlying storage. This may or may
not match the filesystem sector size in sb_sectsize, so
we can't i.e. do a CRC check on it; it might be too short.
In fact, mounting a filesystem with sb_sectsize larger
than the device sector size will cause a mount failure
if CRCs are enabled, because we are checksumming a length
which exceeds the buffer passed to it.
So always read twice; the first time we read with NULL
buffer ops to skip verification; then set the proper
read length, hook up the proper verifier, and give it
another go.
Once we are sure that we've got the right buffer length,
we can also use bp->b_length in the xfs_sb_read_verify,
rather than the less-trusted on-disk sectorsize for
secondary superblocks. Before this we ran the risk of
passing junk to the crc32c routines, which didn't always
handle extreme values.
Signed-off-by: Eric Sandeen <sandeen@redhat.com>
Reviewed-by: Dave Chinner <dchinner@redhat.com>
Signed-off-by: Dave Chinner <david@fromorbit.com>
2014-02-19 08:39:16 +04:00
|
|
|
const struct xfs_buf_ops *buf_ops;
|
2005-04-17 02:20:36 +04:00
|
|
|
|
|
|
|
ASSERT(mp->m_sb_bp == NULL);
|
|
|
|
ASSERT(mp->m_ddev_targp != NULL);
|
|
|
|
|
xfs: skip verification on initial "guess" superblock read
When xfs_readsb() does the very first read of the superblock,
it makes a guess at the length of the buffer, based on the
sector size of the underlying storage. This may or may
not match the filesystem sector size in sb_sectsize, so
we can't i.e. do a CRC check on it; it might be too short.
In fact, mounting a filesystem with sb_sectsize larger
than the device sector size will cause a mount failure
if CRCs are enabled, because we are checksumming a length
which exceeds the buffer passed to it.
So always read twice; the first time we read with NULL
buffer ops to skip verification; then set the proper
read length, hook up the proper verifier, and give it
another go.
Once we are sure that we've got the right buffer length,
we can also use bp->b_length in the xfs_sb_read_verify,
rather than the less-trusted on-disk sectorsize for
secondary superblocks. Before this we ran the risk of
passing junk to the crc32c routines, which didn't always
handle extreme values.
Signed-off-by: Eric Sandeen <sandeen@redhat.com>
Reviewed-by: Dave Chinner <dchinner@redhat.com>
Signed-off-by: Dave Chinner <david@fromorbit.com>
2014-02-19 08:39:16 +04:00
|
|
|
/*
|
|
|
|
* For the initial read, we must guess at the sector
|
|
|
|
* size based on the block device. It's enough to
|
|
|
|
* get the sb_sectsize out of the superblock and
|
|
|
|
* then reread with the proper length.
|
|
|
|
* We don't verify it yet, because it may not be complete.
|
|
|
|
*/
|
|
|
|
sector_size = xfs_getsize_buftarg(mp->m_ddev_targp);
|
|
|
|
buf_ops = NULL;
|
|
|
|
|
2005-04-17 02:20:36 +04:00
|
|
|
/*
|
2016-07-20 04:13:43 +03:00
|
|
|
* Allocate a (locked) buffer to hold the superblock. This will be kept
|
|
|
|
* around at all times to optimize access to the superblock. Therefore,
|
|
|
|
* set XBF_NO_IOACCT to make sure it doesn't hold the buftarg count
|
|
|
|
* elevated.
|
2005-04-17 02:20:36 +04:00
|
|
|
*/
|
2010-09-22 04:47:20 +04:00
|
|
|
reread:
|
2014-10-02 03:05:32 +04:00
|
|
|
error = xfs_buf_read_uncached(mp->m_ddev_targp, XFS_SB_DADDR,
|
2016-07-20 04:13:43 +03:00
|
|
|
BTOBB(sector_size), XBF_NO_IOACCT, &bp,
|
|
|
|
buf_ops);
|
2014-10-02 03:05:32 +04:00
|
|
|
if (error) {
|
2012-11-12 15:54:02 +04:00
|
|
|
if (loud)
|
2013-04-03 09:11:32 +04:00
|
|
|
xfs_warn(mp, "SB validate failed with error %d.", error);
|
2014-03-07 09:19:14 +04:00
|
|
|
/* bad CRC means corrupted metadata */
|
2014-06-25 08:58:08 +04:00
|
|
|
if (error == -EFSBADCRC)
|
|
|
|
error = -EFSCORRUPTED;
|
2014-10-02 03:05:32 +04:00
|
|
|
return error;
|
2012-11-12 15:54:02 +04:00
|
|
|
}
|
2005-04-17 02:20:36 +04:00
|
|
|
|
|
|
|
/*
|
|
|
|
* Initialize the mount structure from the superblock.
|
|
|
|
*/
|
2014-06-06 10:00:43 +04:00
|
|
|
xfs_sb_from_disk(sbp, XFS_BUF_TO_SBP(bp));
|
|
|
|
|
|
|
|
/*
|
|
|
|
* If we haven't validated the superblock, do so now before we try
|
|
|
|
* to check the sector size and reread the superblock appropriately.
|
|
|
|
*/
|
|
|
|
if (sbp->sb_magicnum != XFS_SB_MAGIC) {
|
|
|
|
if (loud)
|
|
|
|
xfs_warn(mp, "Invalid superblock magic number");
|
2014-06-25 08:58:08 +04:00
|
|
|
error = -EINVAL;
|
2014-06-06 10:00:43 +04:00
|
|
|
goto release_buf;
|
|
|
|
}
|
2013-08-12 14:49:41 +04:00
|
|
|
|
2005-04-17 02:20:36 +04:00
|
|
|
/*
|
|
|
|
* We must be able to do sector-sized and sector-aligned IO.
|
|
|
|
*/
|
2013-04-03 09:11:31 +04:00
|
|
|
if (sector_size > sbp->sb_sectsize) {
|
2011-03-07 02:04:35 +03:00
|
|
|
if (loud)
|
|
|
|
xfs_warn(mp, "device supports %u byte sectors (not %u)",
|
2013-04-03 09:11:31 +04:00
|
|
|
sector_size, sbp->sb_sectsize);
|
2014-06-25 08:58:08 +04:00
|
|
|
error = -ENOSYS;
|
2010-09-22 04:47:20 +04:00
|
|
|
goto release_buf;
|
2005-04-17 02:20:36 +04:00
|
|
|
}
|
|
|
|
|
xfs: skip verification on initial "guess" superblock read
When xfs_readsb() does the very first read of the superblock,
it makes a guess at the length of the buffer, based on the
sector size of the underlying storage. This may or may
not match the filesystem sector size in sb_sectsize, so
we can't i.e. do a CRC check on it; it might be too short.
In fact, mounting a filesystem with sb_sectsize larger
than the device sector size will cause a mount failure
if CRCs are enabled, because we are checksumming a length
which exceeds the buffer passed to it.
So always read twice; the first time we read with NULL
buffer ops to skip verification; then set the proper
read length, hook up the proper verifier, and give it
another go.
Once we are sure that we've got the right buffer length,
we can also use bp->b_length in the xfs_sb_read_verify,
rather than the less-trusted on-disk sectorsize for
secondary superblocks. Before this we ran the risk of
passing junk to the crc32c routines, which didn't always
handle extreme values.
Signed-off-by: Eric Sandeen <sandeen@redhat.com>
Reviewed-by: Dave Chinner <dchinner@redhat.com>
Signed-off-by: Dave Chinner <david@fromorbit.com>
2014-02-19 08:39:16 +04:00
|
|
|
if (buf_ops == NULL) {
|
2014-06-06 10:00:43 +04:00
|
|
|
/*
|
|
|
|
* Re-read the superblock so the buffer is correctly sized,
|
|
|
|
* and properly verified.
|
|
|
|
*/
|
2005-04-17 02:20:36 +04:00
|
|
|
xfs_buf_relse(bp);
|
2013-04-03 09:11:31 +04:00
|
|
|
sector_size = sbp->sb_sectsize;
|
xfs: skip verification on initial "guess" superblock read
When xfs_readsb() does the very first read of the superblock,
it makes a guess at the length of the buffer, based on the
sector size of the underlying storage. This may or may
not match the filesystem sector size in sb_sectsize, so
we can't i.e. do a CRC check on it; it might be too short.
In fact, mounting a filesystem with sb_sectsize larger
than the device sector size will cause a mount failure
if CRCs are enabled, because we are checksumming a length
which exceeds the buffer passed to it.
So always read twice; the first time we read with NULL
buffer ops to skip verification; then set the proper
read length, hook up the proper verifier, and give it
another go.
Once we are sure that we've got the right buffer length,
we can also use bp->b_length in the xfs_sb_read_verify,
rather than the less-trusted on-disk sectorsize for
secondary superblocks. Before this we ran the risk of
passing junk to the crc32c routines, which didn't always
handle extreme values.
Signed-off-by: Eric Sandeen <sandeen@redhat.com>
Reviewed-by: Dave Chinner <dchinner@redhat.com>
Signed-off-by: Dave Chinner <david@fromorbit.com>
2014-02-19 08:39:16 +04:00
|
|
|
buf_ops = loud ? &xfs_sb_buf_ops : &xfs_sb_quiet_buf_ops;
|
2010-09-22 04:47:20 +04:00
|
|
|
goto reread;
|
2005-04-17 02:20:36 +04:00
|
|
|
}
|
|
|
|
|
2015-02-23 13:22:31 +03:00
|
|
|
xfs_reinit_percpu_counters(mp);
|
2006-03-14 05:13:09 +03:00
|
|
|
|
2013-04-03 09:11:31 +04:00
|
|
|
/* no need to be quiet anymore, so reset the buf ops */
|
|
|
|
bp->b_ops = &xfs_sb_buf_ops;
|
|
|
|
|
2005-04-17 02:20:36 +04:00
|
|
|
mp->m_sb_bp = bp;
|
2010-09-22 04:47:20 +04:00
|
|
|
xfs_buf_unlock(bp);
|
2005-04-17 02:20:36 +04:00
|
|
|
return 0;
|
|
|
|
|
2010-09-22 04:47:20 +04:00
|
|
|
release_buf:
|
|
|
|
xfs_buf_relse(bp);
|
2005-04-17 02:20:36 +04:00
|
|
|
return error;
|
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
2007-10-12 05:03:40 +04:00
|
|
|
* Update alignment values based on mount options and sb values
|
2005-04-17 02:20:36 +04:00
|
|
|
*/
|
2007-10-12 05:03:40 +04:00
|
|
|
STATIC int
|
2009-01-19 04:04:07 +03:00
|
|
|
xfs_update_alignment(xfs_mount_t *mp)
|
2005-04-17 02:20:36 +04:00
|
|
|
{
|
|
|
|
xfs_sb_t *sbp = &(mp->m_sb);
|
|
|
|
|
2008-08-13 10:49:32 +04:00
|
|
|
if (mp->m_dalign) {
|
2005-04-17 02:20:36 +04:00
|
|
|
/*
|
|
|
|
* If stripe unit and stripe width are not multiples
|
|
|
|
* of the fs blocksize turn off alignment.
|
|
|
|
*/
|
|
|
|
if ((BBTOB(mp->m_dalign) & mp->m_blockmask) ||
|
|
|
|
(BBTOB(mp->m_swidth) & mp->m_blockmask)) {
|
2013-05-02 15:27:47 +04:00
|
|
|
xfs_warn(mp,
|
|
|
|
"alignment check failed: sunit/swidth vs. blocksize(%d)",
|
|
|
|
sbp->sb_blocksize);
|
2014-06-25 08:58:08 +04:00
|
|
|
return -EINVAL;
|
2005-04-17 02:20:36 +04:00
|
|
|
} else {
|
|
|
|
/*
|
|
|
|
* Convert the stripe unit and width to FSBs.
|
|
|
|
*/
|
|
|
|
mp->m_dalign = XFS_BB_TO_FSBT(mp, mp->m_dalign);
|
|
|
|
if (mp->m_dalign && (sbp->sb_agblocks % mp->m_dalign)) {
|
2011-03-07 02:05:35 +03:00
|
|
|
xfs_warn(mp,
|
2013-05-02 15:27:47 +04:00
|
|
|
"alignment check failed: sunit/swidth vs. agsize(%d)",
|
|
|
|
sbp->sb_agblocks);
|
2014-06-25 08:58:08 +04:00
|
|
|
return -EINVAL;
|
2005-04-17 02:20:36 +04:00
|
|
|
} else if (mp->m_dalign) {
|
|
|
|
mp->m_swidth = XFS_BB_TO_FSBT(mp, mp->m_swidth);
|
|
|
|
} else {
|
2013-05-02 15:27:47 +04:00
|
|
|
xfs_warn(mp,
|
|
|
|
"alignment check failed: sunit(%d) less than bsize(%d)",
|
|
|
|
mp->m_dalign, sbp->sb_blocksize);
|
2014-06-25 08:58:08 +04:00
|
|
|
return -EINVAL;
|
2005-04-17 02:20:36 +04:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Update superblock with new values
|
|
|
|
* and log changes
|
|
|
|
*/
|
2008-03-06 05:44:28 +03:00
|
|
|
if (xfs_sb_version_hasdalign(sbp)) {
|
2005-04-17 02:20:36 +04:00
|
|
|
if (sbp->sb_unit != mp->m_dalign) {
|
|
|
|
sbp->sb_unit = mp->m_dalign;
|
2015-01-22 01:10:31 +03:00
|
|
|
mp->m_update_sb = true;
|
2005-04-17 02:20:36 +04:00
|
|
|
}
|
|
|
|
if (sbp->sb_width != mp->m_swidth) {
|
|
|
|
sbp->sb_width = mp->m_swidth;
|
2015-01-22 01:10:31 +03:00
|
|
|
mp->m_update_sb = true;
|
2005-04-17 02:20:36 +04:00
|
|
|
}
|
xfs: Don't keep silent if sunit/swidth can not be changed via mount
As per the mount man page, sunit and swidth can be changed via
mount options. For XFS, on the face of it, those options seems
works if the specified alignments is properly, e.g.
# mount -o sunit=4096,swidth=8192 /dev/sdb1 /mnt
# mount | grep sdb1
/dev/sdb1 on /mnt type xfs (rw,sunit=4096,swidth=8192)
However, neither sunit nor swidth is shown from the xfs_info output.
# xfs_info /mnt
meta-data=/dev/sdb1 isize=256 agcount=4, agsize=262144 blks
= sectsz=512 attr=2
data = bsize=4096 blocks=1048576, imaxpct=25
= sunit=0 swidth=0 blks
^^^^^^^^^^^^^^^^^^^^^^^^^^
naming =version 2 bsize=4096 ascii-ci=0
log =internal bsize=4096 blocks=2560, version=2
= sectsz=512 sunit=0 blks, lazy-count=1
realtime =none extsz=4096 blocks=0, rtextents=0
The reason is that the alignment can only be changed if the relevant
super block is already configured with alignments, otherwise, the
given value is silently ignored.
With this fix, the attempt to mount a storage without strip alignment
setup on a super block will get an error with a warning in syslog to
indicate the true cause, e.g.
# mount -o sunit=4096,swidth=8192 /dev/sdb1 /mnt
mount: wrong fs type, bad option, bad superblock on /dev/sdb1,
missing codepage or helper program, or other error
In some cases useful info is found in syslog - try
dmesg | tail or so
.......
XFS (sdb1): cannot change alignment: superblock does not support data
alignment
Signed-off-by: Jie Liu <jeff.liu@oracle.com>
Cc: Mark Tinguely <tinguely@sgi.com>
Cc: Dave Chinner <dchinner@redhat.com>
Reviewed-by: Mark Tinguely <tinguely@sgi.com>
Signed-off-by: Ben Myers <bpm@sgi.com>
2013-05-02 15:27:53 +04:00
|
|
|
} else {
|
|
|
|
xfs_warn(mp,
|
|
|
|
"cannot change alignment: superblock does not support data alignment");
|
2014-06-25 08:58:08 +04:00
|
|
|
return -EINVAL;
|
2005-04-17 02:20:36 +04:00
|
|
|
}
|
|
|
|
} else if ((mp->m_flags & XFS_MOUNT_NOALIGN) != XFS_MOUNT_NOALIGN &&
|
2008-03-06 05:44:28 +03:00
|
|
|
xfs_sb_version_hasdalign(&mp->m_sb)) {
|
2005-04-17 02:20:36 +04:00
|
|
|
mp->m_dalign = sbp->sb_unit;
|
|
|
|
mp->m_swidth = sbp->sb_width;
|
|
|
|
}
|
|
|
|
|
2007-10-12 05:03:40 +04:00
|
|
|
return 0;
|
|
|
|
}
|
2005-04-17 02:20:36 +04:00
|
|
|
|
2011-01-04 03:35:03 +03:00
|
|
|
/*
|
|
|
|
* precalculate the low space thresholds for dynamic speculative preallocation.
|
|
|
|
*/
|
|
|
|
void
|
|
|
|
xfs_set_low_space_thresholds(
|
|
|
|
struct xfs_mount *mp)
|
|
|
|
{
|
|
|
|
int i;
|
|
|
|
|
|
|
|
for (i = 0; i < XFS_LOWSP_MAX; i++) {
|
2017-06-16 21:00:05 +03:00
|
|
|
uint64_t space = mp->m_sb.sb_dblocks;
|
2011-01-04 03:35:03 +03:00
|
|
|
|
|
|
|
do_div(space, 100);
|
|
|
|
mp->m_low_space[i] = space * (i + 1);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2007-10-12 05:03:40 +04:00
|
|
|
/*
|
2013-08-07 14:10:58 +04:00
|
|
|
* Check that the data (and log if separate) is an ok size.
|
2007-10-12 05:03:40 +04:00
|
|
|
*/
|
|
|
|
STATIC int
|
2014-10-02 03:05:32 +04:00
|
|
|
xfs_check_sizes(
|
|
|
|
struct xfs_mount *mp)
|
2007-10-12 05:03:40 +04:00
|
|
|
{
|
2014-10-02 03:05:32 +04:00
|
|
|
struct xfs_buf *bp;
|
2007-10-12 05:03:40 +04:00
|
|
|
xfs_daddr_t d;
|
2014-10-02 03:05:32 +04:00
|
|
|
int error;
|
2007-10-12 05:03:40 +04:00
|
|
|
|
2005-04-17 02:20:36 +04:00
|
|
|
d = (xfs_daddr_t)XFS_FSB_TO_BB(mp, mp->m_sb.sb_dblocks);
|
|
|
|
if (XFS_BB_TO_FSB(mp, d) != mp->m_sb.sb_dblocks) {
|
2011-03-07 02:08:35 +03:00
|
|
|
xfs_warn(mp, "filesystem size mismatch detected");
|
2014-06-25 08:58:08 +04:00
|
|
|
return -EFBIG;
|
2005-04-17 02:20:36 +04:00
|
|
|
}
|
2014-10-02 03:05:32 +04:00
|
|
|
error = xfs_buf_read_uncached(mp->m_ddev_targp,
|
2010-09-22 04:47:20 +04:00
|
|
|
d - XFS_FSS_TO_BB(mp, 1),
|
2014-10-02 03:05:32 +04:00
|
|
|
XFS_FSS_TO_BB(mp, 1), 0, &bp, NULL);
|
|
|
|
if (error) {
|
2011-03-07 02:08:35 +03:00
|
|
|
xfs_warn(mp, "last sector read failed");
|
2014-10-02 03:05:32 +04:00
|
|
|
return error;
|
2005-04-17 02:20:36 +04:00
|
|
|
}
|
2010-09-22 04:47:20 +04:00
|
|
|
xfs_buf_relse(bp);
|
2005-04-17 02:20:36 +04:00
|
|
|
|
2014-10-02 03:05:32 +04:00
|
|
|
if (mp->m_logdev_targp == mp->m_ddev_targp)
|
|
|
|
return 0;
|
|
|
|
|
|
|
|
d = (xfs_daddr_t)XFS_FSB_TO_BB(mp, mp->m_sb.sb_logblocks);
|
|
|
|
if (XFS_BB_TO_FSB(mp, d) != mp->m_sb.sb_logblocks) {
|
|
|
|
xfs_warn(mp, "log size mismatch detected");
|
|
|
|
return -EFBIG;
|
|
|
|
}
|
|
|
|
error = xfs_buf_read_uncached(mp->m_logdev_targp,
|
2010-09-22 04:47:20 +04:00
|
|
|
d - XFS_FSB_TO_BB(mp, 1),
|
2014-10-02 03:05:32 +04:00
|
|
|
XFS_FSB_TO_BB(mp, 1), 0, &bp, NULL);
|
|
|
|
if (error) {
|
|
|
|
xfs_warn(mp, "log device read failed");
|
|
|
|
return error;
|
2007-10-12 05:03:40 +04:00
|
|
|
}
|
2014-10-02 03:05:32 +04:00
|
|
|
xfs_buf_relse(bp);
|
2007-10-12 05:03:40 +04:00
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
2009-06-08 17:33:32 +04:00
|
|
|
/*
|
|
|
|
* Clear the quotaflags in memory and in the superblock.
|
|
|
|
*/
|
|
|
|
int
|
|
|
|
xfs_mount_reset_sbqflags(
|
|
|
|
struct xfs_mount *mp)
|
|
|
|
{
|
|
|
|
mp->m_qflags = 0;
|
|
|
|
|
2015-01-22 01:10:31 +03:00
|
|
|
/* It is OK to look at sb_qflags in the mount path without m_sb_lock. */
|
2009-06-08 17:33:32 +04:00
|
|
|
if (mp->m_sb.sb_qflags == 0)
|
|
|
|
return 0;
|
|
|
|
spin_lock(&mp->m_sb_lock);
|
|
|
|
mp->m_sb.sb_qflags = 0;
|
|
|
|
spin_unlock(&mp->m_sb_lock);
|
|
|
|
|
2015-01-22 01:10:31 +03:00
|
|
|
if (!xfs_fs_writable(mp, SB_FREEZE_WRITE))
|
2009-06-08 17:33:32 +04:00
|
|
|
return 0;
|
|
|
|
|
2015-01-22 01:10:31 +03:00
|
|
|
return xfs_sync_sb(mp, false);
|
2009-06-08 17:33:32 +04:00
|
|
|
}
|
|
|
|
|
2017-06-16 21:00:05 +03:00
|
|
|
uint64_t
|
2010-02-06 01:59:53 +03:00
|
|
|
xfs_default_resblks(xfs_mount_t *mp)
|
|
|
|
{
|
2017-06-16 21:00:05 +03:00
|
|
|
uint64_t resblks;
|
2010-02-06 01:59:53 +03:00
|
|
|
|
|
|
|
/*
|
2010-03-04 04:46:25 +03:00
|
|
|
* We default to 5% or 8192 fsbs of space reserved, whichever is
|
|
|
|
* smaller. This is intended to cover concurrent allocation
|
|
|
|
* transactions when we initially hit enospc. These each require a 4
|
|
|
|
* block reservation. Hence by default we cover roughly 2000 concurrent
|
|
|
|
* allocation reservations.
|
2010-02-06 01:59:53 +03:00
|
|
|
*/
|
|
|
|
resblks = mp->m_sb.sb_dblocks;
|
|
|
|
do_div(resblks, 20);
|
2017-06-16 21:00:05 +03:00
|
|
|
resblks = min_t(uint64_t, resblks, 8192);
|
2010-02-06 01:59:53 +03:00
|
|
|
return resblks;
|
|
|
|
}
|
|
|
|
|
2018-07-19 22:29:13 +03:00
|
|
|
/* Ensure the summary counts are correct. */
|
|
|
|
STATIC int
|
|
|
|
xfs_check_summary_counts(
|
|
|
|
struct xfs_mount *mp)
|
|
|
|
{
|
|
|
|
/*
|
|
|
|
* The AG0 superblock verifier rejects in-progress filesystems,
|
|
|
|
* so we should never see the flag set this far into mounting.
|
|
|
|
*/
|
|
|
|
if (mp->m_sb.sb_inprogress) {
|
|
|
|
xfs_err(mp, "sb_inprogress set after log recovery??");
|
|
|
|
WARN_ON(1);
|
|
|
|
return -EFSCORRUPTED;
|
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Now the log is mounted, we know if it was an unclean shutdown or
|
|
|
|
* not. If it was, with the first phase of recovery has completed, we
|
|
|
|
* have consistent AG blocks on disk. We have not recovered EFIs yet,
|
|
|
|
* but they are recovered transactionally in the second recovery phase
|
|
|
|
* later.
|
|
|
|
*
|
|
|
|
* If the log was clean when we mounted, we can check the summary
|
|
|
|
* counters. If any of them are obviously incorrect, we can recompute
|
|
|
|
* them from the AGF headers in the next step.
|
|
|
|
*/
|
|
|
|
if (XFS_LAST_UNMOUNT_WAS_CLEAN(mp) &&
|
|
|
|
(mp->m_sb.sb_fdblocks > mp->m_sb.sb_dblocks ||
|
2018-08-11 03:55:56 +03:00
|
|
|
!xfs_verify_icount(mp, mp->m_sb.sb_icount) ||
|
2018-07-19 22:29:13 +03:00
|
|
|
mp->m_sb.sb_ifree > mp->m_sb.sb_icount))
|
2019-04-12 17:41:15 +03:00
|
|
|
xfs_fs_mark_sick(mp, XFS_SICK_FS_COUNTERS);
|
2018-07-19 22:29:13 +03:00
|
|
|
|
|
|
|
/*
|
|
|
|
* We can safely re-initialise incore superblock counters from the
|
|
|
|
* per-ag data. These may not be correct if the filesystem was not
|
|
|
|
* cleanly unmounted, so we waited for recovery to finish before doing
|
|
|
|
* this.
|
|
|
|
*
|
|
|
|
* If the filesystem was cleanly unmounted or the previous check did
|
|
|
|
* not flag anything weird, then we can trust the values in the
|
|
|
|
* superblock to be correct and we don't need to do anything here.
|
|
|
|
* Otherwise, recalculate the summary counters.
|
|
|
|
*/
|
|
|
|
if ((!xfs_sb_version_haslazysbcount(&mp->m_sb) ||
|
|
|
|
XFS_LAST_UNMOUNT_WAS_CLEAN(mp)) &&
|
2019-04-12 17:41:15 +03:00
|
|
|
!xfs_fs_has_sickness(mp, XFS_SICK_FS_COUNTERS))
|
2018-07-19 22:29:13 +03:00
|
|
|
return 0;
|
|
|
|
|
|
|
|
return xfs_initialize_perag_data(mp, mp->m_sb.sb_agcount);
|
|
|
|
}
|
|
|
|
|
2007-10-12 05:03:40 +04:00
|
|
|
/*
|
|
|
|
* This function does the following on an initial mount of a file system:
|
|
|
|
* - reads the superblock from disk and init the mount struct
|
|
|
|
* - if we're a 32-bit kernel, do a size check on the superblock
|
|
|
|
* so we don't mount terabyte filesystems
|
|
|
|
* - init mount struct realtime fields
|
|
|
|
* - allocate inode hash table for fs
|
|
|
|
* - init directory manager
|
|
|
|
* - perform recovery and init the log manager
|
|
|
|
*/
|
|
|
|
int
|
|
|
|
xfs_mountfs(
|
2015-08-19 02:58:36 +03:00
|
|
|
struct xfs_mount *mp)
|
2007-10-12 05:03:40 +04:00
|
|
|
{
|
2015-08-19 02:58:36 +03:00
|
|
|
struct xfs_sb *sbp = &(mp->m_sb);
|
|
|
|
struct xfs_inode *rip;
|
2019-06-05 21:19:34 +03:00
|
|
|
struct xfs_ino_geometry *igeo = M_IGEO(mp);
|
2017-06-16 21:00:05 +03:00
|
|
|
uint64_t resblks;
|
2015-08-19 02:58:36 +03:00
|
|
|
uint quotamount = 0;
|
|
|
|
uint quotaflags = 0;
|
|
|
|
int error = 0;
|
2007-10-12 05:03:40 +04:00
|
|
|
|
2013-08-12 14:49:41 +04:00
|
|
|
xfs_sb_mount_common(mp, sbp);
|
2007-10-12 05:03:40 +04:00
|
|
|
|
2008-03-06 05:45:50 +03:00
|
|
|
/*
|
2015-01-22 01:10:33 +03:00
|
|
|
* Check for a mismatched features2 values. Older kernels read & wrote
|
|
|
|
* into the wrong sb offset for sb_features2 on some platforms due to
|
|
|
|
* xfs_sb_t not being 64bit size aligned when sb_features2 was added,
|
|
|
|
* which made older superblock reading/writing routines swap it as a
|
|
|
|
* 64-bit value.
|
2008-03-06 05:45:50 +03:00
|
|
|
*
|
2008-04-10 06:19:34 +04:00
|
|
|
* For backwards compatibility, we make both slots equal.
|
|
|
|
*
|
2015-01-22 01:10:33 +03:00
|
|
|
* If we detect a mismatched field, we OR the set bits into the existing
|
|
|
|
* features2 field in case it has already been modified; we don't want
|
|
|
|
* to lose any features. We then update the bad location with the ORed
|
|
|
|
* value so that older kernels will see any features2 flags. The
|
|
|
|
* superblock writeback code ensures the new sb_features2 is copied to
|
|
|
|
* sb_bad_features2 before it is logged or written to disk.
|
2008-03-06 05:45:50 +03:00
|
|
|
*/
|
2008-04-10 06:19:34 +04:00
|
|
|
if (xfs_sb_has_mismatched_features2(sbp)) {
|
2011-03-07 02:08:35 +03:00
|
|
|
xfs_warn(mp, "correcting sb_features alignment problem");
|
2008-03-06 05:45:50 +03:00
|
|
|
sbp->sb_features2 |= sbp->sb_bad_features2;
|
2015-01-22 01:10:31 +03:00
|
|
|
mp->m_update_sb = true;
|
2008-04-10 06:19:34 +04:00
|
|
|
|
|
|
|
/*
|
|
|
|
* Re-check for ATTR2 in case it was found in bad_features2
|
|
|
|
* slot.
|
|
|
|
*/
|
2008-04-30 12:15:28 +04:00
|
|
|
if (xfs_sb_version_hasattr2(&mp->m_sb) &&
|
|
|
|
!(mp->m_flags & XFS_MOUNT_NOATTR2))
|
2008-04-10 06:19:34 +04:00
|
|
|
mp->m_flags |= XFS_MOUNT_ATTR2;
|
2008-04-30 12:15:28 +04:00
|
|
|
}
|
|
|
|
|
|
|
|
if (xfs_sb_version_hasattr2(&mp->m_sb) &&
|
|
|
|
(mp->m_flags & XFS_MOUNT_NOATTR2)) {
|
|
|
|
xfs_sb_version_removeattr2(&mp->m_sb);
|
2015-01-22 01:10:31 +03:00
|
|
|
mp->m_update_sb = true;
|
2008-04-10 06:19:34 +04:00
|
|
|
|
2008-04-30 12:15:28 +04:00
|
|
|
/* update sb_versionnum for the clearing of the morebits */
|
|
|
|
if (!sbp->sb_features2)
|
2015-01-22 01:10:31 +03:00
|
|
|
mp->m_update_sb = true;
|
2008-03-06 05:45:50 +03:00
|
|
|
}
|
|
|
|
|
2014-05-20 01:46:40 +04:00
|
|
|
/* always use v2 inodes by default now */
|
|
|
|
if (!(mp->m_sb.sb_versionnum & XFS_SB_VERSION_NLINKBIT)) {
|
|
|
|
mp->m_sb.sb_versionnum |= XFS_SB_VERSION_NLINKBIT;
|
2015-01-22 01:10:31 +03:00
|
|
|
mp->m_update_sb = true;
|
2014-05-20 01:46:40 +04:00
|
|
|
}
|
|
|
|
|
2007-10-12 05:03:40 +04:00
|
|
|
/*
|
|
|
|
* Check if sb_agblocks is aligned at stripe boundary
|
|
|
|
* If sb_agblocks is NOT aligned turn off m_dalign since
|
|
|
|
* allocator alignment is within an ag, therefore ag has
|
|
|
|
* to be aligned at stripe boundary.
|
|
|
|
*/
|
2009-01-19 04:04:07 +03:00
|
|
|
error = xfs_update_alignment(mp);
|
2007-10-12 05:03:40 +04:00
|
|
|
if (error)
|
2009-02-04 11:31:52 +03:00
|
|
|
goto out;
|
2007-10-12 05:03:40 +04:00
|
|
|
|
|
|
|
xfs_alloc_compute_maxlevels(mp);
|
|
|
|
xfs_bmap_compute_maxlevels(mp, XFS_DATA_FORK);
|
|
|
|
xfs_bmap_compute_maxlevels(mp, XFS_ATTR_FORK);
|
2019-06-05 21:19:35 +03:00
|
|
|
xfs_ialloc_setup_geometry(mp);
|
2016-08-03 04:36:07 +03:00
|
|
|
xfs_rmapbt_compute_maxlevels(mp);
|
2016-10-03 19:11:18 +03:00
|
|
|
xfs_refcountbt_compute_maxlevels(mp);
|
2007-10-12 05:03:40 +04:00
|
|
|
|
2016-05-18 04:11:27 +03:00
|
|
|
/* enable fail_at_unmount as default */
|
2017-10-09 21:38:54 +03:00
|
|
|
mp->m_fail_unmount = true;
|
2016-05-18 04:11:27 +03:00
|
|
|
|
2019-11-05 00:58:40 +03:00
|
|
|
error = xfs_sysfs_init(&mp->m_kobj, &xfs_mp_ktype,
|
|
|
|
NULL, mp->m_super->s_id);
|
2009-03-30 12:21:31 +04:00
|
|
|
if (error)
|
|
|
|
goto out;
|
2005-04-17 02:20:36 +04:00
|
|
|
|
2015-10-12 10:21:19 +03:00
|
|
|
error = xfs_sysfs_init(&mp->m_stats.xs_kobj, &xfs_stats_ktype,
|
|
|
|
&mp->m_kobj, "stats");
|
2014-07-15 02:07:01 +04:00
|
|
|
if (error)
|
|
|
|
goto out_remove_sysfs;
|
|
|
|
|
2016-05-18 03:58:51 +03:00
|
|
|
error = xfs_error_sysfs_init(mp);
|
2015-10-12 10:21:19 +03:00
|
|
|
if (error)
|
|
|
|
goto out_del_stats;
|
|
|
|
|
2017-06-21 03:54:46 +03:00
|
|
|
error = xfs_errortag_init(mp);
|
|
|
|
if (error)
|
|
|
|
goto out_remove_error_sysfs;
|
2016-05-18 03:58:51 +03:00
|
|
|
|
|
|
|
error = xfs_uuid_mount(mp);
|
|
|
|
if (error)
|
2017-06-21 03:54:46 +03:00
|
|
|
goto out_remove_errortag;
|
2016-05-18 03:58:51 +03:00
|
|
|
|
2007-10-12 05:03:40 +04:00
|
|
|
/*
|
2019-10-28 18:41:45 +03:00
|
|
|
* Update the preferred write size based on the information from the
|
|
|
|
* on-disk superblock.
|
2007-10-12 05:03:40 +04:00
|
|
|
*/
|
2019-10-28 18:41:45 +03:00
|
|
|
mp->m_allocsize_log =
|
|
|
|
max_t(uint32_t, sbp->sb_blocklog, mp->m_allocsize_log);
|
|
|
|
mp->m_allocsize_blocks = 1U << (mp->m_allocsize_log - sbp->sb_blocklog);
|
2007-10-12 05:03:40 +04:00
|
|
|
|
2011-01-04 03:35:03 +03:00
|
|
|
/* set the low space thresholds for dynamic preallocation */
|
|
|
|
xfs_set_low_space_thresholds(mp);
|
|
|
|
|
2015-05-29 01:57:27 +03:00
|
|
|
/*
|
|
|
|
* If enabled, sparse inode chunk alignment is expected to match the
|
|
|
|
* cluster size. Full inode chunk alignment must match the chunk size,
|
|
|
|
* but that is checked on sb read verification...
|
|
|
|
*/
|
|
|
|
if (xfs_sb_version_hassparseinodes(&mp->m_sb) &&
|
|
|
|
mp->m_sb.sb_spino_align !=
|
2019-06-05 21:19:35 +03:00
|
|
|
XFS_B_TO_FSBT(mp, igeo->inode_cluster_size_raw)) {
|
2015-05-29 01:57:27 +03:00
|
|
|
xfs_warn(mp,
|
|
|
|
"Sparse inode block alignment (%u) must match cluster size (%llu).",
|
|
|
|
mp->m_sb.sb_spino_align,
|
2019-06-05 21:19:35 +03:00
|
|
|
XFS_B_TO_FSBT(mp, igeo->inode_cluster_size_raw));
|
2015-05-29 01:57:27 +03:00
|
|
|
error = -EINVAL;
|
|
|
|
goto out_remove_uuid;
|
|
|
|
}
|
|
|
|
|
2007-10-12 05:03:40 +04:00
|
|
|
/*
|
2013-08-12 07:15:03 +04:00
|
|
|
* Check that the data (and log if separate) is an ok size.
|
2007-10-12 05:03:40 +04:00
|
|
|
*/
|
2008-08-13 10:49:32 +04:00
|
|
|
error = xfs_check_sizes(mp);
|
2007-10-12 05:03:40 +04:00
|
|
|
if (error)
|
2009-02-04 11:31:52 +03:00
|
|
|
goto out_remove_uuid;
|
2007-10-12 05:03:40 +04:00
|
|
|
|
2005-04-17 02:20:36 +04:00
|
|
|
/*
|
|
|
|
* Initialize realtime fields in the mount structure
|
|
|
|
*/
|
2007-10-12 05:03:40 +04:00
|
|
|
error = xfs_rtmount_init(mp);
|
|
|
|
if (error) {
|
2011-03-07 02:08:35 +03:00
|
|
|
xfs_warn(mp, "RT mount failed");
|
2009-02-04 11:31:52 +03:00
|
|
|
goto out_remove_uuid;
|
2005-04-17 02:20:36 +04:00
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Copies the low order bits of the timestamp and the randomly
|
|
|
|
* set "sequence" number out of a UUID.
|
|
|
|
*/
|
2017-05-05 10:39:10 +03:00
|
|
|
mp->m_fixedfsid[0] =
|
|
|
|
(get_unaligned_be16(&sbp->sb_uuid.b[8]) << 16) |
|
|
|
|
get_unaligned_be16(&sbp->sb_uuid.b[4]);
|
|
|
|
mp->m_fixedfsid[1] = get_unaligned_be32(&sbp->sb_uuid.b[0]);
|
2005-04-17 02:20:36 +04:00
|
|
|
|
2014-06-06 09:01:58 +04:00
|
|
|
error = xfs_da_mount(mp);
|
|
|
|
if (error) {
|
|
|
|
xfs_warn(mp, "Failed dir/attr init: %d", error);
|
|
|
|
goto out_remove_uuid;
|
|
|
|
}
|
2005-04-17 02:20:36 +04:00
|
|
|
|
|
|
|
/*
|
|
|
|
* Initialize the precomputed transaction reservations values.
|
|
|
|
*/
|
|
|
|
xfs_trans_init(mp);
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Allocate and initialize the per-ag data.
|
|
|
|
*/
|
2010-01-11 14:47:44 +03:00
|
|
|
error = xfs_initialize_perag(mp, sbp->sb_agcount, &mp->m_maxagi);
|
|
|
|
if (error) {
|
2011-03-07 02:08:35 +03:00
|
|
|
xfs_warn(mp, "Failed per-ag init: %d", error);
|
2014-06-06 09:01:58 +04:00
|
|
|
goto out_free_dir;
|
2010-01-11 14:47:44 +03:00
|
|
|
}
|
2005-04-17 02:20:36 +04:00
|
|
|
|
2019-11-11 23:53:22 +03:00
|
|
|
if (XFS_IS_CORRUPT(mp, !sbp->sb_logblocks)) {
|
2011-03-07 02:08:35 +03:00
|
|
|
xfs_warn(mp, "no log defined");
|
2014-06-25 08:58:08 +04:00
|
|
|
error = -EFSCORRUPTED;
|
2009-02-04 11:31:52 +03:00
|
|
|
goto out_free_perag;
|
|
|
|
}
|
|
|
|
|
2005-04-17 02:20:36 +04:00
|
|
|
/*
|
2015-08-19 02:58:36 +03:00
|
|
|
* Log's mount-time initialization. The first part of recovery can place
|
|
|
|
* some items on the AIL, to be handled when recovery is finished or
|
|
|
|
* cancelled.
|
2005-04-17 02:20:36 +04:00
|
|
|
*/
|
2009-02-04 11:31:52 +03:00
|
|
|
error = xfs_log_mount(mp, mp->m_logdev_targp,
|
|
|
|
XFS_FSB_TO_DADDR(mp, sbp->sb_logstart),
|
|
|
|
XFS_FSB_TO_BB(mp, sbp->sb_logblocks));
|
|
|
|
if (error) {
|
2011-03-07 02:08:35 +03:00
|
|
|
xfs_warn(mp, "log mount failed");
|
2012-04-23 09:59:06 +04:00
|
|
|
goto out_fail_wait;
|
2005-04-17 02:20:36 +04:00
|
|
|
}
|
|
|
|
|
2018-07-19 22:29:13 +03:00
|
|
|
/* Make sure the summary counts are ok. */
|
|
|
|
error = xfs_check_summary_counts(mp);
|
|
|
|
if (error)
|
|
|
|
goto out_log_dealloc;
|
2009-02-04 11:31:52 +03:00
|
|
|
|
2005-04-17 02:20:36 +04:00
|
|
|
/*
|
|
|
|
* Get and sanity-check the root inode.
|
|
|
|
* Save the pointer to it in the mount structure.
|
|
|
|
*/
|
2018-06-05 20:09:33 +03:00
|
|
|
error = xfs_iget(mp, NULL, sbp->sb_rootino, XFS_IGET_UNTRUSTED,
|
|
|
|
XFS_ILOCK_EXCL, &rip);
|
2005-04-17 02:20:36 +04:00
|
|
|
if (error) {
|
2018-06-05 20:09:33 +03:00
|
|
|
xfs_warn(mp,
|
|
|
|
"Failed to read root inode 0x%llx, error %d",
|
|
|
|
sbp->sb_rootino, -error);
|
2009-02-04 11:31:52 +03:00
|
|
|
goto out_log_dealloc;
|
2005-04-17 02:20:36 +04:00
|
|
|
}
|
|
|
|
|
|
|
|
ASSERT(rip != NULL);
|
|
|
|
|
2019-11-11 23:53:22 +03:00
|
|
|
if (XFS_IS_CORRUPT(mp, !S_ISDIR(VFS_I(rip)->i_mode))) {
|
2011-03-07 02:08:35 +03:00
|
|
|
xfs_warn(mp, "corrupted root inode %llu: not a directory",
|
2006-06-09 09:29:40 +04:00
|
|
|
(unsigned long long)rip->i_ino);
|
2005-04-17 02:20:36 +04:00
|
|
|
xfs_iunlock(rip, XFS_ILOCK_EXCL);
|
2014-06-25 08:58:08 +04:00
|
|
|
error = -EFSCORRUPTED;
|
2009-02-04 11:31:52 +03:00
|
|
|
goto out_rele_rip;
|
2005-04-17 02:20:36 +04:00
|
|
|
}
|
|
|
|
mp->m_rootip = rip; /* save it */
|
|
|
|
|
|
|
|
xfs_iunlock(rip, XFS_ILOCK_EXCL);
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Initialize realtime inode pointers in the mount structure
|
|
|
|
*/
|
2007-10-12 05:03:40 +04:00
|
|
|
error = xfs_rtmount_inodes(mp);
|
|
|
|
if (error) {
|
2005-04-17 02:20:36 +04:00
|
|
|
/*
|
|
|
|
* Free up the root inode.
|
|
|
|
*/
|
2011-03-07 02:08:35 +03:00
|
|
|
xfs_warn(mp, "failed to read RT inodes");
|
2009-02-04 11:31:52 +03:00
|
|
|
goto out_rele_rip;
|
2005-04-17 02:20:36 +04:00
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
2009-01-19 04:04:07 +03:00
|
|
|
* If this is a read-only mount defer the superblock updates until
|
|
|
|
* the next remount into writeable mode. Otherwise we would never
|
|
|
|
* perform the update e.g. for the root filesystem.
|
2005-04-17 02:20:36 +04:00
|
|
|
*/
|
2015-01-22 01:10:31 +03:00
|
|
|
if (mp->m_update_sb && !(mp->m_flags & XFS_MOUNT_RDONLY)) {
|
|
|
|
error = xfs_sync_sb(mp, false);
|
2008-04-10 06:21:18 +04:00
|
|
|
if (error) {
|
2011-03-07 02:08:35 +03:00
|
|
|
xfs_warn(mp, "failed to write sb changes");
|
2009-02-04 11:33:58 +03:00
|
|
|
goto out_rtunmount;
|
2008-04-10 06:21:18 +04:00
|
|
|
}
|
|
|
|
}
|
2005-04-17 02:20:36 +04:00
|
|
|
|
|
|
|
/*
|
|
|
|
* Initialise the XFS quota management subsystem for this mount
|
|
|
|
*/
|
2009-06-08 17:33:32 +04:00
|
|
|
if (XFS_IS_QUOTA_RUNNING(mp)) {
|
|
|
|
error = xfs_qm_newmount(mp, "amount, "aflags);
|
|
|
|
if (error)
|
|
|
|
goto out_rtunmount;
|
|
|
|
} else {
|
|
|
|
ASSERT(!XFS_IS_QUOTA_ON(mp));
|
|
|
|
|
|
|
|
/*
|
|
|
|
* If a file system had quotas running earlier, but decided to
|
|
|
|
* mount without -o uquota/pquota/gquota options, revoke the
|
|
|
|
* quotachecked license.
|
|
|
|
*/
|
|
|
|
if (mp->m_sb.sb_qflags & XFS_ALL_QUOTA_ACCT) {
|
2011-03-07 02:08:35 +03:00
|
|
|
xfs_notice(mp, "resetting quota flags");
|
2009-06-08 17:33:32 +04:00
|
|
|
error = xfs_mount_reset_sbqflags(mp);
|
|
|
|
if (error)
|
2014-07-15 01:41:25 +04:00
|
|
|
goto out_rtunmount;
|
2009-06-08 17:33:32 +04:00
|
|
|
}
|
|
|
|
}
|
2005-04-17 02:20:36 +04:00
|
|
|
|
|
|
|
/*
|
2015-08-19 02:58:36 +03:00
|
|
|
* Finish recovering the file system. This part needed to be delayed
|
|
|
|
* until after the root and real-time bitmap inodes were consistently
|
|
|
|
* read in.
|
2005-04-17 02:20:36 +04:00
|
|
|
*/
|
2008-08-13 10:49:32 +04:00
|
|
|
error = xfs_log_mount_finish(mp);
|
2005-04-17 02:20:36 +04:00
|
|
|
if (error) {
|
2011-03-07 02:08:35 +03:00
|
|
|
xfs_warn(mp, "log mount finish failed");
|
2009-02-04 11:33:58 +03:00
|
|
|
goto out_rtunmount;
|
2005-04-17 02:20:36 +04:00
|
|
|
}
|
|
|
|
|
xfs: quiesce the filesystem after recovery on readonly mount
Recently we've had a number of reports where log recovery on a v5
filesystem has reported corruptions that looked to be caused by
recovery being re-run over the top of an already-recovered
metadata. This has uncovered a bug in recovery (fixed elsewhere)
but the vector that caused this was largely unknown.
A kdump test started tripping over this problem - the system
would be crashed, the kdump kernel and environment would boot and
dump the kernel core image, and then the system would reboot. After
reboot, the root filesystem was triggering log recovery and
corruptions were being detected. The metadumps indicated the above
log recovery issue.
What is happening is that the kdump kernel and environment is
mounting the root device read-only to find the binaries needed to do
it's work. The result of this is that it is running log recovery.
However, because there were unlinked files and EFIs to be processed
by recovery, the completion of phase 1 of log recovery could not
mark the log clean. And because it's a read-only mount, the unmount
process does not write records to the log to mark it clean, either.
Hence on the next mount of the filesystem, log recovery was run
again across all the metadata that had already been recovered and
this is what triggered corruption warnings.
To avoid this problem, we need to ensure that a read-only mount
always updates the log when it completes the second phase of
recovery. We already handle this sort of issue with rw->ro remount
transitions, so the solution is as simple as quiescing the
filesystem at the appropriate time during the mount process. This
results in the log being marked clean so the mount behaviour
recorded in the logs on repeated RO mounts will change (i.e. log
recovery will no longer be run on every mount until a RW mount is
done). This is a user visible change in behaviour, but it is
harmless.
Signed-off-by: Dave Chinner <dchinner@redhat.com>
Reviewed-by: Eric Sandeen <sandeen@redhat.com>
Signed-off-by: Dave Chinner <david@fromorbit.com>
2016-09-26 01:21:44 +03:00
|
|
|
/*
|
|
|
|
* Now the log is fully replayed, we can transition to full read-only
|
|
|
|
* mode for read-only mounts. This will sync all the metadata and clean
|
|
|
|
* the log so that the recovery we just performed does not have to be
|
|
|
|
* replayed again on the next mount.
|
|
|
|
*
|
|
|
|
* We use the same quiesce mechanism as the rw->ro remount, as they are
|
|
|
|
* semantically identical operations.
|
|
|
|
*/
|
|
|
|
if ((mp->m_flags & (XFS_MOUNT_RDONLY|XFS_MOUNT_NORECOVERY)) ==
|
|
|
|
XFS_MOUNT_RDONLY) {
|
|
|
|
xfs_quiesce_attr(mp);
|
|
|
|
}
|
|
|
|
|
2005-04-17 02:20:36 +04:00
|
|
|
/*
|
|
|
|
* Complete the quota initialisation, post-log-replay component.
|
|
|
|
*/
|
2009-06-08 17:33:32 +04:00
|
|
|
if (quotamount) {
|
|
|
|
ASSERT(mp->m_qflags == 0);
|
|
|
|
mp->m_qflags = quotaflags;
|
|
|
|
|
|
|
|
xfs_qm_mount_quotas(mp);
|
|
|
|
}
|
|
|
|
|
2007-06-18 10:50:27 +04:00
|
|
|
/*
|
|
|
|
* Now we are mounted, reserve a small amount of unused space for
|
|
|
|
* privileged transactions. This is needed so that transaction
|
|
|
|
* space required for critical operations can dip into this pool
|
|
|
|
* when at ENOSPC. This is needed for operations like create with
|
|
|
|
* attr, unwritten extent conversion at ENOSPC, etc. Data allocations
|
|
|
|
* are not allowed to use this reserved space.
|
2010-03-04 04:46:25 +03:00
|
|
|
*
|
|
|
|
* This may drive us straight to ENOSPC on mount, but that implies
|
|
|
|
* we were already there on the last unmount. Warn if this occurs.
|
2007-06-18 10:50:27 +04:00
|
|
|
*/
|
2010-02-06 01:59:53 +03:00
|
|
|
if (!(mp->m_flags & XFS_MOUNT_RDONLY)) {
|
|
|
|
resblks = xfs_default_resblks(mp);
|
|
|
|
error = xfs_reserve_blocks(mp, &resblks, NULL);
|
|
|
|
if (error)
|
2011-03-07 02:08:35 +03:00
|
|
|
xfs_warn(mp,
|
|
|
|
"Unable to allocate reserve blocks. Continuing without reserve pool.");
|
2016-10-03 19:11:39 +03:00
|
|
|
|
|
|
|
/* Recover any CoW blocks that never got remapped. */
|
|
|
|
error = xfs_reflink_recover_cow(mp);
|
|
|
|
if (error) {
|
|
|
|
xfs_err(mp,
|
|
|
|
"Error %d recovering leftover CoW allocations.", error);
|
|
|
|
xfs_force_shutdown(mp, SHUTDOWN_CORRUPT_INCORE);
|
|
|
|
goto out_quota;
|
|
|
|
}
|
2016-10-03 19:11:44 +03:00
|
|
|
|
|
|
|
/* Reserve AG blocks for future btree expansion. */
|
|
|
|
error = xfs_fs_reserve_ag_blocks(mp);
|
|
|
|
if (error && error != -ENOSPC)
|
|
|
|
goto out_agresv;
|
2010-02-06 01:59:53 +03:00
|
|
|
}
|
2007-06-18 10:50:27 +04:00
|
|
|
|
2005-04-17 02:20:36 +04:00
|
|
|
return 0;
|
|
|
|
|
2016-10-03 19:11:44 +03:00
|
|
|
out_agresv:
|
|
|
|
xfs_fs_unreserve_ag_blocks(mp);
|
2016-10-03 19:11:39 +03:00
|
|
|
out_quota:
|
|
|
|
xfs_qm_unmount_quotas(mp);
|
2009-02-04 11:33:58 +03:00
|
|
|
out_rtunmount:
|
|
|
|
xfs_rtunmount_inodes(mp);
|
2009-02-04 11:31:52 +03:00
|
|
|
out_rele_rip:
|
2018-07-25 22:52:32 +03:00
|
|
|
xfs_irele(rip);
|
2017-08-11 00:20:29 +03:00
|
|
|
/* Clean out dquots that might be in memory after quotacheck. */
|
|
|
|
xfs_qm_unmount(mp);
|
2017-11-09 03:26:49 +03:00
|
|
|
/*
|
|
|
|
* Cancel all delayed reclaim work and reclaim the inodes directly.
|
|
|
|
* We have to do this /after/ rtunmount and qm_unmount because those
|
|
|
|
* two will have scheduled delayed reclaim for the rt/quota inodes.
|
|
|
|
*
|
|
|
|
* This is slightly different from the unmountfs call sequence
|
|
|
|
* because we could be tearing down a partially set up mount. In
|
|
|
|
* particular, if log_mount_finish fails we bail out without calling
|
|
|
|
* qm_unmount_quotas and therefore rely on qm_unmount to release the
|
|
|
|
* quota inodes.
|
|
|
|
*/
|
|
|
|
cancel_delayed_work_sync(&mp->m_reclaim_work);
|
|
|
|
xfs_reclaim_inodes(mp, SYNC_WAIT);
|
2019-04-12 17:41:16 +03:00
|
|
|
xfs_health_unmount(mp);
|
2009-02-04 11:31:52 +03:00
|
|
|
out_log_dealloc:
|
2016-05-18 04:11:27 +03:00
|
|
|
mp->m_flags |= XFS_MOUNT_UNMOUNTING;
|
2015-08-19 02:58:36 +03:00
|
|
|
xfs_log_mount_cancel(mp);
|
2012-04-23 09:59:06 +04:00
|
|
|
out_fail_wait:
|
|
|
|
if (mp->m_logdev_targp && mp->m_logdev_targp != mp->m_ddev_targp)
|
|
|
|
xfs_wait_buftarg(mp->m_logdev_targp);
|
|
|
|
xfs_wait_buftarg(mp->m_ddev_targp);
|
2009-02-04 11:31:52 +03:00
|
|
|
out_free_perag:
|
2008-08-13 10:50:47 +04:00
|
|
|
xfs_free_perag(mp);
|
2014-06-06 09:01:58 +04:00
|
|
|
out_free_dir:
|
|
|
|
xfs_da_unmount(mp);
|
2009-02-04 11:31:52 +03:00
|
|
|
out_remove_uuid:
|
2009-03-30 12:21:31 +04:00
|
|
|
xfs_uuid_unmount(mp);
|
2017-06-21 03:54:46 +03:00
|
|
|
out_remove_errortag:
|
|
|
|
xfs_errortag_del(mp);
|
2016-05-18 03:58:51 +03:00
|
|
|
out_remove_error_sysfs:
|
|
|
|
xfs_error_sysfs_del(mp);
|
2015-10-12 10:21:19 +03:00
|
|
|
out_del_stats:
|
|
|
|
xfs_sysfs_del(&mp->m_stats.xs_kobj);
|
2014-07-15 02:07:01 +04:00
|
|
|
out_remove_sysfs:
|
|
|
|
xfs_sysfs_del(&mp->m_kobj);
|
2009-02-04 11:31:52 +03:00
|
|
|
out:
|
2005-04-17 02:20:36 +04:00
|
|
|
return error;
|
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
* This flushes out the inodes,dquots and the superblock, unmounts the
|
|
|
|
* log and makes sure that incore structures are freed.
|
|
|
|
*/
|
2008-08-13 10:49:57 +04:00
|
|
|
void
|
|
|
|
xfs_unmountfs(
|
|
|
|
struct xfs_mount *mp)
|
2005-04-17 02:20:36 +04:00
|
|
|
{
|
2017-06-16 21:00:05 +03:00
|
|
|
uint64_t resblks;
|
2008-08-13 10:49:57 +04:00
|
|
|
int error;
|
2005-04-17 02:20:36 +04:00
|
|
|
|
2019-04-26 04:26:22 +03:00
|
|
|
xfs_stop_block_reaping(mp);
|
2016-10-03 19:11:44 +03:00
|
|
|
xfs_fs_unreserve_ag_blocks(mp);
|
2009-06-08 17:33:32 +04:00
|
|
|
xfs_qm_unmount_quotas(mp);
|
2009-02-04 11:33:58 +03:00
|
|
|
xfs_rtunmount_inodes(mp);
|
2018-07-25 22:52:32 +03:00
|
|
|
xfs_irele(mp->m_rootip);
|
2008-08-13 10:49:04 +04:00
|
|
|
|
2007-06-18 10:50:17 +04:00
|
|
|
/*
|
|
|
|
* We can potentially deadlock here if we have an inode cluster
|
2009-03-29 11:55:42 +04:00
|
|
|
* that has been freed has its buffer still pinned in memory because
|
2007-06-18 10:50:17 +04:00
|
|
|
* the transaction is still sitting in a iclog. The stale inodes
|
|
|
|
* on that buffer will have their flush locks held until the
|
|
|
|
* transaction hits the disk and the callbacks run. the inode
|
|
|
|
* flush takes the flush lock unconditionally and with nothing to
|
|
|
|
* push out the iclog we will never get that unlocked. hence we
|
|
|
|
* need to force the log first.
|
|
|
|
*/
|
2010-01-19 12:56:46 +03:00
|
|
|
xfs_log_force(mp, XFS_LOG_SYNC);
|
2010-02-06 04:39:36 +03:00
|
|
|
|
2017-02-08 01:06:57 +03:00
|
|
|
/*
|
|
|
|
* Wait for all busy extents to be freed, including completion of
|
|
|
|
* any discard operation.
|
|
|
|
*/
|
|
|
|
xfs_extent_busy_wait_all(mp);
|
2017-02-08 01:07:58 +03:00
|
|
|
flush_workqueue(xfs_discard_wq);
|
2017-02-08 01:06:57 +03:00
|
|
|
|
2016-05-18 04:11:27 +03:00
|
|
|
/*
|
|
|
|
* We now need to tell the world we are unmounting. This will allow
|
|
|
|
* us to detect that the filesystem is going away and we should error
|
|
|
|
* out anything that we have been retrying in the background. This will
|
|
|
|
* prevent neverending retries in AIL pushing from hanging the unmount.
|
|
|
|
*/
|
|
|
|
mp->m_flags |= XFS_MOUNT_UNMOUNTING;
|
|
|
|
|
2010-02-06 04:39:36 +03:00
|
|
|
/*
|
2012-04-23 09:58:34 +04:00
|
|
|
* Flush all pending changes from the AIL.
|
|
|
|
*/
|
|
|
|
xfs_ail_push_all_sync(mp->m_ail);
|
|
|
|
|
|
|
|
/*
|
|
|
|
* And reclaim all inodes. At this point there should be no dirty
|
2012-10-08 14:56:00 +04:00
|
|
|
* inodes and none should be pinned or locked, but use synchronous
|
|
|
|
* reclaim just to be sure. We can stop background inode reclaim
|
|
|
|
* here as well if it is still running.
|
2010-02-06 04:39:36 +03:00
|
|
|
*/
|
2012-10-08 14:56:00 +04:00
|
|
|
cancel_delayed_work_sync(&mp->m_reclaim_work);
|
2010-02-06 04:39:36 +03:00
|
|
|
xfs_reclaim_inodes(mp, SYNC_WAIT);
|
2019-04-12 17:41:16 +03:00
|
|
|
xfs_health_unmount(mp);
|
2005-04-17 02:20:36 +04:00
|
|
|
|
2009-06-08 17:33:32 +04:00
|
|
|
xfs_qm_unmount(mp);
|
2008-10-30 08:53:25 +03:00
|
|
|
|
2007-06-18 10:50:27 +04:00
|
|
|
/*
|
|
|
|
* Unreserve any blocks we have so that when we unmount we don't account
|
|
|
|
* the reserved free space as used. This is really only necessary for
|
|
|
|
* lazy superblock counting because it trusts the incore superblock
|
2009-03-29 11:55:42 +04:00
|
|
|
* counters to be absolutely correct on clean unmount.
|
2007-06-18 10:50:27 +04:00
|
|
|
*
|
|
|
|
* We don't bother correcting this elsewhere for lazy superblock
|
|
|
|
* counting because on mount of an unclean filesystem we reconstruct the
|
|
|
|
* correct counter value and this is irrelevant.
|
|
|
|
*
|
|
|
|
* For non-lazy counter filesystems, this doesn't matter at all because
|
|
|
|
* we only every apply deltas to the superblock and hence the incore
|
|
|
|
* value does not matter....
|
|
|
|
*/
|
|
|
|
resblks = 0;
|
2008-04-10 06:20:03 +04:00
|
|
|
error = xfs_reserve_blocks(mp, &resblks, NULL);
|
|
|
|
if (error)
|
2011-03-07 02:08:35 +03:00
|
|
|
xfs_warn(mp, "Unable to free reserved block pool. "
|
2008-04-10 06:20:03 +04:00
|
|
|
"Freespace may not be correct on next mount.");
|
|
|
|
|
2011-06-30 02:10:14 +04:00
|
|
|
error = xfs_log_sbcount(mp);
|
2008-04-10 06:21:18 +04:00
|
|
|
if (error)
|
2011-03-07 02:08:35 +03:00
|
|
|
xfs_warn(mp, "Unable to update superblock counters. "
|
2008-04-10 06:21:18 +04:00
|
|
|
"Freespace may not be correct on next mount.");
|
2011-09-14 18:08:26 +04:00
|
|
|
|
2015-10-12 10:21:19 +03:00
|
|
|
|
2009-03-16 10:19:29 +03:00
|
|
|
xfs_log_unmount(mp);
|
2014-06-06 09:01:58 +04:00
|
|
|
xfs_da_unmount(mp);
|
2009-03-30 12:21:31 +04:00
|
|
|
xfs_uuid_unmount(mp);
|
2005-04-17 02:20:36 +04:00
|
|
|
|
2008-08-13 10:17:37 +04:00
|
|
|
#if defined(DEBUG)
|
2017-06-21 03:54:46 +03:00
|
|
|
xfs_errortag_clearall(mp);
|
2005-04-17 02:20:36 +04:00
|
|
|
#endif
|
2008-08-13 10:50:47 +04:00
|
|
|
xfs_free_perag(mp);
|
2014-07-15 02:07:01 +04:00
|
|
|
|
2017-06-21 03:54:46 +03:00
|
|
|
xfs_errortag_del(mp);
|
2016-05-18 03:58:51 +03:00
|
|
|
xfs_error_sysfs_del(mp);
|
2015-10-12 10:21:19 +03:00
|
|
|
xfs_sysfs_del(&mp->m_stats.xs_kobj);
|
2014-07-15 02:07:01 +04:00
|
|
|
xfs_sysfs_del(&mp->m_kobj);
|
2005-04-17 02:20:36 +04:00
|
|
|
}
|
|
|
|
|
2014-11-28 06:02:59 +03:00
|
|
|
/*
|
|
|
|
* Determine whether modifications can proceed. The caller specifies the minimum
|
|
|
|
* freeze level for which modifications should not be allowed. This allows
|
|
|
|
* certain operations to proceed while the freeze sequence is in progress, if
|
|
|
|
* necessary.
|
|
|
|
*/
|
|
|
|
bool
|
|
|
|
xfs_fs_writable(
|
|
|
|
struct xfs_mount *mp,
|
|
|
|
int level)
|
[XFS] Lazy Superblock Counters
When we have a couple of hundred transactions on the fly at once, they all
typically modify the on disk superblock in some way.
create/unclink/mkdir/rmdir modify inode counts, allocation/freeing modify
free block counts.
When these counts are modified in a transaction, they must eventually lock
the superblock buffer and apply the mods. The buffer then remains locked
until the transaction is committed into the incore log buffer. The result
of this is that with enough transactions on the fly the incore superblock
buffer becomes a bottleneck.
The result of contention on the incore superblock buffer is that
transaction rates fall - the more pressure that is put on the superblock
buffer, the slower things go.
The key to removing the contention is to not require the superblock fields
in question to be locked. We do that by not marking the superblock dirty
in the transaction. IOWs, we modify the incore superblock but do not
modify the cached superblock buffer. In short, we do not log superblock
modifications to critical fields in the superblock on every transaction.
In fact we only do it just before we write the superblock to disk every
sync period or just before unmount.
This creates an interesting problem - if we don't log or write out the
fields in every transaction, then how do the values get recovered after a
crash? the answer is simple - we keep enough duplicate, logged information
in other structures that we can reconstruct the correct count after log
recovery has been performed.
It is the AGF and AGI structures that contain the duplicate information;
after recovery, we walk every AGI and AGF and sum their individual
counters to get the correct value, and we do a transaction into the log to
correct them. An optimisation of this is that if we have a clean unmount
record, we know the value in the superblock is correct, so we can avoid
the summation walk under normal conditions and so mount/recovery times do
not change under normal operation.
One wrinkle that was discovered during development was that the blocks
used in the freespace btrees are never accounted for in the AGF counters.
This was once a valid optimisation to make; when the filesystem is full,
the free space btrees are empty and consume no space. Hence when it
matters, the "accounting" is correct. But that means the when we do the
AGF summations, we would not have a correct count and xfs_check would
complain. Hence a new counter was added to track the number of blocks used
by the free space btrees. This is an *on-disk format change*.
As a result of this, lazy superblock counters are a mkfs option and at the
moment on linux there is no way to convert an old filesystem. This is
possible - xfs_db can be used to twiddle the right bits and then
xfs_repair will do the format conversion for you. Similarly, you can
convert backwards as well. At some point we'll add functionality to
xfs_admin to do the bit twiddling easily....
SGI-PV: 964999
SGI-Modid: xfs-linux-melb:xfs-kern:28652a
Signed-off-by: David Chinner <dgc@sgi.com>
Signed-off-by: Christoph Hellwig <hch@infradead.org>
Signed-off-by: Tim Shimmin <tes@sgi.com>
2007-05-24 09:26:31 +04:00
|
|
|
{
|
2014-11-28 06:02:59 +03:00
|
|
|
ASSERT(level > SB_UNFROZEN);
|
|
|
|
if ((mp->m_super->s_writers.frozen >= level) ||
|
|
|
|
XFS_FORCED_SHUTDOWN(mp) || (mp->m_flags & XFS_MOUNT_RDONLY))
|
|
|
|
return false;
|
|
|
|
|
|
|
|
return true;
|
[XFS] Lazy Superblock Counters
When we have a couple of hundred transactions on the fly at once, they all
typically modify the on disk superblock in some way.
create/unclink/mkdir/rmdir modify inode counts, allocation/freeing modify
free block counts.
When these counts are modified in a transaction, they must eventually lock
the superblock buffer and apply the mods. The buffer then remains locked
until the transaction is committed into the incore log buffer. The result
of this is that with enough transactions on the fly the incore superblock
buffer becomes a bottleneck.
The result of contention on the incore superblock buffer is that
transaction rates fall - the more pressure that is put on the superblock
buffer, the slower things go.
The key to removing the contention is to not require the superblock fields
in question to be locked. We do that by not marking the superblock dirty
in the transaction. IOWs, we modify the incore superblock but do not
modify the cached superblock buffer. In short, we do not log superblock
modifications to critical fields in the superblock on every transaction.
In fact we only do it just before we write the superblock to disk every
sync period or just before unmount.
This creates an interesting problem - if we don't log or write out the
fields in every transaction, then how do the values get recovered after a
crash? the answer is simple - we keep enough duplicate, logged information
in other structures that we can reconstruct the correct count after log
recovery has been performed.
It is the AGF and AGI structures that contain the duplicate information;
after recovery, we walk every AGI and AGF and sum their individual
counters to get the correct value, and we do a transaction into the log to
correct them. An optimisation of this is that if we have a clean unmount
record, we know the value in the superblock is correct, so we can avoid
the summation walk under normal conditions and so mount/recovery times do
not change under normal operation.
One wrinkle that was discovered during development was that the blocks
used in the freespace btrees are never accounted for in the AGF counters.
This was once a valid optimisation to make; when the filesystem is full,
the free space btrees are empty and consume no space. Hence when it
matters, the "accounting" is correct. But that means the when we do the
AGF summations, we would not have a correct count and xfs_check would
complain. Hence a new counter was added to track the number of blocks used
by the free space btrees. This is an *on-disk format change*.
As a result of this, lazy superblock counters are a mkfs option and at the
moment on linux there is no way to convert an old filesystem. This is
possible - xfs_db can be used to twiddle the right bits and then
xfs_repair will do the format conversion for you. Similarly, you can
convert backwards as well. At some point we'll add functionality to
xfs_admin to do the bit twiddling easily....
SGI-PV: 964999
SGI-Modid: xfs-linux-melb:xfs-kern:28652a
Signed-off-by: David Chinner <dgc@sgi.com>
Signed-off-by: Christoph Hellwig <hch@infradead.org>
Signed-off-by: Tim Shimmin <tes@sgi.com>
2007-05-24 09:26:31 +04:00
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
2011-07-11 18:51:44 +04:00
|
|
|
* xfs_log_sbcount
|
|
|
|
*
|
2011-06-30 02:10:14 +04:00
|
|
|
* Sync the superblock counters to disk.
|
2011-07-11 18:51:44 +04:00
|
|
|
*
|
2014-11-28 06:02:59 +03:00
|
|
|
* Note this code can be called during the process of freezing, so we use the
|
|
|
|
* transaction allocator that does not block when the transaction subsystem is
|
|
|
|
* in its frozen state.
|
[XFS] Lazy Superblock Counters
When we have a couple of hundred transactions on the fly at once, they all
typically modify the on disk superblock in some way.
create/unclink/mkdir/rmdir modify inode counts, allocation/freeing modify
free block counts.
When these counts are modified in a transaction, they must eventually lock
the superblock buffer and apply the mods. The buffer then remains locked
until the transaction is committed into the incore log buffer. The result
of this is that with enough transactions on the fly the incore superblock
buffer becomes a bottleneck.
The result of contention on the incore superblock buffer is that
transaction rates fall - the more pressure that is put on the superblock
buffer, the slower things go.
The key to removing the contention is to not require the superblock fields
in question to be locked. We do that by not marking the superblock dirty
in the transaction. IOWs, we modify the incore superblock but do not
modify the cached superblock buffer. In short, we do not log superblock
modifications to critical fields in the superblock on every transaction.
In fact we only do it just before we write the superblock to disk every
sync period or just before unmount.
This creates an interesting problem - if we don't log or write out the
fields in every transaction, then how do the values get recovered after a
crash? the answer is simple - we keep enough duplicate, logged information
in other structures that we can reconstruct the correct count after log
recovery has been performed.
It is the AGF and AGI structures that contain the duplicate information;
after recovery, we walk every AGI and AGF and sum their individual
counters to get the correct value, and we do a transaction into the log to
correct them. An optimisation of this is that if we have a clean unmount
record, we know the value in the superblock is correct, so we can avoid
the summation walk under normal conditions and so mount/recovery times do
not change under normal operation.
One wrinkle that was discovered during development was that the blocks
used in the freespace btrees are never accounted for in the AGF counters.
This was once a valid optimisation to make; when the filesystem is full,
the free space btrees are empty and consume no space. Hence when it
matters, the "accounting" is correct. But that means the when we do the
AGF summations, we would not have a correct count and xfs_check would
complain. Hence a new counter was added to track the number of blocks used
by the free space btrees. This is an *on-disk format change*.
As a result of this, lazy superblock counters are a mkfs option and at the
moment on linux there is no way to convert an old filesystem. This is
possible - xfs_db can be used to twiddle the right bits and then
xfs_repair will do the format conversion for you. Similarly, you can
convert backwards as well. At some point we'll add functionality to
xfs_admin to do the bit twiddling easily....
SGI-PV: 964999
SGI-Modid: xfs-linux-melb:xfs-kern:28652a
Signed-off-by: David Chinner <dgc@sgi.com>
Signed-off-by: Christoph Hellwig <hch@infradead.org>
Signed-off-by: Tim Shimmin <tes@sgi.com>
2007-05-24 09:26:31 +04:00
|
|
|
*/
|
|
|
|
int
|
2011-06-30 02:10:14 +04:00
|
|
|
xfs_log_sbcount(xfs_mount_t *mp)
|
[XFS] Lazy Superblock Counters
When we have a couple of hundred transactions on the fly at once, they all
typically modify the on disk superblock in some way.
create/unclink/mkdir/rmdir modify inode counts, allocation/freeing modify
free block counts.
When these counts are modified in a transaction, they must eventually lock
the superblock buffer and apply the mods. The buffer then remains locked
until the transaction is committed into the incore log buffer. The result
of this is that with enough transactions on the fly the incore superblock
buffer becomes a bottleneck.
The result of contention on the incore superblock buffer is that
transaction rates fall - the more pressure that is put on the superblock
buffer, the slower things go.
The key to removing the contention is to not require the superblock fields
in question to be locked. We do that by not marking the superblock dirty
in the transaction. IOWs, we modify the incore superblock but do not
modify the cached superblock buffer. In short, we do not log superblock
modifications to critical fields in the superblock on every transaction.
In fact we only do it just before we write the superblock to disk every
sync period or just before unmount.
This creates an interesting problem - if we don't log or write out the
fields in every transaction, then how do the values get recovered after a
crash? the answer is simple - we keep enough duplicate, logged information
in other structures that we can reconstruct the correct count after log
recovery has been performed.
It is the AGF and AGI structures that contain the duplicate information;
after recovery, we walk every AGI and AGF and sum their individual
counters to get the correct value, and we do a transaction into the log to
correct them. An optimisation of this is that if we have a clean unmount
record, we know the value in the superblock is correct, so we can avoid
the summation walk under normal conditions and so mount/recovery times do
not change under normal operation.
One wrinkle that was discovered during development was that the blocks
used in the freespace btrees are never accounted for in the AGF counters.
This was once a valid optimisation to make; when the filesystem is full,
the free space btrees are empty and consume no space. Hence when it
matters, the "accounting" is correct. But that means the when we do the
AGF summations, we would not have a correct count and xfs_check would
complain. Hence a new counter was added to track the number of blocks used
by the free space btrees. This is an *on-disk format change*.
As a result of this, lazy superblock counters are a mkfs option and at the
moment on linux there is no way to convert an old filesystem. This is
possible - xfs_db can be used to twiddle the right bits and then
xfs_repair will do the format conversion for you. Similarly, you can
convert backwards as well. At some point we'll add functionality to
xfs_admin to do the bit twiddling easily....
SGI-PV: 964999
SGI-Modid: xfs-linux-melb:xfs-kern:28652a
Signed-off-by: David Chinner <dgc@sgi.com>
Signed-off-by: Christoph Hellwig <hch@infradead.org>
Signed-off-by: Tim Shimmin <tes@sgi.com>
2007-05-24 09:26:31 +04:00
|
|
|
{
|
2014-11-28 06:02:59 +03:00
|
|
|
/* allow this to proceed during the freeze sequence... */
|
|
|
|
if (!xfs_fs_writable(mp, SB_FREEZE_COMPLETE))
|
[XFS] Lazy Superblock Counters
When we have a couple of hundred transactions on the fly at once, they all
typically modify the on disk superblock in some way.
create/unclink/mkdir/rmdir modify inode counts, allocation/freeing modify
free block counts.
When these counts are modified in a transaction, they must eventually lock
the superblock buffer and apply the mods. The buffer then remains locked
until the transaction is committed into the incore log buffer. The result
of this is that with enough transactions on the fly the incore superblock
buffer becomes a bottleneck.
The result of contention on the incore superblock buffer is that
transaction rates fall - the more pressure that is put on the superblock
buffer, the slower things go.
The key to removing the contention is to not require the superblock fields
in question to be locked. We do that by not marking the superblock dirty
in the transaction. IOWs, we modify the incore superblock but do not
modify the cached superblock buffer. In short, we do not log superblock
modifications to critical fields in the superblock on every transaction.
In fact we only do it just before we write the superblock to disk every
sync period or just before unmount.
This creates an interesting problem - if we don't log or write out the
fields in every transaction, then how do the values get recovered after a
crash? the answer is simple - we keep enough duplicate, logged information
in other structures that we can reconstruct the correct count after log
recovery has been performed.
It is the AGF and AGI structures that contain the duplicate information;
after recovery, we walk every AGI and AGF and sum their individual
counters to get the correct value, and we do a transaction into the log to
correct them. An optimisation of this is that if we have a clean unmount
record, we know the value in the superblock is correct, so we can avoid
the summation walk under normal conditions and so mount/recovery times do
not change under normal operation.
One wrinkle that was discovered during development was that the blocks
used in the freespace btrees are never accounted for in the AGF counters.
This was once a valid optimisation to make; when the filesystem is full,
the free space btrees are empty and consume no space. Hence when it
matters, the "accounting" is correct. But that means the when we do the
AGF summations, we would not have a correct count and xfs_check would
complain. Hence a new counter was added to track the number of blocks used
by the free space btrees. This is an *on-disk format change*.
As a result of this, lazy superblock counters are a mkfs option and at the
moment on linux there is no way to convert an old filesystem. This is
possible - xfs_db can be used to twiddle the right bits and then
xfs_repair will do the format conversion for you. Similarly, you can
convert backwards as well. At some point we'll add functionality to
xfs_admin to do the bit twiddling easily....
SGI-PV: 964999
SGI-Modid: xfs-linux-melb:xfs-kern:28652a
Signed-off-by: David Chinner <dgc@sgi.com>
Signed-off-by: Christoph Hellwig <hch@infradead.org>
Signed-off-by: Tim Shimmin <tes@sgi.com>
2007-05-24 09:26:31 +04:00
|
|
|
return 0;
|
|
|
|
|
|
|
|
/*
|
|
|
|
* we don't need to do this if we are updating the superblock
|
|
|
|
* counters on every modification.
|
|
|
|
*/
|
|
|
|
if (!xfs_sb_version_haslazysbcount(&mp->m_sb))
|
|
|
|
return 0;
|
|
|
|
|
2015-01-22 01:10:31 +03:00
|
|
|
return xfs_sync_sb(mp, true);
|
[XFS] Lazy Superblock Counters
When we have a couple of hundred transactions on the fly at once, they all
typically modify the on disk superblock in some way.
create/unclink/mkdir/rmdir modify inode counts, allocation/freeing modify
free block counts.
When these counts are modified in a transaction, they must eventually lock
the superblock buffer and apply the mods. The buffer then remains locked
until the transaction is committed into the incore log buffer. The result
of this is that with enough transactions on the fly the incore superblock
buffer becomes a bottleneck.
The result of contention on the incore superblock buffer is that
transaction rates fall - the more pressure that is put on the superblock
buffer, the slower things go.
The key to removing the contention is to not require the superblock fields
in question to be locked. We do that by not marking the superblock dirty
in the transaction. IOWs, we modify the incore superblock but do not
modify the cached superblock buffer. In short, we do not log superblock
modifications to critical fields in the superblock on every transaction.
In fact we only do it just before we write the superblock to disk every
sync period or just before unmount.
This creates an interesting problem - if we don't log or write out the
fields in every transaction, then how do the values get recovered after a
crash? the answer is simple - we keep enough duplicate, logged information
in other structures that we can reconstruct the correct count after log
recovery has been performed.
It is the AGF and AGI structures that contain the duplicate information;
after recovery, we walk every AGI and AGF and sum their individual
counters to get the correct value, and we do a transaction into the log to
correct them. An optimisation of this is that if we have a clean unmount
record, we know the value in the superblock is correct, so we can avoid
the summation walk under normal conditions and so mount/recovery times do
not change under normal operation.
One wrinkle that was discovered during development was that the blocks
used in the freespace btrees are never accounted for in the AGF counters.
This was once a valid optimisation to make; when the filesystem is full,
the free space btrees are empty and consume no space. Hence when it
matters, the "accounting" is correct. But that means the when we do the
AGF summations, we would not have a correct count and xfs_check would
complain. Hence a new counter was added to track the number of blocks used
by the free space btrees. This is an *on-disk format change*.
As a result of this, lazy superblock counters are a mkfs option and at the
moment on linux there is no way to convert an old filesystem. This is
possible - xfs_db can be used to twiddle the right bits and then
xfs_repair will do the format conversion for you. Similarly, you can
convert backwards as well. At some point we'll add functionality to
xfs_admin to do the bit twiddling easily....
SGI-PV: 964999
SGI-Modid: xfs-linux-melb:xfs-kern:28652a
Signed-off-by: David Chinner <dgc@sgi.com>
Signed-off-by: Christoph Hellwig <hch@infradead.org>
Signed-off-by: Tim Shimmin <tes@sgi.com>
2007-05-24 09:26:31 +04:00
|
|
|
}
|
|
|
|
|
2015-05-29 00:39:34 +03:00
|
|
|
/*
|
|
|
|
* Deltas for the inode count are +/-64, hence we use a large batch size
|
|
|
|
* of 128 so we don't need to take the counter lock on every update.
|
|
|
|
*/
|
|
|
|
#define XFS_ICOUNT_BATCH 128
|
2015-02-23 13:19:28 +03:00
|
|
|
int
|
|
|
|
xfs_mod_icount(
|
|
|
|
struct xfs_mount *mp,
|
|
|
|
int64_t delta)
|
|
|
|
{
|
2017-06-20 21:01:20 +03:00
|
|
|
percpu_counter_add_batch(&mp->m_icount, delta, XFS_ICOUNT_BATCH);
|
2015-05-29 00:39:34 +03:00
|
|
|
if (__percpu_counter_compare(&mp->m_icount, 0, XFS_ICOUNT_BATCH) < 0) {
|
2015-02-23 13:19:28 +03:00
|
|
|
ASSERT(0);
|
|
|
|
percpu_counter_add(&mp->m_icount, -delta);
|
|
|
|
return -EINVAL;
|
|
|
|
}
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
2015-02-23 13:19:53 +03:00
|
|
|
int
|
|
|
|
xfs_mod_ifree(
|
|
|
|
struct xfs_mount *mp,
|
|
|
|
int64_t delta)
|
|
|
|
{
|
|
|
|
percpu_counter_add(&mp->m_ifree, delta);
|
|
|
|
if (percpu_counter_compare(&mp->m_ifree, 0) < 0) {
|
|
|
|
ASSERT(0);
|
|
|
|
percpu_counter_add(&mp->m_ifree, -delta);
|
|
|
|
return -EINVAL;
|
|
|
|
}
|
|
|
|
return 0;
|
|
|
|
}
|
2015-02-23 13:22:03 +03:00
|
|
|
|
2015-05-29 00:39:34 +03:00
|
|
|
/*
|
|
|
|
* Deltas for the block count can vary from 1 to very large, but lock contention
|
|
|
|
* only occurs on frequent small block count updates such as in the delayed
|
|
|
|
* allocation path for buffered writes (page a time updates). Hence we set
|
|
|
|
* a large batch count (1024) to minimise global counter updates except when
|
|
|
|
* we get near to ENOSPC and we have to be very accurate with our updates.
|
|
|
|
*/
|
|
|
|
#define XFS_FDBLOCKS_BATCH 1024
|
2015-02-23 13:22:03 +03:00
|
|
|
int
|
|
|
|
xfs_mod_fdblocks(
|
|
|
|
struct xfs_mount *mp,
|
|
|
|
int64_t delta,
|
|
|
|
bool rsvd)
|
|
|
|
{
|
|
|
|
int64_t lcounter;
|
|
|
|
long long res_used;
|
|
|
|
s32 batch;
|
|
|
|
|
|
|
|
if (delta > 0) {
|
|
|
|
/*
|
|
|
|
* If the reserve pool is depleted, put blocks back into it
|
|
|
|
* first. Most of the time the pool is full.
|
|
|
|
*/
|
|
|
|
if (likely(mp->m_resblks == mp->m_resblks_avail)) {
|
|
|
|
percpu_counter_add(&mp->m_fdblocks, delta);
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
spin_lock(&mp->m_sb_lock);
|
|
|
|
res_used = (long long)(mp->m_resblks - mp->m_resblks_avail);
|
|
|
|
|
|
|
|
if (res_used > delta) {
|
|
|
|
mp->m_resblks_avail += delta;
|
|
|
|
} else {
|
|
|
|
delta -= res_used;
|
|
|
|
mp->m_resblks_avail = mp->m_resblks;
|
|
|
|
percpu_counter_add(&mp->m_fdblocks, delta);
|
|
|
|
}
|
|
|
|
spin_unlock(&mp->m_sb_lock);
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Taking blocks away, need to be more accurate the closer we
|
|
|
|
* are to zero.
|
|
|
|
*
|
|
|
|
* If the counter has a value of less than 2 * max batch size,
|
|
|
|
* then make everything serialise as we are real close to
|
|
|
|
* ENOSPC.
|
|
|
|
*/
|
2015-05-29 00:39:34 +03:00
|
|
|
if (__percpu_counter_compare(&mp->m_fdblocks, 2 * XFS_FDBLOCKS_BATCH,
|
|
|
|
XFS_FDBLOCKS_BATCH) < 0)
|
2015-02-23 13:22:03 +03:00
|
|
|
batch = 1;
|
|
|
|
else
|
2015-05-29 00:39:34 +03:00
|
|
|
batch = XFS_FDBLOCKS_BATCH;
|
2015-02-23 13:22:03 +03:00
|
|
|
|
2017-06-20 21:01:20 +03:00
|
|
|
percpu_counter_add_batch(&mp->m_fdblocks, delta, batch);
|
2016-08-03 04:38:24 +03:00
|
|
|
if (__percpu_counter_compare(&mp->m_fdblocks, mp->m_alloc_set_aside,
|
2015-05-29 00:39:34 +03:00
|
|
|
XFS_FDBLOCKS_BATCH) >= 0) {
|
2015-02-23 13:22:03 +03:00
|
|
|
/* we had space! */
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
* lock up the sb for dipping into reserves before releasing the space
|
|
|
|
* that took us to ENOSPC.
|
|
|
|
*/
|
|
|
|
spin_lock(&mp->m_sb_lock);
|
|
|
|
percpu_counter_add(&mp->m_fdblocks, -delta);
|
|
|
|
if (!rsvd)
|
|
|
|
goto fdblocks_enospc;
|
|
|
|
|
|
|
|
lcounter = (long long)mp->m_resblks_avail + delta;
|
|
|
|
if (lcounter >= 0) {
|
|
|
|
mp->m_resblks_avail = lcounter;
|
|
|
|
spin_unlock(&mp->m_sb_lock);
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
printk_once(KERN_WARNING
|
|
|
|
"Filesystem \"%s\": reserve blocks depleted! "
|
|
|
|
"Consider increasing reserve pool size.",
|
2019-11-05 00:58:40 +03:00
|
|
|
mp->m_super->s_id);
|
2015-02-23 13:22:03 +03:00
|
|
|
fdblocks_enospc:
|
|
|
|
spin_unlock(&mp->m_sb_lock);
|
|
|
|
return -ENOSPC;
|
|
|
|
}
|
|
|
|
|
2015-02-23 13:22:54 +03:00
|
|
|
int
|
|
|
|
xfs_mod_frextents(
|
|
|
|
struct xfs_mount *mp,
|
|
|
|
int64_t delta)
|
|
|
|
{
|
|
|
|
int64_t lcounter;
|
|
|
|
int ret = 0;
|
|
|
|
|
|
|
|
spin_lock(&mp->m_sb_lock);
|
|
|
|
lcounter = mp->m_sb.sb_frextents + delta;
|
|
|
|
if (lcounter < 0)
|
|
|
|
ret = -ENOSPC;
|
|
|
|
else
|
|
|
|
mp->m_sb.sb_frextents = lcounter;
|
|
|
|
spin_unlock(&mp->m_sb_lock);
|
|
|
|
return ret;
|
|
|
|
}
|
|
|
|
|
2005-04-17 02:20:36 +04:00
|
|
|
/*
|
|
|
|
* xfs_getsb() is called to obtain the buffer for the superblock.
|
|
|
|
* The buffer is returned locked and read in from disk.
|
|
|
|
* The buffer should be released with a call to xfs_brelse().
|
|
|
|
*/
|
2011-07-08 16:36:19 +04:00
|
|
|
struct xfs_buf *
|
2005-04-17 02:20:36 +04:00
|
|
|
xfs_getsb(
|
2019-06-12 18:59:58 +03:00
|
|
|
struct xfs_mount *mp)
|
2005-04-17 02:20:36 +04:00
|
|
|
{
|
2011-07-08 16:36:19 +04:00
|
|
|
struct xfs_buf *bp = mp->m_sb_bp;
|
2005-04-17 02:20:36 +04:00
|
|
|
|
2019-06-12 18:59:58 +03:00
|
|
|
xfs_buf_lock(bp);
|
2011-07-23 03:40:04 +04:00
|
|
|
xfs_buf_hold(bp);
|
2016-02-10 07:01:11 +03:00
|
|
|
ASSERT(bp->b_flags & XBF_DONE);
|
2006-01-15 04:37:08 +03:00
|
|
|
return bp;
|
2005-04-17 02:20:36 +04:00
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Used to free the superblock along various error paths.
|
|
|
|
*/
|
|
|
|
void
|
|
|
|
xfs_freesb(
|
2010-09-22 04:47:20 +04:00
|
|
|
struct xfs_mount *mp)
|
2005-04-17 02:20:36 +04:00
|
|
|
{
|
2010-09-22 04:47:20 +04:00
|
|
|
struct xfs_buf *bp = mp->m_sb_bp;
|
2005-04-17 02:20:36 +04:00
|
|
|
|
2010-09-22 04:47:20 +04:00
|
|
|
xfs_buf_lock(bp);
|
2005-04-17 02:20:36 +04:00
|
|
|
mp->m_sb_bp = NULL;
|
2010-09-22 04:47:20 +04:00
|
|
|
xfs_buf_relse(bp);
|
2005-04-17 02:20:36 +04:00
|
|
|
}
|
|
|
|
|
2010-02-15 12:44:46 +03:00
|
|
|
/*
|
|
|
|
* If the underlying (data/log/rt) device is readonly, there are some
|
|
|
|
* operations that cannot proceed.
|
|
|
|
*/
|
|
|
|
int
|
|
|
|
xfs_dev_is_read_only(
|
|
|
|
struct xfs_mount *mp,
|
|
|
|
char *message)
|
|
|
|
{
|
|
|
|
if (xfs_readonly_buftarg(mp->m_ddev_targp) ||
|
|
|
|
xfs_readonly_buftarg(mp->m_logdev_targp) ||
|
|
|
|
(mp->m_rtdev_targp && xfs_readonly_buftarg(mp->m_rtdev_targp))) {
|
2011-03-07 02:08:35 +03:00
|
|
|
xfs_notice(mp, "%s required on read-only device.", message);
|
|
|
|
xfs_notice(mp, "write access unavailable, cannot proceed.");
|
2014-06-25 08:58:08 +04:00
|
|
|
return -EROFS;
|
2010-02-15 12:44:46 +03:00
|
|
|
}
|
|
|
|
return 0;
|
|
|
|
}
|
2018-07-20 19:28:40 +03:00
|
|
|
|
|
|
|
/* Force the summary counters to be recalculated at next mount. */
|
|
|
|
void
|
|
|
|
xfs_force_summary_recalc(
|
|
|
|
struct xfs_mount *mp)
|
|
|
|
{
|
|
|
|
if (!xfs_sb_version_haslazysbcount(&mp->m_sb))
|
|
|
|
return;
|
|
|
|
|
2019-04-12 17:41:15 +03:00
|
|
|
xfs_fs_mark_sick(mp, XFS_SICK_FS_COUNTERS);
|
2018-07-20 19:28:40 +03:00
|
|
|
}
|
2019-04-26 04:26:22 +03:00
|
|
|
|
|
|
|
/*
|
|
|
|
* Update the in-core delayed block counter.
|
|
|
|
*
|
|
|
|
* We prefer to update the counter without having to take a spinlock for every
|
|
|
|
* counter update (i.e. batching). Each change to delayed allocation
|
|
|
|
* reservations can change can easily exceed the default percpu counter
|
|
|
|
* batching, so we use a larger batch factor here.
|
|
|
|
*
|
|
|
|
* Note that we don't currently have any callers requiring fast summation
|
|
|
|
* (e.g. percpu_counter_read) so we can use a big batch value here.
|
|
|
|
*/
|
|
|
|
#define XFS_DELALLOC_BATCH (4096)
|
|
|
|
void
|
|
|
|
xfs_mod_delalloc(
|
|
|
|
struct xfs_mount *mp,
|
|
|
|
int64_t delta)
|
|
|
|
{
|
|
|
|
percpu_counter_add_batch(&mp->m_delalloc_blks, delta,
|
|
|
|
XFS_DELALLOC_BATCH);
|
|
|
|
}
|