git.sesse.net Git - bcachefs-tools-debian/blob - libbcachefs/error.h

   1 /* SPDX-License-Identifier: GPL-2.0 */
   2 #ifndef _BCACHEFS_ERROR_H
   3 #define _BCACHEFS_ERROR_H
   4
   5 #include <linux/list.h>
   6 #include <linux/printk.h>
   7
   8 struct bch_dev;
   9 struct bch_fs;
  10 struct work_struct;
  11
  12 /*
  13  * XXX: separate out errors that indicate on disk data is inconsistent, and flag
  14  * superblock as such
  15  */
  16
  17 /* Error messages: */
  18
  19 /*
  20  * Inconsistency errors: The on disk data is inconsistent. If these occur during
  21  * initial recovery, they don't indicate a bug in the running code - we walk all
  22  * the metadata before modifying anything. If they occur at runtime, they
  23  * indicate either a bug in the running code or (less likely) data is being
  24  * silently corrupted under us.
  25  *
  26  * XXX: audit all inconsistent errors and make sure they're all recoverable, in
  27  * BCH_ON_ERROR_CONTINUE mode
  28  */
  29
  30 bool bch2_inconsistent_error(struct bch_fs *);
  31
  32 void bch2_topology_error(struct bch_fs *);
  33
  34 #define bch2_fs_inconsistent(c, ...)                                    \
  35 ({                                                                      \
  36         bch_err(c, __VA_ARGS__);                                        \
  37         bch2_inconsistent_error(c);                                     \
  38 })
  39
  40 #define bch2_fs_inconsistent_on(cond, c, ...)                           \
  41 ({                                                                      \
  42         bool _ret = unlikely(!!(cond));                                 \
  43                                                                         \
  44         if (_ret)                                                       \
  45                 bch2_fs_inconsistent(c, __VA_ARGS__);                   \
  46         _ret;                                                           \
  47 })
  48
  49 /*
  50  * Later we might want to mark only the particular device inconsistent, not the
  51  * entire filesystem:
  52  */
  53
  54 #define bch2_dev_inconsistent(ca, ...)                                  \
  55 do {                                                                    \
  56         bch_err(ca, __VA_ARGS__);                                       \
  57         bch2_inconsistent_error((ca)->fs);                              \
  58 } while (0)
  59
  60 #define bch2_dev_inconsistent_on(cond, ca, ...)                         \
  61 ({                                                                      \
  62         bool _ret = unlikely(!!(cond));                                 \
  63                                                                         \
  64         if (_ret)                                                       \
  65                 bch2_dev_inconsistent(ca, __VA_ARGS__);                 \
  66         _ret;                                                           \
  67 })
  68
  69 /*
  70  * When a transaction update discovers or is causing a fs inconsistency, it's
  71  * helpful to also dump the pending updates:
  72  */
  73 #define bch2_trans_inconsistent(trans, ...)                             \
  74 ({                                                                      \
  75         bch_err(trans->c, __VA_ARGS__);                                 \
  76         bch2_dump_trans_updates(trans);                                 \
  77         bch2_inconsistent_error(trans->c);                              \
  78 })
  79
  80 #define bch2_trans_inconsistent_on(cond, trans, ...)                    \
  81 ({                                                                      \
  82         bool _ret = unlikely(!!(cond));                                 \
  83                                                                         \
  84         if (_ret)                                                       \
  85                 bch2_trans_inconsistent(trans, __VA_ARGS__);            \
  86         _ret;                                                           \
  87 })
  88
  89 /*
  90  * Fsck errors: inconsistency errors we detect at mount time, and should ideally
  91  * be able to repair:
  92  */
  93
  94 enum fsck_err_opts {
  95         FSCK_OPT_EXIT,
  96         FSCK_OPT_YES,
  97         FSCK_OPT_NO,
  98         FSCK_OPT_ASK,
  99 };
 100
 101 struct fsck_err_state {
 102         struct list_head        list;
 103         const char              *fmt;
 104         u64                     nr;
 105         bool                    ratelimited;
 106         int                     ret;
 107         char                    *last_msg;
 108 };
 109
 110 #define FSCK_CAN_FIX            (1 << 0)
 111 #define FSCK_CAN_IGNORE         (1 << 1)
 112 #define FSCK_NEED_FSCK          (1 << 2)
 113 #define FSCK_NO_RATELIMIT       (1 << 3)
 114
 115 __printf(3, 4) __cold
 116 int bch2_fsck_err(struct bch_fs *, unsigned, const char *, ...);
 117 void bch2_flush_fsck_errs(struct bch_fs *);
 118
 119 #define __fsck_err(c, _flags, msg, ...)                                 \
 120 ({                                                                      \
 121         int _ret = bch2_fsck_err(c, _flags, msg, ##__VA_ARGS__);        \
 122                                                                         \
 123         if (_ret != -BCH_ERR_fsck_fix &&                                \
 124             _ret != -BCH_ERR_fsck_ignore) {                             \
 125                 ret = _ret;                                             \
 126                 goto fsck_err;                                          \
 127         }                                                               \
 128                                                                         \
 129         _ret == -BCH_ERR_fsck_fix;                                      \
 130 })
 131
 132 /* These macros return true if error should be fixed: */
 133
 134 /* XXX: mark in superblock that filesystem contains errors, if we ignore: */
 135
 136 #define __fsck_err_on(cond, c, _flags, ...)                             \
 137         (unlikely(cond) ? __fsck_err(c, _flags, ##__VA_ARGS__) : false)
 138
 139 #define need_fsck_err_on(cond, c, ...)                                  \
 140         __fsck_err_on(cond, c, FSCK_CAN_IGNORE|FSCK_NEED_FSCK, ##__VA_ARGS__)
 141
 142 #define need_fsck_err(c, ...)                                           \
 143         __fsck_err(c, FSCK_CAN_IGNORE|FSCK_NEED_FSCK, ##__VA_ARGS__)
 144
 145 #define mustfix_fsck_err(c, ...)                                        \
 146         __fsck_err(c, FSCK_CAN_FIX, ##__VA_ARGS__)
 147
 148 #define mustfix_fsck_err_on(cond, c, ...)                               \
 149         __fsck_err_on(cond, c, FSCK_CAN_FIX, ##__VA_ARGS__)
 150
 151 #define fsck_err(c, ...)                                                \
 152         __fsck_err(c, FSCK_CAN_FIX|FSCK_CAN_IGNORE, ##__VA_ARGS__)
 153
 154 #define fsck_err_on(cond, c, ...)                                       \
 155         __fsck_err_on(cond, c, FSCK_CAN_FIX|FSCK_CAN_IGNORE, ##__VA_ARGS__)
 156
 157 /*
 158  * Fatal errors: these don't indicate a bug, but we can't continue running in RW
 159  * mode - pretty much just due to metadata IO errors:
 160  */
 161
 162 void bch2_fatal_error(struct bch_fs *);
 163
 164 #define bch2_fs_fatal_error(c, ...)                                     \
 165 do {                                                                    \
 166         bch_err(c, __VA_ARGS__);                                        \
 167         bch2_fatal_error(c);                                            \
 168 } while (0)
 169
 170 #define bch2_fs_fatal_err_on(cond, c, ...)                              \
 171 ({                                                                      \
 172         bool _ret = unlikely(!!(cond));                                 \
 173                                                                         \
 174         if (_ret)                                                       \
 175                 bch2_fs_fatal_error(c, __VA_ARGS__);                    \
 176         _ret;                                                           \
 177 })
 178
 179 /*
 180  * IO errors: either recoverable metadata IO (because we have replicas), or data
 181  * IO - we need to log it and print out a message, but we don't (necessarily)
 182  * want to shut down the fs:
 183  */
 184
 185 void bch2_io_error_work(struct work_struct *);
 186
 187 /* Does the error handling without logging a message */
 188 void bch2_io_error(struct bch_dev *);
 189
 190 #define bch2_dev_io_err_on(cond, ca, ...)                               \
 191 ({                                                                      \
 192         bool _ret = (cond);                                             \
 193                                                                         \
 194         if (_ret) {                                                     \
 195                 bch_err_dev_ratelimited(ca, __VA_ARGS__);               \
 196                 bch2_io_error(ca);                                      \
 197         }                                                               \
 198         _ret;                                                           \
 199 })
 200
 201 #define bch2_dev_inum_io_err_on(cond, ca, ...)                          \
 202 ({                                                                      \
 203         bool _ret = (cond);                                             \
 204                                                                         \
 205         if (_ret) {                                                     \
 206                 bch_err_inum_offset_ratelimited(ca, __VA_ARGS__);       \
 207                 bch2_io_error(ca);                                      \
 208         }                                                               \
 209         _ret;                                                           \
 210 })
 211
 212 #endif /* _BCACHEFS_ERROR_H */