Hybrid Concurrent Objects

The chapter presents also the notion of an abortable object and shows how a starvation-free implementation of a concurrent object can be systematically obtained from an abortedable non-blocking version of the same object.