Conversation
The paper is here: cc.gatech.edu/~mxu80/pubs/xu
BTW, the leader of this project, Meng Xu(cc.gatech.edu/~mxu80/), will be joining the University of Waterloo as an assistant professor in 2021. You can contact him for research opportunities in security, system, and program analysis.
1
3
11
Have you looked at KTSAN? It uses a happens-before approach to kernel data-race detection. The paper suspiciously doesn't mention it.
github.com/google/ktsan/w
1
2
2
Replying to
KTSAN’s instrumentation has conflicts with our instrumentation. So we only tried our lockset+ happens before detector.
1
Replying to
I don't suggest running KTSAN and Krace at the same time of course :) I would think the approaches to instrumentation should be really similar though, both tools use compiler instrumentation for memory accesses and code annotations for locking primitives.
1
It would be interesting to know the difference. You haven't published the source code yet, right?
Replying to
Yes, we haven't uploaded the project right now. The project is somewhat huge. We need some time to clean it up. lol.
1