Re: [ANNOUNCE] KernelStrider 0.3

2014-02-27 Thread Eugene Shatokhin
On 02/28/2014 01:58 AM, Andi Kleen wrote: The interesting part is: what problems did you find using it? I listed some of these here along with the links to the bug reports: http://code.google.com/p/kernel-strider/wiki/RacesFound The hunt still continues though. Besides the races listed there

Re: [ANNOUNCE] KernelStrider 0.3

2014-02-27 Thread Andi Kleen
Eugene Shatokhin writes: > > Suggestions, bug reports and other kinds of feedback are welcome, as usual. The interesting part is: what problems did you find using it? -Andi -- a...@linux.intel.com -- Speaking for myself only -- To unsubscribe from this list: send the line "unsubscribe linux-ke

[ANNOUNCE] KernelStrider 0.3

2014-02-27 Thread Eugene Shatokhin
KernelStrider 0.3 has been released. KernelStrider system can be used to detect data races in the Linux kernel modules, especially the drivers involved in wired and wireless networking. Currently, it works on x86 only. The code is under GPL v2 license. KernelStrider instruments the kernel mo