Design-space evaluation for non-blocking synchronization in Ada: lock elision of protected objects, concurrent objects, and low-level atomics. - Shinhyung Yang; Seongho Jeong; Byunguk Min; Yeonsoo Kim; Bernd Burgstaller; Johann Blieberger (J. Syst. Archit., 2020)