/QEMU-ABA

QEMU translates Load-link/Store-conditional in a way that causes ABA problem. Here is the study of several different approaches on the trade-off between speed, corretness and scalability in synchronization instructions translating in Dynamic Binary Translator.

Primary LanguageCOtherNOASSERTION

Stargazers