Fixes for test-ww_mutex stress test
cover Fixes for test-ww_mutex stress test
As part of recent stabilizing of the proxy-execution series, I've seen a number of issues from the test-ww_mutex module.
This test is great for shaking out problems in the patches, but in some cases it seems the patch series has made it easier to uncover problems in the test-ww_mutex stress tests.
So this patch series provides a few fixes that I've come up with in testing with qemu using large cpu counts.
Feedback would be greatly appreciated!
thanks
-john
John Stultz (3):
test-ww_mutex: Use prng instead of rng to avoid hangs at bootup
test-ww_mutex: Fix potential workqueue corruption
test-ww_mutex: Make sure we bail out instead of livelock
kernel/locking/test-ww_mutex.c | 48 ++++++++++++++++++++++++---------- 1 file changed, 34 insertions(+), 14 deletions(-)
Signature · 1 line
2.42.0.515.g380fc7ccd1-goog
PATCH 1/3 test-ww_mutex: Use prng instead of rng to avoid hangs at bootup
Booting w/ qemu without kvm, and with 64 cpus, I noticed we'd sometimes hung task watchdog splats in get_random_u32_below() when using the test-ww_mutex stress test.
While entropy exhaustion is no longer an issue, the RNG may be slower early in boot. The test-ww_mutex code will spawn off 128 threads (2x cpus) and each thread will call get_random_u32_below() a number of times to generate a random order of the 16 locks.
This intense use takes time and without kvm, qemu can be slow enough that we trip the hung task watchdogs.
For this test, we don't need true randomness, just mixed up orders for testing ww_mutex lock acquisitions, so it changes the logic to use the prng instead, which takes less time and avoids the watchdgos.
Feedback would be appreciated!
--- kernel/locking/test-ww_mutex.c | 19 +++++++++++++++++-- 1 file changed, 17 insertions(+), 2 deletions(-)
kernel/locking/test-ww_mutex.c +17 -2
@@ -9,7 +9,7 @@#include <linux/delay.h> #include <linux/kthread.h> #include <linux/module.h> -#include <linux/random.h> +#include <linux/prandom.h> #include <linux/slab.h> #include <linux/ww_mutex.h>
@@ -386,6 +386,19 @@ struct stress {int nlocks; }; +struct rnd_state rng; +DEFINE_SPINLOCK (rng_lock); + +static inline u32 prandom_u32_below (u32 ceil) +{ +u32 ret; + +spin_lock (&rng_lock); + ret =prandom_u32_state (&rng) % ceil; +spin_unlock (&rng_lock); +return ret; +} +static int *get_random_order (int count) {int *order;
@@ -399,7 +412,7 @@ static int *get_random_order(int count) order[n] = n;for (n = count -1 ; n >1 ; n--) { - r =get_random_u32_below (n +1 ); + r =prandom_u32_below (n +1 );if (r != n) { tmp = order[n]; order[n] = order[r];
@@ -625,6 +638,8 @@ static int __init test_ww_mutex_init(void)printk (KERN_INFO "Beginning ww mutex selftests\n" ); +prandom_seed_state (&rng,get_random_u64 ()); + wq =alloc_workqueue ("test-ww_mutex" ,WQ_UNBOUND ,0 );if (!wq)return -ENOMEM ;
Signature · 1 line
2.42.0.515.g380fc7ccd1-goog
[tip: locking/core] locking/ww_mutex/test: Use prng instead of rng to avoid hangs at bootup
The following commit has been merged into the locking/core branch of tip:
The following commit has been merged into the locking/core branch of tip:
Commit-ID: 4812c54dc0498c4b757cbc7f41c1999b5a1c9f67 Gitweb: https://git.kernel.org/tip/4812c54dc0498c4b757cbc7f41c1999b5a1c9f67 Author: John Stultz <[email protected]> AuthorDate: Fri, 22 Sep 2023 04:35:59 Committer: Ingo Molnar <[email protected]> CommitterDate: Fri, 22 Sep 2023 09:43:40 +02:00
locking/ww_mutex/test: Use prng instead of rng to avoid hangs at bootup
Booting w/ qemu without kvm, and with 64 cpus, I noticed we'd sometimes hung task watchdog splats in get_random_u32_below() when using the test-ww_mutex stress test.
While entropy exhaustion is no longer an issue, the RNG may be slower early in boot. The test-ww_mutex code will spawn off 128 threads (2x cpus) and each thread will call get_random_u32_below() a number of times to generate a random order of the 16 locks.
This intense use takes time and without kvm, qemu can be slow enough that we trip the hung task watchdogs.
For this test, we don't need true randomness, just mixed up orders for testing ww_mutex lock acquisitions, so it changes the logic to use the prng instead, which takes less time and avoids the watchdgos.
Feedback would be appreciated!
--- kernel/locking/test-ww_mutex.c | 19 +++++++++++++++++-- 1 file changed, 17 insertions(+), 2 deletions(-)
kernel/locking/test-ww_mutex.c +17 -2
@@ -9,7 +9,7 @@#include <linux/delay.h> #include <linux/kthread.h> #include <linux/module.h> -#include <linux/random.h> +#include <linux/prandom.h> #include <linux/slab.h> #include <linux/ww_mutex.h>
@@ -386,6 +386,19 @@ struct stress {int nlocks; }; +struct rnd_state rng; +DEFINE_SPINLOCK (rng_lock); + +static inline u32 prandom_u32_below (u32 ceil) +{ +u32 ret; + +spin_lock (&rng_lock); + ret =prandom_u32_state (&rng) % ceil; +spin_unlock (&rng_lock); +return ret; +} +static int *get_random_order (int count) {int *order;
@@ -399,7 +412,7 @@ static int *get_random_order(int count) order[n] = n;for (n = count -1 ; n >1 ; n--) { - r =get_random_u32_below (n +1 ); + r =prandom_u32_below (n +1 );if (r != n) { tmp = order[n]; order[n] = order[r];
@@ -625,6 +638,8 @@ static int __init test_ww_mutex_init(void)printk (KERN_INFO "Beginning ww mutex selftests\n" ); +prandom_seed_state (&rng,get_random_u64 ()); + wq =alloc_workqueue ("test-ww_mutex" ,WQ_UNBOUND ,0 );if (!wq)return -ENOMEM ;
PATCH 2/3 test-ww_mutex: Fix potential workqueue corruption
In reply to John StultzIn some cases running with the test-ww_mutex code, I was seeing odd behavior where sometimes it seemed flush_workqueue was returning before all the work threads were finished.
Often this would cause strange crashes as the mutexes would be freed while they were being used.
Looking at the code, there is a lifetime problem as the controlling thread that spawns the work allocates the "struct stress" structures that are passed to the workqueue threads. Then when the workqueue threads are finished, they free the stress struct that was passed to them.
Unfortunately the workqueue work_struct node is in the stress struct. Which means the work_struct is freed before the work thread returns and while flush_workqueue is waiting.
It seems like a better idea to have the controlling thread both allocate and free the stress structures, so that we can be sure we don't corrupt the workqueue by freeing the structure prematurely.
So this patch reworks the test to do so, and with this change I no longer see the early flush_workqueue returns.
--- kernel/locking/test-ww_mutex.c | 20 ++++++++++++-------- 1 file changed, 12 insertions(+), 8 deletions(-)
kernel/locking/test-ww_mutex.c +12 -8
@@ -479,7 +479,6 @@ static void stress_inorder_work(struct work_struct *work) }while (!time_after (jiffies, stress->timeout));kfree (order); -kfree (stress); }struct reorder_lock {
@@ -544,7 +543,6 @@ static void stress_reorder_work(struct work_struct *work)list_for_each_entry_safe (ll, ln, &locks, link)kfree (ll);kfree (order); -kfree (stress); }static void stress_one_work (struct work_struct *work)
@@ -565,8 +563,6 @@ static void stress_one_work(struct work_struct *work)break ; } }while (!time_after (jiffies, stress->timeout)); - -kfree (stress); }#define STRESS_INORDER BIT(0)
@@ -577,15 +573,24 @@ static void stress_one_work(struct work_struct *work)static int stress (int nlocks,int nthreads,unsigned int flags) {struct ww_mutex *locks; -int n; +struct stress *stress_array; +int n, count; locks =kmalloc_array (nlocks,sizeof (*locks),GFP_KERNEL );if (!locks)return -ENOMEM ; + stress_array =kmalloc_array (nthreads,sizeof (*stress_array), +GFP_KERNEL ); +if (!stress_array) { +kfree (locks); +return -ENOMEM ; + } +for (n =0 ; n < nlocks; n++)ww_mutex_init (&locks[n], &ww_class); + count =0 ;for (n =0 ; nthreads; n++) {struct stress *stress;void (*fn)(struct work_struct *work);
@@ -609,9 +614,7 @@ static int stress(int nlocks, int nthreads, unsigned int flags)if (!fn)continue ; - stress =kmalloc (sizeof (*stress),GFP_KERNEL ); -if (!stress) -break ; + stress = &stress_array[count++];INIT_WORK (&stress->work, fn); stress->locks = locks;
@@ -626,6 +629,7 @@ static int stress(int nlocks, int nthreads, unsigned int flags)for (n =0 ; n < nlocks; n++)ww_mutex_destroy (&locks[n]); +kfree (stress_array);kfree (locks);return 0 ;
Signature · 1 line
2.42.0.515.g380fc7ccd1-goog
[tip: locking/core] locking/ww_mutex/test: Fix potential workqueue corruption
The following commit has been merged into the locking/core branch of tip:
The following commit has been merged into the locking/core branch of tip:
Commit-ID: bccdd808902f8c677317cec47c306e42b93b849e Gitweb: https://git.kernel.org/tip/bccdd808902f8c677317cec47c306e42b93b849e Author: John Stultz <[email protected]> AuthorDate: Fri, 22 Sep 2023 04:36:00 Committer: Ingo Molnar <[email protected]> CommitterDate: Fri, 22 Sep 2023 09:43:40 +02:00
locking/ww_mutex/test: Fix potential workqueue corruption
In some cases running with the test-ww_mutex code, I was seeing odd behavior where sometimes it seemed flush_workqueue was returning before all the work threads were finished.
Often this would cause strange crashes as the mutexes would be freed while they were being used.
Looking at the code, there is a lifetime problem as the controlling thread that spawns the work allocates the "struct stress" structures that are passed to the workqueue threads. Then when the workqueue threads are finished, they free the stress struct that was passed to them.
Unfortunately the workqueue work_struct node is in the stress struct. Which means the work_struct is freed before the work thread returns and while flush_workqueue is waiting.
It seems like a better idea to have the controlling thread both allocate and free the stress structures, so that we can be sure we don't corrupt the workqueue by freeing the structure prematurely.
So this patch reworks the test to do so, and with this change I no longer see the early flush_workqueue returns.
--- kernel/locking/test-ww_mutex.c | 20 ++++++++++++-------- 1 file changed, 12 insertions(+), 8 deletions(-)
kernel/locking/test-ww_mutex.c +12 -8
@@ -479,7 +479,6 @@ retry: }while (!time_after (jiffies, stress->timeout));kfree (order); -kfree (stress); }struct reorder_lock {
@@ -544,7 +543,6 @@ out:list_for_each_entry_safe (ll, ln, &locks, link)kfree (ll);kfree (order); -kfree (stress); }static void stress_one_work (struct work_struct *work)
@@ -565,8 +563,6 @@ static void stress_one_work(struct work_struct *work)break ; } }while (!time_after (jiffies, stress->timeout)); - -kfree (stress); }#define STRESS_INORDER BIT(0)
@@ -577,15 +573,24 @@ static void stress_one_work(struct work_struct *work)static int stress (int nlocks,int nthreads,unsigned int flags) {struct ww_mutex *locks; -int n; +struct stress *stress_array; +int n, count; locks =kmalloc_array (nlocks,sizeof (*locks),GFP_KERNEL );if (!locks)return -ENOMEM ; + stress_array =kmalloc_array (nthreads,sizeof (*stress_array), +GFP_KERNEL ); +if (!stress_array) { +kfree (locks); +return -ENOMEM ; + } +for (n =0 ; n < nlocks; n++)ww_mutex_init (&locks[n], &ww_class); + count =0 ;for (n =0 ; nthreads; n++) {struct stress *stress;void (*fn)(struct work_struct *work);
@@ -609,9 +614,7 @@ static int stress(int nlocks, int nthreads, unsigned int flags)if (!fn)continue ; - stress =kmalloc (sizeof (*stress),GFP_KERNEL ); -if (!stress) -break ; + stress = &stress_array[count++];INIT_WORK (&stress->work, fn); stress->locks = locks;
@@ -626,6 +629,7 @@ static int stress(int nlocks, int nthreads, unsigned int flags)for (n =0 ; n < nlocks; n++)ww_mutex_destroy (&locks[n]); +kfree (stress_array);kfree (locks);return 0 ;
PATCH 3/3 test-ww_mutex: Make sure we bail out instead of livelock
In reply to John StultzI've seen what appears to be livelocks in the stress_inorder_work() function, and looking at the code it is clear we can have a case where we continually retry acquiring the locks and never check to see if we have passed the specified timeout.
This patch reworks that function so we always check the timeout before iterating through the loop again.
I believe others may have hit this previously here:
https://lore.kernel.org/lkml/[email protected]/
--- kernel/locking/test-ww_mutex.c | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-)
kernel/locking/test-ww_mutex.c +5 -4
@@ -465,17 +465,18 @@ static void stress_inorder_work(struct work_struct *work)ww_mutex_unlock (&locks[order[n]]);if (err == -EDEADLK ) { -ww_mutex_lock_slow (&locks[order[contended]], &ctx); - goto retry; +if (!time_after (jiffies, stress->timeout)) { +ww_mutex_lock_slow (&locks[order[contended]], &ctx); + goto retry; + } } +ww_acquire_fini (&ctx);if (err) {pr_err_once ("stress (%s) failed with %d\n" , __func__, err);break ; } - -ww_acquire_fini (&ctx); }while (!time_after (jiffies, stress->timeout));kfree (order);
Signature · 1 line
2.42.0.515.g380fc7ccd1-goog
[tip: locking/core] locking/ww_mutex/test: Make sure we bail out instead of livelock
The following commit has been merged into the locking/core branch of tip:
The following commit has been merged into the locking/core branch of tip:
Commit-ID: cfa92b6d52071aaa8f27d21affdcb14e7448fbc1 Gitweb: https://git.kernel.org/tip/cfa92b6d52071aaa8f27d21affdcb14e7448fbc1 Author: John Stultz <[email protected]> AuthorDate: Fri, 22 Sep 2023 04:36:01 Committer: Ingo Molnar <[email protected]> CommitterDate: Fri, 22 Sep 2023 09:43:41 +02:00
locking/ww_mutex/test: Make sure we bail out instead of livelock
I've seen what appears to be livelocks in the stress_inorder_work() function, and looking at the code it is clear we can have a case where we continually retry acquiring the locks and never check to see if we have passed the specified timeout.
This patch reworks that function so we always check the timeout before iterating through the loop again.
I believe others may have hit this previously here:
https://lore.kernel.org/lkml/[email protected]/
--- kernel/locking/test-ww_mutex.c | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-)
kernel/locking/test-ww_mutex.c +5 -4
@@ -465,17 +465,18 @@ retry:ww_mutex_unlock (&locks[order[n]]);if (err == -EDEADLK ) { -ww_mutex_lock_slow (&locks[order[contended]], &ctx); - goto retry; +if (!time_after (jiffies, stress->timeout)) { +ww_mutex_lock_slow (&locks[order[contended]], &ctx); + goto retry; + } } +ww_acquire_fini (&ctx);if (err) {pr_err_once ("stress (%s) failed with %d\n" , __func__, err);break ; } - -ww_acquire_fini (&ctx); }while (!time_after (jiffies, stress->timeout));kfree (order);