Searched for: author%3A%22Gao%2C+Mingyu%22
(1 - 1 of 1)
document
Gao, Mingyu (author)
The Probabilistic Concurrency Testing (PCT) algorithm provides theoretical guarantees for the probability of detecting concurrency bugs in a sequential consistency memory model, but its theoretical guarantees do not apply to weak memory concurrency. The weak memory concurrency refers to the modern compiler’s optimization that relaxes the...
master thesis 2022