Design-space evaluation for non-blocking synchronization in Ada: lock elision of protected objects, concurrent objects, and low-level atomics.
Shinhyung YangSeongho JeongByunguk MinYeonsoo KimBernd BurgstallerJohann BliebergerPublished in: J. Syst. Archit. (2020)