On Thu, Jan 23, 2020 at 02:40:31PM -0800, Brendan Higgins wrote:
On Mon, Jan 6, 2020 at 2:40 PM Luis Chamberlain firstname.lastname@example.org wrote:
On Mon, Dec 16, 2019 at 02:05:49PM -0800, Brendan Higgins wrote: dispatcher could be configurable to run at an arbirary time after boot. If there are not immediate use cases for that though, then I suppose this is not a requirement for the dispatcher. But since there exists another modular test framework with its own dispatcher and it seems the goal is to merge the work long term, this might preempt the requirement to define how and when we can dispatch tests post boot.
And, if we're going to do that, I can suggest that a data structure instead of just a function init call be used to describe tests to be placed into an ELF section. With my linker table work this would be easy, I define section ranges for code describing only executable routines, but it defines linker tables for when a component in the kernel would define a data structure, part of which can be a callback. Such data structure stuffed into an ELF section could allow dynamic configuration of the dipsatching, even post boot.
The linker table work does sound interesting. Do you have a link?
I had dropped this long ago mostly due to the fact that my use case (removal of dead code) was more long term, and not immediate so the use case wasn't there yet.
I have been meaning to pick this work up again.
I was thinking about dynamic dispatching, actually. I thought it would be handy to be able to build all tests into a single kernel and then run different tests on different invocations.
For built-in code it would be up to it to manage that. The linker table stuff would just allow a way for you to systematically aggregate data into an ELF section in a generic way. It does have a built in light weight sort mechanism, if you opt out of that and say wanted to do your own order it'd be up to how you program it in on the data structure and dispatching after that.
Also, for post boot dynamic dispatching, you should check out Alan's debugfs patches:
They look pretty handy!
I think this is a good stepping stone forward then, and to allow dynamic configuration of the dispatcher could mean eventual extensions to kunit's init stuff to stuff init calls into a data structure which can then allow configuration of the dispatching. One benefit that the linker table work *may* be able to help here with is that it allows an easy way to create kunit specific ordering, at linker time. There is also an example of addressing / generalizing dynamic / run time changes of ordering, by using the x86 IOMMU initialization as an example case. We don't have an easy way to do this today, but if kunit could benefit from such framework, it'd be another use case for the linker table work. That is, the ability to easilly allow dynamically modifying run time ordering of code through ELF sections.
In addition, by dispatching tests from a single location, we can guarantee that all KUnit tests run after late_init is complete, which was a concern during the initial KUnit patchset review (this has not been a problem in practice, but resolving with certainty is nevertheless desirable).
Indeed, the concern is just a real semantics limitations. With the tests *always* running after all subsystem init stuff, we know we'd have a real full kernel ready.
It does beg the question if this means kunit is happy to not be a tool to test pre basic setup stuff (terminology used in init.c, meaning prior to running all init levels). I suspect this is the case.
Not sure. I still haven't seen any cases where this is necessary, so I am not super worried about it. Regardless, I don't think this patchset really changes anything in that regard, we are moving from late_init to after late_init, so it isn't that big of a change for most use cases.
Please share if you can think of some things that need to be tested in early init.
If and when we get to that point we can deal with it then. My instincts tell me that for early init code we should probably be specially crafted tests and have they should have their own hand crafted dispatchers.