The current design of timers and wq to realize the delays
is insufficient especially for delays below ~50ms.
The design is replaced with a kthread to flush the expired delays,
trading some CPU time (in some cases) for better delay accuracy and
delays closer to what the user requested for smaller delays.
Since bios can't be completed in interrupt context using a kthread
is probably the most reasonable way to approach this.
Testing with
echo "0 2097152 zero" | dmsetup create dm-zeros
for i in $(seq 0 20);
do
echo "0 2097152 delay /dev/mapper/dm-zeros 0 $i" | dmsetup create dm-delay-${i}ms;
done
Some performance numbers for comparison
beaglebone black (single core) CONFIG_HZ_1000=y:
fio --name=1msread --rw=randread --bs=4k --runtime=60 --time_based --filename=/dev/mapper/dm-delay-1ms
Theoretical maximum: 1000 IOPS
Previous: 250 IOPS
Kthread: 500 IOPS
fio --name=10msread --rw=randread --bs=4k --runtime=60 --time_based --filename=/dev/mapper/dm-delay-10ms
Theoretical maximum: 1000 IOPS
Previous: 45 IOPS
Kthread: 50 IOPS
fio --name=1mswrite --rw=randwrite --direct=1 --bs=4k --runtime=60 --time_based --filename=/dev/mapper/dm-delay-1ms
Theoretical maximum: 1000 IOPS
Previous: 498 IOPS
Kthread: 1000 IOPS
fio --name=10mswrite --rw=randwrite --direct=1 --bs=4k --runtime=60 --time_based --filename=/dev/mapper/dm-delay-10ms
Theoretical maximum: 100 IOPS
Previous: 90 IOPS
Kthread: 100 IOPS
fio --name=10mswriteasync --rw=randwrite --direct=1 --bs=4k --runtime=60 --time_based --filename=/dev/mapper/dm-delay-10ms --numjobs=32 --iodepth=64 --ioengine=libaio --group_reporting
Previous: 13.3k IOPS
Kthread: 13.3k IOPS
(This one is just to prove the new design isn't impacting throughput,
not really about delays)
Signed-off-by: Christian Loehle <[email protected]>
---
drivers/md/dm-delay.c | 83 ++++++++++++-------------------------------
1 file changed, 22 insertions(+), 61 deletions(-)
diff --git a/drivers/md/dm-delay.c b/drivers/md/dm-delay.c
index 7433525e5985..a37f28294f7e 100644
--- a/drivers/md/dm-delay.c
+++ b/drivers/md/dm-delay.c
@@ -13,6 +13,7 @@
#include <linux/blkdev.h>
#include <linux/bio.h>
#include <linux/slab.h>
+#include <linux/kthread.h>
#include <linux/device-mapper.h>
@@ -26,11 +27,9 @@ struct delay_class {
};
struct delay_c {
- struct timer_list delay_timer;
- struct mutex timer_lock;
- struct workqueue_struct *kdelayd_wq;
struct work_struct flush_expired_bios;
struct list_head delayed_bios;
+ struct task_struct *worker;
atomic_t may_delay;
struct delay_class read;
@@ -48,42 +47,25 @@ struct dm_delay_info {
};
static DEFINE_MUTEX(delayed_bios_lock);
+static void flush_delayed_bios(struct delay_c *dc, int flush_all);
-static void handle_delayed_timer(struct timer_list *t)
+static int flush_worker_fn(void *data)
{
- struct delay_c *dc = from_timer(dc, t, delay_timer);
+ struct delay_c *dc = (struct delay_c *)data;
- queue_work(dc->kdelayd_wq, &dc->flush_expired_bios);
-}
-
-static void queue_timeout(struct delay_c *dc, unsigned long expires)
-{
- mutex_lock(&dc->timer_lock);
-
- if (!timer_pending(&dc->delay_timer) || expires < dc->delay_timer.expires)
- mod_timer(&dc->delay_timer, expires);
-
- mutex_unlock(&dc->timer_lock);
-}
-
-static void flush_bios(struct bio *bio)
-{
- struct bio *n;
-
- while (bio) {
- n = bio->bi_next;
- bio->bi_next = NULL;
- dm_submit_bio_remap(bio, NULL);
- bio = n;
+ while (1) {
+ flush_delayed_bios(dc, 0);
+ if (unlikely(list_empty(&dc->delayed_bios)))
+ set_current_state(TASK_INTERRUPTIBLE);
+ schedule();
}
+
+ return 0;
}
-static struct bio *flush_delayed_bios(struct delay_c *dc, int flush_all)
+static void flush_delayed_bios(struct delay_c *dc, int flush_all)
{
struct dm_delay_info *delayed, *next;
- unsigned long next_expires = 0;
- unsigned long start_timer = 0;
- struct bio_list flush_bios = { };
mutex_lock(&delayed_bios_lock);
list_for_each_entry_safe(delayed, next, &dc->delayed_bios, list) {
@@ -91,23 +73,12 @@ static struct bio *flush_delayed_bios(struct delay_c *dc, int flush_all)
struct bio *bio = dm_bio_from_per_bio_data(delayed,
sizeof(struct dm_delay_info));
list_del(&delayed->list);
- bio_list_add(&flush_bios, bio);
+ dm_submit_bio_remap(bio, NULL);
delayed->class->ops--;
- continue;
}
-
- if (!start_timer) {
- start_timer = 1;
- next_expires = delayed->expires;
- } else
- next_expires = min(next_expires, delayed->expires);
}
mutex_unlock(&delayed_bios_lock);
- if (start_timer)
- queue_timeout(dc, next_expires);
-
- return bio_list_get(&flush_bios);
}
static void flush_expired_bios(struct work_struct *work)
@@ -115,24 +86,21 @@ static void flush_expired_bios(struct work_struct *work)
struct delay_c *dc;
dc = container_of(work, struct delay_c, flush_expired_bios);
- flush_bios(flush_delayed_bios(dc, 0));
+ flush_delayed_bios(dc, 0);
}
static void delay_dtr(struct dm_target *ti)
{
struct delay_c *dc = ti->private;
- if (dc->kdelayd_wq)
- destroy_workqueue(dc->kdelayd_wq);
-
if (dc->read.dev)
dm_put_device(ti, dc->read.dev);
if (dc->write.dev)
dm_put_device(ti, dc->write.dev);
if (dc->flush.dev)
dm_put_device(ti, dc->flush.dev);
-
- mutex_destroy(&dc->timer_lock);
+ if (dc->worker)
+ kthread_stop(dc->worker);
kfree(dc);
}
@@ -188,10 +156,11 @@ static int delay_ctr(struct dm_target *ti, unsigned int argc, char **argv)
}
ti->private = dc;
- timer_setup(&dc->delay_timer, handle_delayed_timer, 0);
INIT_WORK(&dc->flush_expired_bios, flush_expired_bios);
INIT_LIST_HEAD(&dc->delayed_bios);
- mutex_init(&dc->timer_lock);
+ dc->worker = kthread_create(&flush_worker_fn, dc, "dm-delay-flush-worker");
+ if (!dc->worker)
+ goto bad;
atomic_set(&dc->may_delay, 1);
dc->argc = argc;
@@ -224,13 +193,6 @@ static int delay_ctr(struct dm_target *ti, unsigned int argc, char **argv)
goto bad;
out:
- dc->kdelayd_wq = alloc_workqueue("kdelayd", WQ_MEM_RECLAIM, 0);
- if (!dc->kdelayd_wq) {
- ret = -EINVAL;
- DMERR("Couldn't start kdelayd");
- goto bad;
- }
-
ti->num_flush_bios = 1;
ti->num_discard_bios = 1;
ti->accounts_remapped_io = true;
@@ -260,7 +222,7 @@ static int delay_bio(struct delay_c *dc, struct delay_class *c, struct bio *bio)
list_add_tail(&delayed->list, &dc->delayed_bios);
mutex_unlock(&delayed_bios_lock);
- queue_timeout(dc, expires);
+ wake_up_process(dc->worker);
return DM_MAPIO_SUBMITTED;
}
@@ -270,8 +232,7 @@ static void delay_presuspend(struct dm_target *ti)
struct delay_c *dc = ti->private;
atomic_set(&dc->may_delay, 0);
- del_timer_sync(&dc->delay_timer);
- flush_bios(flush_delayed_bios(dc, 1));
+ flush_delayed_bios(dc, 1);
}
static void delay_resume(struct dm_target *ti)
--
2.34.1
On Thu, Oct 19 2023 at 7:21P -0400,
Christian Loehle <[email protected]> wrote:
> The current design of timers and wq to realize the delays
> is insufficient especially for delays below ~50ms.
> The design is replaced with a kthread to flush the expired delays,
> trading some CPU time (in some cases) for better delay accuracy and
> delays closer to what the user requested for smaller delays.
>
> Since bios can't be completed in interrupt context using a kthread
> is probably the most reasonable way to approach this.
Thanks for working on this. The tradeoff to burn cpu to poll for bios
that hit their expire time is reasonable for very short delays (which
is the focus of your improvement) _but_ for longer delays it is
definitely wasteful.
Your benchmarks (below) don't quantify the cpu time difference.
Might you use a hybrid aproach where over a certain delay threshold it
does make sense to avoid waking the polling thread? Otherwise if
delay is below the threshold the busy loop is queued immediately?
Basically: still use workqueue, but bypass jitter associated with
using timer when appropriate (delay is short).
There are some inline comments below on your patch.
Thanks,
Mike
> Testing with
> echo "0 2097152 zero" | dmsetup create dm-zeros
> for i in $(seq 0 20);
> do
> echo "0 2097152 delay /dev/mapper/dm-zeros 0 $i" | dmsetup create dm-delay-${i}ms;
> done
>
> Some performance numbers for comparison
> beaglebone black (single core) CONFIG_HZ_1000=y:
> fio --name=1msread --rw=randread --bs=4k --runtime=60 --time_based --filename=/dev/mapper/dm-delay-1ms
> Theoretical maximum: 1000 IOPS
> Previous: 250 IOPS
> Kthread: 500 IOPS
> fio --name=10msread --rw=randread --bs=4k --runtime=60 --time_based --filename=/dev/mapper/dm-delay-10ms
> Theoretical maximum: 1000 IOPS
> Previous: 45 IOPS
> Kthread: 50 IOPS
> fio --name=1mswrite --rw=randwrite --direct=1 --bs=4k --runtime=60 --time_based --filename=/dev/mapper/dm-delay-1ms
> Theoretical maximum: 1000 IOPS
> Previous: 498 IOPS
> Kthread: 1000 IOPS
> fio --name=10mswrite --rw=randwrite --direct=1 --bs=4k --runtime=60 --time_based --filename=/dev/mapper/dm-delay-10ms
> Theoretical maximum: 100 IOPS
> Previous: 90 IOPS
> Kthread: 100 IOPS
> fio --name=10mswriteasync --rw=randwrite --direct=1 --bs=4k --runtime=60 --time_based --filename=/dev/mapper/dm-delay-10ms --numjobs=32 --iodepth=64 --ioengine=libaio --group_reporting
> Previous: 13.3k IOPS
> Kthread: 13.3k IOPS
> (This one is just to prove the new design isn't impacting throughput,
> not really about delays)
>
> Signed-off-by: Christian Loehle <[email protected]>
> ---
> drivers/md/dm-delay.c | 83 ++++++++++++-------------------------------
> 1 file changed, 22 insertions(+), 61 deletions(-)
>
> diff --git a/drivers/md/dm-delay.c b/drivers/md/dm-delay.c
> index 7433525e5985..a37f28294f7e 100644
> --- a/drivers/md/dm-delay.c
> +++ b/drivers/md/dm-delay.c
> @@ -13,6 +13,7 @@
> #include <linux/blkdev.h>
> #include <linux/bio.h>
> #include <linux/slab.h>
> +#include <linux/kthread.h>
>
> #include <linux/device-mapper.h>
>
> @@ -26,11 +27,9 @@ struct delay_class {
> };
>
> struct delay_c {
> - struct timer_list delay_timer;
> - struct mutex timer_lock;
> - struct workqueue_struct *kdelayd_wq;
> struct work_struct flush_expired_bios;
> struct list_head delayed_bios;
> + struct task_struct *worker;
> atomic_t may_delay;
>
> struct delay_class read;
> @@ -48,42 +47,25 @@ struct dm_delay_info {
> };
>
> static DEFINE_MUTEX(delayed_bios_lock);
> +static void flush_delayed_bios(struct delay_c *dc, int flush_all);
>
> -static void handle_delayed_timer(struct timer_list *t)
> +static int flush_worker_fn(void *data)
> {
> - struct delay_c *dc = from_timer(dc, t, delay_timer);
> + struct delay_c *dc = (struct delay_c *)data;
Cast shouldn't be needed.
> - queue_work(dc->kdelayd_wq, &dc->flush_expired_bios);
> -}
> -
> -static void queue_timeout(struct delay_c *dc, unsigned long expires)
> -{
> - mutex_lock(&dc->timer_lock);
> -
> - if (!timer_pending(&dc->delay_timer) || expires < dc->delay_timer.expires)
> - mod_timer(&dc->delay_timer, expires);
> -
> - mutex_unlock(&dc->timer_lock);
> -}
> -
> -static void flush_bios(struct bio *bio)
> -{
> - struct bio *n;
> -
> - while (bio) {
> - n = bio->bi_next;
> - bio->bi_next = NULL;
> - dm_submit_bio_remap(bio, NULL);
> - bio = n;
> + while (1) {
> + flush_delayed_bios(dc, 0);
> + if (unlikely(list_empty(&dc->delayed_bios)))
> + set_current_state(TASK_INTERRUPTIBLE);
> + schedule();
cond_resched() likely better?
> }
> +
> + return 0;
> }
>
> -static struct bio *flush_delayed_bios(struct delay_c *dc, int flush_all)
> +static void flush_delayed_bios(struct delay_c *dc, int flush_all)
Feel free to switch flush_all to a bool.
> {
> struct dm_delay_info *delayed, *next;
> - unsigned long next_expires = 0;
> - unsigned long start_timer = 0;
> - struct bio_list flush_bios = { };
>
> mutex_lock(&delayed_bios_lock);
> list_for_each_entry_safe(delayed, next, &dc->delayed_bios, list) {
> @@ -91,23 +73,12 @@ static struct bio *flush_delayed_bios(struct delay_c *dc, int flush_all)
> struct bio *bio = dm_bio_from_per_bio_data(delayed,
> sizeof(struct dm_delay_info));
> list_del(&delayed->list);
> - bio_list_add(&flush_bios, bio);
> + dm_submit_bio_remap(bio, NULL);
> delayed->class->ops--;
> - continue;
> }
> -
> - if (!start_timer) {
> - start_timer = 1;
> - next_expires = delayed->expires;
> - } else
> - next_expires = min(next_expires, delayed->expires);
> }
> mutex_unlock(&delayed_bios_lock);
>
> - if (start_timer)
> - queue_timeout(dc, next_expires);
> -
> - return bio_list_get(&flush_bios);
> }
>
> static void flush_expired_bios(struct work_struct *work)
> @@ -115,24 +86,21 @@ static void flush_expired_bios(struct work_struct *work)
> struct delay_c *dc;
>
> dc = container_of(work, struct delay_c, flush_expired_bios);
> - flush_bios(flush_delayed_bios(dc, 0));
> + flush_delayed_bios(dc, 0);
> }
>
> static void delay_dtr(struct dm_target *ti)
> {
> struct delay_c *dc = ti->private;
>
> - if (dc->kdelayd_wq)
> - destroy_workqueue(dc->kdelayd_wq);
> -
> if (dc->read.dev)
> dm_put_device(ti, dc->read.dev);
> if (dc->write.dev)
> dm_put_device(ti, dc->write.dev);
> if (dc->flush.dev)
> dm_put_device(ti, dc->flush.dev);
> -
> - mutex_destroy(&dc->timer_lock);
> + if (dc->worker)
> + kthread_stop(dc->worker);
>
> kfree(dc);
> }
> @@ -188,10 +156,11 @@ static int delay_ctr(struct dm_target *ti, unsigned int argc, char **argv)
> }
>
> ti->private = dc;
> - timer_setup(&dc->delay_timer, handle_delayed_timer, 0);
> INIT_WORK(&dc->flush_expired_bios, flush_expired_bios);
> INIT_LIST_HEAD(&dc->delayed_bios);
> - mutex_init(&dc->timer_lock);
> + dc->worker = kthread_create(&flush_worker_fn, dc, "dm-delay-flush-worker");
> + if (!dc->worker)
> + goto bad;
> atomic_set(&dc->may_delay, 1);
> dc->argc = argc;
>
> @@ -224,13 +193,6 @@ static int delay_ctr(struct dm_target *ti, unsigned int argc, char **argv)
> goto bad;
>
> out:
> - dc->kdelayd_wq = alloc_workqueue("kdelayd", WQ_MEM_RECLAIM, 0);
> - if (!dc->kdelayd_wq) {
> - ret = -EINVAL;
> - DMERR("Couldn't start kdelayd");
> - goto bad;
> - }
> -
> ti->num_flush_bios = 1;
> ti->num_discard_bios = 1;
> ti->accounts_remapped_io = true;
> @@ -260,7 +222,7 @@ static int delay_bio(struct delay_c *dc, struct delay_class *c, struct bio *bio)
> list_add_tail(&delayed->list, &dc->delayed_bios);
> mutex_unlock(&delayed_bios_lock);
>
> - queue_timeout(dc, expires);
> + wake_up_process(dc->worker);
>
> return DM_MAPIO_SUBMITTED;
> }
> @@ -270,8 +232,7 @@ static void delay_presuspend(struct dm_target *ti)
> struct delay_c *dc = ti->private;
>
> atomic_set(&dc->may_delay, 0);
> - del_timer_sync(&dc->delay_timer);
> - flush_bios(flush_delayed_bios(dc, 1));
> + flush_delayed_bios(dc, 1);
> }
>
> static void delay_resume(struct dm_target *ti)
> --
> 2.34.1
>