My employer (and yes, I am working for the Linux Foundation) has me
working on analysing race condition warnings in the Linux kernel. They
have a driver verification project running under the umbrella of the ELISA
project involved in the research, investigation, experimentation, and
establishment of linux kernel verification measures and tools.
I actually do have assigned to me coaches and/or mentors that I have been
corresponding with. They are aware of what is going on and are being cc'd
to (most of) our emails.
pc87413_wdt was detected by our race condition analysis tool as having
warning. Even outside this work we've been doing, I've been trying to apply
the reasoning of the race condition analysis tool to different kernel modules,
as part of my menteeship.
I hope you can respect that this is a process primarily for learning and
experimentation. I'm sorry if I'm creating too much work for you at once.
If so, let me know and I'll try to spread it out.
Thank you,
Mark
