Shinhyung Yang, Seongho Jeong, Byunguk Min, Yeonsoo Kim, Bernd Burgstaller, Johann Blieberger. Design-space evaluation for non-blocking synchronization in Ada: lock elision of protected objects, concurrent objects, and low-level atomics. Journal of Systems Architecture, 110:101764, 2020. [doi]
Abstract is missing.