On deterministic abortable objects

  title={On deterministic abortable objects},
  author={Vassos Hadzilacos and Sam Toueg},
We define deterministic abortable (DA) objects, which guarantee that operations complete normally if executed solo, but may abort if executed concurrently with other operations. An operation that aborts has no effect on the object. This simple and attractive behavior is reminiscent of transactional memory, database transactions, and abortable mutual exclusion --- techniques in which a process can, under contention, ``bail out'' of the computation without leaving a trace. It is well-known that… CONTINUE READING
Highly Cited
This paper has 25 citations. REVIEW CITATIONS


Publications referenced by this paper.
Showing 1-3 of 3 references

Similar Papers

Loading similar papers…