2019-05-01 02:42:43 +08:00
|
|
|
// SPDX-License-Identifier: GPL-2.0
|
2005-04-17 06:20:36 +08:00
|
|
|
/*
|
|
|
|
* Block device elevator/IO-scheduler.
|
|
|
|
*
|
|
|
|
* Copyright (C) 2000 Andrea Arcangeli <andrea@suse.de> SuSE
|
|
|
|
*
|
2006-09-04 21:41:16 +08:00
|
|
|
* 30042000 Jens Axboe <axboe@kernel.dk> :
|
2005-04-17 06:20:36 +08:00
|
|
|
*
|
|
|
|
* Split the elevator a bit so that it is possible to choose a different
|
|
|
|
* one or even write a new "plug in". There are three pieces:
|
|
|
|
* - elevator_fn, inserts a new request in the queue list
|
|
|
|
* - elevator_merge_fn, decides whether a new buffer can be merged with
|
|
|
|
* an existing request
|
|
|
|
* - elevator_dequeue_fn, called when a request is taken off the active list
|
|
|
|
*
|
|
|
|
* 20082000 Dave Jones <davej@suse.de> :
|
|
|
|
* Removed tests for max-bomb-segments, which was breaking elvtune
|
|
|
|
* when run without -bN
|
|
|
|
*
|
|
|
|
* Jens:
|
|
|
|
* - Rework again to work with bio instead of buffer_heads
|
|
|
|
* - loose bi_dev comparisons, partition handling is right now
|
|
|
|
* - completely modularize elevator setup and teardown
|
|
|
|
*
|
|
|
|
*/
|
|
|
|
#include <linux/kernel.h>
|
|
|
|
#include <linux/fs.h>
|
|
|
|
#include <linux/blkdev.h>
|
|
|
|
#include <linux/bio.h>
|
|
|
|
#include <linux/module.h>
|
|
|
|
#include <linux/slab.h>
|
|
|
|
#include <linux/init.h>
|
|
|
|
#include <linux/compiler.h>
|
2006-03-24 03:00:26 +08:00
|
|
|
#include <linux/blktrace_api.h>
|
2006-07-28 15:23:08 +08:00
|
|
|
#include <linux/hash.h>
|
2008-08-26 15:15:47 +08:00
|
|
|
#include <linux/uaccess.h>
|
2013-03-23 11:42:27 +08:00
|
|
|
#include <linux/pm_runtime.h>
|
2005-04-17 06:20:36 +08:00
|
|
|
|
tracing/events: convert block trace points to TRACE_EVENT()
TRACE_EVENT is a more generic way to define tracepoints. Doing so adds
these new capabilities to this tracepoint:
- zero-copy and per-cpu splice() tracing
- binary tracing without printf overhead
- structured logging records exposed under /debug/tracing/events
- trace events embedded in function tracer output and other plugins
- user-defined, per tracepoint filter expressions
...
Cons:
- no dev_t info for the output of plug, unplug_timer and unplug_io events.
no dev_t info for getrq and sleeprq events if bio == NULL.
no dev_t info for rq_abort,...,rq_requeue events if rq->rq_disk == NULL.
This is mainly because we can't get the deivce from a request queue.
But this may change in the future.
- A packet command is converted to a string in TP_assign, not TP_print.
While blktrace do the convertion just before output.
Since pc requests should be rather rare, this is not a big issue.
- In blktrace, an event can have 2 different print formats, but a TRACE_EVENT
has a unique format, which means we have some unused data in a trace entry.
The overhead is minimized by using __dynamic_array() instead of __array().
I've benchmarked the ioctl blktrace vs the splice based TRACE_EVENT tracing:
dd dd + ioctl blktrace dd + TRACE_EVENT (splice)
1 7.36s, 42.7 MB/s 7.50s, 42.0 MB/s 7.41s, 42.5 MB/s
2 7.43s, 42.3 MB/s 7.48s, 42.1 MB/s 7.43s, 42.4 MB/s
3 7.38s, 42.6 MB/s 7.45s, 42.2 MB/s 7.41s, 42.5 MB/s
So the overhead of tracing is very small, and no regression when using
those trace events vs blktrace.
And the binary output of TRACE_EVENT is much smaller than blktrace:
# ls -l -h
-rw-r--r-- 1 root root 8.8M 06-09 13:24 sda.blktrace.0
-rw-r--r-- 1 root root 195K 06-09 13:24 sda.blktrace.1
-rw-r--r-- 1 root root 2.7M 06-09 13:25 trace_splice.out
Following are some comparisons between TRACE_EVENT and blktrace:
plug:
kjournald-480 [000] 303.084981: block_plug: [kjournald]
kjournald-480 [000] 303.084981: 8,0 P N [kjournald]
unplug_io:
kblockd/0-118 [000] 300.052973: block_unplug_io: [kblockd/0] 1
kblockd/0-118 [000] 300.052974: 8,0 U N [kblockd/0] 1
remap:
kjournald-480 [000] 303.085042: block_remap: 8,0 W 102736992 + 8 <- (8,8) 33384
kjournald-480 [000] 303.085043: 8,0 A W 102736992 + 8 <- (8,8) 33384
bio_backmerge:
kjournald-480 [000] 303.085086: block_bio_backmerge: 8,0 W 102737032 + 8 [kjournald]
kjournald-480 [000] 303.085086: 8,0 M W 102737032 + 8 [kjournald]
getrq:
kjournald-480 [000] 303.084974: block_getrq: 8,0 W 102736984 + 8 [kjournald]
kjournald-480 [000] 303.084975: 8,0 G W 102736984 + 8 [kjournald]
bash-2066 [001] 1072.953770: 8,0 G N [bash]
bash-2066 [001] 1072.953773: block_getrq: 0,0 N 0 + 0 [bash]
rq_complete:
konsole-2065 [001] 300.053184: block_rq_complete: 8,0 W () 103669040 + 16 [0]
konsole-2065 [001] 300.053191: 8,0 C W 103669040 + 16 [0]
ksoftirqd/1-7 [001] 1072.953811: 8,0 C N (5a 00 08 00 00 00 00 00 24 00) [0]
ksoftirqd/1-7 [001] 1072.953813: block_rq_complete: 0,0 N (5a 00 08 00 00 00 00 00 24 00) 0 + 0 [0]
rq_insert:
kjournald-480 [000] 303.084985: block_rq_insert: 8,0 W 0 () 102736984 + 8 [kjournald]
kjournald-480 [000] 303.084986: 8,0 I W 102736984 + 8 [kjournald]
Changelog from v2 -> v3:
- use the newly introduced __dynamic_array().
Changelog from v1 -> v2:
- use __string() instead of __array() to minimize the memory required
to store hex dump of rq->cmd().
- support large pc requests.
- add missing blk_fill_rwbs_rq() in block_rq_requeue TRACE_EVENT.
- some cleanups.
Signed-off-by: Li Zefan <lizf@cn.fujitsu.com>
LKML-Reference: <4A2DF669.5070905@cn.fujitsu.com>
Signed-off-by: Steven Rostedt <rostedt@goodmis.org>
2009-06-09 13:43:05 +08:00
|
|
|
#include <trace/events/block.h>
|
|
|
|
|
2021-09-20 20:33:23 +08:00
|
|
|
#include "elevator.h"
|
2008-09-14 20:55:09 +08:00
|
|
|
#include "blk.h"
|
2017-01-17 21:03:22 +08:00
|
|
|
#include "blk-mq-sched.h"
|
2018-09-27 05:01:03 +08:00
|
|
|
#include "blk-pm.h"
|
2017-04-19 17:33:27 +08:00
|
|
|
#include "blk-wbt.h"
|
2022-02-11 18:11:49 +08:00
|
|
|
#include "blk-cgroup.h"
|
2008-09-14 20:55:09 +08:00
|
|
|
|
2005-04-17 06:20:36 +08:00
|
|
|
static DEFINE_SPINLOCK(elv_list_lock);
|
|
|
|
static LIST_HEAD(elv_list);
|
|
|
|
|
2006-07-28 15:23:08 +08:00
|
|
|
/*
|
|
|
|
* Merge hash stuff.
|
|
|
|
*/
|
2009-05-07 21:24:39 +08:00
|
|
|
#define rq_hash_key(rq) (blk_rq_pos(rq) + blk_rq_sectors(rq))
|
2006-07-28 15:23:08 +08:00
|
|
|
|
2006-12-20 18:04:12 +08:00
|
|
|
/*
|
|
|
|
* Query io scheduler to see if the current process issuing bio may be
|
|
|
|
* merged with rq.
|
|
|
|
*/
|
2022-11-29 23:46:38 +08:00
|
|
|
static bool elv_iosched_allow_bio_merge(struct request *rq, struct bio *bio)
|
2006-12-20 18:04:12 +08:00
|
|
|
{
|
2007-07-24 15:28:11 +08:00
|
|
|
struct request_queue *q = rq->q;
|
2008-10-31 17:05:07 +08:00
|
|
|
struct elevator_queue *e = q->elevator;
|
2006-12-20 18:04:12 +08:00
|
|
|
|
2018-11-02 06:41:41 +08:00
|
|
|
if (e->type->ops.allow_merge)
|
|
|
|
return e->type->ops.allow_merge(q, rq, bio);
|
2006-12-20 18:04:12 +08:00
|
|
|
|
2022-11-29 23:46:38 +08:00
|
|
|
return true;
|
2006-12-20 18:04:12 +08:00
|
|
|
}
|
|
|
|
|
2005-04-17 06:20:36 +08:00
|
|
|
/*
|
|
|
|
* can we safely merge with this request?
|
|
|
|
*/
|
2016-07-08 02:48:22 +08:00
|
|
|
bool elv_bio_merge_ok(struct request *rq, struct bio *bio)
|
2005-04-17 06:20:36 +08:00
|
|
|
{
|
2012-02-08 16:19:38 +08:00
|
|
|
if (!blk_rq_merge_ok(rq, bio))
|
2016-07-08 02:48:22 +08:00
|
|
|
return false;
|
2008-07-01 02:04:41 +08:00
|
|
|
|
2016-07-08 02:48:22 +08:00
|
|
|
if (!elv_iosched_allow_bio_merge(rq, bio))
|
|
|
|
return false;
|
2005-04-17 06:20:36 +08:00
|
|
|
|
2016-07-08 02:48:22 +08:00
|
|
|
return true;
|
2005-04-17 06:20:36 +08:00
|
|
|
}
|
2016-07-08 02:48:22 +08:00
|
|
|
EXPORT_SYMBOL(elv_bio_merge_ok);
|
2005-04-17 06:20:36 +08:00
|
|
|
|
2019-09-05 17:51:31 +08:00
|
|
|
/**
|
2022-11-22 22:21:25 +08:00
|
|
|
* elevator_match - Check whether @e's name or alias matches @name
|
2019-09-05 17:51:31 +08:00
|
|
|
* @e: Scheduler to test
|
|
|
|
* @name: Elevator name to test
|
|
|
|
*
|
2022-11-22 22:21:25 +08:00
|
|
|
* Return true if the elevator @e's name or alias matches @name.
|
2019-09-05 17:51:31 +08:00
|
|
|
*/
|
2022-10-30 18:07:13 +08:00
|
|
|
static bool elevator_match(const struct elevator_type *e, const char *name)
|
2019-09-05 17:51:31 +08:00
|
|
|
{
|
2022-10-30 18:07:13 +08:00
|
|
|
return !strcmp(e->elevator_name, name) ||
|
|
|
|
(e->elevator_alias && !strcmp(e->elevator_alias, name));
|
2017-10-26 02:35:02 +08:00
|
|
|
}
|
|
|
|
|
2022-10-30 18:07:13 +08:00
|
|
|
static struct elevator_type *__elevator_find(const char *name)
|
2005-04-17 06:20:36 +08:00
|
|
|
{
|
2006-10-11 15:24:27 +08:00
|
|
|
struct elevator_type *e;
|
2005-04-17 06:20:36 +08:00
|
|
|
|
2022-10-30 18:07:13 +08:00
|
|
|
list_for_each_entry(e, &elv_list, list)
|
|
|
|
if (elevator_match(e, name))
|
2006-10-11 15:24:27 +08:00
|
|
|
return e;
|
|
|
|
return NULL;
|
2005-04-17 06:20:36 +08:00
|
|
|
}
|
|
|
|
|
2022-10-30 18:07:09 +08:00
|
|
|
static struct elevator_type *elevator_find_get(struct request_queue *q,
|
|
|
|
const char *name)
|
2005-04-17 06:20:36 +08:00
|
|
|
{
|
2005-10-20 16:56:41 +08:00
|
|
|
struct elevator_type *e;
|
2005-04-17 06:20:36 +08:00
|
|
|
|
2007-04-26 20:41:53 +08:00
|
|
|
spin_lock(&elv_list_lock);
|
2022-10-30 18:07:13 +08:00
|
|
|
e = __elevator_find(name);
|
2024-04-08 09:41:22 +08:00
|
|
|
if (e && (!elevator_tryget(e)))
|
2005-10-20 16:56:41 +08:00
|
|
|
e = NULL;
|
2007-04-26 20:41:53 +08:00
|
|
|
spin_unlock(&elv_list_lock);
|
2005-04-17 06:20:36 +08:00
|
|
|
return e;
|
|
|
|
}
|
|
|
|
|
2023-02-08 12:01:22 +08:00
|
|
|
static const struct kobj_type elv_ktype;
|
2006-03-19 07:35:43 +08:00
|
|
|
|
2013-07-03 19:25:24 +08:00
|
|
|
struct elevator_queue *elevator_alloc(struct request_queue *q,
|
2007-07-24 15:28:11 +08:00
|
|
|
struct elevator_type *e)
|
2006-03-19 07:35:43 +08:00
|
|
|
{
|
2008-10-31 17:05:07 +08:00
|
|
|
struct elevator_queue *eq;
|
2006-07-28 15:23:08 +08:00
|
|
|
|
2013-08-30 06:21:42 +08:00
|
|
|
eq = kzalloc_node(sizeof(*eq), GFP_KERNEL, q->node);
|
2006-07-28 15:23:08 +08:00
|
|
|
if (unlikely(!eq))
|
2015-04-24 00:47:44 +08:00
|
|
|
return NULL;
|
2006-07-28 15:23:08 +08:00
|
|
|
|
block: fix up elevator_type refcounting
The current reference management logic of io scheduler modules contains
refcnt problems. For example, blk_mq_init_sched may fail before or after
the calling of e->ops.init_sched. If it fails before the calling, it does
nothing to the reference to the io scheduler module. But if it fails after
the calling, it releases the reference by calling kobject_put(&eq->kobj).
As the callers of blk_mq_init_sched can't know exactly where the failure
happens, they can't handle the reference to the io scheduler module
properly: releasing the reference on failure results in double-release if
blk_mq_init_sched has released it, and not releasing the reference results
in ghost reference if blk_mq_init_sched did not release it either.
The same problem also exists in io schedulers' init_sched implementations.
We can address the problem by adding releasing statements to the error
handling procedures of blk_mq_init_sched and init_sched implementations.
But that is counterintuitive and requires modifications to existing io
schedulers.
Instead, We make elevator_alloc get the io scheduler module references
that will be released by elevator_release. And then, we match each
elevator_get with an elevator_put. Therefore, each reference to an io
scheduler module explicitly has its own getter and releaser, and we no
longer need to worry about the refcnt problems.
The bugs and the patch can be validated with tools here:
https://github.com/nickyc975/linux_elv_refcnt_bug.git
[hch: split out a few bits into separate patches, use a non-try
module_get in elevator_alloc]
Signed-off-by: Jinlong Chen <nickyc975@zju.edu.cn>
Signed-off-by: Christoph Hellwig <hch@lst.de>
Link: https://lore.kernel.org/r/20221020064819.1469928-5-hch@lst.de
Signed-off-by: Jens Axboe <axboe@kernel.dk>
2022-10-20 14:48:19 +08:00
|
|
|
__elevator_get(e);
|
2011-12-14 07:33:41 +08:00
|
|
|
eq->type = e;
|
2007-12-18 14:05:35 +08:00
|
|
|
kobject_init(&eq->kobj, &elv_ktype);
|
2006-07-28 15:23:08 +08:00
|
|
|
mutex_init(&eq->sysfs_lock);
|
2012-12-17 23:01:27 +08:00
|
|
|
hash_init(eq->hash);
|
2006-07-28 15:23:08 +08:00
|
|
|
|
2006-03-19 07:35:43 +08:00
|
|
|
return eq;
|
|
|
|
}
|
2013-07-03 19:25:24 +08:00
|
|
|
EXPORT_SYMBOL(elevator_alloc);
|
2006-03-19 07:35:43 +08:00
|
|
|
|
|
|
|
static void elevator_release(struct kobject *kobj)
|
|
|
|
{
|
2008-10-31 17:05:07 +08:00
|
|
|
struct elevator_queue *e;
|
2006-07-28 15:23:08 +08:00
|
|
|
|
2008-10-31 17:05:07 +08:00
|
|
|
e = container_of(kobj, struct elevator_queue, kobj);
|
2011-12-14 07:33:41 +08:00
|
|
|
elevator_put(e->type);
|
2006-03-19 07:35:43 +08:00
|
|
|
kfree(e);
|
|
|
|
}
|
|
|
|
|
2021-11-24 02:53:07 +08:00
|
|
|
void elevator_exit(struct request_queue *q)
|
2005-04-17 06:20:36 +08:00
|
|
|
{
|
2021-11-24 02:53:07 +08:00
|
|
|
struct elevator_queue *e = q->elevator;
|
|
|
|
|
2022-03-08 13:51:59 +08:00
|
|
|
ioc_clear_queue(q);
|
|
|
|
blk_mq_sched_free_rqs(q);
|
|
|
|
|
2006-03-19 07:35:43 +08:00
|
|
|
mutex_lock(&e->sysfs_lock);
|
2020-10-09 11:26:27 +08:00
|
|
|
blk_mq_exit_sched(q, e);
|
2006-03-19 07:35:43 +08:00
|
|
|
mutex_unlock(&e->sysfs_lock);
|
2005-04-17 06:20:36 +08:00
|
|
|
|
2006-03-19 07:35:43 +08:00
|
|
|
kobject_put(&e->kobj);
|
2005-04-17 06:20:36 +08:00
|
|
|
}
|
2006-07-13 17:55:04 +08:00
|
|
|
|
2006-07-28 15:23:08 +08:00
|
|
|
static inline void __elv_rqhash_del(struct request *rq)
|
|
|
|
{
|
2012-12-17 23:01:27 +08:00
|
|
|
hash_del(&rq->hash);
|
2016-10-20 21:12:13 +08:00
|
|
|
rq->rq_flags &= ~RQF_HASHED;
|
2006-07-28 15:23:08 +08:00
|
|
|
}
|
|
|
|
|
2016-12-07 23:43:31 +08:00
|
|
|
void elv_rqhash_del(struct request_queue *q, struct request *rq)
|
2006-07-28 15:23:08 +08:00
|
|
|
{
|
|
|
|
if (ELV_ON_HASH(rq))
|
|
|
|
__elv_rqhash_del(rq);
|
|
|
|
}
|
2017-01-17 21:03:22 +08:00
|
|
|
EXPORT_SYMBOL_GPL(elv_rqhash_del);
|
2006-07-28 15:23:08 +08:00
|
|
|
|
2016-12-07 23:43:31 +08:00
|
|
|
void elv_rqhash_add(struct request_queue *q, struct request *rq)
|
2006-07-28 15:23:08 +08:00
|
|
|
{
|
2008-10-31 17:05:07 +08:00
|
|
|
struct elevator_queue *e = q->elevator;
|
2006-07-28 15:23:08 +08:00
|
|
|
|
|
|
|
BUG_ON(ELV_ON_HASH(rq));
|
2012-12-17 23:01:27 +08:00
|
|
|
hash_add(e->hash, &rq->hash, rq_hash_key(rq));
|
2016-10-20 21:12:13 +08:00
|
|
|
rq->rq_flags |= RQF_HASHED;
|
2006-07-28 15:23:08 +08:00
|
|
|
}
|
2017-01-17 21:03:22 +08:00
|
|
|
EXPORT_SYMBOL_GPL(elv_rqhash_add);
|
2006-07-28 15:23:08 +08:00
|
|
|
|
2016-12-07 23:43:31 +08:00
|
|
|
void elv_rqhash_reposition(struct request_queue *q, struct request *rq)
|
2006-07-28 15:23:08 +08:00
|
|
|
{
|
|
|
|
__elv_rqhash_del(rq);
|
|
|
|
elv_rqhash_add(q, rq);
|
|
|
|
}
|
|
|
|
|
2016-12-07 23:43:31 +08:00
|
|
|
struct request *elv_rqhash_find(struct request_queue *q, sector_t offset)
|
2006-07-28 15:23:08 +08:00
|
|
|
{
|
2008-10-31 17:05:07 +08:00
|
|
|
struct elevator_queue *e = q->elevator;
|
hlist: drop the node parameter from iterators
I'm not sure why, but the hlist for each entry iterators were conceived
list_for_each_entry(pos, head, member)
The hlist ones were greedy and wanted an extra parameter:
hlist_for_each_entry(tpos, pos, head, member)
Why did they need an extra pos parameter? I'm not quite sure. Not only
they don't really need it, it also prevents the iterator from looking
exactly like the list iterator, which is unfortunate.
Besides the semantic patch, there was some manual work required:
- Fix up the actual hlist iterators in linux/list.h
- Fix up the declaration of other iterators based on the hlist ones.
- A very small amount of places were using the 'node' parameter, this
was modified to use 'obj->member' instead.
- Coccinelle didn't handle the hlist_for_each_entry_safe iterator
properly, so those had to be fixed up manually.
The semantic patch which is mostly the work of Peter Senna Tschudin is here:
@@
iterator name hlist_for_each_entry, hlist_for_each_entry_continue, hlist_for_each_entry_from, hlist_for_each_entry_rcu, hlist_for_each_entry_rcu_bh, hlist_for_each_entry_continue_rcu_bh, for_each_busy_worker, ax25_uid_for_each, ax25_for_each, inet_bind_bucket_for_each, sctp_for_each_hentry, sk_for_each, sk_for_each_rcu, sk_for_each_from, sk_for_each_safe, sk_for_each_bound, hlist_for_each_entry_safe, hlist_for_each_entry_continue_rcu, nr_neigh_for_each, nr_neigh_for_each_safe, nr_node_for_each, nr_node_for_each_safe, for_each_gfn_indirect_valid_sp, for_each_gfn_sp, for_each_host;
type T;
expression a,c,d,e;
identifier b;
statement S;
@@
-T b;
<+... when != b
(
hlist_for_each_entry(a,
- b,
c, d) S
|
hlist_for_each_entry_continue(a,
- b,
c) S
|
hlist_for_each_entry_from(a,
- b,
c) S
|
hlist_for_each_entry_rcu(a,
- b,
c, d) S
|
hlist_for_each_entry_rcu_bh(a,
- b,
c, d) S
|
hlist_for_each_entry_continue_rcu_bh(a,
- b,
c) S
|
for_each_busy_worker(a, c,
- b,
d) S
|
ax25_uid_for_each(a,
- b,
c) S
|
ax25_for_each(a,
- b,
c) S
|
inet_bind_bucket_for_each(a,
- b,
c) S
|
sctp_for_each_hentry(a,
- b,
c) S
|
sk_for_each(a,
- b,
c) S
|
sk_for_each_rcu(a,
- b,
c) S
|
sk_for_each_from
-(a, b)
+(a)
S
+ sk_for_each_from(a) S
|
sk_for_each_safe(a,
- b,
c, d) S
|
sk_for_each_bound(a,
- b,
c) S
|
hlist_for_each_entry_safe(a,
- b,
c, d, e) S
|
hlist_for_each_entry_continue_rcu(a,
- b,
c) S
|
nr_neigh_for_each(a,
- b,
c) S
|
nr_neigh_for_each_safe(a,
- b,
c, d) S
|
nr_node_for_each(a,
- b,
c) S
|
nr_node_for_each_safe(a,
- b,
c, d) S
|
- for_each_gfn_sp(a, c, d, b) S
+ for_each_gfn_sp(a, c, d) S
|
- for_each_gfn_indirect_valid_sp(a, c, d, b) S
+ for_each_gfn_indirect_valid_sp(a, c, d) S
|
for_each_host(a,
- b,
c) S
|
for_each_host_safe(a,
- b,
c, d) S
|
for_each_mesh_entry(a,
- b,
c, d) S
)
...+>
[akpm@linux-foundation.org: drop bogus change from net/ipv4/raw.c]
[akpm@linux-foundation.org: drop bogus hunk from net/ipv6/raw.c]
[akpm@linux-foundation.org: checkpatch fixes]
[akpm@linux-foundation.org: fix warnings]
[akpm@linux-foudnation.org: redo intrusive kvm changes]
Tested-by: Peter Senna Tschudin <peter.senna@gmail.com>
Acked-by: Paul E. McKenney <paulmck@linux.vnet.ibm.com>
Signed-off-by: Sasha Levin <sasha.levin@oracle.com>
Cc: Wu Fengguang <fengguang.wu@intel.com>
Cc: Marcelo Tosatti <mtosatti@redhat.com>
Cc: Gleb Natapov <gleb@redhat.com>
Signed-off-by: Andrew Morton <akpm@linux-foundation.org>
Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org>
2013-02-28 09:06:00 +08:00
|
|
|
struct hlist_node *next;
|
2006-07-28 15:23:08 +08:00
|
|
|
struct request *rq;
|
|
|
|
|
2013-03-01 04:52:24 +08:00
|
|
|
hash_for_each_possible_safe(e->hash, rq, next, hash, offset) {
|
2006-07-28 15:23:08 +08:00
|
|
|
BUG_ON(!ELV_ON_HASH(rq));
|
|
|
|
|
|
|
|
if (unlikely(!rq_mergeable(rq))) {
|
|
|
|
__elv_rqhash_del(rq);
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (rq_hash_key(rq) == offset)
|
|
|
|
return rq;
|
|
|
|
}
|
|
|
|
|
|
|
|
return NULL;
|
|
|
|
}
|
|
|
|
|
2006-07-13 17:55:04 +08:00
|
|
|
/*
|
|
|
|
* RB-tree support functions for inserting/lookup/removal of requests
|
|
|
|
* in a sorted RB tree.
|
|
|
|
*/
|
iosched: prevent aliased requests from starving other I/O
Hi, Jens,
If you recall, I posted an RFC patch for this back in July of last year:
http://lkml.org/lkml/2010/7/13/279
The basic problem is that a process can issue a never-ending stream of
async direct I/Os to the same sector on a device, thus starving out
other I/O in the system (due to the way the alias handling works in both
cfq and deadline). The solution I proposed back then was to start
dispatching from the fifo after a certain number of aliases had been
dispatched. Vivek asked why we had to treat aliases differently at all,
and I never had a good answer. So, I put together a simple patch which
allows aliases to be added to the rb tree (it adds them to the right,
though that doesn't matter as the order isn't guaranteed anyway). I
think this is the preferred solution, as it doesn't break up time slices
in CFQ or batches in deadline. I've tested it, and it does solve the
starvation issue. Let me know what you think.
Cheers,
Jeff
Signed-off-by: Jeff Moyer <jmoyer@redhat.com>
Signed-off-by: Jens Axboe <jaxboe@fusionio.com>
2011-06-03 03:19:05 +08:00
|
|
|
void elv_rb_add(struct rb_root *root, struct request *rq)
|
2006-07-13 17:55:04 +08:00
|
|
|
{
|
|
|
|
struct rb_node **p = &root->rb_node;
|
|
|
|
struct rb_node *parent = NULL;
|
|
|
|
struct request *__rq;
|
|
|
|
|
|
|
|
while (*p) {
|
|
|
|
parent = *p;
|
|
|
|
__rq = rb_entry(parent, struct request, rb_node);
|
|
|
|
|
2009-05-07 21:24:39 +08:00
|
|
|
if (blk_rq_pos(rq) < blk_rq_pos(__rq))
|
2006-07-13 17:55:04 +08:00
|
|
|
p = &(*p)->rb_left;
|
iosched: prevent aliased requests from starving other I/O
Hi, Jens,
If you recall, I posted an RFC patch for this back in July of last year:
http://lkml.org/lkml/2010/7/13/279
The basic problem is that a process can issue a never-ending stream of
async direct I/Os to the same sector on a device, thus starving out
other I/O in the system (due to the way the alias handling works in both
cfq and deadline). The solution I proposed back then was to start
dispatching from the fifo after a certain number of aliases had been
dispatched. Vivek asked why we had to treat aliases differently at all,
and I never had a good answer. So, I put together a simple patch which
allows aliases to be added to the rb tree (it adds them to the right,
though that doesn't matter as the order isn't guaranteed anyway). I
think this is the preferred solution, as it doesn't break up time slices
in CFQ or batches in deadline. I've tested it, and it does solve the
starvation issue. Let me know what you think.
Cheers,
Jeff
Signed-off-by: Jeff Moyer <jmoyer@redhat.com>
Signed-off-by: Jens Axboe <jaxboe@fusionio.com>
2011-06-03 03:19:05 +08:00
|
|
|
else if (blk_rq_pos(rq) >= blk_rq_pos(__rq))
|
2006-07-13 17:55:04 +08:00
|
|
|
p = &(*p)->rb_right;
|
|
|
|
}
|
|
|
|
|
|
|
|
rb_link_node(&rq->rb_node, parent, p);
|
|
|
|
rb_insert_color(&rq->rb_node, root);
|
|
|
|
}
|
|
|
|
EXPORT_SYMBOL(elv_rb_add);
|
|
|
|
|
|
|
|
void elv_rb_del(struct rb_root *root, struct request *rq)
|
|
|
|
{
|
|
|
|
BUG_ON(RB_EMPTY_NODE(&rq->rb_node));
|
|
|
|
rb_erase(&rq->rb_node, root);
|
|
|
|
RB_CLEAR_NODE(&rq->rb_node);
|
|
|
|
}
|
|
|
|
EXPORT_SYMBOL(elv_rb_del);
|
|
|
|
|
|
|
|
struct request *elv_rb_find(struct rb_root *root, sector_t sector)
|
|
|
|
{
|
|
|
|
struct rb_node *n = root->rb_node;
|
|
|
|
struct request *rq;
|
|
|
|
|
|
|
|
while (n) {
|
|
|
|
rq = rb_entry(n, struct request, rb_node);
|
|
|
|
|
2009-05-07 21:24:39 +08:00
|
|
|
if (sector < blk_rq_pos(rq))
|
2006-07-13 17:55:04 +08:00
|
|
|
n = n->rb_left;
|
2009-05-07 21:24:39 +08:00
|
|
|
else if (sector > blk_rq_pos(rq))
|
2006-07-13 17:55:04 +08:00
|
|
|
n = n->rb_right;
|
|
|
|
else
|
|
|
|
return rq;
|
|
|
|
}
|
|
|
|
|
|
|
|
return NULL;
|
|
|
|
}
|
|
|
|
EXPORT_SYMBOL(elv_rb_find);
|
|
|
|
|
2017-02-08 21:46:48 +08:00
|
|
|
enum elv_merge elv_merge(struct request_queue *q, struct request **req,
|
|
|
|
struct bio *bio)
|
2005-04-17 06:20:36 +08:00
|
|
|
{
|
2008-10-31 17:05:07 +08:00
|
|
|
struct elevator_queue *e = q->elevator;
|
2006-07-28 15:23:08 +08:00
|
|
|
struct request *__rq;
|
2005-10-20 22:46:23 +08:00
|
|
|
|
2010-01-29 16:04:08 +08:00
|
|
|
/*
|
|
|
|
* Levels of merges:
|
|
|
|
* nomerges: No merges at all attempted
|
|
|
|
* noxmerges: Only simple one-hit cache try
|
|
|
|
* merges: All merge tries attempted
|
|
|
|
*/
|
2015-10-20 23:13:55 +08:00
|
|
|
if (blk_queue_nomerges(q) || !bio_mergeable(bio))
|
2010-01-29 16:04:08 +08:00
|
|
|
return ELEVATOR_NO_MERGE;
|
|
|
|
|
2006-07-28 15:23:08 +08:00
|
|
|
/*
|
|
|
|
* First try one-hit cache.
|
|
|
|
*/
|
2016-07-08 02:48:22 +08:00
|
|
|
if (q->last_merge && elv_bio_merge_ok(q->last_merge, bio)) {
|
2017-02-08 21:46:48 +08:00
|
|
|
enum elv_merge ret = blk_try_merge(q->last_merge, bio);
|
|
|
|
|
2005-10-20 22:46:23 +08:00
|
|
|
if (ret != ELEVATOR_NO_MERGE) {
|
|
|
|
*req = q->last_merge;
|
|
|
|
return ret;
|
|
|
|
}
|
|
|
|
}
|
2005-04-17 06:20:36 +08:00
|
|
|
|
2010-01-29 16:04:08 +08:00
|
|
|
if (blk_queue_noxmerges(q))
|
2008-04-29 20:44:19 +08:00
|
|
|
return ELEVATOR_NO_MERGE;
|
|
|
|
|
2006-07-28 15:23:08 +08:00
|
|
|
/*
|
|
|
|
* See if our hash lookup can find a potential backmerge.
|
|
|
|
*/
|
2013-10-12 06:44:27 +08:00
|
|
|
__rq = elv_rqhash_find(q, bio->bi_iter.bi_sector);
|
2016-07-08 02:48:22 +08:00
|
|
|
if (__rq && elv_bio_merge_ok(__rq, bio)) {
|
2006-07-28 15:23:08 +08:00
|
|
|
*req = __rq;
|
2021-07-29 11:42:26 +08:00
|
|
|
|
|
|
|
if (blk_discard_mergable(__rq))
|
|
|
|
return ELEVATOR_DISCARD_MERGE;
|
2006-07-28 15:23:08 +08:00
|
|
|
return ELEVATOR_BACK_MERGE;
|
|
|
|
}
|
|
|
|
|
2018-11-02 06:41:41 +08:00
|
|
|
if (e->type->ops.request_merge)
|
|
|
|
return e->type->ops.request_merge(q, req, bio);
|
2005-04-17 06:20:36 +08:00
|
|
|
|
|
|
|
return ELEVATOR_NO_MERGE;
|
|
|
|
}
|
|
|
|
|
2011-03-21 17:14:27 +08:00
|
|
|
/*
|
|
|
|
* Attempt to do an insertion back merge. Only check for the case where
|
|
|
|
* we can append 'rq' to an existing request, so we can throw 'rq' away
|
|
|
|
* afterwards.
|
|
|
|
*
|
2021-06-23 17:36:34 +08:00
|
|
|
* Returns true if we merged, false otherwise. 'free' will contain all
|
|
|
|
* requests that need to be freed.
|
2011-03-21 17:14:27 +08:00
|
|
|
*/
|
2021-06-23 17:36:34 +08:00
|
|
|
bool elv_attempt_insert_merge(struct request_queue *q, struct request *rq,
|
|
|
|
struct list_head *free)
|
2011-03-21 17:14:27 +08:00
|
|
|
{
|
|
|
|
struct request *__rq;
|
block: recursive merge requests
In a workload, thread 1 accesses a, a+2, ..., thread 2 accesses a+1, a+3,....
When the requests are flushed to queue, a and a+1 are merged to (a, a+1), a+2
and a+3 too to (a+2, a+3), but (a, a+1) and (a+2, a+3) aren't merged.
If we do recursive merge for such interleave access, some workloads throughput
get improvement. A recent worload I'm checking on is swap, below change
boostes the throughput around 5% ~ 10%.
Signed-off-by: Shaohua Li <shli@fusionio.com>
Signed-off-by: Jens Axboe <axboe@kernel.dk>
2012-11-09 15:44:27 +08:00
|
|
|
bool ret;
|
2011-03-21 17:14:27 +08:00
|
|
|
|
|
|
|
if (blk_queue_nomerges(q))
|
|
|
|
return false;
|
|
|
|
|
|
|
|
/*
|
|
|
|
* First try one-hit cache.
|
|
|
|
*/
|
2021-06-23 17:36:34 +08:00
|
|
|
if (q->last_merge && blk_attempt_req_merge(q, q->last_merge, rq)) {
|
|
|
|
list_add(&rq->queuelist, free);
|
2011-03-21 17:14:27 +08:00
|
|
|
return true;
|
2021-06-23 17:36:34 +08:00
|
|
|
}
|
2011-03-21 17:14:27 +08:00
|
|
|
|
|
|
|
if (blk_queue_noxmerges(q))
|
|
|
|
return false;
|
|
|
|
|
block: recursive merge requests
In a workload, thread 1 accesses a, a+2, ..., thread 2 accesses a+1, a+3,....
When the requests are flushed to queue, a and a+1 are merged to (a, a+1), a+2
and a+3 too to (a+2, a+3), but (a, a+1) and (a+2, a+3) aren't merged.
If we do recursive merge for such interleave access, some workloads throughput
get improvement. A recent worload I'm checking on is swap, below change
boostes the throughput around 5% ~ 10%.
Signed-off-by: Shaohua Li <shli@fusionio.com>
Signed-off-by: Jens Axboe <axboe@kernel.dk>
2012-11-09 15:44:27 +08:00
|
|
|
ret = false;
|
2011-03-21 17:14:27 +08:00
|
|
|
/*
|
|
|
|
* See if our hash lookup can find a potential backmerge.
|
|
|
|
*/
|
block: recursive merge requests
In a workload, thread 1 accesses a, a+2, ..., thread 2 accesses a+1, a+3,....
When the requests are flushed to queue, a and a+1 are merged to (a, a+1), a+2
and a+3 too to (a+2, a+3), but (a, a+1) and (a+2, a+3) aren't merged.
If we do recursive merge for such interleave access, some workloads throughput
get improvement. A recent worload I'm checking on is swap, below change
boostes the throughput around 5% ~ 10%.
Signed-off-by: Shaohua Li <shli@fusionio.com>
Signed-off-by: Jens Axboe <axboe@kernel.dk>
2012-11-09 15:44:27 +08:00
|
|
|
while (1) {
|
|
|
|
__rq = elv_rqhash_find(q, blk_rq_pos(rq));
|
|
|
|
if (!__rq || !blk_attempt_req_merge(q, __rq, rq))
|
|
|
|
break;
|
|
|
|
|
2021-06-23 17:36:34 +08:00
|
|
|
list_add(&rq->queuelist, free);
|
block: recursive merge requests
In a workload, thread 1 accesses a, a+2, ..., thread 2 accesses a+1, a+3,....
When the requests are flushed to queue, a and a+1 are merged to (a, a+1), a+2
and a+3 too to (a+2, a+3), but (a, a+1) and (a+2, a+3) aren't merged.
If we do recursive merge for such interleave access, some workloads throughput
get improvement. A recent worload I'm checking on is swap, below change
boostes the throughput around 5% ~ 10%.
Signed-off-by: Shaohua Li <shli@fusionio.com>
Signed-off-by: Jens Axboe <axboe@kernel.dk>
2012-11-09 15:44:27 +08:00
|
|
|
/* The merged request could be merged with others, try again */
|
|
|
|
ret = true;
|
|
|
|
rq = __rq;
|
|
|
|
}
|
block: recursive merge requests
In my workload, thread 1 accesses a, a+2, ..., thread 2 accesses a+1,
a+3,.... When the requests are flushed to queue, a and a+1 are merged
to (a, a+1), a+2 and a+3 too to (a+2, a+3), but (a, a+1) and (a+2, a+3)
aren't merged.
With recursive merge below, the workload throughput gets improved 20%
and context switch drops 60%.
Signed-off-by: Shaohua Li <shaohua.li@intel.com>
Signed-off-by: Jens Axboe <axboe@kernel.dk>
2011-12-16 21:00:31 +08:00
|
|
|
|
block: recursive merge requests
In a workload, thread 1 accesses a, a+2, ..., thread 2 accesses a+1, a+3,....
When the requests are flushed to queue, a and a+1 are merged to (a, a+1), a+2
and a+3 too to (a+2, a+3), but (a, a+1) and (a+2, a+3) aren't merged.
If we do recursive merge for such interleave access, some workloads throughput
get improvement. A recent worload I'm checking on is swap, below change
boostes the throughput around 5% ~ 10%.
Signed-off-by: Shaohua Li <shli@fusionio.com>
Signed-off-by: Jens Axboe <axboe@kernel.dk>
2012-11-09 15:44:27 +08:00
|
|
|
return ret;
|
2011-03-21 17:14:27 +08:00
|
|
|
}
|
|
|
|
|
2017-02-08 21:46:48 +08:00
|
|
|
void elv_merged_request(struct request_queue *q, struct request *rq,
|
|
|
|
enum elv_merge type)
|
2005-04-17 06:20:36 +08:00
|
|
|
{
|
2008-10-31 17:05:07 +08:00
|
|
|
struct elevator_queue *e = q->elevator;
|
2005-04-17 06:20:36 +08:00
|
|
|
|
2018-11-02 06:41:41 +08:00
|
|
|
if (e->type->ops.request_merged)
|
|
|
|
e->type->ops.request_merged(q, rq, type);
|
2005-10-20 22:46:23 +08:00
|
|
|
|
2006-07-13 17:55:04 +08:00
|
|
|
if (type == ELEVATOR_BACK_MERGE)
|
|
|
|
elv_rqhash_reposition(q, rq);
|
2006-07-28 15:23:08 +08:00
|
|
|
|
2005-10-20 22:46:23 +08:00
|
|
|
q->last_merge = rq;
|
2005-04-17 06:20:36 +08:00
|
|
|
}
|
|
|
|
|
2007-07-24 15:28:11 +08:00
|
|
|
void elv_merge_requests(struct request_queue *q, struct request *rq,
|
2005-04-17 06:20:36 +08:00
|
|
|
struct request *next)
|
|
|
|
{
|
2008-10-31 17:05:07 +08:00
|
|
|
struct elevator_queue *e = q->elevator;
|
2017-01-17 21:03:22 +08:00
|
|
|
|
2018-11-02 06:41:41 +08:00
|
|
|
if (e->type->ops.requests_merged)
|
|
|
|
e->type->ops.requests_merged(q, rq, next);
|
2005-10-20 22:46:23 +08:00
|
|
|
|
2006-07-28 15:23:08 +08:00
|
|
|
elv_rqhash_reposition(q, rq);
|
2005-10-20 22:46:23 +08:00
|
|
|
q->last_merge = rq;
|
2005-04-17 06:20:36 +08:00
|
|
|
}
|
|
|
|
|
2007-07-24 15:28:11 +08:00
|
|
|
struct request *elv_latter_request(struct request_queue *q, struct request *rq)
|
2005-04-17 06:20:36 +08:00
|
|
|
{
|
2008-10-31 17:05:07 +08:00
|
|
|
struct elevator_queue *e = q->elevator;
|
2005-04-17 06:20:36 +08:00
|
|
|
|
2018-11-02 06:41:41 +08:00
|
|
|
if (e->type->ops.next_request)
|
|
|
|
return e->type->ops.next_request(q, rq);
|
2017-01-17 21:03:22 +08:00
|
|
|
|
2005-04-17 06:20:36 +08:00
|
|
|
return NULL;
|
|
|
|
}
|
|
|
|
|
2007-07-24 15:28:11 +08:00
|
|
|
struct request *elv_former_request(struct request_queue *q, struct request *rq)
|
2005-04-17 06:20:36 +08:00
|
|
|
{
|
2008-10-31 17:05:07 +08:00
|
|
|
struct elevator_queue *e = q->elevator;
|
2005-04-17 06:20:36 +08:00
|
|
|
|
2018-11-02 06:41:41 +08:00
|
|
|
if (e->type->ops.former_request)
|
|
|
|
return e->type->ops.former_request(q, rq);
|
2017-01-17 21:03:22 +08:00
|
|
|
|
block: remove dead elevator code
This removes a bunch of core and elevator related code. On the core
front, we remove anything related to queue running, draining,
initialization, plugging, and congestions. We also kill anything
related to request allocation, merging, retrieval, and completion.
Remove any checking for single queue IO schedulers, as they no
longer exist. This means we can also delete a bunch of code related
to request issue, adding, completion, etc - and all the SQ related
ops and helpers.
Also kill the load_default_modules(), as all that did was provide
for a way to load the default single queue elevator.
Tested-by: Ming Lei <ming.lei@redhat.com>
Reviewed-by: Omar Sandoval <osandov@fb.com>
Signed-off-by: Jens Axboe <axboe@kernel.dk>
2018-10-30 00:23:51 +08:00
|
|
|
return NULL;
|
2005-04-17 06:20:36 +08:00
|
|
|
}
|
|
|
|
|
2006-03-19 07:35:43 +08:00
|
|
|
#define to_elv(atr) container_of((atr), struct elv_fs_entry, attr)
|
|
|
|
|
|
|
|
static ssize_t
|
|
|
|
elv_attr_show(struct kobject *kobj, struct attribute *attr, char *page)
|
2005-04-17 06:20:36 +08:00
|
|
|
{
|
2006-03-19 07:35:43 +08:00
|
|
|
struct elv_fs_entry *entry = to_elv(attr);
|
2008-10-31 17:05:07 +08:00
|
|
|
struct elevator_queue *e;
|
2006-03-19 07:35:43 +08:00
|
|
|
ssize_t error;
|
|
|
|
|
|
|
|
if (!entry->show)
|
|
|
|
return -EIO;
|
|
|
|
|
2008-10-31 17:05:07 +08:00
|
|
|
e = container_of(kobj, struct elevator_queue, kobj);
|
2006-03-19 07:35:43 +08:00
|
|
|
mutex_lock(&e->sysfs_lock);
|
2011-12-14 07:33:41 +08:00
|
|
|
error = e->type ? entry->show(e, page) : -ENOENT;
|
2006-03-19 07:35:43 +08:00
|
|
|
mutex_unlock(&e->sysfs_lock);
|
|
|
|
return error;
|
|
|
|
}
|
2005-04-17 06:20:36 +08:00
|
|
|
|
2006-03-19 07:35:43 +08:00
|
|
|
static ssize_t
|
|
|
|
elv_attr_store(struct kobject *kobj, struct attribute *attr,
|
|
|
|
const char *page, size_t length)
|
|
|
|
{
|
|
|
|
struct elv_fs_entry *entry = to_elv(attr);
|
2008-10-31 17:05:07 +08:00
|
|
|
struct elevator_queue *e;
|
2006-03-19 07:35:43 +08:00
|
|
|
ssize_t error;
|
2005-04-17 06:20:36 +08:00
|
|
|
|
2006-03-19 07:35:43 +08:00
|
|
|
if (!entry->store)
|
|
|
|
return -EIO;
|
2005-04-17 06:20:36 +08:00
|
|
|
|
2008-10-31 17:05:07 +08:00
|
|
|
e = container_of(kobj, struct elevator_queue, kobj);
|
2006-03-19 07:35:43 +08:00
|
|
|
mutex_lock(&e->sysfs_lock);
|
2011-12-14 07:33:41 +08:00
|
|
|
error = e->type ? entry->store(e, page, length) : -ENOENT;
|
2006-03-19 07:35:43 +08:00
|
|
|
mutex_unlock(&e->sysfs_lock);
|
|
|
|
return error;
|
|
|
|
}
|
|
|
|
|
2010-01-19 09:58:23 +08:00
|
|
|
static const struct sysfs_ops elv_sysfs_ops = {
|
2006-03-19 07:35:43 +08:00
|
|
|
.show = elv_attr_show,
|
|
|
|
.store = elv_attr_store,
|
|
|
|
};
|
|
|
|
|
2023-02-08 12:01:22 +08:00
|
|
|
static const struct kobj_type elv_ktype = {
|
2006-03-19 07:35:43 +08:00
|
|
|
.sysfs_ops = &elv_sysfs_ops,
|
|
|
|
.release = elevator_release,
|
|
|
|
};
|
|
|
|
|
block: split .sysfs_lock into two locks
The kernfs built-in lock of 'kn->count' is held in sysfs .show/.store
path. Meantime, inside block's .show/.store callback, q->sysfs_lock is
required.
However, when mq & iosched kobjects are removed via
blk_mq_unregister_dev() & elv_unregister_queue(), q->sysfs_lock is held
too. This way causes AB-BA lock because the kernfs built-in lock of
'kn-count' is required inside kobject_del() too, see the lockdep warning[1].
On the other hand, it isn't necessary to acquire q->sysfs_lock for
both blk_mq_unregister_dev() & elv_unregister_queue() because
clearing REGISTERED flag prevents storing to 'queue/scheduler'
from being happened. Also sysfs write(store) is exclusive, so no
necessary to hold the lock for elv_unregister_queue() when it is
called in switching elevator path.
So split .sysfs_lock into two: one is still named as .sysfs_lock for
covering sync .store, the other one is named as .sysfs_dir_lock
for covering kobjects and related status change.
sysfs itself can handle the race between add/remove kobjects and
showing/storing attributes under kobjects. For switching scheduler
via storing to 'queue/scheduler', we use the queue flag of
QUEUE_FLAG_REGISTERED with .sysfs_lock for avoiding the race, then
we can avoid to hold .sysfs_lock during removing/adding kobjects.
[1] lockdep warning
======================================================
WARNING: possible circular locking dependency detected
5.3.0-rc3-00044-g73277fc75ea0 #1380 Not tainted
------------------------------------------------------
rmmod/777 is trying to acquire lock:
00000000ac50e981 (kn->count#202){++++}, at: kernfs_remove_by_name_ns+0x59/0x72
but task is already holding lock:
00000000fb16ae21 (&q->sysfs_lock){+.+.}, at: blk_unregister_queue+0x78/0x10b
which lock already depends on the new lock.
the existing dependency chain (in reverse order) is:
-> #1 (&q->sysfs_lock){+.+.}:
__lock_acquire+0x95f/0xa2f
lock_acquire+0x1b4/0x1e8
__mutex_lock+0x14a/0xa9b
blk_mq_hw_sysfs_show+0x63/0xb6
sysfs_kf_seq_show+0x11f/0x196
seq_read+0x2cd/0x5f2
vfs_read+0xc7/0x18c
ksys_read+0xc4/0x13e
do_syscall_64+0xa7/0x295
entry_SYSCALL_64_after_hwframe+0x49/0xbe
-> #0 (kn->count#202){++++}:
check_prev_add+0x5d2/0xc45
validate_chain+0xed3/0xf94
__lock_acquire+0x95f/0xa2f
lock_acquire+0x1b4/0x1e8
__kernfs_remove+0x237/0x40b
kernfs_remove_by_name_ns+0x59/0x72
remove_files+0x61/0x96
sysfs_remove_group+0x81/0xa4
sysfs_remove_groups+0x3b/0x44
kobject_del+0x44/0x94
blk_mq_unregister_dev+0x83/0xdd
blk_unregister_queue+0xa0/0x10b
del_gendisk+0x259/0x3fa
null_del_dev+0x8b/0x1c3 [null_blk]
null_exit+0x5c/0x95 [null_blk]
__se_sys_delete_module+0x204/0x337
do_syscall_64+0xa7/0x295
entry_SYSCALL_64_after_hwframe+0x49/0xbe
other info that might help us debug this:
Possible unsafe locking scenario:
CPU0 CPU1
---- ----
lock(&q->sysfs_lock);
lock(kn->count#202);
lock(&q->sysfs_lock);
lock(kn->count#202);
*** DEADLOCK ***
2 locks held by rmmod/777:
#0: 00000000e69bd9de (&lock){+.+.}, at: null_exit+0x2e/0x95 [null_blk]
#1: 00000000fb16ae21 (&q->sysfs_lock){+.+.}, at: blk_unregister_queue+0x78/0x10b
stack backtrace:
CPU: 0 PID: 777 Comm: rmmod Not tainted 5.3.0-rc3-00044-g73277fc75ea0 #1380
Hardware name: QEMU Standard PC (Q35 + ICH9, 2009), BIOS ?-20180724_192412-buildhw-07.phx4
Call Trace:
dump_stack+0x9a/0xe6
check_noncircular+0x207/0x251
? print_circular_bug+0x32a/0x32a
? find_usage_backwards+0x84/0xb0
check_prev_add+0x5d2/0xc45
validate_chain+0xed3/0xf94
? check_prev_add+0xc45/0xc45
? mark_lock+0x11b/0x804
? check_usage_forwards+0x1ca/0x1ca
__lock_acquire+0x95f/0xa2f
lock_acquire+0x1b4/0x1e8
? kernfs_remove_by_name_ns+0x59/0x72
__kernfs_remove+0x237/0x40b
? kernfs_remove_by_name_ns+0x59/0x72
? kernfs_next_descendant_post+0x7d/0x7d
? strlen+0x10/0x23
? strcmp+0x22/0x44
kernfs_remove_by_name_ns+0x59/0x72
remove_files+0x61/0x96
sysfs_remove_group+0x81/0xa4
sysfs_remove_groups+0x3b/0x44
kobject_del+0x44/0x94
blk_mq_unregister_dev+0x83/0xdd
blk_unregister_queue+0xa0/0x10b
del_gendisk+0x259/0x3fa
? disk_events_poll_msecs_store+0x12b/0x12b
? check_flags+0x1ea/0x204
? mark_held_locks+0x1f/0x7a
null_del_dev+0x8b/0x1c3 [null_blk]
null_exit+0x5c/0x95 [null_blk]
__se_sys_delete_module+0x204/0x337
? free_module+0x39f/0x39f
? blkcg_maybe_throttle_current+0x8a/0x718
? rwlock_bug+0x62/0x62
? __blkcg_punt_bio_submit+0xd0/0xd0
? trace_hardirqs_on_thunk+0x1a/0x20
? mark_held_locks+0x1f/0x7a
? do_syscall_64+0x4c/0x295
do_syscall_64+0xa7/0x295
entry_SYSCALL_64_after_hwframe+0x49/0xbe
RIP: 0033:0x7fb696cdbe6b
Code: 73 01 c3 48 8b 0d 1d 20 0c 00 f7 d8 64 89 01 48 83 c8 ff c3 66 2e 0f 1f 84 00 00 008
RSP: 002b:00007ffec9588788 EFLAGS: 00000206 ORIG_RAX: 00000000000000b0
RAX: ffffffffffffffda RBX: 0000559e589137c0 RCX: 00007fb696cdbe6b
RDX: 000000000000000a RSI: 0000000000000800 RDI: 0000559e58913828
RBP: 0000000000000000 R08: 00007ffec9587701 R09: 0000000000000000
R10: 00007fb696d4eae0 R11: 0000000000000206 R12: 00007ffec95889b0
R13: 00007ffec95896b3 R14: 0000559e58913260 R15: 0000559e589137c0
Cc: Christoph Hellwig <hch@infradead.org>
Cc: Hannes Reinecke <hare@suse.com>
Cc: Greg KH <gregkh@linuxfoundation.org>
Cc: Mike Snitzer <snitzer@redhat.com>
Reviewed-by: Bart Van Assche <bvanassche@acm.org>
Signed-off-by: Ming Lei <ming.lei@redhat.com>
Signed-off-by: Jens Axboe <axboe@kernel.dk>
2019-08-27 19:01:48 +08:00
|
|
|
int elv_register_queue(struct request_queue *q, bool uevent)
|
2006-03-19 07:35:43 +08:00
|
|
|
{
|
2012-03-06 05:14:56 +08:00
|
|
|
struct elevator_queue *e = q->elevator;
|
2006-03-19 07:35:43 +08:00
|
|
|
int error;
|
|
|
|
|
2020-10-09 11:26:31 +08:00
|
|
|
lockdep_assert_held(&q->sysfs_lock);
|
|
|
|
|
2022-11-14 12:26:36 +08:00
|
|
|
error = kobject_add(&e->kobj, &q->disk->queue_kobj, "iosched");
|
2006-03-19 07:35:43 +08:00
|
|
|
if (!error) {
|
2011-12-14 07:33:41 +08:00
|
|
|
struct elv_fs_entry *attr = e->type->elevator_attrs;
|
2006-03-19 07:35:43 +08:00
|
|
|
if (attr) {
|
2006-03-19 11:27:18 +08:00
|
|
|
while (attr->attr.name) {
|
|
|
|
if (sysfs_create_file(&e->kobj, &attr->attr))
|
2006-03-19 07:35:43 +08:00
|
|
|
break;
|
2006-03-19 11:27:18 +08:00
|
|
|
attr++;
|
2006-03-19 07:35:43 +08:00
|
|
|
}
|
|
|
|
}
|
block: split .sysfs_lock into two locks
The kernfs built-in lock of 'kn->count' is held in sysfs .show/.store
path. Meantime, inside block's .show/.store callback, q->sysfs_lock is
required.
However, when mq & iosched kobjects are removed via
blk_mq_unregister_dev() & elv_unregister_queue(), q->sysfs_lock is held
too. This way causes AB-BA lock because the kernfs built-in lock of
'kn-count' is required inside kobject_del() too, see the lockdep warning[1].
On the other hand, it isn't necessary to acquire q->sysfs_lock for
both blk_mq_unregister_dev() & elv_unregister_queue() because
clearing REGISTERED flag prevents storing to 'queue/scheduler'
from being happened. Also sysfs write(store) is exclusive, so no
necessary to hold the lock for elv_unregister_queue() when it is
called in switching elevator path.
So split .sysfs_lock into two: one is still named as .sysfs_lock for
covering sync .store, the other one is named as .sysfs_dir_lock
for covering kobjects and related status change.
sysfs itself can handle the race between add/remove kobjects and
showing/storing attributes under kobjects. For switching scheduler
via storing to 'queue/scheduler', we use the queue flag of
QUEUE_FLAG_REGISTERED with .sysfs_lock for avoiding the race, then
we can avoid to hold .sysfs_lock during removing/adding kobjects.
[1] lockdep warning
======================================================
WARNING: possible circular locking dependency detected
5.3.0-rc3-00044-g73277fc75ea0 #1380 Not tainted
------------------------------------------------------
rmmod/777 is trying to acquire lock:
00000000ac50e981 (kn->count#202){++++}, at: kernfs_remove_by_name_ns+0x59/0x72
but task is already holding lock:
00000000fb16ae21 (&q->sysfs_lock){+.+.}, at: blk_unregister_queue+0x78/0x10b
which lock already depends on the new lock.
the existing dependency chain (in reverse order) is:
-> #1 (&q->sysfs_lock){+.+.}:
__lock_acquire+0x95f/0xa2f
lock_acquire+0x1b4/0x1e8
__mutex_lock+0x14a/0xa9b
blk_mq_hw_sysfs_show+0x63/0xb6
sysfs_kf_seq_show+0x11f/0x196
seq_read+0x2cd/0x5f2
vfs_read+0xc7/0x18c
ksys_read+0xc4/0x13e
do_syscall_64+0xa7/0x295
entry_SYSCALL_64_after_hwframe+0x49/0xbe
-> #0 (kn->count#202){++++}:
check_prev_add+0x5d2/0xc45
validate_chain+0xed3/0xf94
__lock_acquire+0x95f/0xa2f
lock_acquire+0x1b4/0x1e8
__kernfs_remove+0x237/0x40b
kernfs_remove_by_name_ns+0x59/0x72
remove_files+0x61/0x96
sysfs_remove_group+0x81/0xa4
sysfs_remove_groups+0x3b/0x44
kobject_del+0x44/0x94
blk_mq_unregister_dev+0x83/0xdd
blk_unregister_queue+0xa0/0x10b
del_gendisk+0x259/0x3fa
null_del_dev+0x8b/0x1c3 [null_blk]
null_exit+0x5c/0x95 [null_blk]
__se_sys_delete_module+0x204/0x337
do_syscall_64+0xa7/0x295
entry_SYSCALL_64_after_hwframe+0x49/0xbe
other info that might help us debug this:
Possible unsafe locking scenario:
CPU0 CPU1
---- ----
lock(&q->sysfs_lock);
lock(kn->count#202);
lock(&q->sysfs_lock);
lock(kn->count#202);
*** DEADLOCK ***
2 locks held by rmmod/777:
#0: 00000000e69bd9de (&lock){+.+.}, at: null_exit+0x2e/0x95 [null_blk]
#1: 00000000fb16ae21 (&q->sysfs_lock){+.+.}, at: blk_unregister_queue+0x78/0x10b
stack backtrace:
CPU: 0 PID: 777 Comm: rmmod Not tainted 5.3.0-rc3-00044-g73277fc75ea0 #1380
Hardware name: QEMU Standard PC (Q35 + ICH9, 2009), BIOS ?-20180724_192412-buildhw-07.phx4
Call Trace:
dump_stack+0x9a/0xe6
check_noncircular+0x207/0x251
? print_circular_bug+0x32a/0x32a
? find_usage_backwards+0x84/0xb0
check_prev_add+0x5d2/0xc45
validate_chain+0xed3/0xf94
? check_prev_add+0xc45/0xc45
? mark_lock+0x11b/0x804
? check_usage_forwards+0x1ca/0x1ca
__lock_acquire+0x95f/0xa2f
lock_acquire+0x1b4/0x1e8
? kernfs_remove_by_name_ns+0x59/0x72
__kernfs_remove+0x237/0x40b
? kernfs_remove_by_name_ns+0x59/0x72
? kernfs_next_descendant_post+0x7d/0x7d
? strlen+0x10/0x23
? strcmp+0x22/0x44
kernfs_remove_by_name_ns+0x59/0x72
remove_files+0x61/0x96
sysfs_remove_group+0x81/0xa4
sysfs_remove_groups+0x3b/0x44
kobject_del+0x44/0x94
blk_mq_unregister_dev+0x83/0xdd
blk_unregister_queue+0xa0/0x10b
del_gendisk+0x259/0x3fa
? disk_events_poll_msecs_store+0x12b/0x12b
? check_flags+0x1ea/0x204
? mark_held_locks+0x1f/0x7a
null_del_dev+0x8b/0x1c3 [null_blk]
null_exit+0x5c/0x95 [null_blk]
__se_sys_delete_module+0x204/0x337
? free_module+0x39f/0x39f
? blkcg_maybe_throttle_current+0x8a/0x718
? rwlock_bug+0x62/0x62
? __blkcg_punt_bio_submit+0xd0/0xd0
? trace_hardirqs_on_thunk+0x1a/0x20
? mark_held_locks+0x1f/0x7a
? do_syscall_64+0x4c/0x295
do_syscall_64+0xa7/0x295
entry_SYSCALL_64_after_hwframe+0x49/0xbe
RIP: 0033:0x7fb696cdbe6b
Code: 73 01 c3 48 8b 0d 1d 20 0c 00 f7 d8 64 89 01 48 83 c8 ff c3 66 2e 0f 1f 84 00 00 008
RSP: 002b:00007ffec9588788 EFLAGS: 00000206 ORIG_RAX: 00000000000000b0
RAX: ffffffffffffffda RBX: 0000559e589137c0 RCX: 00007fb696cdbe6b
RDX: 000000000000000a RSI: 0000000000000800 RDI: 0000559e58913828
RBP: 0000000000000000 R08: 00007ffec9587701 R09: 0000000000000000
R10: 00007fb696d4eae0 R11: 0000000000000206 R12: 00007ffec95889b0
R13: 00007ffec95896b3 R14: 0000559e58913260 R15: 0000559e589137c0
Cc: Christoph Hellwig <hch@infradead.org>
Cc: Hannes Reinecke <hare@suse.com>
Cc: Greg KH <gregkh@linuxfoundation.org>
Cc: Mike Snitzer <snitzer@redhat.com>
Reviewed-by: Bart Van Assche <bvanassche@acm.org>
Signed-off-by: Ming Lei <ming.lei@redhat.com>
Signed-off-by: Jens Axboe <axboe@kernel.dk>
2019-08-27 19:01:48 +08:00
|
|
|
if (uevent)
|
|
|
|
kobject_uevent(&e->kobj, KOBJ_ADD);
|
|
|
|
|
2022-10-19 20:15:17 +08:00
|
|
|
set_bit(ELEVATOR_FLAG_REGISTERED, &e->flags);
|
2006-03-19 07:35:43 +08:00
|
|
|
}
|
|
|
|
return error;
|
2005-04-17 06:20:36 +08:00
|
|
|
}
|
2006-06-08 14:49:06 +08:00
|
|
|
|
2005-04-17 06:20:36 +08:00
|
|
|
void elv_unregister_queue(struct request_queue *q)
|
|
|
|
{
|
2022-01-25 05:59:36 +08:00
|
|
|
struct elevator_queue *e = q->elevator;
|
|
|
|
|
2020-10-09 11:26:31 +08:00
|
|
|
lockdep_assert_held(&q->sysfs_lock);
|
|
|
|
|
2022-10-19 20:15:17 +08:00
|
|
|
if (e && test_and_clear_bit(ELEVATOR_FLAG_REGISTERED, &e->flags)) {
|
2011-12-14 07:33:40 +08:00
|
|
|
kobject_uevent(&e->kobj, KOBJ_REMOVE);
|
|
|
|
kobject_del(&e->kobj);
|
|
|
|
}
|
2005-04-17 06:20:36 +08:00
|
|
|
}
|
|
|
|
|
2014-06-23 06:32:48 +08:00
|
|
|
int elv_register(struct elevator_type *e)
|
2005-04-17 06:20:36 +08:00
|
|
|
{
|
2023-08-13 23:23:25 +08:00
|
|
|
/* finish request is mandatory */
|
|
|
|
if (WARN_ON_ONCE(!e->ops.finish_request))
|
|
|
|
return -EINVAL;
|
2021-06-18 09:59:22 +08:00
|
|
|
/* insert_requests and dispatch_request are mandatory */
|
|
|
|
if (WARN_ON_ONCE(!e->ops.insert_requests || !e->ops.dispatch_request))
|
|
|
|
return -EINVAL;
|
|
|
|
|
2011-12-14 07:33:42 +08:00
|
|
|
/* create icq_cache if requested */
|
|
|
|
if (e->icq_size) {
|
|
|
|
if (WARN_ON(e->icq_size < sizeof(struct io_cq)) ||
|
|
|
|
WARN_ON(e->icq_align < __alignof__(struct io_cq)))
|
|
|
|
return -EINVAL;
|
|
|
|
|
|
|
|
snprintf(e->icq_cache_name, sizeof(e->icq_cache_name),
|
|
|
|
"%s_io_cq", e->elevator_name);
|
|
|
|
e->icq_cache = kmem_cache_create(e->icq_cache_name, e->icq_size,
|
|
|
|
e->icq_align, 0, NULL);
|
|
|
|
if (!e->icq_cache)
|
|
|
|
return -ENOMEM;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* register, don't allow duplicate names */
|
2007-04-26 20:41:53 +08:00
|
|
|
spin_lock(&elv_list_lock);
|
2022-10-30 18:07:13 +08:00
|
|
|
if (__elevator_find(e->elevator_name)) {
|
2011-12-14 07:33:42 +08:00
|
|
|
spin_unlock(&elv_list_lock);
|
2018-08-28 07:31:11 +08:00
|
|
|
kmem_cache_destroy(e->icq_cache);
|
2011-12-14 07:33:42 +08:00
|
|
|
return -EBUSY;
|
|
|
|
}
|
2005-04-17 06:20:36 +08:00
|
|
|
list_add_tail(&e->list, &elv_list);
|
2007-04-26 20:41:53 +08:00
|
|
|
spin_unlock(&elv_list_lock);
|
2005-04-17 06:20:36 +08:00
|
|
|
|
2019-04-07 23:27:42 +08:00
|
|
|
printk(KERN_INFO "io scheduler %s registered\n", e->elevator_name);
|
|
|
|
|
2011-12-14 07:33:42 +08:00
|
|
|
return 0;
|
2005-04-17 06:20:36 +08:00
|
|
|
}
|
|
|
|
EXPORT_SYMBOL_GPL(elv_register);
|
|
|
|
|
|
|
|
void elv_unregister(struct elevator_type *e)
|
|
|
|
{
|
2011-12-14 07:33:42 +08:00
|
|
|
/* unregister */
|
2007-04-26 20:41:53 +08:00
|
|
|
spin_lock(&elv_list_lock);
|
2005-04-17 06:20:36 +08:00
|
|
|
list_del_init(&e->list);
|
2007-04-26 20:41:53 +08:00
|
|
|
spin_unlock(&elv_list_lock);
|
2011-12-14 07:33:42 +08:00
|
|
|
|
|
|
|
/*
|
|
|
|
* Destroy icq_cache if it exists. icq's are RCU managed. Make
|
|
|
|
* sure all RCU operations are complete before proceeding.
|
|
|
|
*/
|
|
|
|
if (e->icq_cache) {
|
|
|
|
rcu_barrier();
|
|
|
|
kmem_cache_destroy(e->icq_cache);
|
|
|
|
e->icq_cache = NULL;
|
|
|
|
}
|
2005-04-17 06:20:36 +08:00
|
|
|
}
|
|
|
|
EXPORT_SYMBOL_GPL(elv_unregister);
|
|
|
|
|
2019-09-05 17:51:29 +08:00
|
|
|
static inline bool elv_support_iosched(struct request_queue *q)
|
|
|
|
{
|
2020-10-09 11:26:28 +08:00
|
|
|
if (!queue_is_mq(q) ||
|
2019-10-09 06:39:54 +08:00
|
|
|
(q->tag_set && (q->tag_set->flags & BLK_MQ_F_NO_SCHED)))
|
2019-09-05 17:51:29 +08:00
|
|
|
return false;
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
2018-06-01 01:11:40 +08:00
|
|
|
/*
|
2019-09-05 17:51:32 +08:00
|
|
|
* For single queue devices, default to using mq-deadline. If we have multiple
|
|
|
|
* queues or mq-deadline is not available, default to "none".
|
|
|
|
*/
|
|
|
|
static struct elevator_type *elevator_get_default(struct request_queue *q)
|
|
|
|
{
|
2021-08-06 01:41:59 +08:00
|
|
|
if (q->tag_set && q->tag_set->flags & BLK_MQ_F_NO_SCHED_BY_DEFAULT)
|
|
|
|
return NULL;
|
|
|
|
|
2021-04-06 11:19:33 +08:00
|
|
|
if (q->nr_hw_queues != 1 &&
|
2021-10-05 18:23:39 +08:00
|
|
|
!blk_mq_is_shared_tags(q->tag_set->flags))
|
2019-09-05 17:51:32 +08:00
|
|
|
return NULL;
|
|
|
|
|
2022-10-30 18:07:09 +08:00
|
|
|
return elevator_find_get(q, "mq-deadline");
|
2019-09-05 17:51:32 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
2024-04-08 09:41:22 +08:00
|
|
|
* Use the default elevator settings. If the chosen elevator initialization
|
|
|
|
* fails, fall back to the "none" elevator (no elevator).
|
2018-06-01 01:11:40 +08:00
|
|
|
*/
|
2019-09-05 17:51:30 +08:00
|
|
|
void elevator_init_mq(struct request_queue *q)
|
2018-06-01 01:11:40 +08:00
|
|
|
{
|
|
|
|
struct elevator_type *e;
|
2019-09-05 17:51:30 +08:00
|
|
|
int err;
|
2018-06-01 01:11:40 +08:00
|
|
|
|
2019-09-05 17:51:29 +08:00
|
|
|
if (!elv_support_iosched(q))
|
2019-09-05 17:51:30 +08:00
|
|
|
return;
|
2019-09-05 17:51:29 +08:00
|
|
|
|
2020-10-09 11:26:29 +08:00
|
|
|
WARN_ON_ONCE(blk_queue_registered(q));
|
2019-08-27 19:01:45 +08:00
|
|
|
|
2018-06-01 01:11:40 +08:00
|
|
|
if (unlikely(q->elevator))
|
2019-09-05 17:51:30 +08:00
|
|
|
return;
|
2018-06-01 01:11:40 +08:00
|
|
|
|
2024-04-08 09:41:22 +08:00
|
|
|
e = elevator_get_default(q);
|
2018-06-01 01:11:40 +08:00
|
|
|
if (!e)
|
2019-09-05 17:51:30 +08:00
|
|
|
return;
|
2018-06-01 01:11:40 +08:00
|
|
|
|
2021-11-17 19:55:02 +08:00
|
|
|
/*
|
|
|
|
* We are called before adding disk, when there isn't any FS I/O,
|
|
|
|
* so freezing queue plus canceling dispatch work is enough to
|
|
|
|
* drain any dispatch activities originated from passthrough
|
|
|
|
* requests, then no need to quiesce queue which may add long boot
|
|
|
|
* latency, especially when lots of disks are involved.
|
|
|
|
*/
|
2019-09-05 17:51:33 +08:00
|
|
|
blk_mq_freeze_queue(q);
|
2021-11-17 19:55:02 +08:00
|
|
|
blk_mq_cancel_work_sync(q);
|
2019-09-05 17:51:33 +08:00
|
|
|
|
2018-06-01 01:11:40 +08:00
|
|
|
err = blk_mq_init_sched(q, e);
|
2019-09-05 17:51:33 +08:00
|
|
|
|
|
|
|
blk_mq_unfreeze_queue(q);
|
|
|
|
|
2019-09-05 17:51:30 +08:00
|
|
|
if (err) {
|
|
|
|
pr_warn("\"%s\" elevator initialization failed, "
|
|
|
|
"falling back to \"none\"\n", e->elevator_name);
|
|
|
|
}
|
block: fix up elevator_type refcounting
The current reference management logic of io scheduler modules contains
refcnt problems. For example, blk_mq_init_sched may fail before or after
the calling of e->ops.init_sched. If it fails before the calling, it does
nothing to the reference to the io scheduler module. But if it fails after
the calling, it releases the reference by calling kobject_put(&eq->kobj).
As the callers of blk_mq_init_sched can't know exactly where the failure
happens, they can't handle the reference to the io scheduler module
properly: releasing the reference on failure results in double-release if
blk_mq_init_sched has released it, and not releasing the reference results
in ghost reference if blk_mq_init_sched did not release it either.
The same problem also exists in io schedulers' init_sched implementations.
We can address the problem by adding releasing statements to the error
handling procedures of blk_mq_init_sched and init_sched implementations.
But that is counterintuitive and requires modifications to existing io
schedulers.
Instead, We make elevator_alloc get the io scheduler module references
that will be released by elevator_release. And then, we match each
elevator_get with an elevator_put. Therefore, each reference to an io
scheduler module explicitly has its own getter and releaser, and we no
longer need to worry about the refcnt problems.
The bugs and the patch can be validated with tools here:
https://github.com/nickyc975/linux_elv_refcnt_bug.git
[hch: split out a few bits into separate patches, use a non-try
module_get in elevator_alloc]
Signed-off-by: Jinlong Chen <nickyc975@zju.edu.cn>
Signed-off-by: Christoph Hellwig <hch@lst.de>
Link: https://lore.kernel.org/r/20221020064819.1469928-5-hch@lst.de
Signed-off-by: Jens Axboe <axboe@kernel.dk>
2022-10-20 14:48:19 +08:00
|
|
|
|
|
|
|
elevator_put(e);
|
2018-06-01 01:11:40 +08:00
|
|
|
}
|
|
|
|
|
2005-04-17 06:20:36 +08:00
|
|
|
/*
|
2022-11-22 22:21:23 +08:00
|
|
|
* Switch to new_e io scheduler.
|
|
|
|
*
|
|
|
|
* If switching fails, we are most likely running out of memory and not able
|
|
|
|
* to restore the old io scheduler, so leaving the io scheduler being none.
|
2005-04-17 06:20:36 +08:00
|
|
|
*/
|
2022-09-27 23:56:52 +08:00
|
|
|
int elevator_switch(struct request_queue *q, struct elevator_type *new_e)
|
2005-04-17 06:20:36 +08:00
|
|
|
{
|
2022-10-30 18:07:14 +08:00
|
|
|
int ret;
|
2005-04-17 06:20:36 +08:00
|
|
|
|
2018-01-18 03:48:09 +08:00
|
|
|
lockdep_assert_held(&q->sysfs_lock);
|
|
|
|
|
block: remove dead elevator code
This removes a bunch of core and elevator related code. On the core
front, we remove anything related to queue running, draining,
initialization, plugging, and congestions. We also kill anything
related to request allocation, merging, retrieval, and completion.
Remove any checking for single queue IO schedulers, as they no
longer exist. This means we can also delete a bunch of code related
to request issue, adding, completion, etc - and all the SQ related
ops and helpers.
Also kill the load_default_modules(), as all that did was provide
for a way to load the default single queue elevator.
Tested-by: Ming Lei <ming.lei@redhat.com>
Reviewed-by: Omar Sandoval <osandov@fb.com>
Signed-off-by: Jens Axboe <axboe@kernel.dk>
2018-10-30 00:23:51 +08:00
|
|
|
blk_mq_freeze_queue(q);
|
|
|
|
blk_mq_quiesce_queue(q);
|
2008-05-27 20:55:00 +08:00
|
|
|
|
2022-10-30 18:07:14 +08:00
|
|
|
if (q->elevator) {
|
|
|
|
elv_unregister_queue(q);
|
|
|
|
elevator_exit(q);
|
|
|
|
}
|
|
|
|
|
|
|
|
ret = blk_mq_init_sched(q, new_e);
|
|
|
|
if (ret)
|
|
|
|
goto out_unfreeze;
|
|
|
|
|
|
|
|
ret = elv_register_queue(q, true);
|
|
|
|
if (ret) {
|
|
|
|
elevator_exit(q);
|
|
|
|
goto out_unfreeze;
|
|
|
|
}
|
|
|
|
blk_add_trace_msg(q, "elv switch: %s", new_e->elevator_name);
|
2005-04-17 06:20:36 +08:00
|
|
|
|
2022-10-30 18:07:14 +08:00
|
|
|
out_unfreeze:
|
block: remove dead elevator code
This removes a bunch of core and elevator related code. On the core
front, we remove anything related to queue running, draining,
initialization, plugging, and congestions. We also kill anything
related to request allocation, merging, retrieval, and completion.
Remove any checking for single queue IO schedulers, as they no
longer exist. This means we can also delete a bunch of code related
to request issue, adding, completion, etc - and all the SQ related
ops and helpers.
Also kill the load_default_modules(), as all that did was provide
for a way to load the default single queue elevator.
Tested-by: Ming Lei <ming.lei@redhat.com>
Reviewed-by: Omar Sandoval <osandov@fb.com>
Signed-off-by: Jens Axboe <axboe@kernel.dk>
2018-10-30 00:23:51 +08:00
|
|
|
blk_mq_unquiesce_queue(q);
|
|
|
|
blk_mq_unfreeze_queue(q);
|
2022-11-22 22:21:24 +08:00
|
|
|
|
|
|
|
if (ret) {
|
|
|
|
pr_warn("elv: switch to \"%s\" failed, falling back to \"none\"\n",
|
|
|
|
new_e->elevator_name);
|
|
|
|
}
|
|
|
|
|
2022-10-30 18:07:14 +08:00
|
|
|
return ret;
|
|
|
|
}
|
|
|
|
|
|
|
|
void elevator_disable(struct request_queue *q)
|
|
|
|
{
|
|
|
|
lockdep_assert_held(&q->sysfs_lock);
|
2008-04-29 20:48:33 +08:00
|
|
|
|
2022-10-30 18:07:14 +08:00
|
|
|
blk_mq_freeze_queue(q);
|
|
|
|
blk_mq_quiesce_queue(q);
|
|
|
|
|
|
|
|
elv_unregister_queue(q);
|
|
|
|
elevator_exit(q);
|
|
|
|
blk_queue_flag_clear(QUEUE_FLAG_SQ_SCHED, q);
|
|
|
|
q->elevator = NULL;
|
|
|
|
q->nr_requests = q->tag_set->queue_depth;
|
|
|
|
blk_add_trace_msg(q, "elv switch: none");
|
|
|
|
|
|
|
|
blk_mq_unquiesce_queue(q);
|
|
|
|
blk_mq_unfreeze_queue(q);
|
2005-04-17 06:20:36 +08:00
|
|
|
}
|
|
|
|
|
2010-08-23 19:52:19 +08:00
|
|
|
/*
|
|
|
|
* Switch this queue to the given IO scheduler.
|
|
|
|
*/
|
2022-10-20 14:48:17 +08:00
|
|
|
static int elevator_change(struct request_queue *q, const char *elevator_name)
|
2005-04-17 06:20:36 +08:00
|
|
|
{
|
|
|
|
struct elevator_type *e;
|
block: fix up elevator_type refcounting
The current reference management logic of io scheduler modules contains
refcnt problems. For example, blk_mq_init_sched may fail before or after
the calling of e->ops.init_sched. If it fails before the calling, it does
nothing to the reference to the io scheduler module. But if it fails after
the calling, it releases the reference by calling kobject_put(&eq->kobj).
As the callers of blk_mq_init_sched can't know exactly where the failure
happens, they can't handle the reference to the io scheduler module
properly: releasing the reference on failure results in double-release if
blk_mq_init_sched has released it, and not releasing the reference results
in ghost reference if blk_mq_init_sched did not release it either.
The same problem also exists in io schedulers' init_sched implementations.
We can address the problem by adding releasing statements to the error
handling procedures of blk_mq_init_sched and init_sched implementations.
But that is counterintuitive and requires modifications to existing io
schedulers.
Instead, We make elevator_alloc get the io scheduler module references
that will be released by elevator_release. And then, we match each
elevator_get with an elevator_put. Therefore, each reference to an io
scheduler module explicitly has its own getter and releaser, and we no
longer need to worry about the refcnt problems.
The bugs and the patch can be validated with tools here:
https://github.com/nickyc975/linux_elv_refcnt_bug.git
[hch: split out a few bits into separate patches, use a non-try
module_get in elevator_alloc]
Signed-off-by: Jinlong Chen <nickyc975@zju.edu.cn>
Signed-off-by: Christoph Hellwig <hch@lst.de>
Link: https://lore.kernel.org/r/20221020064819.1469928-5-hch@lst.de
Signed-off-by: Jens Axboe <axboe@kernel.dk>
2022-10-20 14:48:19 +08:00
|
|
|
int ret;
|
2005-04-17 06:20:36 +08:00
|
|
|
|
2017-08-29 00:52:44 +08:00
|
|
|
/* Make sure queue is not in the middle of being removed */
|
2019-08-27 19:01:47 +08:00
|
|
|
if (!blk_queue_registered(q))
|
2017-08-29 00:52:44 +08:00
|
|
|
return -ENOENT;
|
|
|
|
|
2022-10-20 14:48:17 +08:00
|
|
|
if (!strncmp(elevator_name, "none", 4)) {
|
2022-10-30 18:07:14 +08:00
|
|
|
if (q->elevator)
|
|
|
|
elevator_disable(q);
|
|
|
|
return 0;
|
2019-02-11 18:50:37 +08:00
|
|
|
}
|
2009-05-23 05:17:52 +08:00
|
|
|
|
2022-10-30 18:07:13 +08:00
|
|
|
if (q->elevator && elevator_match(q->elevator->type, elevator_name))
|
2022-10-20 14:48:18 +08:00
|
|
|
return 0;
|
|
|
|
|
2022-10-30 18:07:09 +08:00
|
|
|
e = elevator_find_get(q, elevator_name);
|
|
|
|
if (!e) {
|
|
|
|
request_module("%s-iosched", elevator_name);
|
|
|
|
e = elevator_find_get(q, elevator_name);
|
|
|
|
if (!e)
|
|
|
|
return -EINVAL;
|
|
|
|
}
|
block: fix up elevator_type refcounting
The current reference management logic of io scheduler modules contains
refcnt problems. For example, blk_mq_init_sched may fail before or after
the calling of e->ops.init_sched. If it fails before the calling, it does
nothing to the reference to the io scheduler module. But if it fails after
the calling, it releases the reference by calling kobject_put(&eq->kobj).
As the callers of blk_mq_init_sched can't know exactly where the failure
happens, they can't handle the reference to the io scheduler module
properly: releasing the reference on failure results in double-release if
blk_mq_init_sched has released it, and not releasing the reference results
in ghost reference if blk_mq_init_sched did not release it either.
The same problem also exists in io schedulers' init_sched implementations.
We can address the problem by adding releasing statements to the error
handling procedures of blk_mq_init_sched and init_sched implementations.
But that is counterintuitive and requires modifications to existing io
schedulers.
Instead, We make elevator_alloc get the io scheduler module references
that will be released by elevator_release. And then, we match each
elevator_get with an elevator_put. Therefore, each reference to an io
scheduler module explicitly has its own getter and releaser, and we no
longer need to worry about the refcnt problems.
The bugs and the patch can be validated with tools here:
https://github.com/nickyc975/linux_elv_refcnt_bug.git
[hch: split out a few bits into separate patches, use a non-try
module_get in elevator_alloc]
Signed-off-by: Jinlong Chen <nickyc975@zju.edu.cn>
Signed-off-by: Christoph Hellwig <hch@lst.de>
Link: https://lore.kernel.org/r/20221020064819.1469928-5-hch@lst.de
Signed-off-by: Jens Axboe <axboe@kernel.dk>
2022-10-20 14:48:19 +08:00
|
|
|
ret = elevator_switch(q, e);
|
|
|
|
elevator_put(e);
|
|
|
|
return ret;
|
2010-08-23 19:52:19 +08:00
|
|
|
}
|
2013-10-16 06:42:19 +08:00
|
|
|
|
2022-10-20 14:48:17 +08:00
|
|
|
ssize_t elv_iosched_store(struct request_queue *q, const char *buf,
|
2010-08-23 19:52:19 +08:00
|
|
|
size_t count)
|
|
|
|
{
|
2022-10-20 14:48:17 +08:00
|
|
|
char elevator_name[ELV_NAME_MAX];
|
2010-08-23 19:52:19 +08:00
|
|
|
int ret;
|
|
|
|
|
2020-10-09 11:26:28 +08:00
|
|
|
if (!elv_support_iosched(q))
|
2010-08-23 19:52:19 +08:00
|
|
|
return count;
|
|
|
|
|
2023-05-30 23:56:08 +08:00
|
|
|
strscpy(elevator_name, buf, sizeof(elevator_name));
|
2022-10-20 14:48:17 +08:00
|
|
|
ret = elevator_change(q, strstrip(elevator_name));
|
2010-08-23 19:52:19 +08:00
|
|
|
if (!ret)
|
|
|
|
return count;
|
|
|
|
return ret;
|
2005-04-17 06:20:36 +08:00
|
|
|
}
|
|
|
|
|
2007-07-24 15:28:11 +08:00
|
|
|
ssize_t elv_iosched_show(struct request_queue *q, char *name)
|
2005-04-17 06:20:36 +08:00
|
|
|
{
|
2022-10-30 18:07:11 +08:00
|
|
|
struct elevator_queue *eq = q->elevator;
|
|
|
|
struct elevator_type *cur = NULL, *e;
|
2005-04-17 06:20:36 +08:00
|
|
|
int len = 0;
|
|
|
|
|
2022-10-30 18:07:10 +08:00
|
|
|
if (!elv_support_iosched(q))
|
2009-05-23 05:17:52 +08:00
|
|
|
return sprintf(name, "none\n");
|
|
|
|
|
2022-11-29 23:46:34 +08:00
|
|
|
if (!q->elevator) {
|
2017-01-17 21:03:22 +08:00
|
|
|
len += sprintf(name+len, "[none] ");
|
2022-11-29 23:46:34 +08:00
|
|
|
} else {
|
|
|
|
len += sprintf(name+len, "none ");
|
2022-10-30 18:07:11 +08:00
|
|
|
cur = eq->type;
|
2022-11-29 23:46:34 +08:00
|
|
|
}
|
2009-05-23 05:17:52 +08:00
|
|
|
|
2007-04-26 20:41:53 +08:00
|
|
|
spin_lock(&elv_list_lock);
|
2022-10-30 18:07:11 +08:00
|
|
|
list_for_each_entry(e, &elv_list, list) {
|
2022-11-29 23:46:35 +08:00
|
|
|
if (e == cur)
|
2022-11-29 23:46:36 +08:00
|
|
|
len += sprintf(name+len, "[%s] ", e->elevator_name);
|
2024-04-08 09:41:22 +08:00
|
|
|
else
|
2022-10-30 18:07:11 +08:00
|
|
|
len += sprintf(name+len, "%s ", e->elevator_name);
|
2005-04-17 06:20:36 +08:00
|
|
|
}
|
2007-04-26 20:41:53 +08:00
|
|
|
spin_unlock(&elv_list_lock);
|
2005-04-17 06:20:36 +08:00
|
|
|
|
2022-11-29 23:46:37 +08:00
|
|
|
len += sprintf(name+len, "\n");
|
2005-04-17 06:20:36 +08:00
|
|
|
return len;
|
|
|
|
}
|
|
|
|
|
2007-07-24 15:28:11 +08:00
|
|
|
struct request *elv_rb_former_request(struct request_queue *q,
|
|
|
|
struct request *rq)
|
2006-07-13 17:55:04 +08:00
|
|
|
{
|
|
|
|
struct rb_node *rbprev = rb_prev(&rq->rb_node);
|
|
|
|
|
|
|
|
if (rbprev)
|
|
|
|
return rb_entry_rq(rbprev);
|
|
|
|
|
|
|
|
return NULL;
|
|
|
|
}
|
|
|
|
EXPORT_SYMBOL(elv_rb_former_request);
|
|
|
|
|
2007-07-24 15:28:11 +08:00
|
|
|
struct request *elv_rb_latter_request(struct request_queue *q,
|
|
|
|
struct request *rq)
|
2006-07-13 17:55:04 +08:00
|
|
|
{
|
|
|
|
struct rb_node *rbnext = rb_next(&rq->rb_node);
|
|
|
|
|
|
|
|
if (rbnext)
|
|
|
|
return rb_entry_rq(rbnext);
|
|
|
|
|
|
|
|
return NULL;
|
|
|
|
}
|
|
|
|
EXPORT_SYMBOL(elv_rb_latter_request);
|
2019-11-06 18:48:57 +08:00
|
|
|
|
|
|
|
static int __init elevator_setup(char *str)
|
|
|
|
{
|
|
|
|
pr_warn("Kernel parameter elevator= does not have any effect anymore.\n"
|
|
|
|
"Please use sysfs to set IO scheduler for individual devices.\n");
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
__setup("elevator=", elevator_setup);
|