Brief Announcement: Abortable and Query-Abortable Objects
The setting for this paper is a distributed system in which asynchronous processes interact by accessing linearizable, wait-free shared objects . The typical task in such a system is to design an implementation of a target object given certain “base objects”. The complexity of such implementations is mostly due to the fact that multiple processes may access the target object concurrently. It has been observed that in some systems contention on shared objects is rare . It is therefore tempting to try to simplify the task of implementing shared objects by allowing them to exhibit degraded behaviour in the (hopefully rare) event of contention.
KeywordsTarget Object Base Object Shared Object Desirable Behaviour System Contention
Unable to display preview. Download preview PDF.
- 3.Herlihy, M., Luchangco, V., Moir, M.: Obstruction-free synchronization: Double-ended queues as an example. In: Proc. of ICDCS 2003, Washington, DC, USA, pp. 522–529 (2003)Google Scholar