xfs: Set up infrastructure for log attribute replay
authorAllison Henderson <allison.henderson@oracle.com>
Wed, 4 May 2022 02:41:02 +0000 (12:41 +1000)
committerDave Chinner <david@fromorbit.com>
Wed, 4 May 2022 02:41:02 +0000 (12:41 +1000)
Currently attributes are modified directly across one or more
transactions. But they are not logged or replayed in the event of an
error. The goal of log attr replay is to enable logging and replaying
of attribute operations using the existing delayed operations
infrastructure.  This will later enable the attributes to become part of
larger multi part operations that also must first be recorded to the
log.  This is mostly of interest in the scheme of parent pointers which
would need to maintain an attribute containing parent inode information
any time an inode is moved, created, or removed.  Parent pointers would
then be of interest to any feature that would need to quickly derive an
inode path from the mount point. Online scrub, nfs lookups and fs grow
or shrink operations are all features that could take advantage of this.

This patch adds two new log item types for setting or removing
attributes as deferred operations.  The xfs_attri_log_item will log an
intent to set or remove an attribute.  The corresponding
xfs_attrd_log_item holds a reference to the xfs_attri_log_item and is
freed once the transaction is done.  Both log items use a generic
xfs_attr_log_format structure that contains the attribute name, value,
flags, inode, and an op_flag that indicates if the operations is a set
or remove.

[dchinner: added extra little bits needed for intent whiteouts]

Signed-off-by: Allison Henderson <allison.henderson@oracle.com>
Reviewed-by: Chandan Babu R <chandanrlinux@gmail.com>
Reviewed-by: Darrick J. Wong <djwong@kernel.org>
Signed-off-by: Dave Chinner <david@fromorbit.com>
15 files changed:
fs/xfs/Makefile
fs/xfs/libxfs/xfs_attr.c
fs/xfs/libxfs/xfs_attr.h
fs/xfs/libxfs/xfs_defer.c
fs/xfs/libxfs/xfs_defer.h
fs/xfs/libxfs/xfs_log_format.h
fs/xfs/libxfs/xfs_log_recover.h
fs/xfs/scrub/common.c
fs/xfs/xfs_attr_item.c [new file with mode: 0644]
fs/xfs/xfs_attr_item.h [new file with mode: 0644]
fs/xfs/xfs_attr_list.c
fs/xfs/xfs_ioctl32.c
fs/xfs/xfs_iops.c
fs/xfs/xfs_log_recover.c
fs/xfs/xfs_ondisk.h

index 04611a1..b056cfc 100644 (file)
@@ -102,6 +102,7 @@ xfs-y                               += xfs_log.o \
                                   xfs_buf_item_recover.o \
                                   xfs_dquot_item_recover.o \
                                   xfs_extfree_item.o \
+                                  xfs_attr_item.o \
                                   xfs_icreate_item.o \
                                   xfs_inode_item.o \
                                   xfs_inode_item_recover.o \
index e629bf5..e22884f 100644 (file)
 #include "xfs_quota.h"
 #include "xfs_trans_space.h"
 #include "xfs_trace.h"
+#include "xfs_attr_item.h"
+
+struct kmem_cache              *xfs_attri_cache;
+struct kmem_cache              *xfs_attrd_cache;
 
 /*
  * xfs_attr.c
@@ -61,8 +65,6 @@ STATIC int xfs_attr_node_hasname(xfs_da_args_t *args,
                                 struct xfs_da_state **state);
 STATIC int xfs_attr_fillstate(xfs_da_state_t *state);
 STATIC int xfs_attr_refillstate(xfs_da_state_t *state);
-STATIC int xfs_attr_set_iter(struct xfs_delattr_context *dac,
-                            struct xfs_buf **leaf_bp);
 STATIC int xfs_attr_node_removename(struct xfs_da_args *args,
                                    struct xfs_da_state *state);
 
@@ -166,7 +168,7 @@ xfs_attr_get(
 /*
  * Calculate how many blocks we need for the new attribute,
  */
-STATIC int
+int
 xfs_attr_calc_size(
        struct xfs_da_args      *args,
        int                     *local)
@@ -840,6 +842,40 @@ out_trans_cancel:
        goto out_unlock;
 }
 
+int __init
+xfs_attri_init_cache(void)
+{
+       xfs_attri_cache = kmem_cache_create("xfs_attri",
+                                           sizeof(struct xfs_attri_log_item),
+                                           0, 0, NULL);
+
+       return xfs_attri_cache != NULL ? 0 : -ENOMEM;
+}
+
+void
+xfs_attri_destroy_cache(void)
+{
+       kmem_cache_destroy(xfs_attri_cache);
+       xfs_attri_cache = NULL;
+}
+
+int __init
+xfs_attrd_init_cache(void)
+{
+       xfs_attrd_cache = kmem_cache_create("xfs_attrd",
+                                           sizeof(struct xfs_attrd_log_item),
+                                           0, 0, NULL);
+
+       return xfs_attrd_cache != NULL ? 0 : -ENOMEM;
+}
+
+void
+xfs_attrd_destroy_cache(void)
+{
+       kmem_cache_destroy(xfs_attrd_cache);
+       xfs_attrd_cache = NULL;
+}
+
 /*========================================================================
  * External routines when attribute list is inside the inode
  *========================================================================*/
index 5e71f71..80b6f28 100644 (file)
@@ -28,6 +28,11 @@ struct xfs_attr_list_context;
  */
 #define        ATTR_MAX_VALUELEN       (64*1024)       /* max length of a value */
 
+static inline bool xfs_has_larp(struct xfs_mount *mp)
+{
+       return false;
+}
+
 /*
  * Kernel-internal version of the attrlist cursor.
  */
@@ -461,6 +466,11 @@ enum xfs_delattr_state {
 struct xfs_delattr_context {
        struct xfs_da_args      *da_args;
 
+       /*
+        * Used by xfs_attr_set to hold a leaf buffer across a transaction roll
+        */
+       struct xfs_buf          *leaf_bp;
+
        /* Used in xfs_attr_rmtval_set_blk to roll through allocating blocks */
        struct xfs_bmbt_irec    map;
        xfs_dablk_t             lblkno;
@@ -474,6 +484,23 @@ struct xfs_delattr_context {
        enum xfs_delattr_state  dela_state;
 };
 
+/*
+ * List of attrs to commit later.
+ */
+struct xfs_attr_item {
+       struct xfs_delattr_context      xattri_dac;
+
+       /*
+        * Indicates if the attr operation is a set or a remove
+        * XFS_ATTR_OP_FLAGS_{SET,REMOVE}
+        */
+       unsigned int                    xattri_op_flags;
+
+       /* used to log this item to an intent */
+       struct list_head                xattri_list;
+};
+
+
 /*========================================================================
  * Function prototypes for the kernel.
  *========================================================================*/
@@ -490,10 +517,21 @@ int xfs_attr_get_ilocked(struct xfs_da_args *args);
 int xfs_attr_get(struct xfs_da_args *args);
 int xfs_attr_set(struct xfs_da_args *args);
 int xfs_attr_set_args(struct xfs_da_args *args);
+int xfs_attr_set_iter(struct xfs_delattr_context *dac,
+                     struct xfs_buf **leaf_bp);
 int xfs_attr_remove_args(struct xfs_da_args *args);
 int xfs_attr_remove_iter(struct xfs_delattr_context *dac);
 bool xfs_attr_namecheck(const void *name, size_t length);
 void xfs_delattr_context_init(struct xfs_delattr_context *dac,
                              struct xfs_da_args *args);
+int xfs_attr_calc_size(struct xfs_da_args *args, int *local);
+
+extern struct kmem_cache       *xfs_attri_cache;
+extern struct kmem_cache       *xfs_attrd_cache;
+
+int __init xfs_attri_init_cache(void);
+void xfs_attri_destroy_cache(void);
+int __init xfs_attrd_init_cache(void);
+void xfs_attrd_destroy_cache(void);
 
 #endif /* __XFS_ATTR_H__ */
index 7e9a27f..466f333 100644 (file)
@@ -23,6 +23,7 @@
 #include "xfs_bmap.h"
 #include "xfs_alloc.h"
 #include "xfs_buf.h"
+#include "xfs_attr.h"
 
 static struct kmem_cache       *xfs_defer_pending_cache;
 
@@ -869,7 +870,12 @@ xfs_defer_init_item_caches(void)
        error = xfs_extfree_intent_init_cache();
        if (error)
                goto err;
-
+       error = xfs_attri_init_cache();
+       if (error)
+               goto err;
+       error = xfs_attrd_init_cache();
+       if (error)
+               goto err;
        return 0;
 err:
        xfs_defer_destroy_item_caches();
@@ -880,6 +886,8 @@ err:
 void
 xfs_defer_destroy_item_caches(void)
 {
+       xfs_attri_destroy_cache();
+       xfs_attrd_destroy_cache();
        xfs_extfree_intent_destroy_cache();
        xfs_bmap_intent_destroy_cache();
        xfs_refcount_intent_destroy_cache();
index 7bb8a31..fcd23e5 100644 (file)
@@ -63,6 +63,8 @@ extern const struct xfs_defer_op_type xfs_refcount_update_defer_type;
 extern const struct xfs_defer_op_type xfs_rmap_update_defer_type;
 extern const struct xfs_defer_op_type xfs_extent_free_defer_type;
 extern const struct xfs_defer_op_type xfs_agfl_free_defer_type;
+extern const struct xfs_defer_op_type xfs_attr_defer_type;
+
 
 /*
  * Deferred operation item relogging limits.
index afce516..a27492e 100644 (file)
@@ -113,7 +113,12 @@ struct xfs_unmount_log_format {
 #define XLOG_REG_TYPE_CUD_FORMAT       24
 #define XLOG_REG_TYPE_BUI_FORMAT       25
 #define XLOG_REG_TYPE_BUD_FORMAT       26
-#define XLOG_REG_TYPE_MAX              26
+#define XLOG_REG_TYPE_ATTRI_FORMAT     27
+#define XLOG_REG_TYPE_ATTRD_FORMAT     28
+#define XLOG_REG_TYPE_ATTR_NAME        29
+#define XLOG_REG_TYPE_ATTR_VALUE       30
+#define XLOG_REG_TYPE_MAX              30
+
 
 /*
  * Flags to log operation header
@@ -236,6 +241,8 @@ typedef struct xfs_trans_header {
 #define        XFS_LI_CUD              0x1243
 #define        XFS_LI_BUI              0x1244  /* bmbt update intent */
 #define        XFS_LI_BUD              0x1245
+#define        XFS_LI_ATTRI            0x1246  /* attr set/remove intent*/
+#define        XFS_LI_ATTRD            0x1247  /* attr set/remove done */
 
 #define XFS_LI_TYPE_DESC \
        { XFS_LI_EFI,           "XFS_LI_EFI" }, \
@@ -251,7 +258,9 @@ typedef struct xfs_trans_header {
        { XFS_LI_CUI,           "XFS_LI_CUI" }, \
        { XFS_LI_CUD,           "XFS_LI_CUD" }, \
        { XFS_LI_BUI,           "XFS_LI_BUI" }, \
-       { XFS_LI_BUD,           "XFS_LI_BUD" }
+       { XFS_LI_BUD,           "XFS_LI_BUD" }, \
+       { XFS_LI_ATTRI,         "XFS_LI_ATTRI" }, \
+       { XFS_LI_ATTRD,         "XFS_LI_ATTRD" }
 
 /*
  * Inode Log Item Format definitions.
@@ -893,4 +902,35 @@ struct xfs_icreate_log {
        __be32          icl_gen;        /* inode generation number to use */
 };
 
+/*
+ * Flags for deferred attribute operations.
+ * Upper bits are flags, lower byte is type code
+ */
+#define XFS_ATTR_OP_FLAGS_SET          1       /* Set the attribute */
+#define XFS_ATTR_OP_FLAGS_REMOVE       2       /* Remove the attribute */
+#define XFS_ATTR_OP_FLAGS_TYPE_MASK    0xFF    /* Flags type mask */
+
+/*
+ * This is the structure used to lay out an attr log item in the
+ * log.
+ */
+struct xfs_attri_log_format {
+       uint16_t        alfi_type;      /* attri log item type */
+       uint16_t        alfi_size;      /* size of this item */
+       uint32_t        __pad;          /* pad to 64 bit aligned */
+       uint64_t        alfi_id;        /* attri identifier */
+       uint64_t        alfi_ino;       /* the inode for this attr operation */
+       uint32_t        alfi_op_flags;  /* marks the op as a set or remove */
+       uint32_t        alfi_name_len;  /* attr name length */
+       uint32_t        alfi_value_len; /* attr value length */
+       uint32_t        alfi_attr_flags;/* attr flags */
+};
+
+struct xfs_attrd_log_format {
+       uint16_t        alfd_type;      /* attrd log item type */
+       uint16_t        alfd_size;      /* size of this item */
+       uint32_t        __pad;          /* pad to 64 bit aligned */
+       uint64_t        alfd_alf_id;    /* id of corresponding attri */
+};
+
 #endif /* __XFS_LOG_FORMAT_H__ */
index ff69a00..32e2162 100644 (file)
@@ -72,6 +72,8 @@ extern const struct xlog_recover_item_ops xlog_rui_item_ops;
 extern const struct xlog_recover_item_ops xlog_rud_item_ops;
 extern const struct xlog_recover_item_ops xlog_cui_item_ops;
 extern const struct xlog_recover_item_ops xlog_cud_item_ops;
+extern const struct xlog_recover_item_ops xlog_attri_item_ops;
+extern const struct xlog_recover_item_ops xlog_attrd_item_ops;
 
 /*
  * Macros, structures, prototypes for internal log manager use.
index bf1f360..97b54ac 100644 (file)
@@ -23,6 +23,8 @@
 #include "xfs_rmap_btree.h"
 #include "xfs_log.h"
 #include "xfs_trans_priv.h"
+#include "xfs_da_format.h"
+#include "xfs_da_btree.h"
 #include "xfs_attr.h"
 #include "xfs_reflink.h"
 #include "xfs_ag.h"
diff --git a/fs/xfs/xfs_attr_item.c b/fs/xfs/xfs_attr_item.c
new file mode 100644 (file)
index 0000000..b1141ec
--- /dev/null
@@ -0,0 +1,458 @@
+// SPDX-License-Identifier: GPL-2.0-or-later
+/*
+ * Copyright (C) 2022 Oracle.  All Rights Reserved.
+ * Author: Allison Henderson <allison.henderson@oracle.com>
+ */
+
+#include "xfs.h"
+#include "xfs_fs.h"
+#include "xfs_format.h"
+#include "xfs_trans_resv.h"
+#include "xfs_shared.h"
+#include "xfs_mount.h"
+#include "xfs_defer.h"
+#include "xfs_log_format.h"
+#include "xfs_trans.h"
+#include "xfs_trans_priv.h"
+#include "xfs_log.h"
+#include "xfs_inode.h"
+#include "xfs_da_format.h"
+#include "xfs_da_btree.h"
+#include "xfs_attr.h"
+#include "xfs_attr_item.h"
+#include "xfs_trace.h"
+#include "xfs_inode.h"
+#include "xfs_trans_space.h"
+#include "xfs_error.h"
+#include "xfs_log_priv.h"
+#include "xfs_log_recover.h"
+
+static const struct xfs_item_ops xfs_attri_item_ops;
+static const struct xfs_item_ops xfs_attrd_item_ops;
+
+static inline struct xfs_attri_log_item *ATTRI_ITEM(struct xfs_log_item *lip)
+{
+       return container_of(lip, struct xfs_attri_log_item, attri_item);
+}
+
+STATIC void
+xfs_attri_item_free(
+       struct xfs_attri_log_item       *attrip)
+{
+       kmem_free(attrip->attri_item.li_lv_shadow);
+       kmem_free(attrip);
+}
+
+/*
+ * Freeing the attrip requires that we remove it from the AIL if it has already
+ * been placed there. However, the ATTRI may not yet have been placed in the
+ * AIL when called by xfs_attri_release() from ATTRD processing due to the
+ * ordering of committed vs unpin operations in bulk insert operations. Hence
+ * the reference count to ensure only the last caller frees the ATTRI.
+ */
+STATIC void
+xfs_attri_release(
+       struct xfs_attri_log_item       *attrip)
+{
+       ASSERT(atomic_read(&attrip->attri_refcount) > 0);
+       if (!atomic_dec_and_test(&attrip->attri_refcount))
+               return;
+
+       xfs_trans_ail_delete(&attrip->attri_item, 0);
+       xfs_attri_item_free(attrip);
+}
+
+STATIC void
+xfs_attri_item_size(
+       struct xfs_log_item             *lip,
+       int                             *nvecs,
+       int                             *nbytes)
+{
+       struct xfs_attri_log_item       *attrip = ATTRI_ITEM(lip);
+
+       *nvecs += 2;
+       *nbytes += sizeof(struct xfs_attri_log_format) +
+                       xlog_calc_iovec_len(attrip->attri_name_len);
+
+       if (!attrip->attri_value_len)
+               return;
+
+       *nvecs += 1;
+       *nbytes += xlog_calc_iovec_len(attrip->attri_value_len);
+}
+
+/*
+ * This is called to fill in the log iovecs for the given attri log
+ * item. We use  1 iovec for the attri_format_item, 1 for the name, and
+ * another for the value if it is present
+ */
+STATIC void
+xfs_attri_item_format(
+       struct xfs_log_item             *lip,
+       struct xfs_log_vec              *lv)
+{
+       struct xfs_attri_log_item       *attrip = ATTRI_ITEM(lip);
+       struct xfs_log_iovec            *vecp = NULL;
+
+       attrip->attri_format.alfi_type = XFS_LI_ATTRI;
+       attrip->attri_format.alfi_size = 1;
+
+       /*
+        * This size accounting must be done before copying the attrip into the
+        * iovec.  If we do it after, the wrong size will be recorded to the log
+        * and we trip across assertion checks for bad region sizes later during
+        * the log recovery.
+        */
+
+       ASSERT(attrip->attri_name_len > 0);
+       attrip->attri_format.alfi_size++;
+
+       if (attrip->attri_value_len > 0)
+               attrip->attri_format.alfi_size++;
+
+       xlog_copy_iovec(lv, &vecp, XLOG_REG_TYPE_ATTRI_FORMAT,
+                       &attrip->attri_format,
+                       sizeof(struct xfs_attri_log_format));
+       xlog_copy_iovec(lv, &vecp, XLOG_REG_TYPE_ATTR_NAME,
+                       attrip->attri_name,
+                       xlog_calc_iovec_len(attrip->attri_name_len));
+       if (attrip->attri_value_len > 0)
+               xlog_copy_iovec(lv, &vecp, XLOG_REG_TYPE_ATTR_VALUE,
+                               attrip->attri_value,
+                               xlog_calc_iovec_len(attrip->attri_value_len));
+}
+
+/*
+ * The unpin operation is the last place an ATTRI is manipulated in the log. It
+ * is either inserted in the AIL or aborted in the event of a log I/O error. In
+ * either case, the ATTRI transaction has been successfully committed to make
+ * it this far. Therefore, we expect whoever committed the ATTRI to either
+ * construct and commit the ATTRD or drop the ATTRD's reference in the event of
+ * error. Simply drop the log's ATTRI reference now that the log is done with
+ * it.
+ */
+STATIC void
+xfs_attri_item_unpin(
+       struct xfs_log_item     *lip,
+       int                     remove)
+{
+       xfs_attri_release(ATTRI_ITEM(lip));
+}
+
+
+STATIC void
+xfs_attri_item_release(
+       struct xfs_log_item     *lip)
+{
+       xfs_attri_release(ATTRI_ITEM(lip));
+}
+
+/*
+ * Allocate and initialize an attri item.  Caller may allocate an additional
+ * trailing buffer for name and value
+ */
+STATIC struct xfs_attri_log_item *
+xfs_attri_init(
+       struct xfs_mount                *mp,
+       uint32_t                        name_len,
+       uint32_t                        value_len)
+
+{
+       struct xfs_attri_log_item       *attrip;
+       uint32_t                        name_vec_len = 0;
+       uint32_t                        value_vec_len = 0;
+       uint32_t                        buffer_size;
+
+       if (name_len)
+               name_vec_len = xlog_calc_iovec_len(name_len);
+       if (value_len)
+               value_vec_len = xlog_calc_iovec_len(value_len);
+
+       buffer_size = name_vec_len + value_vec_len;
+
+       if (buffer_size) {
+               attrip = kmem_zalloc(sizeof(struct xfs_attri_log_item) +
+                                   buffer_size, KM_NOFS);
+               if (attrip == NULL)
+                       return NULL;
+       } else {
+               attrip = kmem_cache_zalloc(xfs_attri_cache,
+                                         GFP_NOFS | __GFP_NOFAIL);
+       }
+
+       attrip->attri_name_len = name_len;
+       if (name_len)
+               attrip->attri_name = ((char *)attrip) +
+                               sizeof(struct xfs_attri_log_item);
+       else
+               attrip->attri_name = NULL;
+
+       attrip->attri_value_len = value_len;
+       if (value_len)
+               attrip->attri_value = ((char *)attrip) +
+                               sizeof(struct xfs_attri_log_item) +
+                               name_vec_len;
+       else
+               attrip->attri_value = NULL;
+
+       xfs_log_item_init(mp, &attrip->attri_item, XFS_LI_ATTRI,
+                         &xfs_attri_item_ops);
+       attrip->attri_format.alfi_id = (uintptr_t)(void *)attrip;
+       atomic_set(&attrip->attri_refcount, 2);
+
+       return attrip;
+}
+
+/*
+ * Copy an attr format buffer from the given buf, and into the destination attr
+ * format structure.
+ */
+STATIC int
+xfs_attri_copy_format(
+       struct xfs_log_iovec            *buf,
+       struct xfs_attri_log_format     *dst_attr_fmt)
+{
+       struct xfs_attri_log_format     *src_attr_fmt = buf->i_addr;
+       size_t                          len;
+
+       len = sizeof(struct xfs_attri_log_format);
+       if (buf->i_len != len) {
+               XFS_ERROR_REPORT(__func__, XFS_ERRLEVEL_LOW, NULL);
+               return -EFSCORRUPTED;
+       }
+
+       memcpy((char *)dst_attr_fmt, (char *)src_attr_fmt, len);
+       return 0;
+}
+
+static inline struct xfs_attrd_log_item *ATTRD_ITEM(struct xfs_log_item *lip)
+{
+       return container_of(lip, struct xfs_attrd_log_item, attrd_item);
+}
+
+STATIC void
+xfs_attrd_item_free(struct xfs_attrd_log_item *attrdp)
+{
+       kmem_free(attrdp->attrd_item.li_lv_shadow);
+       kmem_free(attrdp);
+}
+
+STATIC void
+xfs_attrd_item_size(
+       struct xfs_log_item             *lip,
+       int                             *nvecs,
+       int                             *nbytes)
+{
+       *nvecs += 1;
+       *nbytes += sizeof(struct xfs_attrd_log_format);
+}
+
+/*
+ * This is called to fill in the log iovecs for the given attrd log item. We use
+ * only 1 iovec for the attrd_format, and we point that at the attr_log_format
+ * structure embedded in the attrd item.
+ */
+STATIC void
+xfs_attrd_item_format(
+       struct xfs_log_item     *lip,
+       struct xfs_log_vec      *lv)
+{
+       struct xfs_attrd_log_item       *attrdp = ATTRD_ITEM(lip);
+       struct xfs_log_iovec            *vecp = NULL;
+
+       attrdp->attrd_format.alfd_type = XFS_LI_ATTRD;
+       attrdp->attrd_format.alfd_size = 1;
+
+       xlog_copy_iovec(lv, &vecp, XLOG_REG_TYPE_ATTRD_FORMAT,
+                       &attrdp->attrd_format,
+                       sizeof(struct xfs_attrd_log_format));
+}
+
+/*
+ * The ATTRD is either committed or aborted if the transaction is canceled. If
+ * the transaction is canceled, drop our reference to the ATTRI and free the
+ * ATTRD.
+ */
+STATIC void
+xfs_attrd_item_release(
+       struct xfs_log_item             *lip)
+{
+       struct xfs_attrd_log_item       *attrdp = ATTRD_ITEM(lip);
+
+       xfs_attri_release(attrdp->attrd_attrip);
+       xfs_attrd_item_free(attrdp);
+}
+
+STATIC xfs_lsn_t
+xfs_attri_item_committed(
+       struct xfs_log_item             *lip,
+       xfs_lsn_t                       lsn)
+{
+       struct xfs_attri_log_item       *attrip = ATTRI_ITEM(lip);
+
+       /*
+        * The attrip refers to xfs_attr_item memory to log the name and value
+        * with the intent item. This already occurred when the intent was
+        * committed so these fields are no longer accessed. Clear them out of
+        * caution since we're about to free the xfs_attr_item.
+        */
+       attrip->attri_name = NULL;
+       attrip->attri_value = NULL;
+
+       /*
+        * The ATTRI is logged only once and cannot be moved in the log, so
+        * simply return the lsn at which it's been logged.
+        */
+       return lsn;
+}
+
+STATIC bool
+xfs_attri_item_match(
+       struct xfs_log_item     *lip,
+       uint64_t                intent_id)
+{
+       return ATTRI_ITEM(lip)->attri_format.alfi_id == intent_id;
+}
+
+/* Is this recovered ATTRI format ok? */
+static inline bool
+xfs_attri_validate(
+       struct xfs_mount                *mp,
+       struct xfs_attri_log_format     *attrp)
+{
+       unsigned int                    op = attrp->alfi_op_flags &
+                                            XFS_ATTR_OP_FLAGS_TYPE_MASK;
+
+       if (attrp->__pad != 0)
+               return false;
+
+       /* alfi_op_flags should be either a set or remove */
+       if (op != XFS_ATTR_OP_FLAGS_SET && op != XFS_ATTR_OP_FLAGS_REMOVE)
+               return false;
+
+       if (attrp->alfi_value_len > XATTR_SIZE_MAX)
+               return false;
+
+       if ((attrp->alfi_name_len > XATTR_NAME_MAX) ||
+           (attrp->alfi_name_len == 0))
+               return false;
+
+       return xfs_verify_ino(mp, attrp->alfi_ino);
+}
+
+STATIC int
+xlog_recover_attri_commit_pass2(
+       struct xlog                     *log,
+       struct list_head                *buffer_list,
+       struct xlog_recover_item        *item,
+       xfs_lsn_t                       lsn)
+{
+       int                             error;
+       struct xfs_mount                *mp = log->l_mp;
+       struct xfs_attri_log_item       *attrip;
+       struct xfs_attri_log_format     *attri_formatp;
+       int                             region = 0;
+
+       attri_formatp = item->ri_buf[region].i_addr;
+
+       /* Validate xfs_attri_log_format */
+       if (!xfs_attri_validate(mp, attri_formatp)) {
+               XFS_ERROR_REPORT(__func__, XFS_ERRLEVEL_LOW, mp);
+               return -EFSCORRUPTED;
+       }
+
+       /* memory alloc failure will cause replay to abort */
+       attrip = xfs_attri_init(mp, attri_formatp->alfi_name_len,
+                               attri_formatp->alfi_value_len);
+       if (attrip == NULL)
+               return -ENOMEM;
+
+       error = xfs_attri_copy_format(&item->ri_buf[region],
+                                     &attrip->attri_format);
+       if (error)
+               goto out;
+
+       region++;
+       memcpy(attrip->attri_name, item->ri_buf[region].i_addr,
+              attrip->attri_name_len);
+
+       if (!xfs_attr_namecheck(attrip->attri_name, attrip->attri_name_len)) {
+               XFS_ERROR_REPORT(__func__, XFS_ERRLEVEL_LOW, mp);
+               error = -EFSCORRUPTED;
+               goto out;
+       }
+
+       if (attrip->attri_value_len > 0) {
+               region++;
+               memcpy(attrip->attri_value, item->ri_buf[region].i_addr,
+                      attrip->attri_value_len);
+       }
+
+       /*
+        * The ATTRI has two references. One for the ATTRD and one for ATTRI to
+        * ensure it makes it into the AIL. Insert the ATTRI into the AIL
+        * directly and drop the ATTRI reference. Note that
+        * xfs_trans_ail_update() drops the AIL lock.
+        */
+       xfs_trans_ail_insert(log->l_ailp, &attrip->attri_item, lsn);
+       xfs_attri_release(attrip);
+       return 0;
+out:
+       xfs_attri_item_free(attrip);
+       return error;
+}
+
+/*
+ * This routine is called when an ATTRD format structure is found in a committed
+ * transaction in the log. Its purpose is to cancel the corresponding ATTRI if
+ * it was still in the log. To do this it searches the AIL for the ATTRI with
+ * an id equal to that in the ATTRD format structure. If we find it we drop
+ * the ATTRD reference, which removes the ATTRI from the AIL and frees it.
+ */
+STATIC int
+xlog_recover_attrd_commit_pass2(
+       struct xlog                     *log,
+       struct list_head                *buffer_list,
+       struct xlog_recover_item        *item,
+       xfs_lsn_t                       lsn)
+{
+       struct xfs_attrd_log_format     *attrd_formatp;
+
+       attrd_formatp = item->ri_buf[0].i_addr;
+       if (item->ri_buf[0].i_len != sizeof(struct xfs_attrd_log_format)) {
+               XFS_ERROR_REPORT(__func__, XFS_ERRLEVEL_LOW, NULL);
+               return -EFSCORRUPTED;
+       }
+
+       xlog_recover_release_intent(log, XFS_LI_ATTRI,
+                                   attrd_formatp->alfd_alf_id);
+       return 0;
+}
+
+static const struct xfs_item_ops xfs_attri_item_ops = {
+       .flags          = XFS_ITEM_INTENT,
+       .iop_size       = xfs_attri_item_size,
+       .iop_format     = xfs_attri_item_format,
+       .iop_unpin      = xfs_attri_item_unpin,
+       .iop_committed  = xfs_attri_item_committed,
+       .iop_release    = xfs_attri_item_release,
+       .iop_match      = xfs_attri_item_match,
+};
+
+const struct xlog_recover_item_ops xlog_attri_item_ops = {
+       .item_type      = XFS_LI_ATTRI,
+       .commit_pass2   = xlog_recover_attri_commit_pass2,
+};
+
+static const struct xfs_item_ops xfs_attrd_item_ops = {
+       .flags          = XFS_ITEM_RELEASE_WHEN_COMMITTED |
+                         XFS_ITEM_INTENT_DONE,
+       .iop_size       = xfs_attrd_item_size,
+       .iop_format     = xfs_attrd_item_format,
+       .iop_release    = xfs_attrd_item_release,
+};
+
+const struct xlog_recover_item_ops xlog_attrd_item_ops = {
+       .item_type      = XFS_LI_ATTRD,
+       .commit_pass2   = xlog_recover_attrd_commit_pass2,
+};
diff --git a/fs/xfs/xfs_attr_item.h b/fs/xfs/xfs_attr_item.h
new file mode 100644 (file)
index 0000000..c3b779f
--- /dev/null
@@ -0,0 +1,46 @@
+/* SPDX-License-Identifier: GPL-2.0-or-later
+ *
+ * Copyright (C) 2022 Oracle.  All Rights Reserved.
+ * Author: Allison Henderson <allison.henderson@oracle.com>
+ */
+#ifndef        __XFS_ATTR_ITEM_H__
+#define        __XFS_ATTR_ITEM_H__
+
+/* kernel only ATTRI/ATTRD definitions */
+
+struct xfs_mount;
+struct kmem_zone;
+
+/*
+ * This is the "attr intention" log item.  It is used to log the fact that some
+ * extended attribute operations need to be processed.  An operation is
+ * currently either a set or remove.  Set or remove operations are described by
+ * the xfs_attr_item which may be logged to this intent.
+ *
+ * During a normal attr operation, name and value point to the name and value
+ * fields of the caller's xfs_da_args structure.  During a recovery, the name
+ * and value buffers are copied from the log, and stored in a trailing buffer
+ * attached to the xfs_attr_item until they are committed.  They are freed when
+ * the xfs_attr_item itself is freed when the work is done.
+ */
+struct xfs_attri_log_item {
+       struct xfs_log_item             attri_item;
+       atomic_t                        attri_refcount;
+       int                             attri_name_len;
+       int                             attri_value_len;
+       void                            *attri_name;
+       void                            *attri_value;
+       struct xfs_attri_log_format     attri_format;
+};
+
+/*
+ * This is the "attr done" log item.  It is used to log the fact that some attrs
+ * earlier mentioned in an attri item have been freed.
+ */
+struct xfs_attrd_log_item {
+       struct xfs_log_item             attrd_item;
+       struct xfs_attri_log_item       *attrd_attrip;
+       struct xfs_attrd_log_format     attrd_format;
+};
+
+#endif /* __XFS_ATTR_ITEM_H__ */
index 2d1e513..90a14e8 100644 (file)
@@ -15,6 +15,7 @@
 #include "xfs_inode.h"
 #include "xfs_trans.h"
 #include "xfs_bmap.h"
+#include "xfs_da_btree.h"
 #include "xfs_attr.h"
 #include "xfs_attr_sf.h"
 #include "xfs_attr_leaf.h"
index ca25ed8..2f54b70 100644 (file)
@@ -17,6 +17,8 @@
 #include "xfs_itable.h"
 #include "xfs_fsops.h"
 #include "xfs_rtalloc.h"
+#include "xfs_da_format.h"
+#include "xfs_da_btree.h"
 #include "xfs_attr.h"
 #include "xfs_ioctl.h"
 #include "xfs_ioctl32.h"
index 94313b7..e912b7f 100644 (file)
@@ -13,6 +13,8 @@
 #include "xfs_inode.h"
 #include "xfs_acl.h"
 #include "xfs_quota.h"
+#include "xfs_da_format.h"
+#include "xfs_da_btree.h"
 #include "xfs_attr.h"
 #include "xfs_trans.h"
 #include "xfs_trace.h"
index c4ad429..97b941c 100644 (file)
@@ -1800,6 +1800,8 @@ static const struct xlog_recover_item_ops *xlog_recover_item_ops[] = {
        &xlog_cud_item_ops,
        &xlog_bui_item_ops,
        &xlog_bud_item_ops,
+       &xlog_attri_item_ops,
+       &xlog_attrd_item_ops,
 };
 
 static const struct xlog_recover_item_ops *
index 2599192..758702b 100644 (file)
@@ -132,6 +132,8 @@ xfs_check_ondisk_structs(void)
        XFS_CHECK_STRUCT_SIZE(struct xfs_inode_log_format,      56);
        XFS_CHECK_STRUCT_SIZE(struct xfs_qoff_logformat,        20);
        XFS_CHECK_STRUCT_SIZE(struct xfs_trans_header,          16);
+       XFS_CHECK_STRUCT_SIZE(struct xfs_attri_log_format,      40);
+       XFS_CHECK_STRUCT_SIZE(struct xfs_attrd_log_format,      16);
 
        /*
         * The v5 superblock format extended several v4 header structures with