[PATCH i-g-t v2 1/2] lib/kunit: Execute test cases synchronously

Janusz Krzysztofik janusz.krzysztofik at linux.intel.com
Thu Mar 14 11:48:17 UTC 2024


On Thursday, 14 March 2024 11:29:38 CET Kamil Konieczny wrote:
> Hi Janusz,
> On 2024-02-27 at 16:10:41 +0100, Janusz Krzysztofik wrote:
> > Up to now we were loading a KUnit test module in test execution mode only
> > once per subtest, in background, and then, in parallel with execution of
> > test cases while the module was loading, we were looking through dmesg for
> > KTAP results from each expected test case.  As a consequence, our IGT
> > messages were more or less delayed, never in full sync with kernel
> > messages.  Moreover, parsing of KTAP results from already completed test
> > cases could be abandoned on a failure from loading the test module or
> > kernel taint caused by a subsequent test case.  Also, parsing of KTAP
> > results from all subsequent test cases could be abandoned on a failure of
> > the parser caused by any test case.  Other than that, if a user requested
> > a single dynamic sub-subtest, all test cases were executed anyway while
> > results from only one of them that corresponded to the selected dynamic
> > sub-subtest were reported.  That way, kernel messages from unrelated test
> > cases, not only the selected one, could contribute to dmesg-fail or dmesg-
> > warn CI results from that sub-subtest.
> > 
> > Since recent KUnit implementation is capable of executing only those test
> > cases that match a user filter, stop executing all of them asynchronously
> 
> Could you do that with igt_until_timeout(timeout) guards?
> So our test listing/executing will end in reasonable time, even
> when it will stuck in system call?

OK, good idea, and I think I'll do that in a separate patch which will be the 
first one in the series.  That way I'll first address the issue of indefinite 
waits that we observed when it happened that no KUnit test suite matched a 
non-default IGT subtest name provided by IGT test code, then no KTAP report 
appeared in dmesg.

NB, my patch (or series) planned as next, if accepted, will invalidate that 
issue of indefinite waits.  Instead of extracting KTAP reports from dmesg, 
we will be fetching them from debugfs files, one per test suite, then we won't 
be waiting for anything but just fail if the file doesn't appear after KUnit 
modules are loaded.  That's why I didn't prioritise fixing that issue.

Thanks,
Janusz

> 
> Regards,
> Kamil
> 
> > and parsing their KTAP results as they appear.  Instead, reload the test
> > module once per each dynamic sub-subtest with a filter that selects a
> > specific test case and wait for its completion.  If successful and no
> > kernel taint has occurred then parse the whole KTAP report from a single
> > test case it has produced and translate it to IGT result of that single
> > corresponding sub-subtest.
> > 
> > With that in place, we no longer need to skip the whole subtest on a
> > failure from module loading or KTAP reading or parsing.  Since such event
> > is now local to execution of an individual test case, only fail its
> > corresponding dynamic sub-subtests and continue with subsequent ones.
> > However, still omit execution of subsequent test cases once the kernel
> > gets tainted.
> > 
> > v2: Refresh on top of changes to KUnit filters handling,
> >   - include the code of a new helper from a previously separate patch,
> >   - actually limit the scope of the helper to fetching a KTAP report from
> >     a file descriptor, and let the caller decide on how other steps, like
> >     setting up filters or loading a test module, and errors they return
> >     are handled,
> >   - similar to kernel taint handling, just omit any remaining dynamic sub-
> >     subtests if unloading the test module fails,
> >   - update commit description with a more detailed justification of why we
> >     need these changes.
> > 
> > Signed-off-by: Janusz Krzysztofik <janusz.krzysztofik at linux.intel.com>
> > Cc: Mauro Carvalho Chehab <mchehab at kernel.org>
> > ---
> >  lib/igt_kmod.c | 157 ++++++++++++++++---------------------------------
> >  1 file changed, 52 insertions(+), 105 deletions(-)
> > 
> > diff --git a/lib/igt_kmod.c b/lib/igt_kmod.c
> > index cc242838fa..e9e00ac5b2 100644
> > --- a/lib/igt_kmod.c
> > +++ b/lib/igt_kmod.c
> > @@ -1018,6 +1018,25 @@ static void kunit_results_free(struct igt_list_head *results,
> >  	free(*suite_name);
> >  }
> >  
> > +static int kunit_get_results(struct igt_list_head *results, int kmsg_fd)
> > +{
> > +	struct igt_ktap_results *ktap;
> > +	int err;
> > +
> > +	ktap = igt_ktap_alloc(results);
> > +	if (igt_debug_on(!ktap))
> > +		return -ENOMEM;
> > +
> > +	do
> > +		igt_debug_on((err = kunit_kmsg_result_get(results, NULL, kmsg_fd, ktap),
> > +			      err && err != -EINPROGRESS));
> > +	while (err == -EINPROGRESS);
> > +
> > +	igt_ktap_free(ktap);
> > +
> > +	return err;
> > +}
> > +
> >  static void __igt_kunit_legacy(struct igt_ktest *tst,
> >  			       const char *subtest,
> >  			       const char *opts)
> > @@ -1211,86 +1230,51 @@ static void __igt_kunit(struct igt_ktest *tst,
> >  			const char *opts,
> >  			struct igt_list_head *tests)
> >  {
> > -	struct modprobe_data modprobe = { tst->kmod, opts, 0, pthread_self(), };
> > -	char *suite_name = NULL, *case_name = NULL;
> > -	struct igt_ktap_result *t, *r = NULL;
> > -	struct igt_ktap_results *ktap;
> > -	pthread_mutexattr_t attr;
> > -	IGT_LIST_HEAD(results);
> > -	int ret = -EINPROGRESS;
> > -	unsigned long taints;
> > -
> > -	igt_skip_on(lseek(tst->kmsg, 0, SEEK_END) < 0);
> > -
> > -	ktap = igt_ktap_alloc(&results);
> > -	igt_require(ktap);
> > +	struct igt_ktap_result *t;
> >  
> >  	igt_list_for_each_entry(t, tests, link) {
> > +		char *suite_name = NULL, *case_name = NULL;
> > +		IGT_LIST_HEAD(results);
> > +		unsigned long taints;
> > +
> >  		igt_dynamic_f("%s%s%s",
> >  			      strcmp(t->suite_name, subtest) ?  t->suite_name : "",
> >  			      strcmp(t->suite_name, subtest) ? "-" : "",
> >  			      t->case_name) {
> > +			struct igt_ktap_result *r = NULL;
> > +			char glob[1024];
> > +			int expect = 2;
> >  
> > -			if (!modprobe.thread) {
> > -				igt_require(kunit_set_filtering(suite, NULL, NULL));
> > +			igt_skip_on(igt_kernel_tainted(&taints));
> >  
> > -				igt_assert_eq(pthread_mutexattr_init(&attr), 0);
> > -				igt_assert_eq(pthread_mutexattr_setrobust(&attr,
> > -							  PTHREAD_MUTEX_ROBUST),
> > -					      0);
> > -				igt_assert_eq(pthread_mutex_init(&modprobe.lock,
> > -								 &attr), 0);
> > +			igt_fail_on(lseek(tst->kmsg, 0, SEEK_END) == -1 && errno);
> >  
> > -				modprobe.err = pthread_create(&modprobe.thread,
> > -							      NULL,
> > -							      modprobe_task,
> > -							      &modprobe);
> > -				igt_assert_eq(modprobe.err, 0);
> > +			igt_assert_lt(snprintf(glob, sizeof(glob), "%s.%s",
> > +					       t->suite_name, t->case_name),
> > +				      sizeof(glob));
> > +			igt_assert(kunit_set_filtering(glob, NULL, NULL));
> >  
> > -				igt_assert(igt_list_empty(&results));
> > -				igt_assert_eq(ret, -EINPROGRESS);
> > -				ret = kunit_kmsg_result_get(&results, &modprobe,
> > -							    tst->kmsg, ktap);
> > -				igt_fail_on(igt_list_empty(&results));
> > +			igt_assert_eq(modprobe(tst->kmod, opts), 0);
> > +			igt_assert_eq(igt_kernel_tainted(&taints), 0);
> >  
> > -				r = igt_list_first_entry(&results, r, link);
> > -			}
> > +			igt_assert_eq(kunit_get_results(&results, tst->kmsg), 0);
> >  
> > -			while (igt_debug_on_f(strcmp(r->suite_name, t->suite_name),
> > -					      "suite_name expected: %s, got: %s\n",
> > -					      t->suite_name, r->suite_name) ||
> > -			       igt_debug_on_f(strcmp(r->case_name, t->case_name),
> > -					      "case_name expected: %s, got: %s\n",
> > -					      t->case_name, r->case_name) ||
> > -			       r->code == IGT_EXIT_INVALID) {
> > -
> > -				int code = r->code;
> > +			do {
> > +				igt_fail_on_f(!expect--, "Invalid result code\n");
> >  
> >  				kunit_result_free(&r, &suite_name, &case_name);
> > -				if (igt_list_empty(&results)) {
> > -					igt_assert_eq(ret, -EINPROGRESS);
> > -					ret = kunit_kmsg_result_get(&results,
> > -								    &modprobe,
> > -								    tst->kmsg,
> > -								    ktap);
> > -					igt_fail_on(igt_list_empty(&results));
> > -				}
> > +				igt_fail_on(igt_list_empty(&results));
> >  
> >  				r = igt_list_first_entry(&results, r, link);
> >  
> > -				if (code != IGT_EXIT_INVALID)
> > -					continue;
> > -
> > -				/* result from parametrized test case */
> > -				igt_fail_on_f(strcmp(r->suite_name, suite_name),
> > +				igt_fail_on_f(strcmp(r->suite_name, t->suite_name),
> >  					      "suite_name expected: %s, got: %s\n",
> > -					      suite_name, r->suite_name);
> > -				igt_fail_on_f(strcmp(r->case_name, case_name),
> > +					      t->suite_name, r->suite_name);
> > +				igt_fail_on_f(strcmp(r->case_name, t->case_name),
> >  					      "case_name expected: %s, got: %s\n",
> > -					      case_name, r->case_name);
> > -			}
> > +					      t->case_name, r->case_name);
> >  
> > -			igt_assert_neq(r->code, IGT_EXIT_INVALID);
> > +			} while (r->code == IGT_EXIT_INVALID);
> >  
> >  			if (r->msg && *r->msg) {
> >  				igt_skip_on_f(r->code == IGT_EXIT_SKIP,
> > @@ -1306,58 +1290,21 @@ static void __igt_kunit(struct igt_ktest *tst,
> >  					igt_fail(r->code);
> >  			}
> >  			igt_assert_eq(r->code, IGT_EXIT_SUCCESS);
> > -
> > -			switch (pthread_mutex_lock(&modprobe.lock)) {
> > -			case 0:
> > -				igt_debug_on(pthread_mutex_unlock(&modprobe.lock));
> > -				break;
> > -			case EOWNERDEAD:
> > -				/* leave the mutex unrecoverable */
> > -				igt_debug_on(pthread_mutex_unlock(&modprobe.lock));
> > -				__attribute__ ((fallthrough));
> > -			case ENOTRECOVERABLE:
> > -				igt_assert_eq(modprobe.err, 0);
> > -				break;
> > -			default:
> > -				igt_debug("pthread_mutex_lock() failed\n");
> > -				break;
> > -			}
> > -
> > -			igt_assert_eq(igt_kernel_tainted(&taints), 0);
> >  		}
> >  
> > -		if (igt_debug_on(ret != -EINPROGRESS))
> > -			break;
> > -	}
> > +		kunit_results_free(&results, &suite_name, &case_name);
> >  
> > -	kunit_results_free(&results, &suite_name, &case_name);
> > -
> > -	if (modprobe.thread) {
> > -		switch (pthread_mutex_lock(&modprobe.lock)) {
> > -		case 0:
> > -			igt_debug_on(pthread_cancel(modprobe.thread));
> > -			igt_debug_on(pthread_mutex_unlock(&modprobe.lock));
> > -			igt_debug_on(pthread_join(modprobe.thread, NULL));
> > -			break;
> > -		case EOWNERDEAD:
> > -			/* leave the mutex unrecoverable */
> > -			igt_debug_on(pthread_mutex_unlock(&modprobe.lock));
> > +		if (igt_debug_on(igt_kernel_tainted(&taints))) {
> > +			igt_info("Kernel tainted, not executing more selftests.\n");
> >  			break;
> > -		case ENOTRECOVERABLE:
> > -			break;
> > -		default:
> > -			igt_debug("pthread_mutex_lock() failed\n");
> > -			igt_debug_on(pthread_join(modprobe.thread, NULL));
> > +		}
> > +
> > +		if (igt_debug_on(kmod_module_remove_module(tst->kmod,
> > +							   KMOD_REMOVE_FORCE))) {
> > +			igt_info("Unloading test module failed, not executing more selftests.\n");
> >  			break;
> >  		}
> >  	}
> > -
> > -	igt_ktap_free(ktap);
> > -
> > -	igt_skip_on(modprobe.err);
> > -	igt_skip_on(igt_kernel_tainted(&taints));
> > -	if (ret != -EINPROGRESS)
> > -		igt_skip_on_f(ret, "KTAP parser failed\n");
> >  }
> >  
> >  /**
> 






More information about the igt-dev mailing list