Messages in this thread | | | Date | Mon, 05 Jun 2006 16:56:50 -0700 | From | Hans Reiser <> | Subject | Re: 2.6.17-rc5-mm3: bad unlock ordering (reiser4?) |
| |
I just want to thank Ingo for designing this tool. While it did not find a reiser4 bug today, probably some day it will. I hope we as a kernel community can make automated code inspection/monitoring more and more sophisticated over the next few years, and this is a nice little step down that path.
Hans - To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
| |