closure.h 11 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374
  1. /* SPDX-License-Identifier: GPL-2.0 */
  2. #ifndef _LINUX_CLOSURE_H
  3. #define _LINUX_CLOSURE_H
  4. #include <linux/llist.h>
  5. #include <linux/sched.h>
  6. #include <linux/sched/task_stack.h>
  7. #include <linux/workqueue.h>
  8. /*
  9. * Closure is perhaps the most overused and abused term in computer science, but
  10. * since I've been unable to come up with anything better you're stuck with it
  11. * again.
  12. *
  13. * What are closures?
  14. *
  15. * They embed a refcount. The basic idea is they count "things that are in
  16. * progress" - in flight bios, some other thread that's doing something else -
  17. * anything you might want to wait on.
  18. *
  19. * The refcount may be manipulated with closure_get() and closure_put().
  20. * closure_put() is where many of the interesting things happen, when it causes
  21. * the refcount to go to 0.
  22. *
  23. * Closures can be used to wait on things both synchronously and asynchronously,
  24. * and synchronous and asynchronous use can be mixed without restriction. To
  25. * wait synchronously, use closure_sync() - you will sleep until your closure's
  26. * refcount hits 1.
  27. *
  28. * To wait asynchronously, use
  29. * continue_at(cl, next_function, workqueue);
  30. *
  31. * passing it, as you might expect, the function to run when nothing is pending
  32. * and the workqueue to run that function out of.
  33. *
  34. * continue_at() also, critically, requires a 'return' immediately following the
  35. * location where this macro is referenced, to return to the calling function.
  36. * There's good reason for this.
  37. *
  38. * To use safely closures asynchronously, they must always have a refcount while
  39. * they are running owned by the thread that is running them. Otherwise, suppose
  40. * you submit some bios and wish to have a function run when they all complete:
  41. *
  42. * foo_endio(struct bio *bio)
  43. * {
  44. * closure_put(cl);
  45. * }
  46. *
  47. * closure_init(cl);
  48. *
  49. * do_stuff();
  50. * closure_get(cl);
  51. * bio1->bi_endio = foo_endio;
  52. * bio_submit(bio1);
  53. *
  54. * do_more_stuff();
  55. * closure_get(cl);
  56. * bio2->bi_endio = foo_endio;
  57. * bio_submit(bio2);
  58. *
  59. * continue_at(cl, complete_some_read, system_wq);
  60. *
  61. * If closure's refcount started at 0, complete_some_read() could run before the
  62. * second bio was submitted - which is almost always not what you want! More
  63. * importantly, it wouldn't be possible to say whether the original thread or
  64. * complete_some_read()'s thread owned the closure - and whatever state it was
  65. * associated with!
  66. *
  67. * So, closure_init() initializes a closure's refcount to 1 - and when a
  68. * closure_fn is run, the refcount will be reset to 1 first.
  69. *
  70. * Then, the rule is - if you got the refcount with closure_get(), release it
  71. * with closure_put() (i.e, in a bio->bi_endio function). If you have a refcount
  72. * on a closure because you called closure_init() or you were run out of a
  73. * closure - _always_ use continue_at(). Doing so consistently will help
  74. * eliminate an entire class of particularly pernicious races.
  75. *
  76. * Lastly, you might have a wait list dedicated to a specific event, and have no
  77. * need for specifying the condition - you just want to wait until someone runs
  78. * closure_wake_up() on the appropriate wait list. In that case, just use
  79. * closure_wait(). It will return either true or false, depending on whether the
  80. * closure was already on a wait list or not - a closure can only be on one wait
  81. * list at a time.
  82. *
  83. * Parents:
  84. *
  85. * closure_init() takes two arguments - it takes the closure to initialize, and
  86. * a (possibly null) parent.
  87. *
  88. * If parent is non null, the new closure will have a refcount for its lifetime;
  89. * a closure is considered to be "finished" when its refcount hits 0 and the
  90. * function to run is null. Hence
  91. *
  92. * continue_at(cl, NULL, NULL);
  93. *
  94. * returns up the (spaghetti) stack of closures, precisely like normal return
  95. * returns up the C stack. continue_at() with non null fn is better thought of
  96. * as doing a tail call.
  97. *
  98. * All this implies that a closure should typically be embedded in a particular
  99. * struct (which its refcount will normally control the lifetime of), and that
  100. * struct can very much be thought of as a stack frame.
  101. */
  102. struct closure;
  103. struct closure_syncer;
  104. typedef void (closure_fn) (struct closure *);
  105. struct closure_waitlist {
  106. struct llist_head list;
  107. };
  108. enum closure_state {
  109. /*
  110. * CLOSURE_WAITING: Set iff the closure is on a waitlist. Must be set by
  111. * the thread that owns the closure, and cleared by the thread that's
  112. * waking up the closure.
  113. *
  114. * The rest are for debugging and don't affect behaviour:
  115. *
  116. * CLOSURE_RUNNING: Set when a closure is running (i.e. by
  117. * closure_init() and when closure_put() runs then next function), and
  118. * must be cleared before remaining hits 0. Primarily to help guard
  119. * against incorrect usage and accidentally transferring references.
  120. * continue_at() and closure_return() clear it for you, if you're doing
  121. * something unusual you can use closure_set_dead() which also helps
  122. * annotate where references are being transferred.
  123. */
  124. CLOSURE_BITS_START = (1U << 26),
  125. CLOSURE_DESTRUCTOR = (1U << 26),
  126. CLOSURE_WAITING = (1U << 28),
  127. CLOSURE_RUNNING = (1U << 30),
  128. };
  129. #define CLOSURE_GUARD_MASK \
  130. ((CLOSURE_DESTRUCTOR|CLOSURE_WAITING|CLOSURE_RUNNING) << 1)
  131. #define CLOSURE_REMAINING_MASK (CLOSURE_BITS_START - 1)
  132. #define CLOSURE_REMAINING_INITIALIZER (1|CLOSURE_RUNNING)
  133. struct closure {
  134. union {
  135. struct {
  136. struct workqueue_struct *wq;
  137. struct closure_syncer *s;
  138. struct llist_node list;
  139. closure_fn *fn;
  140. };
  141. struct work_struct work;
  142. };
  143. struct closure *parent;
  144. atomic_t remaining;
  145. #ifdef CONFIG_BCACHE_CLOSURES_DEBUG
  146. #define CLOSURE_MAGIC_DEAD 0xc054dead
  147. #define CLOSURE_MAGIC_ALIVE 0xc054a11e
  148. unsigned magic;
  149. struct list_head all;
  150. unsigned long ip;
  151. unsigned long waiting_on;
  152. #endif
  153. };
  154. void closure_sub(struct closure *cl, int v);
  155. void closure_put(struct closure *cl);
  156. void __closure_wake_up(struct closure_waitlist *list);
  157. bool closure_wait(struct closure_waitlist *list, struct closure *cl);
  158. void __closure_sync(struct closure *cl);
  159. /**
  160. * closure_sync - sleep until a closure a closure has nothing left to wait on
  161. *
  162. * Sleeps until the refcount hits 1 - the thread that's running the closure owns
  163. * the last refcount.
  164. */
  165. static inline void closure_sync(struct closure *cl)
  166. {
  167. if ((atomic_read(&cl->remaining) & CLOSURE_REMAINING_MASK) != 1)
  168. __closure_sync(cl);
  169. }
  170. #ifdef CONFIG_BCACHE_CLOSURES_DEBUG
  171. void closure_debug_init(void);
  172. void closure_debug_create(struct closure *cl);
  173. void closure_debug_destroy(struct closure *cl);
  174. #else
  175. static inline void closure_debug_init(void) {}
  176. static inline void closure_debug_create(struct closure *cl) {}
  177. static inline void closure_debug_destroy(struct closure *cl) {}
  178. #endif
  179. static inline void closure_set_ip(struct closure *cl)
  180. {
  181. #ifdef CONFIG_BCACHE_CLOSURES_DEBUG
  182. cl->ip = _THIS_IP_;
  183. #endif
  184. }
  185. static inline void closure_set_ret_ip(struct closure *cl)
  186. {
  187. #ifdef CONFIG_BCACHE_CLOSURES_DEBUG
  188. cl->ip = _RET_IP_;
  189. #endif
  190. }
  191. static inline void closure_set_waiting(struct closure *cl, unsigned long f)
  192. {
  193. #ifdef CONFIG_BCACHE_CLOSURES_DEBUG
  194. cl->waiting_on = f;
  195. #endif
  196. }
  197. static inline void closure_set_stopped(struct closure *cl)
  198. {
  199. atomic_sub(CLOSURE_RUNNING, &cl->remaining);
  200. }
  201. static inline void set_closure_fn(struct closure *cl, closure_fn *fn,
  202. struct workqueue_struct *wq)
  203. {
  204. closure_set_ip(cl);
  205. cl->fn = fn;
  206. cl->wq = wq;
  207. /* between atomic_dec() in closure_put() */
  208. smp_mb__before_atomic();
  209. }
  210. static inline void closure_queue(struct closure *cl)
  211. {
  212. struct workqueue_struct *wq = cl->wq;
  213. /**
  214. * Changes made to closure, work_struct, or a couple of other structs
  215. * may cause work.func not pointing to the right location.
  216. */
  217. BUILD_BUG_ON(offsetof(struct closure, fn)
  218. != offsetof(struct work_struct, func));
  219. if (wq) {
  220. INIT_WORK(&cl->work, cl->work.func);
  221. BUG_ON(!queue_work(wq, &cl->work));
  222. } else
  223. cl->fn(cl);
  224. }
  225. /**
  226. * closure_get - increment a closure's refcount
  227. */
  228. static inline void closure_get(struct closure *cl)
  229. {
  230. #ifdef CONFIG_BCACHE_CLOSURES_DEBUG
  231. BUG_ON((atomic_inc_return(&cl->remaining) &
  232. CLOSURE_REMAINING_MASK) <= 1);
  233. #else
  234. atomic_inc(&cl->remaining);
  235. #endif
  236. }
  237. /**
  238. * closure_init - Initialize a closure, setting the refcount to 1
  239. * @cl: closure to initialize
  240. * @parent: parent of the new closure. cl will take a refcount on it for its
  241. * lifetime; may be NULL.
  242. */
  243. static inline void closure_init(struct closure *cl, struct closure *parent)
  244. {
  245. memset(cl, 0, sizeof(struct closure));
  246. cl->parent = parent;
  247. if (parent)
  248. closure_get(parent);
  249. atomic_set(&cl->remaining, CLOSURE_REMAINING_INITIALIZER);
  250. closure_debug_create(cl);
  251. closure_set_ip(cl);
  252. }
  253. static inline void closure_init_stack(struct closure *cl)
  254. {
  255. memset(cl, 0, sizeof(struct closure));
  256. atomic_set(&cl->remaining, CLOSURE_REMAINING_INITIALIZER);
  257. }
  258. /**
  259. * closure_wake_up - wake up all closures on a wait list.
  260. */
  261. static inline void closure_wake_up(struct closure_waitlist *list)
  262. {
  263. smp_mb();
  264. __closure_wake_up(list);
  265. }
  266. /**
  267. * continue_at - jump to another function with barrier
  268. *
  269. * After @cl is no longer waiting on anything (i.e. all outstanding refs have
  270. * been dropped with closure_put()), it will resume execution at @fn running out
  271. * of @wq (or, if @wq is NULL, @fn will be called by closure_put() directly).
  272. *
  273. * This is because after calling continue_at() you no longer have a ref on @cl,
  274. * and whatever @cl owns may be freed out from under you - a running closure fn
  275. * has a ref on its own closure which continue_at() drops.
  276. *
  277. * Note you are expected to immediately return after using this macro.
  278. */
  279. #define continue_at(_cl, _fn, _wq) \
  280. do { \
  281. set_closure_fn(_cl, _fn, _wq); \
  282. closure_sub(_cl, CLOSURE_RUNNING + 1); \
  283. } while (0)
  284. /**
  285. * closure_return - finish execution of a closure
  286. *
  287. * This is used to indicate that @cl is finished: when all outstanding refs on
  288. * @cl have been dropped @cl's ref on its parent closure (as passed to
  289. * closure_init()) will be dropped, if one was specified - thus this can be
  290. * thought of as returning to the parent closure.
  291. */
  292. #define closure_return(_cl) continue_at((_cl), NULL, NULL)
  293. /**
  294. * continue_at_nobarrier - jump to another function without barrier
  295. *
  296. * Causes @fn to be executed out of @cl, in @wq context (or called directly if
  297. * @wq is NULL).
  298. *
  299. * The ref the caller of continue_at_nobarrier() had on @cl is now owned by @fn,
  300. * thus it's not safe to touch anything protected by @cl after a
  301. * continue_at_nobarrier().
  302. */
  303. #define continue_at_nobarrier(_cl, _fn, _wq) \
  304. do { \
  305. set_closure_fn(_cl, _fn, _wq); \
  306. closure_queue(_cl); \
  307. } while (0)
  308. /**
  309. * closure_return - finish execution of a closure, with destructor
  310. *
  311. * Works like closure_return(), except @destructor will be called when all
  312. * outstanding refs on @cl have been dropped; @destructor may be used to safely
  313. * free the memory occupied by @cl, and it is called with the ref on the parent
  314. * closure still held - so @destructor could safely return an item to a
  315. * freelist protected by @cl's parent.
  316. */
  317. #define closure_return_with_destructor(_cl, _destructor) \
  318. do { \
  319. set_closure_fn(_cl, _destructor, NULL); \
  320. closure_sub(_cl, CLOSURE_RUNNING - CLOSURE_DESTRUCTOR + 1); \
  321. } while (0)
  322. /**
  323. * closure_call - execute @fn out of a new, uninitialized closure
  324. *
  325. * Typically used when running out of one closure, and we want to run @fn
  326. * asynchronously out of a new closure - @parent will then wait for @cl to
  327. * finish.
  328. */
  329. static inline void closure_call(struct closure *cl, closure_fn fn,
  330. struct workqueue_struct *wq,
  331. struct closure *parent)
  332. {
  333. closure_init(cl, parent);
  334. continue_at_nobarrier(cl, fn, wq);
  335. }
  336. #endif /* _LINUX_CLOSURE_H */