2018-06-06 05:42:14 +03:00
// SPDX-License-Identifier: GPL-2.0
2005-04-17 02:20:36 +04:00
/*
2006-06-09 08:48:12 +04:00
* Copyright ( c ) 2000 - 2006 Silicon Graphics , Inc .
2018-07-12 08:26:06 +03:00
* Copyright ( c ) 2016 - 2018 Christoph Hellwig .
2005-11-02 06:58:39 +03:00
* All Rights Reserved .
2005-04-17 02:20:36 +04:00
*/
# include "xfs.h"
# 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-04-17 02:20:36 +04:00
# include "xfs_mount.h"
# include "xfs_inode.h"
2005-11-02 06:38:42 +03:00
# include "xfs_btree.h"
2013-10-23 03:51:50 +04:00
# include "xfs_bmap_btree.h"
2005-04-17 02:20:36 +04:00
# include "xfs_bmap.h"
2013-08-12 14:49:42 +04:00
# include "xfs_bmap_util.h"
2017-10-31 22:04:49 +03:00
# include "xfs_errortag.h"
2005-04-17 02:20:36 +04:00
# include "xfs_error.h"
2013-10-23 03:51:50 +04:00
# include "xfs_trans.h"
2005-04-17 02:20:36 +04:00
# include "xfs_trans_space.h"
2017-11-01 18:36:47 +03:00
# include "xfs_inode_item.h"
2005-04-17 02:20:36 +04:00
# include "xfs_iomap.h"
2009-12-15 02:14:59 +03:00
# include "xfs_trace.h"
2013-10-23 03:51:50 +04:00
# include "xfs_quota.h"
2013-03-18 18:51:47 +04:00
# include "xfs_dquot_item.h"
# include "xfs_dquot.h"
2016-10-03 19:11:33 +03:00
# include "xfs_reflink.h"
2005-04-17 02:20:36 +04:00
# define XFS_WRITEIO_ALIGN(mp,off) (((off) >> mp->m_writeio_log) \
< < mp - > m_writeio_log )
2019-02-18 20:38:46 +03:00
static int
xfs_alert_fsblock_zero (
xfs_inode_t * ip ,
xfs_bmbt_irec_t * imap )
{
xfs_alert_tag ( ip - > i_mount , XFS_PTAG_FSBLOCK_ZERO ,
" Access to block zero in inode %llu "
" start_block: %llx start_off: %llx "
" blkcnt: %llx extent-state: %x " ,
( unsigned long long ) ip - > i_ino ,
( unsigned long long ) imap - > br_startblock ,
( unsigned long long ) imap - > br_startoff ,
( unsigned long long ) imap - > br_blockcount ,
imap - > br_state ) ;
return - EFSCORRUPTED ;
}
int
2016-09-19 04:09:12 +03:00
xfs_bmbt_to_iomap (
struct xfs_inode * ip ,
struct iomap * iomap ,
2019-02-18 20:38:46 +03:00
struct xfs_bmbt_irec * imap ,
2019-10-17 23:12:02 +03:00
u16 flags )
2016-09-19 04:09:12 +03:00
{
struct xfs_mount * mp = ip - > i_mount ;
2019-09-03 18:13:13 +03:00
if ( unlikely ( ! xfs_valid_startblock ( ip , imap - > br_startblock ) ) )
2019-02-18 20:38:46 +03:00
return xfs_alert_fsblock_zero ( ip , imap ) ;
2016-09-19 04:09:12 +03:00
if ( imap - > br_startblock = = HOLESTARTBLOCK ) {
2017-10-02 00:55:54 +03:00
iomap - > addr = IOMAP_NULL_ADDR ;
2016-09-19 04:09:12 +03:00
iomap - > type = IOMAP_HOLE ;
2019-02-18 20:38:46 +03:00
} else if ( imap - > br_startblock = = DELAYSTARTBLOCK | |
isnullstartblock ( imap - > br_startblock ) ) {
2017-10-02 00:55:54 +03:00
iomap - > addr = IOMAP_NULL_ADDR ;
2016-09-19 04:09:12 +03:00
iomap - > type = IOMAP_DELALLOC ;
} else {
2017-10-02 00:55:54 +03:00
iomap - > addr = BBTOB ( xfs_fsb_to_db ( ip , imap - > br_startblock ) ) ;
2016-09-19 04:09:12 +03:00
if ( imap - > br_state = = XFS_EXT_UNWRITTEN )
iomap - > type = IOMAP_UNWRITTEN ;
else
iomap - > type = IOMAP_MAPPED ;
}
iomap - > offset = XFS_FSB_TO_B ( mp , imap - > br_startoff ) ;
iomap - > length = XFS_FSB_TO_B ( mp , imap - > br_blockcount ) ;
iomap - > bdev = xfs_find_bdev_for_inode ( VFS_I ( ip ) ) ;
2017-08-25 01:12:50 +03:00
iomap - > dax_dev = xfs_find_daxdev_for_inode ( VFS_I ( ip ) ) ;
2019-10-17 23:12:02 +03:00
iomap - > flags = flags ;
2019-02-18 20:38:46 +03:00
if ( xfs_ipincount ( ip ) & &
( ip - > i_itemp - > ili_fsync_fields & ~ XFS_ILOG_TIMESTAMP ) )
iomap - > flags | = IOMAP_F_DIRTY ;
return 0 ;
2016-09-19 04:09:12 +03:00
}
2018-10-18 09:19:26 +03:00
static void
xfs_hole_to_iomap (
struct xfs_inode * ip ,
struct iomap * iomap ,
xfs_fileoff_t offset_fsb ,
xfs_fileoff_t end_fsb )
{
iomap - > addr = IOMAP_NULL_ADDR ;
iomap - > type = IOMAP_HOLE ;
iomap - > offset = XFS_FSB_TO_B ( ip - > i_mount , offset_fsb ) ;
iomap - > length = XFS_FSB_TO_B ( ip - > i_mount , end_fsb - offset_fsb ) ;
iomap - > bdev = xfs_find_bdev_for_inode ( VFS_I ( ip ) ) ;
iomap - > dax_dev = xfs_find_daxdev_for_inode ( VFS_I ( ip ) ) ;
}
2019-10-19 19:09:44 +03:00
static inline xfs_fileoff_t
xfs_iomap_end_fsb (
struct xfs_mount * mp ,
loff_t offset ,
loff_t count )
{
ASSERT ( offset < = mp - > m_super - > s_maxbytes ) ;
return min ( XFS_B_TO_FSB ( mp , offset + count ) ,
XFS_B_TO_FSB ( mp , mp - > m_super - > s_maxbytes ) ) ;
}
2016-10-03 19:11:43 +03:00
xfs_extlen_t
2016-09-19 04:09:28 +03:00
xfs_eof_alignment (
struct xfs_inode * ip ,
xfs_extlen_t extsize )
2006-01-11 07:28:28 +03:00
{
2016-09-19 04:09:28 +03:00
struct xfs_mount * mp = ip - > i_mount ;
xfs_extlen_t align = 0 ;
2006-01-11 07:28:28 +03:00
2011-12-19 00:00:05 +04:00
if ( ! XFS_IS_REALTIME_INODE ( ip ) ) {
/*
* Round up the allocation request to a stripe unit
* ( m_dalign ) boundary if the file size is > = stripe unit
* size , and we are allocating past the allocation eof .
*
* If mounted with the " -o swalloc " option the alignment is
* increased from the strip unit size to the stripe width .
*/
if ( mp - > m_swidth & & ( mp - > m_flags & XFS_MOUNT_SWALLOC ) )
align = mp - > m_swidth ;
else if ( mp - > m_dalign )
align = mp - > m_dalign ;
2014-12-04 01:30:51 +03:00
if ( align & & XFS_ISIZE ( ip ) < XFS_FSB_TO_B ( mp , align ) )
align = 0 ;
2011-12-19 00:00:05 +04:00
}
2006-01-11 07:28:28 +03:00
/*
* Always round up the allocation request to an extent boundary
* ( when file on a real - time subvolume or has di_extsize hint ) .
*/
if ( extsize ) {
2014-12-04 01:30:51 +03:00
if ( align )
align = roundup_64 ( align , extsize ) ;
2006-01-11 07:28:28 +03:00
else
align = extsize ;
}
2016-09-19 04:09:28 +03:00
return align ;
}
STATIC int
xfs_iomap_eof_align_last_fsb (
struct xfs_inode * ip ,
xfs_extlen_t extsize ,
xfs_fileoff_t * last_fsb )
{
xfs_extlen_t align = xfs_eof_alignment ( ip , extsize ) ;
2014-12-04 01:30:51 +03:00
if ( align ) {
xfs_fileoff_t new_last_fsb = roundup_64 ( * last_fsb , align ) ;
2016-09-19 04:09:28 +03:00
int eof , error ;
2007-10-11 11:34:33 +04:00
error = xfs_bmap_eof ( ip , new_last_fsb , XFS_DATA_FORK , & eof ) ;
2006-01-11 07:28:28 +03:00
if ( error )
return error ;
if ( eof )
* last_fsb = new_last_fsb ;
}
return 0 ;
}
2010-12-10 11:42:20 +03:00
int
2005-04-17 02:20:36 +04:00
xfs_iomap_write_direct (
xfs_inode_t * ip ,
2005-05-06 00:33:40 +04:00
xfs_off_t offset ,
2005-04-17 02:20:36 +04:00
size_t count ,
2010-06-24 05:42:19 +04:00
xfs_bmbt_irec_t * imap ,
2010-12-10 11:42:19 +03:00
int nmaps )
2005-04-17 02:20:36 +04:00
{
xfs_mount_t * mp = ip - > i_mount ;
2019-10-19 19:09:44 +03:00
xfs_fileoff_t offset_fsb = XFS_B_TO_FSBT ( mp , offset ) ;
xfs_fileoff_t last_fsb = xfs_iomap_end_fsb ( mp , offset , count ) ;
2006-01-11 07:28:28 +03:00
xfs_filblks_t count_fsb , resaligned ;
2017-02-06 21:42:26 +03:00
xfs_extlen_t extsz ;
2005-11-02 07:00:01 +03:00
int nimaps ;
2005-06-21 09:48:47 +04:00
int quota_flag ;
2005-04-17 02:20:36 +04:00
int rt ;
xfs_trans_t * tp ;
2006-01-11 07:28:28 +03:00
uint qblocks , resblks , resrtextents ;
int error ;
2015-10-12 07:34:20 +03:00
int lockmode ;
xfs: Don't use unwritten extents for DAX
DAX has a page fault serialisation problem with block allocation.
Because it allows concurrent page faults and does not have a page
lock to serialise faults to the same page, it can get two concurrent
faults to the page that race.
When two read faults race, this isn't a huge problem as the data
underlying the page is not changing and so "detect and drop" works
just fine. The issues are to do with write faults.
When two write faults occur, we serialise block allocation in
get_blocks() so only one faul will allocate the extent. It will,
however, be marked as an unwritten extent, and that is where the
problem lies - the DAX fault code cannot differentiate between a
block that was just allocated and a block that was preallocated and
needs zeroing. The result is that both write faults end up zeroing
the block and attempting to convert it back to written.
The problem is that the first fault can zero and convert before the
second fault starts zeroing, resulting in the zeroing for the second
fault overwriting the data that the first fault wrote with zeros.
The second fault then attempts to convert the unwritten extent,
which is then a no-op because it's already written. Data loss occurs
as a result of this race.
Because there is no sane locking construct in the page fault code
that we can use for serialisation across the page faults, we need to
ensure block allocation and zeroing occurs atomically in the
filesystem. This means we can still take concurrent page faults and
the only time they will serialise is in the filesystem
mapping/allocation callback. The page fault code will always see
written, initialised extents, so we will be able to remove the
unwritten extent handling from the DAX code when all filesystems are
converted.
Signed-off-by: Dave Chinner <dchinner@redhat.com>
Reviewed-by: Brian Foster <bfoster@redhat.com>
Signed-off-by: Dave Chinner <david@fromorbit.com>
2015-11-03 04:37:00 +03:00
int bmapi_flags = XFS_BMAPI_PREALLOC ;
2016-04-06 02:19:55 +03:00
uint tflags = 0 ;
2005-04-17 02:20:36 +04:00
2006-01-11 07:28:28 +03:00
rt = XFS_IS_REALTIME_INODE ( ip ) ;
2007-06-18 10:50:37 +04:00
extsz = xfs_get_extsz_hint ( ip ) ;
2015-10-12 07:34:20 +03:00
lockmode = XFS_ILOCK_SHARED ; /* locked by caller */
ASSERT ( xfs_isilocked ( ip , lockmode ) ) ;
2005-04-17 02:20:36 +04:00
2011-12-19 00:00:11 +04:00
if ( ( offset + count ) > XFS_ISIZE ( ip ) ) {
2015-10-12 07:34:20 +03:00
/*
* Assert that the in - core extent list is present since this can
* call xfs_iread_extents ( ) and we only have the ilock shared .
* This should be safe because the lock was held around a bmapi
* call in the caller and we only need it to access the in - core
* list .
*/
ASSERT ( XFS_IFORK_PTR ( ip , XFS_DATA_FORK ) - > if_flags &
XFS_IFEXTENTS ) ;
2016-09-19 04:09:28 +03:00
error = xfs_iomap_eof_align_last_fsb ( ip , extsz , & last_fsb ) ;
2006-01-11 07:28:28 +03:00
if ( error )
2015-10-12 07:34:20 +03:00
goto out_unlock ;
2005-04-17 02:20:36 +04:00
} else {
2010-12-10 11:42:19 +03:00
if ( nmaps & & ( imap - > br_startblock = = HOLESTARTBLOCK ) )
2018-06-07 17:54:02 +03:00
last_fsb = min ( last_fsb , ( xfs_fileoff_t )
2010-06-24 05:42:19 +04:00
imap - > br_blockcount +
imap - > br_startoff ) ;
2005-04-17 02:20:36 +04:00
}
2006-01-11 07:28:28 +03:00
count_fsb = last_fsb - offset_fsb ;
ASSERT ( count_fsb > 0 ) ;
2017-02-06 21:42:26 +03:00
resaligned = xfs_aligned_fsb_count ( offset_fsb , count_fsb , extsz ) ;
2006-01-11 07:28:28 +03:00
if ( unlikely ( rt ) ) {
resrtextents = qblocks = resaligned ;
resrtextents / = mp - > m_sb . sb_rextsize ;
2007-06-18 10:50:27 +04:00
resblks = XFS_DIOSTRAT_SPACE_RES ( mp , 0 ) ;
quota_flag = XFS_QMOPT_RES_RTBLKS ;
} else {
resrtextents = 0 ;
2006-01-11 07:28:28 +03:00
resblks = qblocks = XFS_DIOSTRAT_SPACE_RES ( mp , resaligned ) ;
2007-06-18 10:50:27 +04:00
quota_flag = XFS_QMOPT_RES_REGBLKS ;
}
2005-04-17 02:20:36 +04:00
2015-10-12 07:34:20 +03:00
/*
* Drop the shared lock acquired by the caller , attach the dquot if
* necessary and move on to transaction setup .
*/
xfs_iunlock ( ip , lockmode ) ;
2018-05-05 01:30:21 +03:00
error = xfs_qm_dqattach ( ip ) ;
2015-10-12 07:34:20 +03:00
if ( error )
return error ;
xfs: Don't use unwritten extents for DAX
DAX has a page fault serialisation problem with block allocation.
Because it allows concurrent page faults and does not have a page
lock to serialise faults to the same page, it can get two concurrent
faults to the page that race.
When two read faults race, this isn't a huge problem as the data
underlying the page is not changing and so "detect and drop" works
just fine. The issues are to do with write faults.
When two write faults occur, we serialise block allocation in
get_blocks() so only one faul will allocate the extent. It will,
however, be marked as an unwritten extent, and that is where the
problem lies - the DAX fault code cannot differentiate between a
block that was just allocated and a block that was preallocated and
needs zeroing. The result is that both write faults end up zeroing
the block and attempting to convert it back to written.
The problem is that the first fault can zero and convert before the
second fault starts zeroing, resulting in the zeroing for the second
fault overwriting the data that the first fault wrote with zeros.
The second fault then attempts to convert the unwritten extent,
which is then a no-op because it's already written. Data loss occurs
as a result of this race.
Because there is no sane locking construct in the page fault code
that we can use for serialisation across the page faults, we need to
ensure block allocation and zeroing occurs atomically in the
filesystem. This means we can still take concurrent page faults and
the only time they will serialise is in the filesystem
mapping/allocation callback. The page fault code will always see
written, initialised extents, so we will be able to remove the
unwritten extent handling from the DAX code when all filesystems are
converted.
Signed-off-by: Dave Chinner <dchinner@redhat.com>
Reviewed-by: Brian Foster <bfoster@redhat.com>
Signed-off-by: Dave Chinner <david@fromorbit.com>
2015-11-03 04:37:00 +03:00
/*
* For DAX , we do not allocate unwritten extents , but instead we zero
* the block before we commit the transaction . Ideally we ' d like to do
* this outside the transaction context , but if we commit and then crash
* we may not have zeroed the blocks and this will be exposed on
* recovery of the allocation . Hence we must zero before commit .
2016-01-04 08:22:45 +03:00
*
xfs: Don't use unwritten extents for DAX
DAX has a page fault serialisation problem with block allocation.
Because it allows concurrent page faults and does not have a page
lock to serialise faults to the same page, it can get two concurrent
faults to the page that race.
When two read faults race, this isn't a huge problem as the data
underlying the page is not changing and so "detect and drop" works
just fine. The issues are to do with write faults.
When two write faults occur, we serialise block allocation in
get_blocks() so only one faul will allocate the extent. It will,
however, be marked as an unwritten extent, and that is where the
problem lies - the DAX fault code cannot differentiate between a
block that was just allocated and a block that was preallocated and
needs zeroing. The result is that both write faults end up zeroing
the block and attempting to convert it back to written.
The problem is that the first fault can zero and convert before the
second fault starts zeroing, resulting in the zeroing for the second
fault overwriting the data that the first fault wrote with zeros.
The second fault then attempts to convert the unwritten extent,
which is then a no-op because it's already written. Data loss occurs
as a result of this race.
Because there is no sane locking construct in the page fault code
that we can use for serialisation across the page faults, we need to
ensure block allocation and zeroing occurs atomically in the
filesystem. This means we can still take concurrent page faults and
the only time they will serialise is in the filesystem
mapping/allocation callback. The page fault code will always see
written, initialised extents, so we will be able to remove the
unwritten extent handling from the DAX code when all filesystems are
converted.
Signed-off-by: Dave Chinner <dchinner@redhat.com>
Reviewed-by: Brian Foster <bfoster@redhat.com>
Signed-off-by: Dave Chinner <david@fromorbit.com>
2015-11-03 04:37:00 +03:00
* Further , if we are mapping unwritten extents here , we need to zero
* and convert them to written so that we don ' t need an unwritten extent
* callback for DAX . This also means that we need to be able to dip into
2016-01-04 08:22:45 +03:00
* the reserve block pool for bmbt block allocation if there is no space
* left but we need to do unwritten extent conversion .
xfs: Don't use unwritten extents for DAX
DAX has a page fault serialisation problem with block allocation.
Because it allows concurrent page faults and does not have a page
lock to serialise faults to the same page, it can get two concurrent
faults to the page that race.
When two read faults race, this isn't a huge problem as the data
underlying the page is not changing and so "detect and drop" works
just fine. The issues are to do with write faults.
When two write faults occur, we serialise block allocation in
get_blocks() so only one faul will allocate the extent. It will,
however, be marked as an unwritten extent, and that is where the
problem lies - the DAX fault code cannot differentiate between a
block that was just allocated and a block that was preallocated and
needs zeroing. The result is that both write faults end up zeroing
the block and attempting to convert it back to written.
The problem is that the first fault can zero and convert before the
second fault starts zeroing, resulting in the zeroing for the second
fault overwriting the data that the first fault wrote with zeros.
The second fault then attempts to convert the unwritten extent,
which is then a no-op because it's already written. Data loss occurs
as a result of this race.
Because there is no sane locking construct in the page fault code
that we can use for serialisation across the page faults, we need to
ensure block allocation and zeroing occurs atomically in the
filesystem. This means we can still take concurrent page faults and
the only time they will serialise is in the filesystem
mapping/allocation callback. The page fault code will always see
written, initialised extents, so we will be able to remove the
unwritten extent handling from the DAX code when all filesystems are
converted.
Signed-off-by: Dave Chinner <dchinner@redhat.com>
Reviewed-by: Brian Foster <bfoster@redhat.com>
Signed-off-by: Dave Chinner <david@fromorbit.com>
2015-11-03 04:37:00 +03:00
*/
if ( IS_DAX ( VFS_I ( ip ) ) ) {
bmapi_flags = XFS_BMAPI_CONVERT | XFS_BMAPI_ZERO ;
2017-03-29 00:53:36 +03:00
if ( imap - > br_state = = XFS_EXT_UNWRITTEN ) {
2016-04-06 02:19:55 +03:00
tflags | = XFS_TRANS_RESERVE ;
2016-01-04 08:22:45 +03:00
resblks = XFS_DIOSTRAT_SPACE_RES ( mp , 0 ) < < 1 ;
}
xfs: Don't use unwritten extents for DAX
DAX has a page fault serialisation problem with block allocation.
Because it allows concurrent page faults and does not have a page
lock to serialise faults to the same page, it can get two concurrent
faults to the page that race.
When two read faults race, this isn't a huge problem as the data
underlying the page is not changing and so "detect and drop" works
just fine. The issues are to do with write faults.
When two write faults occur, we serialise block allocation in
get_blocks() so only one faul will allocate the extent. It will,
however, be marked as an unwritten extent, and that is where the
problem lies - the DAX fault code cannot differentiate between a
block that was just allocated and a block that was preallocated and
needs zeroing. The result is that both write faults end up zeroing
the block and attempting to convert it back to written.
The problem is that the first fault can zero and convert before the
second fault starts zeroing, resulting in the zeroing for the second
fault overwriting the data that the first fault wrote with zeros.
The second fault then attempts to convert the unwritten extent,
which is then a no-op because it's already written. Data loss occurs
as a result of this race.
Because there is no sane locking construct in the page fault code
that we can use for serialisation across the page faults, we need to
ensure block allocation and zeroing occurs atomically in the
filesystem. This means we can still take concurrent page faults and
the only time they will serialise is in the filesystem
mapping/allocation callback. The page fault code will always see
written, initialised extents, so we will be able to remove the
unwritten extent handling from the DAX code when all filesystems are
converted.
Signed-off-by: Dave Chinner <dchinner@redhat.com>
Reviewed-by: Brian Foster <bfoster@redhat.com>
Signed-off-by: Dave Chinner <david@fromorbit.com>
2015-11-03 04:37:00 +03:00
}
2016-04-06 02:19:55 +03:00
error = xfs_trans_alloc ( mp , & M_RES ( mp ) - > tr_write , resblks , resrtextents ,
tflags , & tp ) ;
if ( error )
2014-06-22 09:04:54 +04:00
return error ;
2012-03-27 18:34:50 +04:00
2015-10-12 07:34:20 +03:00
lockmode = XFS_ILOCK_EXCL ;
xfs_ilock ( ip , lockmode ) ;
2005-04-17 02:20:36 +04:00
2009-06-08 17:33:32 +04:00
error = xfs_trans_reserve_quota_nblks ( tp , ip , qblocks , 0 , quota_flag ) ;
2006-01-11 07:28:28 +03:00
if ( error )
2012-03-27 18:34:50 +04:00
goto out_trans_cancel ;
2005-04-17 02:20:36 +04:00
2011-09-19 19:00:54 +04:00
xfs_trans_ijoin ( tp , ip , 0 ) ;
2005-04-17 02:20:36 +04:00
/*
2010-06-24 05:42:19 +04:00
* From this point onwards we overwrite the imap pointer that the
* caller gave to us .
2005-04-17 02:20:36 +04:00
*/
2005-06-21 09:48:47 +04:00
nimaps = 1 ;
2014-02-10 03:27:43 +04:00
error = xfs_bmapi_write ( tp , ip , offset_fsb , count_fsb ,
2018-07-12 08:26:25 +03:00
bmapi_flags , resblks , imap , & nimaps ) ;
2005-06-21 09:48:47 +04:00
if ( error )
2018-07-24 23:43:13 +03:00
goto out_res_cancel ;
2005-04-17 02:20:36 +04:00
/*
2005-06-21 09:48:47 +04:00
* Complete the transaction
2005-04-17 02:20:36 +04:00
*/
2015-06-04 06:48:08 +03:00
error = xfs_trans_commit ( tp ) ;
2005-06-21 09:48:47 +04:00
if ( error )
2012-03-27 18:34:50 +04:00
goto out_unlock ;
2005-04-17 02:20:36 +04:00
2005-06-21 09:48:47 +04:00
/*
* Copy any maps to caller ' s array and return any error .
*/
2005-04-17 02:20:36 +04:00
if ( nimaps = = 0 ) {
2014-06-25 08:58:08 +04:00
error = - ENOSPC ;
2012-03-27 18:34:50 +04:00
goto out_unlock ;
2006-09-28 05:03:20 +04:00
}
2019-09-03 18:13:13 +03:00
if ( unlikely ( ! xfs_valid_startblock ( ip , imap - > br_startblock ) ) )
2011-03-07 02:06:35 +03:00
error = xfs_alert_fsblock_zero ( ip , imap ) ;
2005-04-17 02:20:36 +04:00
2012-03-27 18:34:50 +04:00
out_unlock :
2015-10-12 07:34:20 +03:00
xfs_iunlock ( ip , lockmode ) ;
2012-03-27 18:34:50 +04:00
return error ;
2005-04-17 02:20:36 +04:00
2018-07-24 23:43:13 +03:00
out_res_cancel :
2012-05-08 14:48:53 +04:00
xfs_trans_unreserve_quota_nblks ( tp , ip , ( long ) qblocks , 0 , quota_flag ) ;
2012-03-27 18:34:50 +04:00
out_trans_cancel :
2015-06-04 06:47:56 +03:00
xfs_trans_cancel ( tp ) ;
2012-03-27 18:34:50 +04:00
goto out_unlock ;
2005-04-17 02:20:36 +04:00
}
2013-03-18 18:51:47 +04:00
STATIC bool
xfs_quota_need_throttle (
struct xfs_inode * ip ,
int type ,
xfs_fsblock_t alloc_blocks )
{
struct xfs_dquot * dq = xfs_inode_dquot ( ip , type ) ;
if ( ! dq | | ! xfs_this_quota_on ( ip - > i_mount , type ) )
return false ;
/* no hi watermark, no throttle */
if ( ! dq - > q_prealloc_hi_wmark )
return false ;
/* under the lo watermark, no throttle */
if ( dq - > q_res_bcount + alloc_blocks < dq - > q_prealloc_lo_wmark )
return false ;
return true ;
}
STATIC void
xfs_quota_calc_throttle (
struct xfs_inode * ip ,
int type ,
xfs_fsblock_t * qblocks ,
2014-07-24 13:56:08 +04:00
int * qshift ,
int64_t * qfreesp )
2013-03-18 18:51:47 +04:00
{
int64_t freesp ;
int shift = 0 ;
struct xfs_dquot * dq = xfs_inode_dquot ( ip , type ) ;
2014-10-02 03:27:09 +04:00
/* no dq, or over hi wmark, squash the prealloc completely */
if ( ! dq | | dq - > q_res_bcount > = dq - > q_prealloc_hi_wmark ) {
2013-03-18 18:51:47 +04:00
* qblocks = 0 ;
2014-07-24 13:56:08 +04:00
* qfreesp = 0 ;
2013-03-18 18:51:47 +04:00
return ;
}
freesp = dq - > q_prealloc_hi_wmark - dq - > q_res_bcount ;
if ( freesp < dq - > q_low_space [ XFS_QLOWSP_5_PCNT ] ) {
shift = 2 ;
if ( freesp < dq - > q_low_space [ XFS_QLOWSP_3_PCNT ] )
shift + = 2 ;
if ( freesp < dq - > q_low_space [ XFS_QLOWSP_1_PCNT ] )
shift + = 2 ;
}
2014-07-24 13:56:08 +04:00
if ( freesp < * qfreesp )
* qfreesp = freesp ;
2013-03-18 18:51:47 +04:00
/* only overwrite the throttle values if we are more aggressive */
if ( ( freesp > > shift ) < ( * qblocks > > * qshift ) ) {
* qblocks = freesp ;
* qshift = shift ;
}
}
2011-01-04 03:35:03 +03:00
/*
2016-09-19 04:10:21 +03:00
* If we are doing a write at the end of the file and there are no allocations
* past this one , then extend the allocation out to the file system ' s write
* iosize .
*
2011-01-04 03:35:03 +03:00
* If we don ' t have a user specified preallocation size , dynamically increase
2016-09-19 04:10:21 +03:00
* the preallocation size as the size of the file grows . Cap the maximum size
2011-01-04 03:35:03 +03:00
* at a single extent or less if the filesystem is near full . The closer the
* filesystem is to full , the smaller the maximum prealocation .
2016-09-19 04:10:21 +03:00
*
* As an exception we don ' t do any preallocation at all if the file is smaller
* than the minimum preallocation and we are using the default dynamic
* preallocation scheme , as it is likely this is the only write to the file that
* is going to be done .
*
* We clean up any extra space left over when the file is closed in
* xfs_inactive ( ) .
2011-01-04 03:35:03 +03:00
*/
STATIC xfs_fsblock_t
xfs_iomap_prealloc_size (
2013-02-11 09:05:01 +04:00
struct xfs_inode * ip ,
2019-02-18 20:38:49 +03:00
int whichfork ,
2016-09-19 04:10:21 +03:00
loff_t offset ,
loff_t count ,
2017-11-03 20:34:43 +03:00
struct xfs_iext_cursor * icur )
2011-01-04 03:35:03 +03:00
{
2016-09-19 04:10:21 +03:00
struct xfs_mount * mp = ip - > i_mount ;
2019-02-18 20:38:49 +03:00
struct xfs_ifork * ifp = XFS_IFORK_PTR ( ip , whichfork ) ;
2016-09-19 04:10:21 +03:00
xfs_fileoff_t offset_fsb = XFS_B_TO_FSBT ( mp , offset ) ;
2016-11-24 03:39:44 +03:00
struct xfs_bmbt_irec prev ;
2013-03-18 18:51:43 +04:00
int shift = 0 ;
int64_t freesp ;
2013-03-18 18:51:47 +04:00
xfs_fsblock_t qblocks ;
int qshift = 0 ;
2016-09-19 04:10:21 +03:00
xfs_fsblock_t alloc_blocks = 0 ;
if ( offset + count < = XFS_ISIZE ( ip ) )
return 0 ;
if ( ! ( mp - > m_flags & XFS_MOUNT_DFLT_IOSIZE ) & &
( XFS_ISIZE ( ip ) < XFS_FSB_TO_B ( mp , mp - > m_writeio_blocks ) ) )
return 0 ;
/*
* If an explicit allocsize is set , the file is small , or we
* are writing behind a hole , then use the minimum prealloc :
*/
if ( ( mp - > m_flags & XFS_MOUNT_DFLT_IOSIZE ) | |
XFS_ISIZE ( ip ) < XFS_FSB_TO_B ( mp , mp - > m_dalign ) | |
2017-11-03 20:34:43 +03:00
! xfs_iext_peek_prev_extent ( ifp , icur , & prev ) | |
2016-11-24 03:39:44 +03:00
prev . br_startoff + prev . br_blockcount < offset_fsb )
2016-09-19 04:10:21 +03:00
return mp - > m_writeio_blocks ;
2011-01-04 03:35:03 +03:00
2016-09-19 04:10:21 +03:00
/*
* Determine the initial size of the preallocation . We are beyond the
* current EOF here , but we need to take into account whether this is
* a sparse write or an extending write when determining the
* preallocation size . Hence we need to look up the extent that ends
* at the current write offset and use the result to determine the
* preallocation size .
*
* If the extent is a hole , then preallocation is essentially disabled .
* Otherwise we take the size of the preceding data extent as the basis
* for the preallocation size . If the size of the extent is greater than
* half the maximum extent length , then use the current offset as the
* basis . This ensures that for large files the preallocation size
* always extends to MAXEXTLEN rather than falling short due to things
* like stripe unit / width alignment of real extents .
*/
2016-11-24 03:39:44 +03:00
if ( prev . br_blockcount < = ( MAXEXTLEN > > 1 ) )
alloc_blocks = prev . br_blockcount < < 1 ;
2016-09-19 04:10:21 +03:00
else
alloc_blocks = XFS_B_TO_FSB ( mp , offset ) ;
2013-03-18 18:51:43 +04:00
if ( ! alloc_blocks )
goto check_writeio ;
2013-03-18 18:51:47 +04:00
qblocks = alloc_blocks ;
2013-03-18 18:51:43 +04:00
2013-03-18 18:51:44 +04:00
/*
* MAXEXTLEN is not a power of two value but we round the prealloc down
* to the nearest power of two value after throttling . To prevent the
* round down from unconditionally reducing the maximum supported prealloc
* size , we round up first , apply appropriate throttling , round down and
* cap the value to MAXEXTLEN .
*/
alloc_blocks = XFS_FILEOFF_MIN ( roundup_pow_of_two ( MAXEXTLEN ) ,
alloc_blocks ) ;
2013-03-18 18:51:43 +04:00
2015-02-23 13:22:03 +03:00
freesp = percpu_counter_read_positive ( & mp - > m_fdblocks ) ;
2013-03-18 18:51:43 +04:00
if ( freesp < mp - > m_low_space [ XFS_LOWSP_5_PCNT ] ) {
shift = 2 ;
if ( freesp < mp - > m_low_space [ XFS_LOWSP_4_PCNT ] )
shift + + ;
if ( freesp < mp - > m_low_space [ XFS_LOWSP_3_PCNT ] )
shift + + ;
if ( freesp < mp - > m_low_space [ XFS_LOWSP_2_PCNT ] )
shift + + ;
if ( freesp < mp - > m_low_space [ XFS_LOWSP_1_PCNT ] )
shift + + ;
2011-01-04 03:35:03 +03:00
}
2013-03-18 18:51:47 +04:00
/*
2014-07-24 13:56:08 +04:00
* Check each quota to cap the prealloc size , provide a shift value to
* throttle with and adjust amount of available space .
2013-03-18 18:51:47 +04:00
*/
if ( xfs_quota_need_throttle ( ip , XFS_DQ_USER , alloc_blocks ) )
2014-07-24 13:56:08 +04:00
xfs_quota_calc_throttle ( ip , XFS_DQ_USER , & qblocks , & qshift ,
& freesp ) ;
2013-03-18 18:51:47 +04:00
if ( xfs_quota_need_throttle ( ip , XFS_DQ_GROUP , alloc_blocks ) )
2014-07-24 13:56:08 +04:00
xfs_quota_calc_throttle ( ip , XFS_DQ_GROUP , & qblocks , & qshift ,
& freesp ) ;
2013-03-18 18:51:47 +04:00
if ( xfs_quota_need_throttle ( ip , XFS_DQ_PROJ , alloc_blocks ) )
2014-07-24 13:56:08 +04:00
xfs_quota_calc_throttle ( ip , XFS_DQ_PROJ , & qblocks , & qshift ,
& freesp ) ;
2013-03-18 18:51:47 +04:00
/*
* The final prealloc size is set to the minimum of free space available
* in each of the quotas and the overall filesystem .
*
* The shift throttle value is set to the maximum value as determined by
* the global low free space values and per - quota low free space values .
*/
2018-06-07 17:54:02 +03:00
alloc_blocks = min ( alloc_blocks , qblocks ) ;
shift = max ( shift , qshift ) ;
2013-03-18 18:51:47 +04:00
2013-03-18 18:51:43 +04:00
if ( shift )
alloc_blocks > > = shift ;
2013-03-18 18:51:44 +04:00
/*
* rounddown_pow_of_two ( ) returns an undefined result if we pass in
* alloc_blocks = 0.
*/
if ( alloc_blocks )
alloc_blocks = rounddown_pow_of_two ( alloc_blocks ) ;
if ( alloc_blocks > MAXEXTLEN )
alloc_blocks = MAXEXTLEN ;
2013-03-18 18:51:43 +04:00
/*
* If we are still trying to allocate more space than is
* available , squash the prealloc hard . This can happen if we
* have a large file on a small filesystem and the above
* lowspace thresholds are smaller than MAXEXTLEN .
*/
while ( alloc_blocks & & alloc_blocks > = freesp )
alloc_blocks > > = 4 ;
check_writeio :
2011-01-04 03:35:03 +03:00
if ( alloc_blocks < mp - > m_writeio_blocks )
alloc_blocks = mp - > m_writeio_blocks ;
2013-03-18 18:51:48 +04:00
trace_xfs_iomap_prealloc_size ( ip , alloc_blocks , shift ,
mp - > m_writeio_blocks ) ;
2011-01-04 03:35:03 +03:00
return alloc_blocks ;
}
2005-04-17 02:20:36 +04:00
int
xfs_iomap_write_unwritten (
xfs_inode_t * ip ,
2005-05-06 00:33:40 +04:00
xfs_off_t offset ,
2017-09-21 21:26:18 +03:00
xfs_off_t count ,
bool update_isize )
2005-04-17 02:20:36 +04:00
{
xfs_mount_t * mp = ip - > i_mount ;
xfs_fileoff_t offset_fsb ;
xfs_filblks_t count_fsb ;
xfs_filblks_t numblks_fsb ;
2006-01-11 07:28:28 +03:00
int nimaps ;
xfs_trans_t * tp ;
xfs_bmbt_irec_t imap ;
2017-09-21 21:26:18 +03:00
struct inode * inode = VFS_I ( ip ) ;
2012-02-29 13:53:50 +04:00
xfs_fsize_t i_size ;
2006-01-11 07:28:28 +03:00
uint resblks ;
2005-04-17 02:20:36 +04:00
int error ;
2009-12-15 02:14:59 +03:00
trace_xfs_unwritten_convert ( ip , offset , count ) ;
2005-04-17 02:20:36 +04:00
offset_fsb = XFS_B_TO_FSBT ( mp , offset ) ;
count_fsb = XFS_B_TO_FSB ( mp , ( xfs_ufsize_t ) offset + count ) ;
count_fsb = ( xfs_filblks_t ) ( count_fsb - offset_fsb ) ;
2008-06-27 07:32:53 +04:00
/*
* Reserve enough blocks in this transaction for two complete extent
* btree splits . We may be converting the middle part of an unwritten
* extent and in this case we will insert two new extents in the btree
* each of which could cause a full split .
*
* This reservation amount will be used in the first call to
* xfs_bmbt_split ( ) to select an AG with enough space to satisfy the
* rest of the operation .
*/
2006-01-11 07:28:28 +03:00
resblks = XFS_DIOSTRAT_SPACE_RES ( mp , 0 ) < < 1 ;
2005-04-17 02:20:36 +04:00
2006-01-11 07:28:28 +03:00
do {
2005-04-17 02:20:36 +04:00
/*
2016-04-06 02:19:55 +03:00
* Set up a transaction to convert the range of extents
2005-04-17 02:20:36 +04:00
* from unwritten to real . Do allocations in a loop until
* we have covered the range passed in .
2009-10-19 08:00:03 +04:00
*
2016-04-06 02:19:55 +03:00
* Note that we can ' t risk to recursing back into the filesystem
* here as we might be asked to write out the same inode that we
* complete here and might deadlock on the iolock .
2005-04-17 02:20:36 +04:00
*/
2016-04-06 02:19:55 +03:00
error = xfs_trans_alloc ( mp , & M_RES ( mp ) - > tr_write , resblks , 0 ,
2019-06-29 05:31:38 +03:00
XFS_TRANS_RESERVE , & tp ) ;
2016-04-06 02:19:55 +03:00
if ( error )
2014-06-22 09:04:54 +04:00
return error ;
2005-04-17 02:20:36 +04:00
xfs_ilock ( ip , XFS_ILOCK_EXCL ) ;
2011-09-19 19:00:54 +04:00
xfs_trans_ijoin ( tp , ip , 0 ) ;
2005-04-17 02:20:36 +04:00
/*
* Modify the unwritten extent state of the buffer .
*/
nimaps = 1 ;
2011-09-19 00:40:52 +04:00
error = xfs_bmapi_write ( tp , ip , offset_fsb , count_fsb ,
2018-07-12 08:26:25 +03:00
XFS_BMAPI_CONVERT , resblks , & imap ,
& nimaps ) ;
2005-04-17 02:20:36 +04:00
if ( error )
goto error_on_bmapi_transaction ;
2012-02-29 13:53:50 +04:00
/*
* Log the updated inode size as we go . We have to be careful
* to only log it up to the actual write offset if it is
* halfway into a block .
*/
i_size = XFS_FSB_TO_B ( mp , offset_fsb + count_fsb ) ;
if ( i_size > offset + count )
i_size = offset + count ;
2017-09-21 21:26:18 +03:00
if ( update_isize & & i_size > i_size_read ( inode ) )
i_size_write ( inode , i_size ) ;
2012-02-29 13:53:50 +04:00
i_size = xfs_new_eof ( ip , i_size ) ;
if ( i_size ) {
ip - > i_d . di_size = i_size ;
xfs_trans_log_inode ( tp , ip , XFS_ILOG_CORE ) ;
}
2015-06-04 06:48:08 +03:00
error = xfs_trans_commit ( tp ) ;
2005-04-17 02:20:36 +04:00
xfs_iunlock ( ip , XFS_ILOCK_EXCL ) ;
if ( error )
2014-06-22 09:04:54 +04:00
return error ;
2006-09-28 05:03:20 +04:00
2019-09-03 18:13:13 +03:00
if ( unlikely ( ! xfs_valid_startblock ( ip , imap . br_startblock ) ) )
2011-03-07 02:06:35 +03:00
return xfs_alert_fsblock_zero ( ip , & imap ) ;
2005-04-17 02:20:36 +04:00
if ( ( numblks_fsb = imap . br_blockcount ) = = 0 ) {
/*
* The numblks_fsb value should always get
* smaller , otherwise the loop is stuck .
*/
ASSERT ( imap . br_blockcount ) ;
break ;
}
offset_fsb + = numblks_fsb ;
count_fsb - = numblks_fsb ;
} while ( count_fsb > 0 ) ;
return 0 ;
error_on_bmapi_transaction :
2015-06-04 06:47:56 +03:00
xfs_trans_cancel ( tp ) ;
2005-04-17 02:20:36 +04:00
xfs_iunlock ( ip , XFS_ILOCK_EXCL ) ;
2014-06-22 09:04:54 +04:00
return error ;
2005-04-17 02:20:36 +04:00
}
2016-06-21 02:52:47 +03:00
2018-05-02 22:54:54 +03:00
static inline bool
imap_needs_alloc (
struct inode * inode ,
struct xfs_bmbt_irec * imap ,
int nimaps )
2016-06-21 02:53:44 +03:00
{
return ! nimaps | |
imap - > br_startblock = = HOLESTARTBLOCK | |
2016-09-19 04:28:38 +03:00
imap - > br_startblock = = DELAYSTARTBLOCK | |
2017-03-29 00:53:36 +03:00
( IS_DAX ( inode ) & & imap - > br_state = = XFS_EXT_UNWRITTEN ) ;
2016-06-21 02:53:44 +03:00
}
2018-05-02 22:54:54 +03:00
static inline bool
needs_cow_for_zeroing (
struct xfs_bmbt_irec * imap ,
int nimaps )
2018-03-02 01:10:31 +03:00
{
return nimaps & &
imap - > br_startblock ! = HOLESTARTBLOCK & &
imap - > br_state ! = XFS_EXT_UNWRITTEN ;
}
2018-05-02 22:54:54 +03:00
static int
xfs_ilock_for_iomap (
struct xfs_inode * ip ,
unsigned flags ,
unsigned * lockmode )
2016-11-30 06:37:15 +03:00
{
2018-05-02 22:54:54 +03:00
unsigned mode = XFS_ILOCK_SHARED ;
2018-06-22 09:26:57 +03:00
bool is_write = flags & ( IOMAP_WRITE | IOMAP_ZERO ) ;
2018-05-02 22:54:54 +03:00
2016-11-30 06:37:15 +03:00
/*
2018-03-02 01:12:12 +03:00
* COW writes may allocate delalloc space or convert unwritten COW
* extents , so we need to make sure to take the lock exclusively here .
2016-11-30 06:37:15 +03:00
*/
2019-02-18 20:38:49 +03:00
if ( xfs_is_cow_inode ( ip ) & & is_write ) {
2018-05-02 22:54:54 +03:00
/*
* FIXME : It could still overwrite on unshared extents and not
* need allocation .
*/
if ( flags & IOMAP_NOWAIT )
return - EAGAIN ;
mode = XFS_ILOCK_EXCL ;
}
2018-03-02 01:12:45 +03:00
/*
2018-05-02 22:54:54 +03:00
* Extents not yet cached requires exclusive access , don ' t block . This
* is an opencoded xfs_ilock_data_map_shared ( ) call but with
2018-03-02 01:12:45 +03:00
* non - blocking behaviour .
*/
2018-05-02 22:54:54 +03:00
if ( ! ( ip - > i_df . if_flags & XFS_IFEXTENTS ) ) {
if ( flags & IOMAP_NOWAIT )
return - EAGAIN ;
mode = XFS_ILOCK_EXCL ;
}
2018-06-22 09:26:57 +03:00
relock :
2018-05-02 22:54:54 +03:00
if ( flags & IOMAP_NOWAIT ) {
if ( ! xfs_ilock_nowait ( ip , mode ) )
return - EAGAIN ;
} else {
xfs_ilock ( ip , mode ) ;
}
2018-06-22 09:26:57 +03:00
/*
* The reflink iflag could have changed since the earlier unlocked
* check , so if we got ILOCK_SHARED for a write and but we ' re now a
* reflink inode we have to switch to ILOCK_EXCL and relock .
*/
2019-02-18 20:38:49 +03:00
if ( mode = = XFS_ILOCK_SHARED & & is_write & & xfs_is_cow_inode ( ip ) ) {
2018-06-22 09:26:57 +03:00
xfs_iunlock ( ip , mode ) ;
mode = XFS_ILOCK_EXCL ;
goto relock ;
}
2018-05-02 22:54:54 +03:00
* lockmode = mode ;
return 0 ;
2016-11-30 06:37:15 +03:00
}
2019-10-19 19:09:46 +03:00
static int
2019-10-19 19:09:46 +03:00
xfs_direct_write_iomap_begin (
2016-06-21 02:53:44 +03:00
struct inode * inode ,
loff_t offset ,
loff_t length ,
unsigned flags ,
2019-10-19 02:44:10 +03:00
struct iomap * iomap ,
struct iomap * srcmap )
2016-06-21 02:53:44 +03:00
{
struct xfs_inode * ip = XFS_I ( inode ) ;
struct xfs_mount * mp = ip - > i_mount ;
2019-10-19 19:09:44 +03:00
struct xfs_bmbt_irec imap , cmap ;
2019-10-19 19:09:44 +03:00
xfs_fileoff_t offset_fsb = XFS_B_TO_FSBT ( mp , offset ) ;
xfs_fileoff_t end_fsb = xfs_iomap_end_fsb ( mp , offset , length ) ;
2016-06-21 02:53:44 +03:00
int nimaps = 1 , error = 0 ;
2018-10-18 09:19:48 +03:00
bool shared = false ;
2019-10-17 23:12:02 +03:00
u16 iomap_flags = 0 ;
2016-09-19 04:26:39 +03:00
unsigned lockmode ;
2016-06-21 02:53:44 +03:00
2019-10-19 19:09:45 +03:00
ASSERT ( flags & ( IOMAP_WRITE | IOMAP_ZERO ) ) ;
2016-06-21 02:53:44 +03:00
if ( XFS_FORCED_SHUTDOWN ( mp ) )
return - EIO ;
2018-05-02 22:54:54 +03:00
/*
* Lock the inode in the manner required for the specified operation and
* check for as many conditions that would result in blocking as
* possible . This removes most of the non - blocking checks from the
* mapping code below .
*/
error = xfs_ilock_for_iomap ( ip , flags , & lockmode ) ;
if ( error )
return error ;
2017-06-20 15:05:48 +03:00
2016-06-21 02:53:44 +03:00
error = xfs_bmapi_read ( ip , offset_fsb , end_fsb - offset_fsb , & imap ,
2016-10-03 19:11:36 +03:00
& nimaps , 0 ) ;
2016-10-20 07:53:50 +03:00
if ( error )
goto out_unlock ;
2016-10-03 19:11:36 +03:00
2018-05-02 22:54:54 +03:00
/*
* Break shared extents if necessary . Checks for non - blocking IO have
* been done up front , so we don ' t need to do them here .
*/
2019-02-18 20:38:49 +03:00
if ( xfs_is_cow_inode ( ip ) ) {
2018-05-02 22:54:54 +03:00
/* if zeroing doesn't need COW allocation, then we are done. */
if ( ( flags & IOMAP_ZERO ) & &
! needs_cow_for_zeroing ( & imap , nimaps ) )
goto out_found ;
2019-02-18 20:38:46 +03:00
/* may drop and re-acquire the ilock */
2019-10-19 19:09:43 +03:00
error = xfs_reflink_allocate_cow ( ip , & imap , & cmap , & shared ,
2019-10-19 19:09:44 +03:00
& lockmode , flags & IOMAP_DIRECT ) ;
2019-02-18 20:38:46 +03:00
if ( error )
goto out_unlock ;
2019-10-19 19:09:44 +03:00
if ( shared )
goto out_found_cow ;
2016-10-20 07:53:50 +03:00
end_fsb = imap . br_startoff + imap . br_blockcount ;
length = XFS_FSB_TO_B ( mp , end_fsb ) - offset ;
2016-06-21 02:53:44 +03:00
}
2018-05-02 22:54:53 +03:00
/* Don't need to allocate over holes when doing zeroing operations. */
if ( flags & IOMAP_ZERO )
goto out_found ;
2016-06-21 02:53:44 +03:00
2018-05-02 22:54:53 +03:00
if ( ! imap_needs_alloc ( inode , & imap , nimaps ) )
goto out_found ;
2016-08-17 01:44:52 +03:00
2018-05-02 22:54:53 +03:00
/* If nowait is set bail since we are going to make allocations. */
if ( flags & IOMAP_NOWAIT ) {
error = - EAGAIN ;
goto out_unlock ;
2016-06-21 02:53:44 +03:00
}
2018-05-02 22:54:53 +03:00
/*
* We cap the maximum length we map to a sane size to keep the chunks
* of work done where somewhat symmetric with the work writeback does .
* This is a completely arbitrary number pulled out of thin air as a
* best guess for initial testing .
*
* Note that the values needs to be less than 32 - bits wide until the
* lower level functions are updated .
*/
length = min_t ( loff_t , length , 1024 * PAGE_SIZE ) ;
/*
* xfs_iomap_write_direct ( ) expects the shared lock . It is unlocked on
* return .
*/
if ( lockmode = = XFS_ILOCK_EXCL )
xfs_ilock_demote ( ip , lockmode ) ;
error = xfs_iomap_write_direct ( ip , offset , length , & imap ,
nimaps ) ;
if ( error )
return error ;
2019-10-17 23:12:02 +03:00
iomap_flags | = IOMAP_F_NEW ;
2019-02-15 19:02:46 +03:00
trace_xfs_iomap_alloc ( ip , offset , length , XFS_DATA_FORK , & imap ) ;
2018-05-02 22:54:53 +03:00
out_finish :
2019-10-17 23:12:01 +03:00
/*
* Writes that span EOF might trigger an IO size update on completion ,
* so consider them to be dirty for the purposes of O_DSYNC even if
* there is no other metadata changes pending or have been made here .
*/
2019-10-19 19:09:45 +03:00
if ( offset + length > i_size_read ( inode ) )
2019-10-17 23:12:02 +03:00
iomap_flags | = IOMAP_F_DIRTY ;
return xfs_bmbt_to_iomap ( ip , iomap , & imap , iomap_flags ) ;
2018-05-02 22:54:53 +03:00
out_found :
ASSERT ( nimaps ) ;
xfs_iunlock ( ip , lockmode ) ;
2019-02-15 19:02:46 +03:00
trace_xfs_iomap_found ( ip , offset , length , XFS_DATA_FORK , & imap ) ;
2018-05-02 22:54:53 +03:00
goto out_finish ;
2019-10-19 19:09:44 +03:00
out_found_cow :
xfs_iunlock ( ip , lockmode ) ;
length = XFS_FSB_TO_B ( mp , cmap . br_startoff + cmap . br_blockcount ) ;
trace_xfs_iomap_found ( ip , offset , length - offset , XFS_COW_FORK , & cmap ) ;
if ( imap . br_startblock ! = HOLESTARTBLOCK ) {
error = xfs_bmbt_to_iomap ( ip , srcmap , & imap , 0 ) ;
if ( error )
return error ;
}
return xfs_bmbt_to_iomap ( ip , iomap , & cmap , IOMAP_F_SHARED ) ;
2016-10-20 07:53:50 +03:00
out_unlock :
xfs_iunlock ( ip , lockmode ) ;
return error ;
2016-06-21 02:53:44 +03:00
}
2019-10-19 19:09:46 +03:00
const struct iomap_ops xfs_direct_write_iomap_ops = {
. iomap_begin = xfs_direct_write_iomap_begin ,
} ;
2019-10-19 19:09:46 +03:00
static int
2019-10-19 19:09:46 +03:00
xfs_buffered_write_iomap_begin (
2019-10-19 19:09:46 +03:00
struct inode * inode ,
loff_t offset ,
loff_t count ,
unsigned flags ,
struct iomap * iomap ,
struct iomap * srcmap )
{
struct xfs_inode * ip = XFS_I ( inode ) ;
struct xfs_mount * mp = ip - > i_mount ;
xfs_fileoff_t offset_fsb = XFS_B_TO_FSBT ( mp , offset ) ;
xfs_fileoff_t end_fsb = xfs_iomap_end_fsb ( mp , offset , count ) ;
struct xfs_bmbt_irec imap , cmap ;
struct xfs_iext_cursor icur , ccur ;
xfs_fsblock_t prealloc_blocks = 0 ;
bool eof = false , cow_eof = false , shared = false ;
2019-10-19 19:09:47 +03:00
int allocfork = XFS_DATA_FORK ;
2019-10-19 19:09:46 +03:00
int error = 0 ;
2019-10-19 19:09:46 +03:00
/* we can't use delayed allocations when using extent size hints */
if ( xfs_get_extsz_hint ( ip ) )
return xfs_direct_write_iomap_begin ( inode , offset , count ,
flags , iomap , srcmap ) ;
2019-10-19 19:09:46 +03:00
ASSERT ( ! XFS_IS_REALTIME_INODE ( ip ) ) ;
xfs_ilock ( ip , XFS_ILOCK_EXCL ) ;
if ( unlikely ( XFS_TEST_ERROR (
( XFS_IFORK_FORMAT ( ip , XFS_DATA_FORK ) ! = XFS_DINODE_FMT_EXTENTS & &
XFS_IFORK_FORMAT ( ip , XFS_DATA_FORK ) ! = XFS_DINODE_FMT_BTREE ) ,
mp , XFS_ERRTAG_BMAPIFORMAT ) ) ) {
XFS_ERROR_REPORT ( __func__ , XFS_ERRLEVEL_LOW , mp ) ;
error = - EFSCORRUPTED ;
goto out_unlock ;
}
XFS_STATS_INC ( mp , xs_blk_mapw ) ;
if ( ! ( ip - > i_df . if_flags & XFS_IFEXTENTS ) ) {
error = xfs_iread_extents ( NULL , ip , XFS_DATA_FORK ) ;
if ( error )
goto out_unlock ;
}
/*
* Search the data fork fork first to look up our source mapping . We
* always need the data fork map , as we have to return it to the
* iomap code so that the higher level write code can read data in to
* perform read - modify - write cycles for unaligned writes .
*/
eof = ! xfs_iext_lookup_extent ( ip , & ip - > i_df , offset_fsb , & icur , & imap ) ;
if ( eof )
imap . br_startoff = end_fsb ; /* fake hole until the end */
/* We never need to allocate blocks for zeroing a hole. */
if ( ( flags & IOMAP_ZERO ) & & imap . br_startoff > offset_fsb ) {
xfs_hole_to_iomap ( ip , iomap , offset_fsb , imap . br_startoff ) ;
goto out_unlock ;
}
/*
* Search the COW fork extent list even if we did not find a data fork
* extent . This serves two purposes : first this implements the
* speculative preallocation using cowextsize , so that we also unshare
* block adjacent to shared blocks instead of just the shared blocks
* themselves . Second the lookup in the extent list is generally faster
* than going out to the shared extent tree .
*/
if ( xfs_is_cow_inode ( ip ) ) {
if ( ! ip - > i_cowfp ) {
ASSERT ( ! xfs_is_reflink_inode ( ip ) ) ;
xfs_ifork_init_cow ( ip ) ;
}
cow_eof = ! xfs_iext_lookup_extent ( ip , ip - > i_cowfp , offset_fsb ,
& ccur , & cmap ) ;
if ( ! cow_eof & & cmap . br_startoff < = offset_fsb ) {
trace_xfs_reflink_cow_found ( ip , & cmap ) ;
goto found_cow ;
}
}
if ( imap . br_startoff < = offset_fsb ) {
/*
* For reflink files we may need a delalloc reservation when
* overwriting shared extents . This includes zeroing of
* existing extents that contain data .
*/
if ( ! xfs_is_cow_inode ( ip ) | |
( ( flags & IOMAP_ZERO ) & & imap . br_state ! = XFS_EXT_NORM ) ) {
trace_xfs_iomap_found ( ip , offset , count , XFS_DATA_FORK ,
& imap ) ;
goto found_imap ;
}
xfs_trim_extent ( & imap , offset_fsb , end_fsb - offset_fsb ) ;
/* Trim the mapping to the nearest shared extent boundary. */
error = xfs_inode_need_cow ( ip , & imap , & shared ) ;
if ( error )
goto out_unlock ;
/* Not shared? Just report the (potentially capped) extent. */
if ( ! shared ) {
trace_xfs_iomap_found ( ip , offset , count , XFS_DATA_FORK ,
& imap ) ;
goto found_imap ;
}
/*
* Fork all the shared blocks from our write offset until the
* end of the extent .
*/
2019-10-19 19:09:47 +03:00
allocfork = XFS_COW_FORK ;
2019-10-19 19:09:46 +03:00
end_fsb = imap . br_startoff + imap . br_blockcount ;
} else {
/*
* We cap the maximum length we map here to MAX_WRITEBACK_PAGES
* pages to keep the chunks of work done where somewhat
* symmetric with the work writeback does . This is a completely
* arbitrary number pulled out of thin air .
*
* Note that the values needs to be less than 32 - bits wide until
* the lower level functions are updated .
*/
count = min_t ( loff_t , count , 1024 * PAGE_SIZE ) ;
end_fsb = xfs_iomap_end_fsb ( mp , offset , count ) ;
if ( xfs_is_always_cow_inode ( ip ) )
2019-10-19 19:09:47 +03:00
allocfork = XFS_COW_FORK ;
2019-10-19 19:09:46 +03:00
}
error = xfs_qm_dqattach_locked ( ip , false ) ;
if ( error )
goto out_unlock ;
if ( eof ) {
2019-10-19 19:09:47 +03:00
prealloc_blocks = xfs_iomap_prealloc_size ( ip , allocfork , offset ,
2019-10-19 19:09:46 +03:00
count , & icur ) ;
if ( prealloc_blocks ) {
xfs_extlen_t align ;
xfs_off_t end_offset ;
xfs_fileoff_t p_end_fsb ;
end_offset = XFS_WRITEIO_ALIGN ( mp , offset + count - 1 ) ;
p_end_fsb = XFS_B_TO_FSBT ( mp , end_offset ) +
prealloc_blocks ;
align = xfs_eof_alignment ( ip , 0 ) ;
if ( align )
p_end_fsb = roundup_64 ( p_end_fsb , align ) ;
p_end_fsb = min ( p_end_fsb ,
XFS_B_TO_FSB ( mp , mp - > m_super - > s_maxbytes ) ) ;
ASSERT ( p_end_fsb > offset_fsb ) ;
prealloc_blocks = p_end_fsb - end_fsb ;
}
}
retry :
2019-10-19 19:09:47 +03:00
error = xfs_bmapi_reserve_delalloc ( ip , allocfork , offset_fsb ,
2019-10-19 19:09:46 +03:00
end_fsb - offset_fsb , prealloc_blocks ,
2019-10-19 19:09:47 +03:00
allocfork = = XFS_DATA_FORK ? & imap : & cmap ,
allocfork = = XFS_DATA_FORK ? & icur : & ccur ,
allocfork = = XFS_DATA_FORK ? eof : cow_eof ) ;
2019-10-19 19:09:46 +03:00
switch ( error ) {
case 0 :
break ;
case - ENOSPC :
case - EDQUOT :
/* retry without any preallocation */
trace_xfs_delalloc_enospc ( ip , offset , count ) ;
if ( prealloc_blocks ) {
prealloc_blocks = 0 ;
goto retry ;
}
/*FALLTHRU*/
default :
goto out_unlock ;
}
2019-10-19 19:09:47 +03:00
if ( allocfork = = XFS_COW_FORK ) {
trace_xfs_iomap_alloc ( ip , offset , count , allocfork , & cmap ) ;
2019-10-19 19:09:46 +03:00
goto found_cow ;
}
/*
* Flag newly allocated delalloc blocks with IOMAP_F_NEW so we punch
* them out if the write happens to fail .
*/
xfs_iunlock ( ip , XFS_ILOCK_EXCL ) ;
2019-10-19 19:09:47 +03:00
trace_xfs_iomap_alloc ( ip , offset , count , allocfork , & imap ) ;
2019-10-19 19:09:46 +03:00
return xfs_bmbt_to_iomap ( ip , iomap , & imap , IOMAP_F_NEW ) ;
found_imap :
xfs_iunlock ( ip , XFS_ILOCK_EXCL ) ;
return xfs_bmbt_to_iomap ( ip , iomap , & imap , 0 ) ;
found_cow :
xfs_iunlock ( ip , XFS_ILOCK_EXCL ) ;
if ( imap . br_startoff < = offset_fsb ) {
error = xfs_bmbt_to_iomap ( ip , srcmap , & imap , 0 ) ;
if ( error )
return error ;
} else {
xfs_trim_extent ( & cmap , offset_fsb ,
imap . br_startoff - offset_fsb ) ;
}
return xfs_bmbt_to_iomap ( ip , iomap , & cmap , IOMAP_F_SHARED ) ;
out_unlock :
xfs_iunlock ( ip , XFS_ILOCK_EXCL ) ;
return error ;
}
2016-06-21 02:53:44 +03:00
static int
2019-10-19 19:09:46 +03:00
xfs_buffered_write_iomap_end (
struct inode * inode ,
2016-06-21 02:53:44 +03:00
loff_t offset ,
loff_t length ,
2017-03-08 20:58:08 +03:00
ssize_t written ,
2019-10-19 19:09:46 +03:00
unsigned flags ,
2017-03-08 20:58:08 +03:00
struct iomap * iomap )
2016-06-21 02:53:44 +03:00
{
2019-10-19 19:09:46 +03:00
struct xfs_inode * ip = XFS_I ( inode ) ;
2016-06-21 02:53:44 +03:00
struct xfs_mount * mp = ip - > i_mount ;
xfs_fileoff_t start_fsb ;
xfs_fileoff_t end_fsb ;
int error = 0 ;
2019-10-19 19:09:46 +03:00
if ( iomap - > type ! = IOMAP_DELALLOC )
return 0 ;
2017-03-08 20:58:08 +03:00
/*
* Behave as if the write failed if drop writes is enabled . Set the NEW
* flag to force delalloc cleanup .
*/
2017-06-21 03:54:48 +03:00
if ( XFS_TEST_ERROR ( false , mp , XFS_ERRTAG_DROP_WRITES ) ) {
2017-03-08 20:58:08 +03:00
iomap - > flags | = IOMAP_F_NEW ;
2017-02-14 09:48:17 +03:00
written = 0 ;
2017-03-08 20:58:08 +03:00
}
2017-02-14 09:48:17 +03:00
2017-02-17 04:19:12 +03:00
/*
* start_fsb refers to the first unused block after a short write . If
* nothing was written , round offset down to point at the first block in
* the range .
*/
if ( unlikely ( ! written ) )
start_fsb = XFS_B_TO_FSBT ( mp , offset ) ;
else
start_fsb = XFS_B_TO_FSB ( mp , offset + written ) ;
2016-06-21 02:53:44 +03:00
end_fsb = XFS_B_TO_FSB ( mp , offset + length ) ;
/*
2017-03-08 20:58:08 +03:00
* Trim delalloc blocks if they were allocated by this write and we
* didn ' t manage to write the whole range .
2016-06-21 02:53:44 +03:00
*
* We don ' t need to care about racing delalloc as we hold i_mutex
* across the reserve / allocate / unreserve calls . If there are delalloc
* blocks in the range , they are ours .
*/
2017-03-08 20:58:08 +03:00
if ( ( iomap - > flags & IOMAP_F_NEW ) & & start_fsb < end_fsb ) {
2017-02-17 04:19:12 +03:00
truncate_pagecache_range ( VFS_I ( ip ) , XFS_FSB_TO_B ( mp , start_fsb ) ,
XFS_FSB_TO_B ( mp , end_fsb ) - 1 ) ;
2016-06-21 02:53:44 +03:00
error = xfs_bmap_punch_delalloc_range ( ip , start_fsb ,
end_fsb - start_fsb ) ;
if ( error & & ! XFS_FORCED_SHUTDOWN ( mp ) ) {
xfs_alert ( mp , " %s: unable to clean up ino %lld " ,
__func__ , ip - > i_ino ) ;
return error ;
}
}
return 0 ;
}
2019-10-19 19:09:46 +03:00
const struct iomap_ops xfs_buffered_write_iomap_ops = {
. iomap_begin = xfs_buffered_write_iomap_begin ,
. iomap_end = xfs_buffered_write_iomap_end ,
2016-06-21 02:53:44 +03:00
} ;
2016-08-17 01:45:30 +03:00
2019-10-19 19:09:45 +03:00
static int
xfs_read_iomap_begin (
struct inode * inode ,
loff_t offset ,
loff_t length ,
unsigned flags ,
struct iomap * iomap ,
struct iomap * srcmap )
{
struct xfs_inode * ip = XFS_I ( inode ) ;
struct xfs_mount * mp = ip - > i_mount ;
struct xfs_bmbt_irec imap ;
xfs_fileoff_t offset_fsb = XFS_B_TO_FSBT ( mp , offset ) ;
xfs_fileoff_t end_fsb = xfs_iomap_end_fsb ( mp , offset , length ) ;
int nimaps = 1 , error = 0 ;
bool shared = false ;
unsigned lockmode ;
ASSERT ( ! ( flags & ( IOMAP_WRITE | IOMAP_ZERO ) ) ) ;
if ( XFS_FORCED_SHUTDOWN ( mp ) )
return - EIO ;
error = xfs_ilock_for_iomap ( ip , flags , & lockmode ) ;
if ( error )
return error ;
error = xfs_bmapi_read ( ip , offset_fsb , end_fsb - offset_fsb , & imap ,
& nimaps , 0 ) ;
if ( ! error & & ( flags & IOMAP_REPORT ) )
error = xfs_reflink_trim_around_shared ( ip , & imap , & shared ) ;
xfs_iunlock ( ip , lockmode ) ;
if ( error )
return error ;
trace_xfs_iomap_found ( ip , offset , length , XFS_DATA_FORK , & imap ) ;
return xfs_bmbt_to_iomap ( ip , iomap , & imap , shared ? IOMAP_F_SHARED : 0 ) ;
}
const struct iomap_ops xfs_read_iomap_ops = {
. iomap_begin = xfs_read_iomap_begin ,
} ;
2019-02-18 20:38:46 +03:00
static int
xfs_seek_iomap_begin (
struct inode * inode ,
loff_t offset ,
loff_t length ,
unsigned flags ,
2019-10-19 02:44:10 +03:00
struct iomap * iomap ,
struct iomap * srcmap )
2019-02-18 20:38:46 +03:00
{
struct xfs_inode * ip = XFS_I ( inode ) ;
struct xfs_mount * mp = ip - > i_mount ;
xfs_fileoff_t offset_fsb = XFS_B_TO_FSBT ( mp , offset ) ;
xfs_fileoff_t end_fsb = XFS_B_TO_FSB ( mp , offset + length ) ;
xfs_fileoff_t cow_fsb = NULLFILEOFF , data_fsb = NULLFILEOFF ;
struct xfs_iext_cursor icur ;
struct xfs_bmbt_irec imap , cmap ;
int error = 0 ;
unsigned lockmode ;
if ( XFS_FORCED_SHUTDOWN ( mp ) )
return - EIO ;
lockmode = xfs_ilock_data_map_shared ( ip ) ;
if ( ! ( ip - > i_df . if_flags & XFS_IFEXTENTS ) ) {
error = xfs_iread_extents ( NULL , ip , XFS_DATA_FORK ) ;
if ( error )
goto out_unlock ;
}
if ( xfs_iext_lookup_extent ( ip , & ip - > i_df , offset_fsb , & icur , & imap ) ) {
/*
* If we found a data extent we are done .
*/
if ( imap . br_startoff < = offset_fsb )
goto done ;
data_fsb = imap . br_startoff ;
} else {
/*
* Fake a hole until the end of the file .
*/
2019-10-19 19:09:44 +03:00
data_fsb = xfs_iomap_end_fsb ( mp , offset , length ) ;
2019-02-18 20:38:46 +03:00
}
/*
* If a COW fork extent covers the hole , report it - capped to the next
* data fork extent :
*/
if ( xfs_inode_has_cow_data ( ip ) & &
xfs_iext_lookup_extent ( ip , ip - > i_cowfp , offset_fsb , & icur , & cmap ) )
cow_fsb = cmap . br_startoff ;
if ( cow_fsb ! = NULLFILEOFF & & cow_fsb < = offset_fsb ) {
if ( data_fsb < cow_fsb + cmap . br_blockcount )
end_fsb = min ( end_fsb , data_fsb ) ;
xfs_trim_extent ( & cmap , offset_fsb , end_fsb ) ;
2019-10-17 23:12:02 +03:00
error = xfs_bmbt_to_iomap ( ip , iomap , & cmap , IOMAP_F_SHARED ) ;
2019-02-18 20:38:46 +03:00
/*
* This is a COW extent , so we must probe the page cache
* because there could be dirty page cache being backed
* by this extent .
*/
iomap - > type = IOMAP_UNWRITTEN ;
goto out_unlock ;
}
/*
* Else report a hole , capped to the next found data or COW extent .
*/
if ( cow_fsb ! = NULLFILEOFF & & cow_fsb < data_fsb )
imap . br_blockcount = cow_fsb - offset_fsb ;
else
imap . br_blockcount = data_fsb - offset_fsb ;
imap . br_startoff = offset_fsb ;
imap . br_startblock = HOLESTARTBLOCK ;
imap . br_state = XFS_EXT_NORM ;
done :
xfs_trim_extent ( & imap , offset_fsb , end_fsb ) ;
2019-10-17 23:12:02 +03:00
error = xfs_bmbt_to_iomap ( ip , iomap , & imap , 0 ) ;
2019-02-18 20:38:46 +03:00
out_unlock :
xfs_iunlock ( ip , lockmode ) ;
return error ;
}
const struct iomap_ops xfs_seek_iomap_ops = {
. iomap_begin = xfs_seek_iomap_begin ,
} ;
2016-08-17 01:45:30 +03:00
static int
xfs_xattr_iomap_begin (
struct inode * inode ,
loff_t offset ,
loff_t length ,
unsigned flags ,
2019-10-19 02:44:10 +03:00
struct iomap * iomap ,
struct iomap * srcmap )
2016-08-17 01:45:30 +03:00
{
struct xfs_inode * ip = XFS_I ( inode ) ;
struct xfs_mount * mp = ip - > i_mount ;
xfs_fileoff_t offset_fsb = XFS_B_TO_FSBT ( mp , offset ) ;
xfs_fileoff_t end_fsb = XFS_B_TO_FSB ( mp , offset + length ) ;
struct xfs_bmbt_irec imap ;
int nimaps = 1 , error = 0 ;
unsigned lockmode ;
if ( XFS_FORCED_SHUTDOWN ( mp ) )
return - EIO ;
2017-04-07 02:00:39 +03:00
lockmode = xfs_ilock_attr_map_shared ( ip ) ;
2016-08-17 01:45:30 +03:00
/* if there are no attribute fork or extents, return ENOENT */
2017-04-07 02:00:39 +03:00
if ( ! XFS_IFORK_Q ( ip ) | | ! ip - > i_d . di_anextents ) {
2016-08-17 01:45:30 +03:00
error = - ENOENT ;
goto out_unlock ;
}
ASSERT ( ip - > i_d . di_aformat ! = XFS_DINODE_FMT_LOCAL ) ;
error = xfs_bmapi_read ( ip , offset_fsb , end_fsb - offset_fsb , & imap ,
2017-12-07 03:13:35 +03:00
& nimaps , XFS_BMAPI_ATTRFORK ) ;
2016-08-17 01:45:30 +03:00
out_unlock :
xfs_iunlock ( ip , lockmode ) ;
2019-02-18 20:38:46 +03:00
if ( error )
return error ;
ASSERT ( nimaps ) ;
2019-10-17 23:12:02 +03:00
return xfs_bmbt_to_iomap ( ip , iomap , & imap , 0 ) ;
2016-08-17 01:45:30 +03:00
}
2017-01-28 10:20:26 +03:00
const struct iomap_ops xfs_xattr_iomap_ops = {
2016-08-17 01:45:30 +03:00
. iomap_begin = xfs_xattr_iomap_begin ,
} ;