On 05/06/2016 07:26 PM, Luis R. Rodriguez wrote: > Julia and I had discussed the possibility to instrument Linux code as > an alternative to complex debugging strategies (lockdep is one) that > often may be frowned upon due to how intrusive some changes may be or > how much extra stuff would be needed upstream. It has been hard to > explain the idea to folks who might make some use of it so I've gone > ahead and created a demo tree for userspace code that shows some basic > instrumentation ideas. You can fetch it here: > > https://git.kernel.org/pub/scm/linux/kernel/git/mcgrof/cocci-tact.git
Thanks Luis! I haven't reviewed it yet, just Cc'ing Quentin and Vegard who are also working on the lock poisoning patchset. Thanks, Sasha _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
