blob: 63898d229cb90bccf30430a59b33378721585636 [file] [log] [blame]
Jens Axboe86db1e22008-01-29 14:53:40 +01001/*
2 * Functions related to io context handling
3 */
4#include <linux/kernel.h>
5#include <linux/module.h>
6#include <linux/init.h>
7#include <linux/bio.h>
8#include <linux/blkdev.h>
Tejun Heo5a0e3ad2010-03-24 17:04:11 +09009#include <linux/slab.h>
Ingo Molnarf719ff92017-02-06 10:57:33 +010010#include <linux/sched/task.h>
Jens Axboe86db1e22008-01-29 14:53:40 +010011
12#include "blk.h"
13
14/*
15 * For io context allocations
16 */
17static struct kmem_cache *iocontext_cachep;
18
Tejun Heo6e736be2011-12-14 00:33:38 +010019/**
20 * get_io_context - increment reference count to io_context
21 * @ioc: io_context to get
22 *
23 * Increment reference count to @ioc.
24 */
25void get_io_context(struct io_context *ioc)
26{
27 BUG_ON(atomic_long_read(&ioc->refcount) <= 0);
28 atomic_long_inc(&ioc->refcount);
29}
30EXPORT_SYMBOL(get_io_context);
31
Tejun Heo7e5a8792011-12-14 00:33:42 +010032static void icq_free_icq_rcu(struct rcu_head *head)
33{
34 struct io_cq *icq = container_of(head, struct io_cq, __rcu_head);
35
36 kmem_cache_free(icq->__rcu_icq_cache, icq);
37}
38
Omar Sandoval3d492c22017-02-10 10:32:34 -080039/*
Jens Axboe7b36a712017-03-02 13:59:08 -070040 * Exit an icq. Called with ioc locked for blk-mq, and with both ioc
41 * and queue locked for legacy.
Omar Sandoval3d492c22017-02-10 10:32:34 -080042 */
Tejun Heo7e5a8792011-12-14 00:33:42 +010043static void ioc_exit_icq(struct io_cq *icq)
44{
Tejun Heo621032a2012-02-15 09:45:53 +010045 struct elevator_type *et = icq->q->elevator->type;
46
47 if (icq->flags & ICQ_EXITED)
48 return;
49
Jens Axboebd166ef2017-01-17 06:03:22 -070050 if (et->uses_mq && et->ops.mq.exit_icq)
51 et->ops.mq.exit_icq(icq);
52 else if (!et->uses_mq && et->ops.sq.elevator_exit_icq_fn)
Jens Axboec51ca6c2016-12-10 15:13:59 -070053 et->ops.sq.elevator_exit_icq_fn(icq);
Tejun Heo621032a2012-02-15 09:45:53 +010054
55 icq->flags |= ICQ_EXITED;
56}
57
Jens Axboe7b36a712017-03-02 13:59:08 -070058/*
59 * Release an icq. Called with ioc locked for blk-mq, and with both ioc
60 * and queue locked for legacy.
61 */
Tejun Heo621032a2012-02-15 09:45:53 +010062static void ioc_destroy_icq(struct io_cq *icq)
63{
Tejun Heo7e5a8792011-12-14 00:33:42 +010064 struct io_context *ioc = icq->ioc;
65 struct request_queue *q = icq->q;
66 struct elevator_type *et = q->elevator->type;
67
68 lockdep_assert_held(&ioc->lock);
Tejun Heo7e5a8792011-12-14 00:33:42 +010069
70 radix_tree_delete(&ioc->icq_tree, icq->q->id);
71 hlist_del_init(&icq->ioc_node);
72 list_del_init(&icq->q_node);
73
74 /*
75 * Both setting lookup hint to and clearing it from @icq are done
76 * under queue_lock. If it's not pointing to @icq now, it never
77 * will. Hint assignment itself can race safely.
78 */
Paul E. McKenneyec6c6762014-02-17 13:35:57 -080079 if (rcu_access_pointer(ioc->icq_hint) == icq)
Tejun Heo7e5a8792011-12-14 00:33:42 +010080 rcu_assign_pointer(ioc->icq_hint, NULL);
81
Tejun Heo621032a2012-02-15 09:45:53 +010082 ioc_exit_icq(icq);
Tejun Heo7e5a8792011-12-14 00:33:42 +010083
84 /*
85 * @icq->q might have gone away by the time RCU callback runs
86 * making it impossible to determine icq_cache. Record it in @icq.
87 */
88 icq->__rcu_icq_cache = et->icq_cache;
89 call_rcu(&icq->__rcu_head, icq_free_icq_rcu);
90}
91
Tejun Heob2efa052011-12-14 00:33:39 +010092/*
93 * Slow path for ioc release in put_io_context(). Performs double-lock
Tejun Heoc5869802011-12-14 00:33:41 +010094 * dancing to unlink all icq's and then frees ioc.
Tejun Heob2efa052011-12-14 00:33:39 +010095 */
96static void ioc_release_fn(struct work_struct *work)
97{
98 struct io_context *ioc = container_of(work, struct io_context,
99 release_work);
Tejun Heod8c66c52012-02-11 12:37:25 +0100100 unsigned long flags;
Tejun Heob2efa052011-12-14 00:33:39 +0100101
Tejun Heod8c66c52012-02-11 12:37:25 +0100102 /*
103 * Exiting icq may call into put_io_context() through elevator
104 * which will trigger lockdep warning. The ioc's are guaranteed to
105 * be different, use a different locking subclass here. Use
106 * irqsave variant as there's no spin_lock_irq_nested().
107 */
108 spin_lock_irqsave_nested(&ioc->lock, flags, 1);
Tejun Heob2efa052011-12-14 00:33:39 +0100109
Tejun Heoc5869802011-12-14 00:33:41 +0100110 while (!hlist_empty(&ioc->icq_list)) {
111 struct io_cq *icq = hlist_entry(ioc->icq_list.first,
112 struct io_cq, ioc_node);
Tejun Heo2274b022012-02-15 09:45:52 +0100113 struct request_queue *q = icq->q;
Tejun Heob2efa052011-12-14 00:33:39 +0100114
Tejun Heo2274b022012-02-15 09:45:52 +0100115 if (spin_trylock(q->queue_lock)) {
Tejun Heo621032a2012-02-15 09:45:53 +0100116 ioc_destroy_icq(icq);
Tejun Heo2274b022012-02-15 09:45:52 +0100117 spin_unlock(q->queue_lock);
118 } else {
119 spin_unlock_irqrestore(&ioc->lock, flags);
120 cpu_relax();
121 spin_lock_irqsave_nested(&ioc->lock, flags, 1);
Tejun Heob2efa052011-12-14 00:33:39 +0100122 }
Jens Axboeffc4e752008-02-19 10:02:29 +0100123 }
Tejun Heob2efa052011-12-14 00:33:39 +0100124
Tejun Heo2274b022012-02-15 09:45:52 +0100125 spin_unlock_irqrestore(&ioc->lock, flags);
Tejun Heob2efa052011-12-14 00:33:39 +0100126
127 kmem_cache_free(iocontext_cachep, ioc);
Jens Axboe86db1e22008-01-29 14:53:40 +0100128}
129
Tejun Heo42ec57a2011-12-14 00:33:37 +0100130/**
131 * put_io_context - put a reference of io_context
132 * @ioc: io_context to put
133 *
134 * Decrement reference count of @ioc and release it if the count reaches
Tejun Heo11a31222012-02-07 07:51:30 +0100135 * zero.
Jens Axboe86db1e22008-01-29 14:53:40 +0100136 */
Tejun Heo11a31222012-02-07 07:51:30 +0100137void put_io_context(struct io_context *ioc)
Jens Axboe86db1e22008-01-29 14:53:40 +0100138{
Tejun Heob2efa052011-12-14 00:33:39 +0100139 unsigned long flags;
Xiaotian Fengff8c1472012-03-14 15:34:48 +0100140 bool free_ioc = false;
Tejun Heob2efa052011-12-14 00:33:39 +0100141
Jens Axboe86db1e22008-01-29 14:53:40 +0100142 if (ioc == NULL)
Tejun Heo42ec57a2011-12-14 00:33:37 +0100143 return;
Jens Axboe86db1e22008-01-29 14:53:40 +0100144
Tejun Heo42ec57a2011-12-14 00:33:37 +0100145 BUG_ON(atomic_long_read(&ioc->refcount) <= 0);
Jens Axboe86db1e22008-01-29 14:53:40 +0100146
Tejun Heob2efa052011-12-14 00:33:39 +0100147 /*
Tejun Heo11a31222012-02-07 07:51:30 +0100148 * Releasing ioc requires reverse order double locking and we may
149 * already be holding a queue_lock. Do it asynchronously from wq.
Tejun Heob2efa052011-12-14 00:33:39 +0100150 */
Tejun Heo11a31222012-02-07 07:51:30 +0100151 if (atomic_long_dec_and_test(&ioc->refcount)) {
152 spin_lock_irqsave(&ioc->lock, flags);
153 if (!hlist_empty(&ioc->icq_list))
Viresh Kumar695588f2013-04-24 17:12:56 +0530154 queue_work(system_power_efficient_wq,
155 &ioc->release_work);
Xiaotian Fengff8c1472012-03-14 15:34:48 +0100156 else
157 free_ioc = true;
Tejun Heo11a31222012-02-07 07:51:30 +0100158 spin_unlock_irqrestore(&ioc->lock, flags);
Tejun Heob2efa052011-12-14 00:33:39 +0100159 }
Xiaotian Fengff8c1472012-03-14 15:34:48 +0100160
161 if (free_ioc)
162 kmem_cache_free(iocontext_cachep, ioc);
Jens Axboe86db1e22008-01-29 14:53:40 +0100163}
164EXPORT_SYMBOL(put_io_context);
165
Tejun Heof6e8d012012-03-05 13:15:26 -0800166/**
167 * put_io_context_active - put active reference on ioc
168 * @ioc: ioc of interest
169 *
170 * Undo get_io_context_active(). If active reference reaches zero after
171 * put, @ioc can never issue further IOs and ioscheds are notified.
172 */
173void put_io_context_active(struct io_context *ioc)
Jens Axboe86db1e22008-01-29 14:53:40 +0100174{
Omar Sandoval3d492c22017-02-10 10:32:34 -0800175 struct elevator_type *et;
Tejun Heo621032a2012-02-15 09:45:53 +0100176 unsigned long flags;
Tejun Heof6e8d012012-03-05 13:15:26 -0800177 struct io_cq *icq;
Jens Axboe86db1e22008-01-29 14:53:40 +0100178
Tejun Heof6e8d012012-03-05 13:15:26 -0800179 if (!atomic_dec_and_test(&ioc->active_ref)) {
Tejun Heo621032a2012-02-15 09:45:53 +0100180 put_io_context(ioc);
181 return;
182 }
183
184 /*
185 * Need ioc lock to walk icq_list and q lock to exit icq. Perform
186 * reverse double locking. Read comment in ioc_release_fn() for
187 * explanation on the nested locking annotation.
188 */
189retry:
190 spin_lock_irqsave_nested(&ioc->lock, flags, 1);
Sasha Levinb67bfe02013-02-27 17:06:00 -0800191 hlist_for_each_entry(icq, &ioc->icq_list, ioc_node) {
Tejun Heo621032a2012-02-15 09:45:53 +0100192 if (icq->flags & ICQ_EXITED)
193 continue;
Omar Sandoval3d492c22017-02-10 10:32:34 -0800194
195 et = icq->q->elevator->type;
196 if (et->uses_mq) {
Tejun Heo621032a2012-02-15 09:45:53 +0100197 ioc_exit_icq(icq);
Tejun Heo621032a2012-02-15 09:45:53 +0100198 } else {
Omar Sandoval3d492c22017-02-10 10:32:34 -0800199 if (spin_trylock(icq->q->queue_lock)) {
200 ioc_exit_icq(icq);
201 spin_unlock(icq->q->queue_lock);
202 } else {
203 spin_unlock_irqrestore(&ioc->lock, flags);
204 cpu_relax();
205 goto retry;
206 }
Tejun Heo621032a2012-02-15 09:45:53 +0100207 }
208 }
209 spin_unlock_irqrestore(&ioc->lock, flags);
210
Tejun Heo11a31222012-02-07 07:51:30 +0100211 put_io_context(ioc);
Jens Axboe86db1e22008-01-29 14:53:40 +0100212}
213
Tejun Heof6e8d012012-03-05 13:15:26 -0800214/* Called by the exiting task */
215void exit_io_context(struct task_struct *task)
216{
217 struct io_context *ioc;
218
219 task_lock(task);
220 ioc = task->io_context;
221 task->io_context = NULL;
222 task_unlock(task);
223
224 atomic_dec(&ioc->nr_tasks);
225 put_io_context_active(ioc);
226}
227
Jens Axboe7b36a712017-03-02 13:59:08 -0700228static void __ioc_clear_queue(struct list_head *icq_list)
229{
230 unsigned long flags;
231
232 while (!list_empty(icq_list)) {
233 struct io_cq *icq = list_entry(icq_list->next,
234 struct io_cq, q_node);
235 struct io_context *ioc = icq->ioc;
236
237 spin_lock_irqsave(&ioc->lock, flags);
238 ioc_destroy_icq(icq);
239 spin_unlock_irqrestore(&ioc->lock, flags);
240 }
241}
242
Tejun Heo7e5a8792011-12-14 00:33:42 +0100243/**
244 * ioc_clear_queue - break any ioc association with the specified queue
245 * @q: request_queue being cleared
246 *
Jens Axboe7b36a712017-03-02 13:59:08 -0700247 * Walk @q->icq_list and exit all io_cq's.
Tejun Heo7e5a8792011-12-14 00:33:42 +0100248 */
249void ioc_clear_queue(struct request_queue *q)
250{
Jens Axboe7b36a712017-03-02 13:59:08 -0700251 LIST_HEAD(icq_list);
Tejun Heo7e5a8792011-12-14 00:33:42 +0100252
Jens Axboe7b36a712017-03-02 13:59:08 -0700253 spin_lock_irq(q->queue_lock);
254 list_splice_init(&q->icq_list, &icq_list);
Tejun Heo7e5a8792011-12-14 00:33:42 +0100255
Jens Axboe7b36a712017-03-02 13:59:08 -0700256 if (q->mq_ops) {
257 spin_unlock_irq(q->queue_lock);
258 __ioc_clear_queue(&icq_list);
259 } else {
260 __ioc_clear_queue(&icq_list);
261 spin_unlock_irq(q->queue_lock);
Tejun Heo7e5a8792011-12-14 00:33:42 +0100262 }
263}
264
Tejun Heo24acfc32012-03-05 13:15:24 -0800265int create_task_io_context(struct task_struct *task, gfp_t gfp_flags, int node)
Jens Axboe86db1e22008-01-29 14:53:40 +0100266{
Paul Bolledf415652011-06-06 05:11:34 +0200267 struct io_context *ioc;
Eric Dumazet3c9c7082012-05-31 13:39:05 +0200268 int ret;
Jens Axboe86db1e22008-01-29 14:53:40 +0100269
Tejun Heo42ec57a2011-12-14 00:33:37 +0100270 ioc = kmem_cache_alloc_node(iocontext_cachep, gfp_flags | __GFP_ZERO,
271 node);
272 if (unlikely(!ioc))
Tejun Heo24acfc32012-03-05 13:15:24 -0800273 return -ENOMEM;
Tejun Heo42ec57a2011-12-14 00:33:37 +0100274
275 /* initialize */
276 atomic_long_set(&ioc->refcount, 1);
Olof Johansson4638a832012-08-01 12:17:27 +0200277 atomic_set(&ioc->nr_tasks, 1);
Tejun Heof6e8d012012-03-05 13:15:26 -0800278 atomic_set(&ioc->active_ref, 1);
Tejun Heo42ec57a2011-12-14 00:33:37 +0100279 spin_lock_init(&ioc->lock);
Tejun Heoc5869802011-12-14 00:33:41 +0100280 INIT_RADIX_TREE(&ioc->icq_tree, GFP_ATOMIC | __GFP_HIGH);
281 INIT_HLIST_HEAD(&ioc->icq_list);
Tejun Heob2efa052011-12-14 00:33:39 +0100282 INIT_WORK(&ioc->release_work, ioc_release_fn);
Jens Axboe86db1e22008-01-29 14:53:40 +0100283
Tejun Heofd638362011-12-25 14:29:14 +0100284 /*
285 * Try to install. ioc shouldn't be installed if someone else
286 * already did or @task, which isn't %current, is exiting. Note
287 * that we need to allow ioc creation on exiting %current as exit
288 * path may issue IOs from e.g. exit_files(). The exit path is
289 * responsible for not issuing IO after exit_io_context().
290 */
Tejun Heo6e736be2011-12-14 00:33:38 +0100291 task_lock(task);
Tejun Heofd638362011-12-25 14:29:14 +0100292 if (!task->io_context &&
293 (task == current || !(task->flags & PF_EXITING)))
Tejun Heo6e736be2011-12-14 00:33:38 +0100294 task->io_context = ioc;
Tejun Heof2dbd762011-12-14 00:33:40 +0100295 else
Tejun Heo6e736be2011-12-14 00:33:38 +0100296 kmem_cache_free(iocontext_cachep, ioc);
Eric Dumazet3c9c7082012-05-31 13:39:05 +0200297
298 ret = task->io_context ? 0 : -EBUSY;
299
Tejun Heo6e736be2011-12-14 00:33:38 +0100300 task_unlock(task);
Tejun Heo24acfc32012-03-05 13:15:24 -0800301
Eric Dumazet3c9c7082012-05-31 13:39:05 +0200302 return ret;
Jens Axboe86db1e22008-01-29 14:53:40 +0100303}
Jens Axboe86db1e22008-01-29 14:53:40 +0100304
Tejun Heo6e736be2011-12-14 00:33:38 +0100305/**
306 * get_task_io_context - get io_context of a task
307 * @task: task of interest
308 * @gfp_flags: allocation flags, used if allocation is necessary
309 * @node: allocation node, used if allocation is necessary
Jens Axboe86db1e22008-01-29 14:53:40 +0100310 *
Tejun Heo6e736be2011-12-14 00:33:38 +0100311 * Return io_context of @task. If it doesn't exist, it is created with
312 * @gfp_flags and @node. The returned io_context has its reference count
313 * incremented.
314 *
315 * This function always goes through task_lock() and it's better to use
Tejun Heof2dbd762011-12-14 00:33:40 +0100316 * %current->io_context + get_io_context() for %current.
Jens Axboe86db1e22008-01-29 14:53:40 +0100317 */
Tejun Heo6e736be2011-12-14 00:33:38 +0100318struct io_context *get_task_io_context(struct task_struct *task,
319 gfp_t gfp_flags, int node)
Jens Axboe86db1e22008-01-29 14:53:40 +0100320{
Tejun Heo6e736be2011-12-14 00:33:38 +0100321 struct io_context *ioc;
Jens Axboe86db1e22008-01-29 14:53:40 +0100322
Mel Gormand0164ad2015-11-06 16:28:21 -0800323 might_sleep_if(gfpflags_allow_blocking(gfp_flags));
Jens Axboe86db1e22008-01-29 14:53:40 +0100324
Tejun Heof2dbd762011-12-14 00:33:40 +0100325 do {
326 task_lock(task);
327 ioc = task->io_context;
328 if (likely(ioc)) {
329 get_io_context(ioc);
330 task_unlock(task);
331 return ioc;
332 }
Tejun Heo6e736be2011-12-14 00:33:38 +0100333 task_unlock(task);
Tejun Heo24acfc32012-03-05 13:15:24 -0800334 } while (!create_task_io_context(task, gfp_flags, node));
Tejun Heo6e736be2011-12-14 00:33:38 +0100335
Tejun Heof2dbd762011-12-14 00:33:40 +0100336 return NULL;
Jens Axboe86db1e22008-01-29 14:53:40 +0100337}
Tejun Heo6e736be2011-12-14 00:33:38 +0100338EXPORT_SYMBOL(get_task_io_context);
Jens Axboe86db1e22008-01-29 14:53:40 +0100339
Tejun Heo47fdd4c2011-12-14 00:33:42 +0100340/**
341 * ioc_lookup_icq - lookup io_cq from ioc
342 * @ioc: the associated io_context
343 * @q: the associated request_queue
344 *
345 * Look up io_cq associated with @ioc - @q pair from @ioc. Must be called
346 * with @q->queue_lock held.
347 */
348struct io_cq *ioc_lookup_icq(struct io_context *ioc, struct request_queue *q)
349{
350 struct io_cq *icq;
351
352 lockdep_assert_held(q->queue_lock);
353
354 /*
355 * icq's are indexed from @ioc using radix tree and hint pointer,
356 * both of which are protected with RCU. All removals are done
357 * holding both q and ioc locks, and we're holding q lock - if we
358 * find a icq which points to us, it's guaranteed to be valid.
359 */
360 rcu_read_lock();
361 icq = rcu_dereference(ioc->icq_hint);
362 if (icq && icq->q == q)
363 goto out;
364
365 icq = radix_tree_lookup(&ioc->icq_tree, q->id);
366 if (icq && icq->q == q)
367 rcu_assign_pointer(ioc->icq_hint, icq); /* allowed to race */
368 else
369 icq = NULL;
370out:
371 rcu_read_unlock();
372 return icq;
373}
374EXPORT_SYMBOL(ioc_lookup_icq);
375
Tejun Heof1f8cc92011-12-14 00:33:42 +0100376/**
377 * ioc_create_icq - create and link io_cq
Tejun Heo24acfc32012-03-05 13:15:24 -0800378 * @ioc: io_context of interest
Tejun Heof1f8cc92011-12-14 00:33:42 +0100379 * @q: request_queue of interest
380 * @gfp_mask: allocation mask
381 *
Tejun Heo24acfc32012-03-05 13:15:24 -0800382 * Make sure io_cq linking @ioc and @q exists. If icq doesn't exist, they
383 * will be created using @gfp_mask.
Tejun Heof1f8cc92011-12-14 00:33:42 +0100384 *
385 * The caller is responsible for ensuring @ioc won't go away and @q is
386 * alive and will stay alive until this function returns.
387 */
Tejun Heo24acfc32012-03-05 13:15:24 -0800388struct io_cq *ioc_create_icq(struct io_context *ioc, struct request_queue *q,
389 gfp_t gfp_mask)
Tejun Heof1f8cc92011-12-14 00:33:42 +0100390{
391 struct elevator_type *et = q->elevator->type;
Tejun Heof1f8cc92011-12-14 00:33:42 +0100392 struct io_cq *icq;
393
394 /* allocate stuff */
Tejun Heof1f8cc92011-12-14 00:33:42 +0100395 icq = kmem_cache_alloc_node(et->icq_cache, gfp_mask | __GFP_ZERO,
396 q->node);
397 if (!icq)
398 return NULL;
399
Jan Kara5e4c0d972013-09-11 14:26:05 -0700400 if (radix_tree_maybe_preload(gfp_mask) < 0) {
Tejun Heof1f8cc92011-12-14 00:33:42 +0100401 kmem_cache_free(et->icq_cache, icq);
402 return NULL;
403 }
404
405 icq->ioc = ioc;
406 icq->q = q;
407 INIT_LIST_HEAD(&icq->q_node);
408 INIT_HLIST_NODE(&icq->ioc_node);
409
410 /* lock both q and ioc and try to link @icq */
411 spin_lock_irq(q->queue_lock);
412 spin_lock(&ioc->lock);
413
414 if (likely(!radix_tree_insert(&ioc->icq_tree, q->id, icq))) {
415 hlist_add_head(&icq->ioc_node, &ioc->icq_list);
416 list_add(&icq->q_node, &q->icq_list);
Jens Axboebd166ef2017-01-17 06:03:22 -0700417 if (et->uses_mq && et->ops.mq.init_icq)
418 et->ops.mq.init_icq(icq);
419 else if (!et->uses_mq && et->ops.sq.elevator_init_icq_fn)
Jens Axboec51ca6c2016-12-10 15:13:59 -0700420 et->ops.sq.elevator_init_icq_fn(icq);
Tejun Heof1f8cc92011-12-14 00:33:42 +0100421 } else {
422 kmem_cache_free(et->icq_cache, icq);
423 icq = ioc_lookup_icq(ioc, q);
424 if (!icq)
425 printk(KERN_ERR "cfq: icq link failed!\n");
426 }
427
428 spin_unlock(&ioc->lock);
429 spin_unlock_irq(q->queue_lock);
430 radix_tree_preload_end();
431 return icq;
432}
433
Adrian Bunk13341592008-02-18 13:45:53 +0100434static int __init blk_ioc_init(void)
Jens Axboe86db1e22008-01-29 14:53:40 +0100435{
436 iocontext_cachep = kmem_cache_create("blkdev_ioc",
437 sizeof(struct io_context), 0, SLAB_PANIC, NULL);
438 return 0;
439}
440subsys_initcall(blk_ioc_init);