raid5.h 9.9 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243
  1. #ifndef _RAID5_H
  2. #define _RAID5_H
  3. #include <linux/raid/md.h>
  4. #include <linux/raid/xor.h>
  5. /*
  6. *
  7. * Each stripe contains one buffer per disc. Each buffer can be in
  8. * one of a number of states stored in "flags". Changes between
  9. * these states happen *almost* exclusively under a per-stripe
  10. * spinlock. Some very specific changes can happen in bi_end_io, and
  11. * these are not protected by the spin lock.
  12. *
  13. * The flag bits that are used to represent these states are:
  14. * R5_UPTODATE and R5_LOCKED
  15. *
  16. * State Empty == !UPTODATE, !LOCK
  17. * We have no data, and there is no active request
  18. * State Want == !UPTODATE, LOCK
  19. * A read request is being submitted for this block
  20. * State Dirty == UPTODATE, LOCK
  21. * Some new data is in this buffer, and it is being written out
  22. * State Clean == UPTODATE, !LOCK
  23. * We have valid data which is the same as on disc
  24. *
  25. * The possible state transitions are:
  26. *
  27. * Empty -> Want - on read or write to get old data for parity calc
  28. * Empty -> Dirty - on compute_parity to satisfy write/sync request.(RECONSTRUCT_WRITE)
  29. * Empty -> Clean - on compute_block when computing a block for failed drive
  30. * Want -> Empty - on failed read
  31. * Want -> Clean - on successful completion of read request
  32. * Dirty -> Clean - on successful completion of write request
  33. * Dirty -> Clean - on failed write
  34. * Clean -> Dirty - on compute_parity to satisfy write/sync (RECONSTRUCT or RMW)
  35. *
  36. * The Want->Empty, Want->Clean, Dirty->Clean, transitions
  37. * all happen in b_end_io at interrupt time.
  38. * Each sets the Uptodate bit before releasing the Lock bit.
  39. * This leaves one multi-stage transition:
  40. * Want->Dirty->Clean
  41. * This is safe because thinking that a Clean buffer is actually dirty
  42. * will at worst delay some action, and the stripe will be scheduled
  43. * for attention after the transition is complete.
  44. *
  45. * There is one possibility that is not covered by these states. That
  46. * is if one drive has failed and there is a spare being rebuilt. We
  47. * can't distinguish between a clean block that has been generated
  48. * from parity calculations, and a clean block that has been
  49. * successfully written to the spare ( or to parity when resyncing).
  50. * To distingush these states we have a stripe bit STRIPE_INSYNC that
  51. * is set whenever a write is scheduled to the spare, or to the parity
  52. * disc if there is no spare. A sync request clears this bit, and
  53. * when we find it set with no buffers locked, we know the sync is
  54. * complete.
  55. *
  56. * Buffers for the md device that arrive via make_request are attached
  57. * to the appropriate stripe in one of two lists linked on b_reqnext.
  58. * One list (bh_read) for read requests, one (bh_write) for write.
  59. * There should never be more than one buffer on the two lists
  60. * together, but we are not guaranteed of that so we allow for more.
  61. *
  62. * If a buffer is on the read list when the associated cache buffer is
  63. * Uptodate, the data is copied into the read buffer and it's b_end_io
  64. * routine is called. This may happen in the end_request routine only
  65. * if the buffer has just successfully been read. end_request should
  66. * remove the buffers from the list and then set the Uptodate bit on
  67. * the buffer. Other threads may do this only if they first check
  68. * that the Uptodate bit is set. Once they have checked that they may
  69. * take buffers off the read queue.
  70. *
  71. * When a buffer on the write list is committed for write it is copied
  72. * into the cache buffer, which is then marked dirty, and moved onto a
  73. * third list, the written list (bh_written). Once both the parity
  74. * block and the cached buffer are successfully written, any buffer on
  75. * a written list can be returned with b_end_io.
  76. *
  77. * The write list and read list both act as fifos. The read list is
  78. * protected by the device_lock. The write and written lists are
  79. * protected by the stripe lock. The device_lock, which can be
  80. * claimed while the stipe lock is held, is only for list
  81. * manipulations and will only be held for a very short time. It can
  82. * be claimed from interrupts.
  83. *
  84. *
  85. * Stripes in the stripe cache can be on one of two lists (or on
  86. * neither). The "inactive_list" contains stripes which are not
  87. * currently being used for any request. They can freely be reused
  88. * for another stripe. The "handle_list" contains stripes that need
  89. * to be handled in some way. Both of these are fifo queues. Each
  90. * stripe is also (potentially) linked to a hash bucket in the hash
  91. * table so that it can be found by sector number. Stripes that are
  92. * not hashed must be on the inactive_list, and will normally be at
  93. * the front. All stripes start life this way.
  94. *
  95. * The inactive_list, handle_list and hash bucket lists are all protected by the
  96. * device_lock.
  97. * - stripes on the inactive_list never have their stripe_lock held.
  98. * - stripes have a reference counter. If count==0, they are on a list.
  99. * - If a stripe might need handling, STRIPE_HANDLE is set.
  100. * - When refcount reaches zero, then if STRIPE_HANDLE it is put on
  101. * handle_list else inactive_list
  102. *
  103. * This, combined with the fact that STRIPE_HANDLE is only ever
  104. * cleared while a stripe has a non-zero count means that if the
  105. * refcount is 0 and STRIPE_HANDLE is set, then it is on the
  106. * handle_list and if recount is 0 and STRIPE_HANDLE is not set, then
  107. * the stripe is on inactive_list.
  108. *
  109. * The possible transitions are:
  110. * activate an unhashed/inactive stripe (get_active_stripe())
  111. * lockdev check-hash unlink-stripe cnt++ clean-stripe hash-stripe unlockdev
  112. * activate a hashed, possibly active stripe (get_active_stripe())
  113. * lockdev check-hash if(!cnt++)unlink-stripe unlockdev
  114. * attach a request to an active stripe (add_stripe_bh())
  115. * lockdev attach-buffer unlockdev
  116. * handle a stripe (handle_stripe())
  117. * lockstripe clrSTRIPE_HANDLE ... (lockdev check-buffers unlockdev) .. change-state .. record io needed unlockstripe schedule io
  118. * release an active stripe (release_stripe())
  119. * lockdev if (!--cnt) { if STRIPE_HANDLE, add to handle_list else add to inactive-list } unlockdev
  120. *
  121. * The refcount counts each thread that have activated the stripe,
  122. * plus raid5d if it is handling it, plus one for each active request
  123. * on a cached buffer.
  124. */
  125. struct stripe_head {
  126. struct stripe_head *hash_next, **hash_pprev; /* hash pointers */
  127. struct list_head lru; /* inactive_list or handle_list */
  128. struct raid5_private_data *raid_conf;
  129. sector_t sector; /* sector of this row */
  130. int pd_idx; /* parity disk index */
  131. unsigned long state; /* state flags */
  132. atomic_t count; /* nr of active thread/requests */
  133. spinlock_t lock;
  134. struct r5dev {
  135. struct bio req;
  136. struct bio_vec vec;
  137. struct page *page;
  138. struct bio *toread, *towrite, *written;
  139. sector_t sector; /* sector of this page */
  140. unsigned long flags;
  141. } dev[1]; /* allocated with extra space depending of RAID geometry */
  142. };
  143. /* Flags */
  144. #define R5_UPTODATE 0 /* page contains current data */
  145. #define R5_LOCKED 1 /* IO has been submitted on "req" */
  146. #define R5_OVERWRITE 2 /* towrite covers whole page */
  147. /* and some that are internal to handle_stripe */
  148. #define R5_Insync 3 /* rdev && rdev->in_sync at start */
  149. #define R5_Wantread 4 /* want to schedule a read */
  150. #define R5_Wantwrite 5
  151. #define R5_Syncio 6 /* this io need to be accounted as resync io */
  152. #define R5_Overlap 7 /* There is a pending overlapping request on this block */
  153. /*
  154. * Write method
  155. */
  156. #define RECONSTRUCT_WRITE 1
  157. #define READ_MODIFY_WRITE 2
  158. /* not a write method, but a compute_parity mode */
  159. #define CHECK_PARITY 3
  160. /*
  161. * Stripe state
  162. */
  163. #define STRIPE_ERROR 1
  164. #define STRIPE_HANDLE 2
  165. #define STRIPE_SYNCING 3
  166. #define STRIPE_INSYNC 4
  167. #define STRIPE_PREREAD_ACTIVE 5
  168. #define STRIPE_DELAYED 6
  169. /*
  170. * Plugging:
  171. *
  172. * To improve write throughput, we need to delay the handling of some
  173. * stripes until there has been a chance that several write requests
  174. * for the one stripe have all been collected.
  175. * In particular, any write request that would require pre-reading
  176. * is put on a "delayed" queue until there are no stripes currently
  177. * in a pre-read phase. Further, if the "delayed" queue is empty when
  178. * a stripe is put on it then we "plug" the queue and do not process it
  179. * until an unplug call is made. (the unplug_io_fn() is called).
  180. *
  181. * When preread is initiated on a stripe, we set PREREAD_ACTIVE and add
  182. * it to the count of prereading stripes.
  183. * When write is initiated, or the stripe refcnt == 0 (just in case) we
  184. * clear the PREREAD_ACTIVE flag and decrement the count
  185. * Whenever the delayed queue is empty and the device is not plugged, we
  186. * move any strips from delayed to handle and clear the DELAYED flag and set PREREAD_ACTIVE.
  187. * In stripe_handle, if we find pre-reading is necessary, we do it if
  188. * PREREAD_ACTIVE is set, else we set DELAYED which will send it to the delayed queue.
  189. * HANDLE gets cleared if stripe_handle leave nothing locked.
  190. */
  191. struct disk_info {
  192. mdk_rdev_t *rdev;
  193. };
  194. struct raid5_private_data {
  195. struct stripe_head **stripe_hashtbl;
  196. mddev_t *mddev;
  197. struct disk_info *spare;
  198. int chunk_size, level, algorithm;
  199. int raid_disks, working_disks, failed_disks;
  200. int max_nr_stripes;
  201. struct list_head handle_list; /* stripes needing handling */
  202. struct list_head delayed_list; /* stripes that have plugged requests */
  203. atomic_t preread_active_stripes; /* stripes with scheduled io */
  204. char cache_name[20];
  205. kmem_cache_t *slab_cache; /* for allocating stripes */
  206. /*
  207. * Free stripes pool
  208. */
  209. atomic_t active_stripes;
  210. struct list_head inactive_list;
  211. wait_queue_head_t wait_for_stripe;
  212. wait_queue_head_t wait_for_overlap;
  213. int inactive_blocked; /* release of inactive stripes blocked,
  214. * waiting for 25% to be free
  215. */
  216. spinlock_t device_lock;
  217. struct disk_info disks[0];
  218. };
  219. typedef struct raid5_private_data raid5_conf_t;
  220. #define mddev_to_conf(mddev) ((raid5_conf_t *) mddev->private)
  221. /*
  222. * Our supported algorithms
  223. */
  224. #define ALGORITHM_LEFT_ASYMMETRIC 0
  225. #define ALGORITHM_RIGHT_ASYMMETRIC 1
  226. #define ALGORITHM_LEFT_SYMMETRIC 2
  227. #define ALGORITHM_RIGHT_SYMMETRIC 3
  228. #endif