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
Do you deal with disjoined atomics and memory barriers? (E.g. wmb() + WRITE_ONCE() forms a happens-before relation with the matching READ_ONCE() + rmb().) We had some troubles with those in KTSAN.
1
No, we do not. I am curious to know how did you deal with those in KTSAN.
1
(KTSAN is based on vector-clocks for happens-before tracking. All sync primitives and threads have clocks that are updated accordingly when synchronization happens. To deal with atomics and barriers we use additional "barrier" clocks.)


