Design-space evaluation for non-blocking synchronization in Ada: lock elision of protected objects, concurrent objects, and low-level atomics
Article in Journal of Systems Architecture (November 2020)
Ada 2012 Rationale
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Introduction
-
Altmetric BadgeChapter 2 Contracts and Aspects
-
Altmetric BadgeChapter 3 Expressions
-
Altmetric BadgeChapter 4 Structure and Visibility
-
Altmetric BadgeChapter 5 Tasking and Real-Time
-
Altmetric BadgeChapter 6 Iterators, Pools, etc.
-
Altmetric BadgeChapter 7 Predefined library
-
Altmetric BadgeChapter 8 Containers
-
Altmetric BadgeChapter 9 Epilogue