Relaxed Linear References for Lock-free Data Structures
Elias Castegren, Tobias Wrigstad · European Conference on Object-Oriented Programming · 2017
Linear references are guaranteed to be free from aliases. This is a strong property that simplifies reasoning about programs and enables powerful optimisations, but it is also a property that is to ...